退出
我的积分:
中文文献批量获取
外文文献批量获取
王志宇;
中航沈飞民用飞机有限责任公司;
模型检查; 自动检查; 自动化; 标准件库; 二次开发技术; 数字化技术; CATIA; 企业设计;
机译:标准件加自动化
机译:利用DMAIC方法研究具有可用性的自动化生产线生产率数学模型的参数研究。
机译:使用任务分析模型的人与自动化交互检查模型
机译:模型检查自动化工具的开发:检查自动化和反例分析效率
机译:通过模拟用户交互的基于模型的可用性评估自动化,通过模拟基于用户交互=自动化用户界面模型的自动化通过模拟用户交互来实现自适应用户界面
机译:来自人源化肺癌异种移植模型的数字化全玻片的半自动化分析用于检查点抑制剂反应预测
机译:使用多尺度视图规划算法从运动模型实现三维结构的分层模型质量,以实现自动化目标检查
机译:扩展案例研究方法研究文化,组织和自动化因素对人类自动化信任的影响。
机译:用于模型检查的脚本转换程序,模型检查程序,用于模型检查的脚本转换装置和模型检查装置
机译:具有多个模型检查器的模型检查装置以及使用该模型检查器的模型检查方法
机译:基于模型的自动化检查系统,用于筛选电子元件
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。