退出
我的积分:
中文文献批量获取
外文文献批量获取
叶安君;
中铁第一勘察设计院集团有限公司;
710043;
西安;
高速铁路; 时间自动机; ATP; 等级转换; 安全性; 形式化验证;
机译:从系统设计角度的模拟转换器(ADC)的功能建模,验证和测试
机译:基于时间自动机的马尔可夫模型对森林后土地利用动态模型的校准和验证
机译:ATP1A3- ATP1A3 - 缺陷型杂合小鼠在等级和改变的社会行为中显示出较低的等级
机译:使用自旋模型检查器对基于时间自动机的混合系统进行建模和验证
机译:研究生图书馆教育与等级游戏:基于程序变化与质量计划同等等级的学校等级分析。
机译:大振幅pH介导的自主化学机械振荡的实验证据
机译:使用马尔可夫模型的基于时间自动机的森林后土地利用动态模型的校准和验证:基于马尔可夫模型的基于时间自动机的森林后土地利用动态模型的校准和验证模型
机译:功能建模,场景开发和选项分析,以支持损害控制的优化船员。第1阶段:功能建模。
机译:用于同时命令脉冲和从发射时间自动机系统切换到接收时间自动机的电路,它会干扰多个超声压电换能器
机译:基于验证安全等级的图像验证码的提供方法和装置
机译:基于对象的基于方法的业务功能建模在基于Web的环境中实现的实现
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。