UML在铁路综合信息系统开发中的研究与实践

基于统一建模语言对面向对象的系统分析、系统设计及系统实现技术做了研究，采用例图、类图、时序图等模型，对车站综合信息系统中的行包车间子系统进行了总体分析、设计、实现与测试，并通过对该方法与传统的软件工程方法的比较，阐明了面向对象方法的优越性。     

基于关系代数的结构模式识别系统句法分析单元设计

介绍了一种基于关系代数的句法分析单元设计.尝试通过与关系代数模型紧密集成,利用关系数据库系统能够组织和快速检索海量数据的特点,提高句法分析单元的处理复杂文法样本的能力,同时减轻用户的编码负担.在此框架中,部分推导树集合被表示为关系；推理规则集被表示为扩展的关系代数运算.给出了算法实现所需的数据结构和控制结构.从而将句法分析算法完全表示为数据库系统中的一个关系运算过程.最后通过原型系统验证了该方法的可行性.     

基于公理设计方法的工程布局CAD系统设计

针对车辆动力舱的布局设计开发了一个支持完整布局设计流程的CAD系统.为了保证该软件的高效性与合理性,采用面向对象的软件设计的公理方法对该系统进行分析论证,最终得到软件的层次结构图、面向对象模型和流程图,用以指导软件的开发过程.     

基于ObjectArx的多高层钢框架CAD系统研究

根据多高层钢框架结构设计的特点,采用面向对象的系统开发技术,以AutoCAD作为图形处理平台,开发了基于ObjectArx多高层钢框架CAD系统.阐述了基于ObjectArx多高层钢框架CAD系统的开发方法,主要涉及系统总体结构、用户界面技术、对象模型分析及类实现、自定义实体的图形化显示、用户界面与数据分离等关键技术,并通过实践验证了上述技术的可操作性.     

分局调度系统中通用表头编辑器的设计与实现

在分局调度系统中，各个调度工作表的样式是不同的，提出一种通用表头编辑器，可将不同的工作表方便的在可视化环境下实现，运用面向对象的思想方法，建立了网格模型的概念，并运用Java语言详细地讨论了类的设计与算法的实现。可将表头编辑作为一个独立的组件嵌入分局调度系统的各个子系统中，实现了代码的重用，提高了程序的效率。     

网络消息即时传输系统的研究与设计

讨论了客户机／服务器程序的设计方法，利用面向对象的编程方法，进行了整个系统的设计。设计了服务器端处理用户请求算法、服务器端的底层通讯类、客户机／服务器之间的通讯数据类，服务器端分配用户帐号的策略等。该系统实现了TCP／IP网络的即时消息传送、消息广播、实时聊天、文件传输等功能。     

面向对象数据库存储方法的研究

基于分而治之的思想,对面向对象数据库提出了一二级存储方法。利用现有的两种经典的数据结构ＤＡＧ图和线性链表,将一个较为复杂的存储模式分为两个相对简单的子存储模式,从而较容易地实现了ＯＯＤＢ中的存取运算。最后给出了基于该存储模式的存取算法及其分析,论述了该存储方法的实际应用情况。     

测控系统数字信号处理软件包的设计与实现

目前测控系统中的信号处理算法大多数采用MATLAB,LabVIEW等第三方软件实现,普遍存在占用磁盘空间大、可移植性差、价格高等缺陷。针对以上问题,采用面向对象的方法,设计了一种基于C++的测控系统信号处理软件包,它既可以产生虚拟信号对系统软件进行测试,还可以对系统采集的数据进行频谱分析、数字滤波、参数计算等处理。该软件包以API方式向测控软件提供接口和测试样例,便于软件开发。初步应用表明,此软件包可缩短测控软件开发周期,保证测控软件具有良好的扩展性和可移植性,便于日后的升级和跨平台使用。     

一个面向对象数据库系统

介绍了一个采用visual C^ 开发的完全摆脱关系模型的纯面向对象的数据库系统LROODB,并对这个系统在设计和实现中遇到的几个问题进行了讨论,应用显示LROODB系统是一个可靠实用的面向对象数据库系统。     

内核网络子系统的模块化设计

将面向对象的设计方法引入内核设计中,采用"低层处理"的策略,在多平面软件框架的数据平面内将所有的网络操作处理模块化;在内核空间中,研究并设计了虚拟网络块(VNB)框架.VNB框架由一系列的模块节点和节点之间的连接组成,数据流沿着模块节点之间的连接在不同的节点之间双向流动,当一个模块节点接受到数据包,执行处理后将数据包传递给另外一个节点模块.该框架基于UNIX的V流设计方法,采用"Netgraph"技术实现了复杂网络功能的处理高效率和设计灵活性.     

空间5S-S并联机器人机构尺度综合的解析方法

Groebner基是多项式理想理论中的一个重要概念和研究工具。将基于Groebner基的代数方法应用于空间5S－S机构体导引综合，获得当给定刚体6个精确点时问题的符合型三角形Groebner基，即解析形式的解。     

Software Testing Method Based on Model Comparison

A model comparison based software testing method (MCST) is proposed. In this method, the requirements and programs of software under test are transformed into the ones in the same form, and described by the same model describe language (MDL).Then, the requirements are transformed into a specification model and the programs into an implementation model. Thus, the elements and structures of the two models are compared, and the differences between them are obtained. Based on the diffrences, a test suite is generated. Different MDLs can be chosen for the software under test. The usages of two classical MDLs in MCST, the equivalence classes model and the extended finite state machine (EFSM) model, are described with example applications. The results show that the test suites generated by MCST are more efficient and smaller than some other testing methods, such as the path-coverage testing method, the object state diagram testing method, etc.     

预应力混凝土连续刚构桥预拱度的设置与控制

连续刚构桥现在已发展成一种常见桥型,特别在山区,高墩与挂蓝悬臂施工,使得连续刚构桥更具优势。线型监控是连续刚构桥监控的重点,而预拱度又是线型的重要内容。以正在建设的某公路刚构桥梁为实例阐述连续刚构桥预拱度的计算问题,并应用有限元软件进行计算分析。该桥的顺利合拢,表明该桥的线型控制是成功可行的。     

虚拟相关法测量相位差仪的设计

虚拟仪器(VI)是计算机技术和传统的仪器仪表技术相结合的产物,是仪器发展的一个重要方向.LabVIEW是一个基于图形化编程语言的虚拟仪器软件开发工具,本文根据相关法测量相位差的原理,阐明了运用LabVIEW图形化编程语言开发虚拟相位差仪的方法.     

BitTorrent模型原理分析

BitTorrent是一个技术框架,在P2P的基本架构下定义了一个高效的文件分发模型,该模型不仅规定了文件分发中的不同实体,而且对实体之间的信息交互方式,所遵循的规范进行了严格定义,最为关键的是该协议规范中提出了分断共享的概念．在文件传输关键环节中提出的算法,使得在不稳定网络中的大文件分发更为高效．     

基于工作流及元模型的城市建设项目交通影响评价系统框架

在对城市建设项目交通影响评价深入研究的基础上,建立了以设施为中心的评价模型。根据城市建设项目交通影响评价多模型和评价流程多变的特点,提出了基于工作流及元模型管理的计算机软件系统框架,较详细地阐述了系统框架实现的核心技术。用某一居住区的数据进行了模拟计算,计算结果表明,所设计的模型和软件系统框架是有效的。     

Optimization of Numerical Control Program and Machining Simulation Based on VERICUT

In the machining process of large-scale complex curved surface, workers will encounter problems such as empty stroke of tool, collision interference, and overcut or undercut of the workpieces. This paper presents a method for generating the optimized tool path, compiling and checking the numerical control(NC) program.Taking the bogie frame as an example, the tool paths of all machining surface are optimized by the dynamic programming algorithm, Creo software is utilized to compile the optimized computerized numerical control(CNC)machining program, and VERICUT software is employed to simulate the machining process, optimize the amount of cutting and inspect the machining quality. The method saves the machining time, guarantees the correctness of NC program, and the overall machining efficiency is improved. The method lays a good theoretical and practical foundation for integration of the similar platform.     

A method of minimum reusability estimation for automated software testing

Through reusing software test components, automated software testing generally costs less than manual software testing. There has been much research on how to develop the reusable test components, but few fall on how to estimate the reusability of test components for automated testing. The purpose of this paper is to present a method of minimum reusability estimation for automated testing based on the return on investment (ROI) model. Minimum reusability is a benchmark for the whole automated testing process. If the reusability in one test execution is less than the minimum reusability, some new strategies must be adopted in the next test execution to increase the reusability. Only by this way, we can reduce unnecessary costs and finally get a return on the investment of automated testing.     

纤维对微表处混合料性能影响分析

微表处是一种性能优良的养护技术,在我国得到广泛的应用.检验了微表处用原材料的技术指标,在满足规范的要求上以试验分析为基础,通过使用不同纤维以及纤维的添加量,分析这些因素对微表处混合料轮辙变形试验的影响.     

高墩大跨连续刚构桥的温度效应研究

为了研究高墩大跨连续刚构桥在温度荷载作用下的影响,以实际桥梁工程为背景,建立其数值分析计算模型,分别考虑了我国公路桥梁设计规范、英国BS-5400规范和日本规范三种不同规范的温度荷载模式.通过对关键截面的应力水平、挠度变化进行对比研究,结果表明,不同设计规范的温度荷载模式对高墩大跨连续刚构桥的力学行为特征引起差异较大.