基于UML状态图和基本Petri网生成测试用例

结合UML状态图和Petri网提出了一种生成测试用例的方法。将UML状态图转换成对应的EN-系统模型，利用EN-系统的性质检测并排除UML状态图中的不可达状态和事件的冲突和冲撞；再应用与合理的UML状态图对应的EN-系统生成可达状态图，利用可达状态图生成测试用例。该方法一方面可以很好地实现并行子状态的嵌套问题，避免了将并行的UML子状态展平成EFSM时引起的状态爆炸问题；另一方面，由于测试用例的覆盖标准是基于可达状态图的基路径、事件和可达状态覆盖，所以还很好地解决了对系统的不同测试要求和状态的可达性问题。     

基于BP神经网络的某挖掘机故障诊断知识库设计

针对传统知识库存在知识获取困难、表达复杂、推理容易产生组合爆炸等缺陷,提出了一种基于神经网络的知识库建构方法,建立了某型挖掘机的神经网络知识库。研究了BP网络的结构及训练算法,阐明了知识库的实现过程,并以液压泵故障诊断为例,证明了神经网络知识库具有知识获取简单、表达清晰、推理逻辑性强等特性。     

铁路列车沿线车外气象参数模型的建立

借助时间序列分析的思想采用RBF神经网络针对特定铁路客车沿线建立了全年的逐时气象参数(温度与太阳辐射)模型。为铁路客车运行过程性能研究和能耗仿真研究提供了基础。     

城市轨道交通线网线路敷设方式研究

结合广州市城市轨道交通线网建设规划的经验,在广州市城市轨道交通线网资源共享规划研究的基础上,对线路敷设方式规划的必要性、主要内容、影响因素及确定原则进行了阐述,并对地面线、高架线、地下线三种形式在适用范围、对城市土地利用、对环境影响、工程造价等方面进行了综合分析比较,为线网线路敷设规划提供技术支持。     

产品多学科集成设计方法研究

通过运用多学科设计、分析、优化工具对产品进行数字化设计,提出了虚拟产品多学科设计的总体框架,阐述了总体框架的构成及功能,并对软件框架进行细致的分析,初步探讨了虚拟产品设计中多学科集成优化设计的理论和方法,具有一定的参考意义。     

主被动式网络化汽车驾驶模拟器的研究及应用

本文介绍主、被动式网络化的汽车驾驶模拟器。该模拟器除采用了先进的计算机虚拟现实技术和汽车动力学模型外，还具有模拟器间的网络交互、主被动驾驶模式、运动约束、语音提示、驾驶评价等方面的特点，在应用上具有显著的特色。     

微机静止无功补偿系统及其通信实现

详细介绍了在SVC中实现DSP和PC机之间的异步串行通信,对在VisualC++.net环境下使用MSComm控件开发程序时的难点作了详细论述,并给出了程序运行结果。