时序逻辑及其表达能力综述

时序逻辑是研究状态随时间变化系统的逻辑特性，在软硬件验证中有着广泛应用，是模型检测的基础。基于对时间模型的不同描述以及为了处理更加复杂的计算特征，衍生出各种时序逻辑，具有不同的表达能力，正确理解其表达能力对于系统模型的形式化规约尤为重要。首先，介绍基于离散时间模型的线性时序逻辑LTL、计算树逻辑CTL和CTL^*，以及基于连续时间模型的区间时序逻辑ITL和投影时序逻辑PTL，对它们的表达能力及区别进行了详细阐述；然后，概述为了描述随机、实时、混成、开放系统中的复杂行为而提出的不同时序逻辑，指出它们的特点及适用范围；最后，对时序逻辑的未来研究方向进行展望。     

主观可靠性：一种新的可靠性假说

提出了主观可靠性和主观可靠性比较等概念，研究了主观可靠性特征，性质，串并系统以及它们与Ⅱ型Ｆｕｚｚｙ集的联系，奠定了主观可靠性理论的初步基础。它在社会系统的人的行为起主导作用的工程系统中的可应用性是显而易见的。     

基于开放标准的移动位置服务系统的设计与实现

针对当前市场上推出的MLS系统独立、封闭的现状，提出了一种基于开放标准的MLS系统设计方案：采用客户／服务器的架构方式．客户端设备支持java的MIDP技术，服务器端采用的是Webservices，开发语言用java，这样整个系统的搭建就不会受平台的限制．对于来源于不同物理位置或不同存储格式的地理信息数据，其在服务器端内的传输采用的是GML语言；通过XSLT，GML文件中描述的地理信息数据可以转换为能受移动设备控制的矢量图形描述语言SVG，它们都是基于开放XML语言标准，文中还就其关键技术的实现方法加以说明.     

频域电路回路电流系统法探讨

针对不含受控源和含受控源两种不同频域电路，探讨如何分别应用回路电流系统法基本原理来建立它们的方程并求解。探讨这两种电路方程建立和求解中存在共同点和不同点，探讨电路固有频率和电路变量固有频率引起变化的原因。     

�й���ͨ��չ���ݽ����̼������˼��

本文系统回顾了中国交通系统形成的历史过程及相关研究成果，分析了不同时期交通运输系统的需求特点及其内在原因，研究了中国综合交通系统的布局及运行特点，论文结合作者近年根据中国综合交通发展需要策划组织的几个重大研究项目，分析了它们对于当前中国交通运输研究的意义，评述了部分重要结论的现实意义；论文根据对各时期交通运输系统存在问题的分析与总结，提出了改善综合交通体系规划、建设与运行的政策建议。     

一种新型的电力推进系统

综合分析比较了吊舱式电力推进系统的特征，指出了吊舱式电力推进系统广泛的使用前景．介绍了当今世界上的几种流行的吊舱式电力推进系统，分析了它们的结构、模块、性能等特点．提出在我国应该大力发展吊舱式电力推进系统的研究，以提高我国在该领域的技术水平．     

两不同部件热贮备系统一个模型的可靠性分析

研究了两不同部件热贮备系统的一个模型，在部件的工作寿命，贮备寿命，修理工在系统内的德行等待时间和在外工作时间分别服从不同的指数分布，部件的修理时间分别服从不同的连续型分布的假设下，求得了系统的可靠性指标。     

格值时态命题逻辑LTP(X)的语义问题

在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是)，建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X)，讨论了LTP(X)与时间相关的一系列性质及时态词的重叠问题，证明了MP语义规则和HS语义规则在该系统中成立。     

铁路虚拟专用网建设中的关键技术分析

在分析了铁路参与市场竞争和信息化过程中以虚拟专用网技术的迫切需求后，给出了一些虚拟专用网所运用的最新技术，并分析了它们的优点及其在铁路各系统中的适用范围，同时，分析了铁路专用信息对Qos的特殊要求，指出了运用VPN所面临的困难。     

基于CBR和MAS的分布式故障诊断系统模型研究

近年来，基于多Agent的分布式智能系统已成功地应用于众多领域．将CBR技术和MAS技术应用于分布式故障诊断系统，提出了一种基于CBR和MAS的分布式故障诊断系统模型，并着重研究了模型中各Agent及组成部分的功能和它们之间的协调合作问题．该模型的研究为实际应用系统的研制开发提供了理论指导和方法依据．