不同Statechart语义比较

Statechart是一种可视的规格描述语言,由于其直观的特性和强大的描述能力,一直得到广泛的重视,Statechart语义的关键在于执行步语义,不同的statechart的变体有着不同的描述能力,而应用于不同的领域.本文以三种应用最为广泛的Statechart语义为对象,以逆时间的方式,从UMLStatechart的语义开始,通过对Statechart功能的讨论,逐步引出了STATEMATE Statechart的语义和Pnueli给出的Statechart的语义,并进行了比较,显示出不同语义的描述能力的差异和不同语义表达的思想.     

车辆路径问题的形式化及其知识表示方法研究

针对目前车辆路径问题(Vehicle Routing Problem,VRP)求解方法缺乏动态自适应能力这一缺陷,从面向问题的角度出发,研究车辆路径问题的形式化和知识表示。通过深入分析车辆路径问题及其特点,提出了基于知识的车辆路径问题的形式化方法及车辆路径问题的树状知识表示方法,并以此为基础,实现了车辆路径问题的知识表示支持系统,为模型自动生成和问题求解创造条件。     

智能交通安全控制系统的模型验证

随着智能交通系统的发展，交通安全控制系统的开发变得越来越复杂，系统中存在的“设计型故障”很难被检测和排除，“设计型故障”成为影响系统安全性的主要问题。笔者利用形式化方法对交通安全控制系统进行严格的模型验证，提出了系统模型验证的安全性约束和安全性路径的概念，给出了模型验证的推演方法，为解决智能交通安全控制系统的“设计型故障”问题提供了一种有效的手段。     

车地协同下的联锁子系统HCPN建模与验证

联锁子系统作为站内行车安全的关键保障,是车地协同下的列车运行控制系统的重要组成部分。传统联锁子系统存在地面集中控制失效风险大、列车自主化程度低等不足,为顺应精简系统结构、降低运营成本和提升列车自主化的列控技术发展趋势,设计一种车地协同下的联锁子系统用于城际铁路。考虑多车间的进路冲突是影响子系统功能实现的关键因素,提出进路预延伸策略以避免列车间的进路冲突。为确保联锁子系统功能安全,采用一种基于层次着色Petri网(HCPN)的系统功能建模与验证方法。通过对联锁子系统的主要功能实现过程—进路建立过程进行分析,提取子系统的功能需求,以此建立顶层需求模型。为缩小底层实现与顶层需求之间的差距,建立基于数据及行为低抽象度表达的模块层模型,并在其中引入死锁控制策略实现对系统功能逻辑的完整表达。以冲突进路建立场景为模型的输入参数,执行验证过程,通过对模型标准状态空间性能分析,实现对模型正确性的检验。在此基础上,采用分支时序逻辑ASK-CTL公式与状态空间搜索算法相结合的验证方法,完成对子系统功能安全性的检验。研究结果表明:模型的行为特性同子系统预期相一致,能够正确表达系统的行为。所设计子系统满足功能安全需求,可为底层实现提供依据。     

浅论信息技术与组织变革的关系

信息技术的迅猛发展及其在企业中的广泛应用是组织变革思想产生的最大原因和有力的支持工具，但在实践中对信．包技术和组织变革的关系认识却仍有许多误区。因此，本深入分析信息技术与组织变革的关系，并提出在企业组织变革中选择信息技术的几点注意。     

管理领域数学方法的理念与模式

随着我国经济与社会的不断发展,管理学在越来越多的领域中得到广泛的应用。数学在管理学领域中的思维模式是,在对管理对象进行研究的过程中,主要从数量上对其进行本身以及运行规律进行研究,并且可以从其中获取到较为抽象的数学模型,并且在管理的过程中应用这一模型。在管理的领域中应用数学方法的思维主要是应用各种数字、符号、以及各种函数关系或图像等作为一种语言,对被管理的对象以及其运行规律进行描述,从而形成一种与其他管理模式相异的新管理模式,也就是我们所说的数学模型。作者根据自身多年的工作经验对较为常用的数学模型进行分析,并着重介绍分析模型以及线性规划模型等。     

直方图规定化描述直观算法及其应用

在图像工程中,图像增强方法有多种.其中,规定化直方图的计算非常烦琐和复杂,理解和实现比较困难.在大量计算和分析的基础上,提出组映射直观描述算法,便于计算机实现,并可在铁路计算机网络中得到应用.     

南京地方海事现代化研究解析

本文从现代化研究的可行性和必要性着手分析,借鉴南京地方海事研究成果,简要分析了指标体系构建过程中重点关注的环节和指标确定原则,就研究工作中需注意的事项和基本要求提出来供大家参考,并提出了对研究成果的实践意见。     

舰艇沉没概率解析计算模型

对影响沉没概率计算的要素进行分析,给出沉没概率的解析计算模型;然后,对解析计算模型的2个关键问题,即水密区破损概率计算模型和沉没判据模型进行了研究。考虑到武器炸点在三维方向上分布是独立的,建立了水密区破损概率计算的解析模型。分析舰艇沉没的判据指标,并建立基于支持向量数据描述的沉没判别算法。最后,使用此解析计算模型对某船模的沉没概率进行了计算,该算例说明了此解析模型的准确性。     

《公路桥梁技术状况评定标准》中关于桥梁构件病害评定标度的确定

桥梁构件病害评定标度的确定是《公路桥梁技术状况评定标准》中所有计算的先导及基础.目前行业内的桥梁定期检查人员基本上是按照各自的经验来确定构件病害的评定标度,缺少一定的科学性和严谨性.通过举例说明,总结得出桥梁构件病害评定标度的确定方法,可为桥梁构件病害评定提供一定参考.