科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
刘嘉诚; 王梓丞; 易立富; 王光前;
西南交通大学信息科学与技术学院;
中铁二院工程集团有限责任公司;
全自动运行; 火灾联动; UPPAAL工具; 时间自动机; 综合监控系统; 火灾报警系统;
机译:城市道路交通网络级联动态的建模与分析
机译:一种通过潜在变量与联动不平衡建模结合的一种方法,运行多层基因组关联研究
机译:结合静态和运行时验证来验证面向数据和控件的属性:理论和工具
机译:使用统计建模验证运行的空中交通管理概念
机译:开发了一个交互式的面向对象程序,以对水轮机发电机横向振动进行建模,以监控机器的运行状况。
机译:面向模式的建模是验证和验证功能结构植物模型的一种新方法:鳄梨年增长模块的演示
机译:新型Liquamatic火灾监控器的建模和仿真基于红外机器视觉技术的全自动火灾识别和抑制系统
机译:使用统计建模验证空中交通管理运行概念
机译:轨道交通列车运行组织方案设计系统
机译:用于并行和面向对象系统的开发和验证方法,从而在系统建模中使用具有统一和直观语法的类建模语言(CML)
机译:基于多种不同验证码方法的面向计算机和人类APART(CAPTCHA)的完全自动公共培训测试
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。