退出
我的积分:
中文文献批量获取
外文文献批量获取
王若川; 杨孟飞; 乔磊;
北京控制工程研究所,北京100190;
中国空间技术研究院,北京100094;
中断管理; 时间自动机; 形式化验证; 建模;
机译:分层时间自动机群并行操作的谓词抽象细化验证方法
机译:基于时间自动机的马尔可夫模型对森林后土地利用动态模型的校准和验证
机译:使用自旋模型检查器对基于时间自动机的混合系统进行建模和验证
机译:对具有抢占式作业和全局系统中断的调度操作的研究。
机译:通过基于OPCS的程序分类在医院发作统计信息管理数据库中识别心脏手术操作并根据临床数据进行验证
机译:使用马尔可夫模型的基于时间自动机的森林后土地利用动态模型的校准和验证:基于马尔可夫模型的基于时间自动机的森林后土地利用动态模型的校准和验证模型
机译:用于表面船舶和武器的操作测试(OT)的美国海军验证,验证和认证(VV&a)建模和仿真过程(m&s)的分析
机译:保护电池供电的笔记本电脑或笔记本便携式个人计算机的用户数据-根据电源开关的状态执行特殊的操作系统中断和BIOS系统中断操作,以将用户数据存储在硬盘上以及状态数据系统管理器RAM中的计算机系统
机译:消费者执行身份验证操作后,立即基于与消费者的联系来管理身份验证
机译:用于同时命令脉冲和从发射时间自动机系统切换到接收时间自动机的电路,它会干扰多个超声压电换能器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。