论文部分内容阅读
根据软件安全性理论及技术的发展，以独立性评估组织为背景，结合铁路信号安全控制及防护系统对软件安全性评估理论及方法的实际需要，研究适合于我国铁路现状的车站计算机联锁软件的安全性评估理论和方法，并加以应用。
基于黑箱测试及风险度量的联锁软件安全性评估
【摘 要】
：
根据软件安全性理论及技术的发展，以独立性评估组织为背景，结合铁路信号安全控制及防护系统对软件安全性评估理论及方法的实际需要，研究适合于我国铁路现状的车站计算机联锁软件
【机 构】
：
同济大学电子与信息工程学院
【出 处】
：
铁道学报
【发表日期】
：
2001年4期
其他文献
提出曲线间距控制线的概念，进一步确定控制线的表示法，型值点的计算方法，用三次参数样条插值的方法检算车站咽喉曲线间距，检算不合要求时，提出平移和缩短梯线两种修改方法。
据《杭州日报》2017年11月8日报道，《杭州市客运出租汽车管理条例（修订草案）》首次把网约车纳入管理范畴，条例修订草案自公开征求意见起，备受关注。11月7日，杭州市人大法律委员会就
据《检察日报》9月3日报道，最高人民检察院相关部门负责人明确指出，试点地区开展的认罪认罚从宽处理，是在法律规定的幅度内进行从宽处理，不会有严重突破法律的情况发生，不同地区之
由苏州化工农药集团公司、中化江苏苏州进出口公司和日本花王株式会社、俨藤忠精细化工株式会社以进料加工合作形式的年产500吨烷基二苯醚项目合同签字仪式于3月28日在苏州举
At the time the Beijing Concert Hall had just opened and itwas very hard to get the tickets, but I took every chance avail-able to introduce my daughter to live performance. The experi-ence of a live
Hassan Akhssass from Morocco has studied Chinese language and literatureat Beijing Foreign Studies University(BFSU)for less than a year.
<正>He is a man of genius. Do you know what that means? It means he is brave, profound, and of clear insight. He plants a tree and his mind travels a thousand y
In August 2010, Nanchang was chosen as one of China’s eight pilot cities for low-carbon development. Today, Nanchang Municipal Government has adopted the devel