【摘 要】
：
针对列车自动防护系统（ATP）对软件的高安全性的需求,提出并实现了一种基于UML的需求建模方法。该方法借鉴了形式化语言的特点,在经典的状态机模型上做了改进,引入了超级状态机,
【机 构】
：
浙江大学生物医学工程与仪器科学学院,浙江大学信号系统研发中心
论文部分内容阅读
针对列车自动防护系统（ATP）对软件的高安全性的需求,提出并实现了一种基于UML的需求建模方法。该方法借鉴了形式化语言的特点,在经典的状态机模型上做了改进,引入了超级状态机,并定义了精确的规则和语义,实现了对复杂的ATP系统的形式化建模。在某城市地铁线路的信号系统的应用表明,此方法建立的需求模型避免了语言描述的二义性,降低了软件故障率,提高了ATP系统的安全性,且更易于开发和维护。
其他文献
媒体访问控制（MAC）协议是保证无线传感器网络（WSNs）高效通信的关键网络协议之一。MAC层协议设计的是否合理将严重影响网络的性能。介绍了现有MAC协议分类和主要MAC协议。分析了WS
学术社区和学术搜索引擎在科研活动中日趋重要。给出了一个基于学术社区的学术搜索引擎的设计方案,指出了它应具备的功能,提出了应着重解决的关键问题,并对部分问题提出了实
细胞焦亡是一种炎症相关的细胞程序性死亡方式,由胱天蛋白酶(caspase)和炎性小体介导,最终依赖gasdermin家族成员gasdermin D(GSDMD)执行。细胞焦亡的发生伴随着细胞内炎性因
目前大多数聚类算法主要针对空间点对象且未考虑空间对象的拓扑关系。利用空间线对象相交关系定义了空间线对象连接度,提出一种基于连接度的空间线对象聚类算法SLCC（Spatial L
针对微流控芯片中压力相关测量的问题,提出了一种利用微尺度层流分布测量微流控芯片中的压力（流速）的方法。主要研究内容包括微汇合层流结构的设计（Y型结构）,微尺度层流分布的压
在构建高可用性P2P存储系统的过程中，针对系统中节点的高度动态特征，设计了一种自反馈的心跳故障检测算法。它结合心跳策略和无偏灰色预测模型，根据应用需求和网络环境的变化动
在研发浮法玻璃锡槽在线测厚仪的过程中,为了克服高温气体湍流条件下激光传输光线起伏效应对激光测量系统性能的影响。利用基于帧差的像点运动轨迹探测手段,确定的流场内图像模糊、抖动的体现程度与CCD的积分时间成反比;试验采用各种合适窗口的邻域滑动平均法,对线阵CCD数据数列进行修正可消除热致光学误差对视频信号的影响。
正常人体形态学课程的教学在我校及其他高校经历了较长时间的摸索和发展,通过在我校近10年实践,中医学、维吾尔医学和哈萨克医学学生学习兴趣逐渐增加,学生成绩也不断提高。
考虑了条件属性引入优势关系而决策属性上引入等价关系的不协调目标信息系统。分析了这种基于优势-等价关系的相容约简、最大分布约简及正域约简三者之间的关系。此外,结合劣
针对农业生产环境中信息监测点分散和有线数据传输方式的局限性。以射频芯片CC2430为平台，利用新型无线通信技术ZigBee的易扩展、成本低和功率小等优点。在研究网络组建、系统