【摘 要】
：
摘要：车站联锁软件一直有着严格的测试要求，仿真模块是测试的重要组成部分，Petri网作为形式化语言的一种，有着准确与完备的特点，对于安全苛求软件的测试尤为适合，该文提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式，并分别给出了针对铁路道岔的基于基本Petri网和有色Petri网2个建模实例。该模型有助于提高测试系统的安全性与精确性。 关键词：联锁；软件测试；建模；Petri网 中图
论文部分内容阅读
摘要：车站联锁软件一直有着严格的测试要求，仿真模块是测试的重要组成部分，Petri网作为形式化语言的一种，有着准确与完备的特点，对于安全苛求软件的测试尤为适合，该文提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式，并分别给出了针对铁路道岔的基于基本Petri网和有色Petri网2个建模实例。该模型有助于提高测试系统的安全性与精确性。
全文查看链接
道岔在联锁系统中是用来提供给列车轨道转换的装置，用来保障列车进入正常进路区，正常情况下，它根据进路的建立命令的保持不同的状态，因此在建立仿真模型的过程中，应把道岔所受的联锁控制以及其的所处状态作为需要考虑的重要因素，而其物理位置、形状、外壳颜色等物理特性均可以忽略不记[2]。选择道岔的显示状态作为库所，道岔所受的联锁控制作为变迁，可以很好地描述道岔的状态转换。由于道岔的当前状态只有4种，用基本Petri网即可方便、直观描述。如图1，清楚的表明了基本道岔的状态转换。
全文查看链接
其他文献
摘要：多媒体技术的应用将使计算机进入家庭、艺术及生活的各个方面，从而极大地影响人们的生活及生产方式。为了提高《多媒体技术》课程教学的水平，增强高等院校学生对多媒体技术的应用能力，从而提高大学生综合素质水平，我们准备建立《多媒体技术》网络课程。本文将从《多媒体技术》网络课程的教学目的、教学优势以及对其资源库构建过程中所遇到的问题进行探讨、研究。 关键词：《多媒体技术》； 网络课程；资源库 中
摘要：提出一个BP神经网络的单数字字符识别算法的总体实现方案，实现单数字字符图像的采集、储存、识别和显示。根据BP神经网络的原理，把识别算法分成工作期算法和学习期算法，并采用VC 6.0软件，运用VC语言分别设计并实现其算法，用MFC设计了系统的显示界面，最终可以在液晶屏幕上看到字符的识别结果。结果显示运用该算法，单数子图像识别率在90%以上，而且学习次数越多，识别率越高。基于BP神经网络的单数
摘要：针对传统本科毕业论文的管理方式和问题，讨论了本科毕业论文管理系统开发的可行性和功能模块，然后利用LAMP平台实现了该系统的各个功能，为毕业论文信息化管理提供了新的解决方法。 关键词：毕业论文管理系统；PHP；系统设计 中图分类号：TP311.52文献标识码：A文章编号：1009-3044(2008)25-1449-02 Design of Undergraduate Graduatio
摘要：随着无线网络增值数据业务的不断发展，用户量及用户使用频度越来越大，增值无线系统也越来越复杂，迫切需要一种较为准确的用户行为模型对系统建设以及维护进行指导。而传统的语音业务模型由于业务形式大为不同，没有办法对无线数据业务用户的行为进行准确的分析和描述。为解决这一问题，该文通过对CDMA1X网络上开展较好的WAP业务数据的采集分析得到了WAP用户行为的数学模型。 关键词：CDMA；WAP；用户
摘要：作为常用的课件制作工具，Authorware生成的文件一般在打包后提供给用户。Authorware打包有两种方法，在打包发布时有很多细节需要注意。文章以Authorware7.0为例，对打包过程中常见的问题进行分析，并提出解决方法以供参考。 关键词：课件；Authorware；打包；问题分析 中图分类号：TP319文献标识码：A文章编号：1009-3044(2008)35-2484-02
摘 要：电子书包进入课堂带来了更加多样化的教与学的方式，而电子书包最核心的价值在于与传统课堂相融合，超越与变革现有教学模式，真正实现有效教学。本文在论述电子书包应用现状的基础上，介绍了“双课堂”理念，构建了云环境下基于电子书包的“双课堂”教学模式，并对该模式的应用提出了一些思考，以此探索如何利用电子书包进行有效教学。 关键词： 电子书包；双课堂；云平台；教学模式 中图分类号：G434 文献标志
摘要：该文在研究语音编码技术原理的基础上，详细研究了G.729A语音压缩算法实现过程，并在VC和DSP C5000 CCS2.0软件中对其进行了仿真，最后对G.729A语音压缩的结果和性能进行了分析。 关键词：G.729A；语音编码；共轭结构－代数码激励线性预测 中图分类号：TN912文献标识码：A文章编号：1009-3044(2008)26-1816-03 Performance Res
著/裴明熙（韩） 绘/李范埼（韩） 译/徐 涵 安静！现在介绍新转学来的同学。 Hello！我叫朴罗米，请多关照。 罗米是从美国回来的侨胞。 他在美国出生和上学。 本文为全文原貌 未安装PDF浏览器用户请先下载安装
摘要：软件开发和软件测试就像两兄弟，他们密不可分、协同合作，目标只有一个，那就是成功开发出高质量的软件。开发与测试之间的关系如此密切，让我们很难彻底的将两者严格的划分开来。单元测试做为测试的一部分，一般都由编码人员来承担，对于模块级一直都是谁编码、谁测试。因此测试不仅仅是测试人员的事情，作为编码人员也需要懂得测试的基本方法，以通过单元测试提交高质量的程序模块。 关键词：NetBeans；Juni
摘要：为了提高FPGA技术映射算法的质量，提出了一种基于布尔可满足性（SAT）的算法，在实现系统功能的前提下，可以将一个子电路映射到数量最少的查看表中。通过将该算法迭代应用于已经完成映射的电路局部，在许多情况下，可以使用更少的查看表来完成。 关键词：布尔可满足性；FPGA；再综合；映射优化；查看表 中图分类号：TP331文献标识码：A 文章编号：1009-3044(2008)35-2502-0