随着智能制造已成为中国建设制造强国的发展战略,数字化研发方法的应用也在渐渐普及。在面对产品研发型号多、迭代快的情况下,所使......

物联网的建模和验证是物联网研究的一个重要领域。由于集成了物理进程,物联网表现出传统软件系统所不具备的物理特性。这些性质作......

基于时间自动机理论，在UPPAAL~种目前最先进的实时系统建模分析验证工具中，对RBc系统消息收发进行分析、建模及验证。最终对gBC系统......

BPEL描述的服务组合流程,没有充分考虑人的参与和人员活动对流程的影响,且不能保证服务组合流程设计在应用中的正确性.为了描述服......

时速200公里的中速磁浮列车具有转弯半径小、爬坡能力强、噪声低等显著优点,是缓解特大城市或城市群交通拥堵、实现区域内高效便捷......

军用车辆上装厢体多与车架固接,使得上装厢体的平顺性差。提出在上装厢体与车架之间多点布置悬置的方法,以改善上装厢体的平顺性。......

吸附以酿酒葡萄爱格丽(Ecolly)、小芒森(Petit Manseng)、霞多丽(Chardonnay)、8802和8803为原料,酿造5种葡萄蒸馏酒,采用搅拌棒萃......

随着无人机的应用越来越广泛,功能不断扩展,应用场景愈加丰富,无人机控制站系统也随之愈加复杂多变。在面对型号研制开发、功能升......