直线电机轨道交通车载网络系统设计与实现

设计了一种直线电机轨道交通车载网络系统。介绍了所研制车载网络系统的架构、设备选型、开发工具,以及车辆运行控制逻辑、人机界面和安全导向与故障诊断系统的设计与实现。设计的车载网络系统在试验运行中验证了其适用性和可靠性。     

不确定环境下协同运输优化模型及其求解算法

在分析各种运输方式经济技术特性(速度、费用、运输能力等)的基础上,综合考虑多式联运实际运作过程中,运输时间和换装时间不确定性、换装条件和顾客对对货物到达时间窗的限制等因素,构建了一个时效性多式联运协同优化模型,针对模型的特点设计了相应的遗传算法.最后,给出了一个仿真算例,并分析了时间窗参数变化对最优解的影响,同时将该算法与其他求解方法进行了对比分析,仿真结果表明:遗传算法是解决不确定环境下多式联运协同优化模型行之有效的求解算法.     

最大乘积型Fuzzy上下文无关文法与下推自动机

为了扩大现有研究的应用范围，基于最大乘积型Fuzzy文法与自动机引入了最大乘积型Fuzzy下推自动机的概念，并讨论了最大乘积型Fuzzy上下文无关文法与最大乘积型Fuzzy下推自动机的关系．研究表明，当且仅当最大乘积型Fuzzy上下文无关文法产生的语言集能被最大乘积型Fuzzy下推自动机接受时，能达到自动识别最大乘积Fuzzy上下文无关语言的目的．     

Fair Preorder for Partial Fair Kripke Structures

IntroductionMany approaches have been proposed to dealwith the problem of model checking large statespaces,such as the composition methods,symbol-ic verification and abstraction techniques.A partialstate spaces model checking method was developedby Bruns[1] ,which explored just a part of statespaces,and those unexplored states and transitionswere often absent in incomplete or“partial”statespaces.In the automatic verification of concurrent fi-nite- state system,the branching time prepositiona…     

基于模糊缺省规则的自组织近似推理

将Ｒｅｉｔｅｒ的缺省规则推广到模糊子集上，研究了基于模糊缺省规则的近似推理 自组织近似推理，从而，为自组织模糊缺省控制器的设计和实现，奠定了理论基础。     

基于事例和置信度的多因素重要性排序方法

在多因素中确定各因素的重要性排序是涉及多因素问题研究的一个重要环节.借助模糊聚类方法和粗糙集理论中的重要性原理提出一个基于事例和模糊置信水平的确定多因素排序的客观方法.针对如何从客观数据中提取各种因素的重要性作了详细的讨论,最后给出了一个该方法的应用实例.     

电子收费系统项目用户满意度的模糊测评

智能运输系统项目用户满意度的测度问题在国内至今尚属一个无人问津的课题。本文以电子收费系统(ETC)项目为研究对象,提出了基于感知质量的ETC项目用户满意度模糊测评模型,并通过基于交通仿真软件模拟设计的评价方案,测算出了在不同ETC装备车辆占有率情况下相应的用户满意度指数。该模型方法为国家和地方政府的交通运输部门深入了解ETC项目可能给用户带来的各方面影响提供定量支持。     

基于小波网络的机械产品性能模糊综合评价

运用模糊化的小波神经网络进行综合评价的原理和方法,所有权重指标均通过自学习获得,使得模糊综合评价中指标权重的确定更为客观准确.结合具体机械产品＂电磁缓冲制动器＂阐述了小波神经网络方法在机械产品性能综合评价中的应用,并建立了相应的评价系统.实验表明,该方法做出的综合评价是科学、有效的.     

驾驶员因素对道路交通事故影响的定量评价模型

实例及研究表明,基于模糊一致矩阵的驾驶员因素对交通事故影响的定量评价模型,是一种度量驾驶员因素对交通事故影响的有效方法,它为定量研究驾驶员事故致因提供了新思路,并为驾驶员事故预防及管理提供了科学依据.     

Strong Completeness of Medium Logic System

The strong completeness of medium logic system is discussed. The following results are proved： medium propositional logic system MP and its extension MP^＊ are strong complete; medium predicate logic system MF and its extensions （MF^＊ and ME^＊ ） are not strong complete; and generally, ff a consistent formal system is not strong complete, then any consistent extensions of this forreal system are not strong complete either.