退出
我的积分:
中文文献批量获取
外文文献批量获取
陈睿; 杨孟飞; 郭向英;
北京控制工程研究所,北京 100190;
北京轩宇信息技术有限公司,北京 100190;
中国空间技术研究院,北京 100094;
中断驱动型程序; 数据竞争; 抽象解释;
机译:AdaptiveLock:基于实际锁定模式的高效混合数据竞争检测
机译:原子力动态显微镜中中断接触模式下幅值和相位的检测方法
机译:您将如何推进美国太空访问(发射)功能和限制基于美国的人类太空访问中即将发生的中断?
机译:E-RACE,一种基于硬件的嵌入式产品基于锁集的数据竞争检测方法
机译:基于MOF的建模语言中的设计模式和反模式检测方法。
机译:基于序序模式条件熵的癫痫eEG信号的新颖识别策略
机译:基于小波的多变量动态系统故障检测方法基于小波的多变量动态系统故障检测方法
机译:FCT,一种新的多分辨率雷达序贯检测方法
机译:用于以不同的执行模式来操作电子设备即计算机系统的方法,涉及以操作模式来操作计算机系统,用于基于接收到优先级中断信号而允许访问地址范围
机译:监视连续铸造机的运行,通过多变量检测中断的产生,该中断将阻止(多变量)基于统计模型的系统
机译:散装物料粉末散装物料填充水平检测方法,涉及将波的运行时间作为主要变量,检测次要变量,并基于变量检测散装物料的填充水平
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。