论文部分内容阅读
在采用构件化技术的安全苛求软件中,软件的安全性仍旧是首要特性,介绍了多故障模式下的安全接口策略,并将此理论应用在铁路车站计算机联锁软件这种安全苛求软件的开发中,对系统中单个构件定义安全接口,从而为整个软件系统提供了有效的安全性保障。
构件化安全苛求软件的安全接口策略
【摘 要】
：
在采用构件化技术的安全苛求软件中,软件的安全性仍旧是首要特性,介绍了多故障模式下的安全接口策略,并将此理论应用在铁路车站计算机联锁软件这种安全苛求软件的开发中,对系统中单个构件定义安全接口,从而为整个软件系统提供了有效的安全性保障。
【机 构】
：
同济大学铁道与城市轨道交通研究院
【出 处】
：
计算机应用
【发表日期】
：
2008年11期
【基金项目】
：
国家自然科学基金资助项目（60674004）.
其他文献
提出了能以多项式时间找到道路网中限长最大车辆密集度区域的一种高效算法.给出了算法介绍,分析了算法的时间复杂度,实现了计算车辆最大密集度区域的仿真平台,并进行了仿真分
提出了一种应用混沌局部搜索策略的差分进化算法（CLSDE），在每一代中通过DE／best／2／bin形式的差分进化算法找到最佳个体，然后在最佳个体的附近用混沌的方法进行局部搜索．6个基本测试函
2010年8月1日上午，“中国旋耕机之都”揭牌仪式在江苏省灌云县举行。江苏省灌云县旋耕机产业是该县经济发展的支柱产业之一，具有40多年的发展历史，科技创新能力强，产业集群优势明
提出用高铼酸根-乙基紫-聚乙烯醇体系直接光度法测定铼的方法。在表面活性剂存在下，乙基紫与高铼酸根形成的离子缔合物分散在水相中而进行的显色反应，不但解决了乙基紫与高铼酸
二十多年前 ,人们需要使用大量的纸张 ,耗费大量的时间来记录 DNA片段的核苷酸序列。同样 ,电泳结果也只能用黑白照片来储存。这种信息储存方式 ,即不利于分析 ,也不利于交流
目的：观察加味瓜蒌薤白半夏汤对冠状动脉粥样硬化性心脏病（简称冠心病）合并高血压的疗效。方法：选取2014年1月—2015年1月本院收治的冠心病合并高血压患者94例,随机分为观察组与
讨论了一类具常数投放且功能反应的食饵-捕食系统。得到了正平衡点全局渐近稳定的充分条件以及极限环存在的充分条件,并进行了数值模拟。结果表明,食饵种群与捕食种群均不会
FAQ是网站提供在线帮助的主要手段。利用检索机制根据用户提出的问题建立一个候选问句集,利用知网研究了用户问句和候选问句之间的相似度,从中找出最相似的问句,并将相应答案返回给用户。实验表明,该方法提高了问句匹配的准确率。
采用了扩展的巴科斯范式(EBNF)定义NC程序语法规则,提出了一种基于语言识别工具(ANTLR)的NC代码编译器的设计模型。该模型采用Java语言开发,具有良好的平台无关性;分别从词法分析、语法和语义分析、信息提取等方面进行编译器的设计与实现。实际运行结果表明:该模型能够高效地构建编译器原型;可快速、准确地对NC代码进行编译;具有良好的可扩展性。