摘要：随着计算机系统应用的深入和广泛,系统安全性越来越成为人们关注的焦点,形式化模型检验是解决系统特性验证问题的一种有效途径,用有限自动机表示系统的设计和实现,用计算树逻辑CTL(ComputationalTreeLogic)公式表示系统的安全特性,探讨了系统安全性形式化验证的方法。

摘要：给出自校正控制系统的对称相似结构的定义，讨论了基本性质，指出了此系统的优越性。

摘要：应用遗传算法（GA）来解决起终点固定的货物配送问题（可抽象为起终点固定的TSP问题,以下简写为ST-TSP）.针对问题的特性设计了编码方式和适应度函数,并借鉴GA研究TSP问题的方法设计了选择、交叉和变异算子,实验结果数据显示该方法具有良好的搜索性能和鲁棒性.此外,论文还开发了基于Visual C++语言和MapX控件的实用物流货物配送软件平台.