模糊Petri网及其可达性的必要性条件

给出了模糊Petri网的形式化定义及其变迁规则，并以模糊Petri网的控制矩阵与关联矩阵为工具，讨论了模糊Petri网的性的必要性条件。     

汽车自动寻径算法的研究

根据全球定位系统(GPS)的发展和应用，讨论启发式搜索策略(A算法)的优点和不足；提出自学习寻径算(ALSA)。该算法克服了传统方法的速度慢、实用性差的缺点，可以满足实际应用的需要。同时模拟了广州公路网的路径搜索系统，以说明该系统的实用性和可行性。     

两相闭式热虹吸管的集总参数模型研究

通过分析无芯网的两相闭式热虹吸管（简称为ＴＰＣＴ）的传热机理，提出了正常工况下ＴＰＣＴ的集总参数模型，并利用现有的热管内部传热的经验关系式，对ＴＰＣＴ在不同热负荷、不同冷却速率以及不同工质种类条件下的温度分布和动态响应特性进行了数值模拟计算．结果表明该模型简明可行     

车载GPS/DR/GIS组合导航系统改善定位精度仿真研究

本文提出了ＧＰＳ、ＤＲ和ＧＩＳ相结合的新型车辆导航系统，建立了该系统的数学模型，并对其导航定位精度，用１３个状态推广卡尔曼滤波进行了模拟仿真分析，理论和实验结果表明，此组合导航系统，提高了车辆导航定位精度和工作可靠性。     

基于Petri网的分层半导体制造过程调度结构

针对复杂的半导体制造过程调度，在综述现有调度问题及方法的基础上，提出由投料调度、路径调度和两种类型的工件调度共同组成的分层调度结构的思想及方案，继而基于Petri订网模型，探讨所提出的分层半导体调度结构基于Petri网模型的实现方法，最后通过仿真对分层调度结构加以应用验证，并总结全文．     

基于GPS和GPRS的公交车辆管理系统的设计与实现

针对公交车辆管理信息化的要求,介绍了一种基于GPS全球定位系统的GPRS通用无线分组业务和计算机软件的车辆管理系统,实现了车辆的实时动态管理.给出了系统的硬、软件设计,为车辆管理信息化提供了一个低成本的解决方案.     

商业养老保险的精算模型

保险公司开办的商业养老保险,是我国养老保障制度的重要补充.收缴合理的保费是保险公司生存的关键.针对商业养老保险,建立了若干种养老保险模型,并利用精算数学的方法给出了这些模型的趸缴及年缴均衡净保费的计算公式.     

模糊时间Petri网应用

本文在时间Petri网和模糊Petri的基础上提出了一个新的模型——模糊时间Petri网.在给出定义之后,并利用该模型的对一个简单的实例进行了分析,得出了利用模糊时间Petri网可以充分的利用资源,极大的提高了资源的利用率.     

基于提升小波的多路径效应减少方法

数据后处理技术是解决高精度定位多路径效应的一个有效办法，而基于小波分析的多路径提取和消除技术是其中的一种正在发展中的有效手段之一。提出了一种基于提升小波技术的多路径高频噪声的消除方法。实验证实了该种方法是有效的，同时也证明了该方法实现的简单性和计算的高效率。     

飞行签派员执照计算机化考核网络系统设计

对民航飞行签派员执照考试计算机化网络系统的结构和功能设计进行了研究。该系统采用资源管理层、应用服务器层和表示层3层体系结构,网络通信采用TCP/IP网络协议,应用层通信协议采用自己定义的二进制数据包协议,程序设计采用Delphi语言,使用OOD。该系统框架包括考试管理子系统、考试服务器子系统、考生考试子系统和考生自测子系统。