随机过程的自传导数字特征及其工程应用

为研究随机过程的自传导数字特征及其拓展性,利用可拓学中基元的拓展分析原理分析了过程元之间的关系。利用过程元的多特征性及特征之间的相关性及蕴含性,讨论了当过程元中某特征的量值改变时,由于传导变换的作用,会引起该过程元中其他特征的量值发生传导变换,从而给出自传导相关函数和自协方差函数的概念。通过对着舰系统的实例分析研究,表明该方法和思路为解决涉及随机过程数字特征的一类矛盾问题提供了可能性。     

基于形式化方法的道口控制系统规范建模与验证

为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证. 基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用UML图方法并结合精化策略建立了系统各层的Event-B语言模型. 通过对不变式的证明义务进行证明,验证了系统设计中的安全、时间特性,检查出了需求规范分析中的缺陷,提出了增强系统稳健性的改进方案,修正了系统的设计原型. 最后,通过不变式冲突与死锁检验进一步确认了模型的正确性. 研究表明文中方法提高了形式化建模过程的准确性与层次性,且确认得出目前规范中存在列车驶入道口时不能确保道口出清的缺陷,证实了使用本文形式化流程可以验证道口控制系统的需求规范并形成可靠的设计原型,从而可提高铁路道口的安全性.      

面向可重构机床配置合成的装夹规划方法

基于加工特征的定义与分类,将零件分解为一系列加工特征集合,在嵌入式特征模型的基础上,对加工特征的信息进行扩展,建立了基于富集加工特征的可拓基元模型及基于XML的描述方法,提出了基于拓展混合图论与启发式算法相结合的装夹规划方法,并通过标准实例验证了该方法的可行性与有效性.     

基于可拓关联函数的不正常航班管理预警模型

为解决不正常航班服务管理中无冲突预警的问题,用物元分析方法,建立了以预计延迟时间、运力资源富余度、滞留人数、现场服务能力和意外事件情况为特征指标,以安全、注意、警戒、危险和危机为分类等级的预警模型.鉴于冲突中各种因素相互影响,采用简单可拓关联函数确定模型中的评价权重,并以定量结果确定预警等级.实例验证表明,该模型可用于对服务环境状况的定性评价,或提供定量的预警信息.     

模糊理论在网络优化中的应用

随着网络应用范围的拓宽,应用中使用了大量的模糊语言,比如"费用高"、"距离远"和"代价低"等等,对于这类问题难以建立精确的数学模型.提出了运用模糊理论来解决网络优化中遇到的这类不确定的、模糊的问题,并结合一个具有模糊性的网络优化问题实例,建立数学模型,编写Java程序实现求解过程.最后通过对建模结果的验证,说明方法是有效的和可行的.     

模糊理论在网络优化中的应用

随着网络应用范围的拓宽,应用中使用了大量的模糊语言,比如"费用高"、"距离远"和"代价低"等等,对于这类问题难以建立精确的数学模型.提出了运用模糊理论来解决网络优化中遇到的这类不确定的、模糊的问题,并结合一个具有模糊性的网络优化问题实例,建立数学模型,编写Java程序实现求解过程.最后通过对建模结果的验证,说明方法是有效的和可行的.     

铁道车辆转向架构架可拓变型设计方法研究

在传统的铁道车辆转向架构架设计领域,构架变型设计时的变化不仅体现在结构尺寸上,其拓扑结构也随之发生变化.基于可拓思想,建立构架的可拓模型,提出一种基于可拓模型的构架变型设计方法.首先描述构架的物元和关系元模型,建立其可拓模型,并以有序三元组形式表达构架模块数据,通过可拓变换方法对构架进行变型设计.以某型车转向架构架的变型设计为例验证了方法的可行性.     

智能体技术在城市交通信号控制系统中应用综述

为解决分布式复杂巨系统在动态环境中的不确定性问题,智能体计算技术发展迅速.交通运输系统在物理位置和控制逻辑上分散于动态变化的交通网络环境,非常适合采用智能体方法建模与描述.文中综述了智能体技术在交通信号控制系统中各个领域应用的技术与方法,包括系统架构、控制算法、建模与仿真,以及智能交通集成管理等方面;跟踪了智能体技术在国内外交通控制领域的具体应用,讨论了智能体技术在智能交通信号控制系统中应用的研究动向,提出发展基于多智能体的交通网络信号集成控制系统的关键问题在于系统交互性、自适应性和可拓展性.     

铁路信号系统软件测试建模方法

针对铁路信号系统软件测试模型不能系统地描述测试需求的问题,提出风险时间状态机建模方法. 首先,分析铁路信号系统软件测试建模的特点,并提出建模需求;然后,以有限状态机理论为研究基础,在有限状态机的变迁和状态中分别扩展出时钟和风险等级元素,提出风险时间状态机建模方法,满足功能逻辑、时间约束和风险等级3个方面的建模需求,采用Z规格说明语言给出风险时间状态机的形式化定义和格局转移机制;最后,以计算机联锁系统中的道岔转换功能为例,建立风险时间状态机测试模型,并与时间自动机建模方法进行了对比,结果表明,建模方法上,所建立风险时间状态机比时间自动机节省62%的变迁数,描述能力更强,能够满足铁路信号系统软件测试的建模需求.      

UML状态图映射为Petri网模型的方法研究

UML广泛应用于软件建模,然而UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题。Petri网作为一种图形化建模工具,具有严格的形式化语法语义,而且有很多成熟的分析方法。本文提出了将UML状态图映射为Petri网模型的方法,并结合实例对映射后的模型进行分析,验证了模型的一系列正确性。     

多级可拓评价方法在城市高速公路环境现状评价中的应用

根据城市高速公路环境影响因素的特点和文献中的评价指标体系以及相应的指标特征值,比较全面、系统地构建城市高速公路环境现状评价指标体系.建立以可拓法为核心的城市高速公路环境现状的多级可拓评价模型.并以西安市某高速线路为实例,确定该线路及其运营子系统的等级度.理论分析和实例计算表明:该方法在城市高速公路环境现状评价中有较好的适用性.     

一类面向多属性评价的广义聚合算子MAAO

多属性评价问题中不确定性、不精确性和非独立性导致的非可加性以及可鉴别性是评价中的难点问题.本文基于模糊测度和模糊积分提出一种广义的多属性聚合算子,给出了形式化表达、性质分析和多维描述.该算子能够聚合得到解决上述问题的综合评价结果,对于建立切合实际的定量化评估方法具有较好的现实意义.     

可拓综合评判模型在工程风险评价中的应用

根据物元可拓性理论,运用可拓评判方法建立工程风险的综合评判模型,并将其应用于解决多层次的工程风险评价问题,为工程项目风险管理提供了一种有效的分析方法.     

可拓综合评判模型在工程风险评价中的应用

根据物元可拓性理论,运用可拓评判方法建立工程风险的综合评判模型,并将其应用于解决多层次的工程风险评价问题,为工程项目风险管理提供了一种有效的分析方法.     

基于TCPN的铁路客运站作业组合仿真模型

为解决现有铁路车站作业系统仿真模型建模过程复杂、适用范围有限、效率不高等问题,根据站场布置图,用进路冲突图描述车站列车进路及进路关系,并在此基础上建立了适用于不同站场布置图的赋时有色Petri网(timed colored Petri net, TCPN)仿真模型.车站作业过程仿真结果表明: TCPN仿真模型性能与结构稳定,适用于包括高速铁路在内的任意铁路客运站站型图的作业过程仿真及优化;冲突图模型与现实车站系统相似程度高,对车站布置图的描述精度与施工图精度相同,最高可达毫米级;与传统铁路车站仿真软件手工建模过程相比,冲突图模型建模效率高,建模过程耗时小于1 s;仿真过程咽喉进路最高负荷为70%,到发线最高负荷为35%,列车到达正点率100%,出发正点率91%.      

基于不规则三角网的DTM若干问题的探讨

介绍了用不规则三角网(TIN)建立数字地面模型(DTM)的基本思路,讨论了在建模过程中所遇到问题的解决方法,分析了混合模型的应用问题及TIN数据结构.最后,运用实例说明了由TIN生成的DTM在工程中的应用方法.     

基于ConGolog语言的动态Agent建模研究

分析了已有的面向Agent软件工程方法中Agent建模存在的问题,针对Agent的并发性和不确定性的特点,提出了采用具有不确定性和并发性特点的ConGolog语言描述Agent建模的方法。所建议的方法不仅给出了Agent的语义、形式化描述,并且能对Agent的模型进行验证。     

高铁信号系统安全关键功能测试建模方法

测试模型是高铁信号系统安全关键功能测试用例编制的重要基础,针对高铁信号系统安全关键功能测试建模过程中描述信号系统领域特征不够全面的问题,提出时间状态机测试建模理论和测试用例生成方法. 分析高铁信号系统测试建模的特点,提出信号系统安全关键功能测试模型的建模需求;以有限状态机理论为研究基础,结合功能逻辑和时钟约束提出时间状态机建模方法,采用Z规格说明语言给出时间状态机的形式化定义;将时间状态机转换为时间自动机,证明转换之间的一致性,并基于时间自动机的测试理论自动生成测试用例,再以计算机联锁系统中的道岔转换功能为例,建立时间状态机测试模型并生成测试用例. 最后,将两种方法生成的测试案例进行对比,结果表明:在功能逻辑方面,基于时间状态机建模方法生成的测试案例100% 地覆盖了基于时间自动机建模方法生成的测试案例,并新增了16条具有时钟约束的测试案例,能够满足高铁信号系统安全关键功能测试建模的需求.      

新型软件过程模型的缺陷分析

基于软件体系结构的组件式软件开发是一种新的系统开发方法，介绍了该方法支撑过程的基本构造，对其进行了形式化的描述，形成了新的软件过程模型，以过程模型为研究对象，在其典型迭代过程中从功能和结构关系角度分析了模型存在的缺陷和容易导致缺陷的因素，针对存在的缺陷，提出了可行的解决办法，有利于过程模型的改进和优化，最后，以实际开发案例为背景对模型的缺陷进行了说明和阐述。     

供应商选择问题的不确定优化模型及其算法

应用了不确定性模型描述供应商选择问题,建立了多目标随机机会约束规划的模型.设计了解决这类问题的混合智能算法;并通过实例计算表明:不确定性优化模型及混合智能算法是解决供应商选择等这类不确定性智能商业问题的有效办法,具有广泛的应用前景.