排序方式: 共有29条查询结果,搜索用时 15 毫秒
1.
现在的工业通讯方式种类繁多,例如AS-Interface、DeviceNet、Modbus、PROFIbus等,每一种通讯方式都有它的特殊性。而近几年市场对于工业通讯上的要求也越来越多,例如希望做到无缝接入、开放式网络架构、管控一体化、多网合一等等。这些需求都使得既有的通讯方式面临巨大的挑战,例如在网络带宽上、在整合不同厂家设备上、在布线上、在垂直整合自动化多层结构以及加强管理功能上等都遇到市场强大的质疑。正是由于这个原因大家开始找寻合适的解决方案,发现原本在IT被大量应用的以太网似乎可以解决这些问题。 以太网技术有许多优点,例如可… 相似文献
3.
4.
随着安全关键性系统的日益复杂,如何提高安全关键系统的安全性成为急需解决的问题.基于形式化模型的复杂系统设计与分析是一种重要的安全性分析方法.本文工作对AIR6110标准中的机轮刹车实例系统进行了基于形式化方法的安全性分析研究,包括:在系统模型设计层级对机轮刹车系统(WBS)的架构进行层次化分析,将自然语言描述的WBS系统功能用形式化语言(AADL的子集SLIM)进行严格的建模描述,消除AIR6110标准中自然语言描述存在的需求语义的二义性,从而建立了WBS系统的形式化模型;考虑系统可能发生的故障并设计多种类的故障模式,基于这些故障模式对建立的形式化功能模型进行失效行为语义的扩展,然后对获得的扩展系统模型进行安全性分析.实例分析论证了基于模型的安全性分析方法在工业系统中的有效性和实用性. 相似文献
5.
基于模型的安全性分析方法能够提高对目前复杂安全关键系统的建模与分析能力。系统建模语言(System Modeling Language,SysML)是一类在工业领域被广泛应用的非形式化系统功能建模语言,AltaRica是面向系统安全性分析的形式化建模语言。针对国内目前缺乏面向SysML的系统安全性分析工具的现状,设计实现了一个面向SysML的系统安全性分析工具并进行了实例研究。首先建立了SysML设计模型到AltaRica分析模型的映射规则;同时根据映射规则设计算法实现两种模型的自动转换,并集成了Altarica的分析引擎对系统模型进行自动化安全性分析;最后以SAE-AIR6110标准中的一个复杂的机轮刹车系统(Wheel Brake System,WBS)为实例,验证了所提工具的可行性和有效性。实验结果表明,对于包含25个组件类型、34个组件实例的复杂系统,该工具可有效地完成SysML模型到AltaRica模型的转换并进行正确的安全性分析。 相似文献
6.
针对电压扰动及其存在的问题,文章将TLS-ESPRIT方法应用于电力信号干扰分析。该方法结合总体最小二乘法和子空间旋转不变性实现了电力信号扰动的检测,通过仿真分析证明该算法精确有效,实现过程简单,运算量小。通过对实际数据的分析证明了该算法的可行性,在实际电力信号干扰处理中具有应用前景。 相似文献
7.
陈朔 《数码设计:surface》2008,(10):166-168
本文从市场对本土设计的需求出发,阐述了企业品牌与产品本土化设计的关系;以及通过对消费者、产品、设计师这三个因素的解析来探求产品本土化设计在品牌建设中的应用过程。 相似文献
8.
9.
10.