基于EFSM模型的不可行迁移路径判定

扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.     

关于采用现代教育技术进行教学的思考

采用现代教育技术进行教师培训，从教学软件、教学设备等方面入手，最大限度地发挥现代教育技术的优势，以便尽快提高教学效率。     

基于MATLAB的DEH系统仿真

利用VB作界面，MATLAB为仿真工具，开发了汽轮机DEH的系统数字仿真分析试验台，并对DEH系统在不同参数下的变化过程了仿真研究，实践证明应用MATLAB进行电务企业自动控制系统的仿真分析研究是一个极为便利有效的途径。     

多媒体课件的制作研究

随着多媒体技术的发展 ,多媒体软件正以其丰富的内容 ,多样的媒体信息 ,灵活多变的形式和快捷方便的交互式操作等特点 ,吸引着越来越多的用户。教育系统中多媒体软件 (课件 )教学已成为一个热门的话题 ,如何制作一个好的多媒体教学软件 ,是教师们都在探索的一个问题。本文介绍多媒体软件 (课件 )的概念、制作简介及制作经验。     

虚拟仪器及其实现技术

介绍了虚拟仪器及其实现的软、硬件设计技术要领。强调LabVIEW软件构建虚拟仪器的作用及使用方法和技巧。     

面向功率键图通用仿真软件

介绍了一种机电液动力系统通用动态仿真软件，该仿真软件可由原理图自动生成功率键图，由功率键图自动建立状态变量模型，实现了对非线性机电液综合动力系统的计算机仿真，有效提高了仿真精度和友善性。     

单片机软件的开发研究

单片机内含的软件决定了单片机的运行和工作，而ＲＯＭ、ＲＡＭ容量对软件的设计开发有很大影响。文中给出了比较实例分析研究了单片机软件的开发手段。     

电机交流采样信号数字滤波的分析

介绍了运用ＢｏｒｌａｎｄＣ＋＋所设计的瞬态分析软件，分析了三相电机交流采样中产生大误差的原因，提出数字滤波中应注意的问题及解决的方法。     

“高师有机题库”应用软件钥匙盘的研制

研究了磁盘、磁盘控制器和ＲＯＭＢＩＯＳ软件的原理，并编制汇编程序，制作钥匙盘．     

面向市场需求加强企业合作——浅谈软件学院的企业合作工作

By exploring the reasons leading to problems in university-enterprise cooperation,the paper explains the collaboration necessity in talents training between demonstrative software school and enterprises,puts forward conventional solutions and probes into the feasible modes of introducing resources from different channels.In addition,analysis is also made into possible stages in which problems might arise.