关键词: 机电一体化系统  基于模型的系统工程  系统设计  系统验证  模型校验  

2019年第12期 《计算机辅助设计与图形学学报》

关键词: 电力供应系统  丰田汽车公司  家庭住宅  电动车辆  开发  丰田prius  系统验证  混合动力车  

2012年第06期 《汽车与新动力》

关键词: capp工具系统  集成框架  pdm  构建方案  特征信息模型  全生命周期  模块化理论  系统结构  系统建模  模块划分  关键技术  制造资源  技术实现  面向对象  功能模块  系统验证  液压机  用户化  

2005年第04期 《航空制造技术》

关键词: 液压助力转向系统  测试方法  载货汽车  应用  匹配问题  系统验证  评价指标  适用性  

2018年第03期 《重型汽车》

关键词: 意法半导体  生态系统  iot  阿里  压力传感器  认证  产品  系统验证  

2018年第03期 《传感器世界》

关键词: 国际标准  人大代表  记者采访  信息通信  研发试验  系统验证  研究院  中国  

2018年第03期 《日用电器》

关键词: 潮流计算  电力系统  潮流方程  ieee  迭代  系统验证  表示  taylor级数  节点  求解  

2004年第05期 《上海电力》

关键词: validator  finfet  新思科技  ic  系统验证  设计规则检查  物理验证  供应商  

2019年第15期 《计算机与网络》

关键词: 网络芯片  新思科技  系统验证  科技合作  虚拟测试系统  可扩展  网络测试工具  网络测试系统  

2019年第16期 《计算机与网络》

关键词: 系统复杂性  基于模型系统工程  系统验证  

2019年第07期 《科技导报》

关键词: mems  系统验证  建模  可扩充性  虚拟加工  规则描述  虚拟现实技术  工艺模型  器件  仿真  

2005年第01期 《高技术通讯》

关键词: 金融领域  区块  链  道路  融化  中国  数字货币  系统验证  

2018年第10期 《中国科技财富》

关键词: 通用访问控制框架  通信系统  安全性要求  安全策略  授权控制  系统验证  多样性  分布式  

2005年第04期 《计算机应用与软件》

关键词: 嵌入式系统  统一建模语言  uml  状态图  对象约束语言  ocl  系统描述  系统验证  

2004年第01期 《计算机辅助设计与图形学学报》

关键词: 下一代通信软件  特征冲突  通信有限状态机  系统验证  状态爆炸  

2005年第07期 《软件学报》

关键词: 复杂飞行器  虚拟试验  系统验证  耦合  

2017年第S1期 《系统仿真学报》

关键词: 处理器芯片  人工智能  haps  寒武纪  产品  系统验证  可扩展性  软件开发  

2018年第06期 《单片机与嵌入式系统应用》

关键词: 视频信号  dsp技术  数字图像  模拟  cpu时间  运算性能  存储空间  图像处理  处理机制  图像获取  静态图像  系统验证  彩色图像  方案  通用性  实时性  实用性  并行  

2005年第08期 《单片机与嵌入式系统应用》

关键词: 测试  三阶  华为  商用  应用  瞄准  系统验证  组网技术  

2018年第04期 《通信世界》

关键词: 国际标准  人大代表  信息通信  研发试验  系统验证  研究院  刘多  征集  

2018年第07期 《通信世界》