含内射极大左理想的左遗传环

证明了Ｒ是含内射极大左理想的遗传环当且仅当Ｒ是如下形式之一的环：（１）Ｒ是半单Ａｒｔｉｎ环；（２）Ｒ环同构于形式三角矩阵环，其中Ａ，Ｂ，Ｃ满足下列条件；（３）Ａ是左遗传，ＢＡ平坦．（４）Ｃ是除环，ＣＢ内射，（５）ａｎｎ（ＢＡ）是内射左Ａ－模，并且Ａ／ａｎｎ（ＢＡ）典范同构于自同态环Ｅｎｄ（ＣＢ）。     

细胞自动机的演化与计算理论’

本文介绍一细胞自动机的基础原理，讨论了细胞自动演化位形序列与形式语言的等价性，并给出９０规则与１５０规则的正则语言集，则时还建立了Ｔｕｒｉｎｇ机仿真９０规则的程序并给出相应的状态转移图。     

一种面向对象的形式化规范说明技术

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋，它是ＶＤＭ的一种扩充．并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明．     

《电工技术》CAI课件的开发

本文介绍了CAI课件在现代教学的必要性及作用,阐明了《电工技术》课件开发过程分为教学设计、脚本设计、课件制作、评价和修改等四个阶段。此课件现已应用于教学实践中,具有很好的实用性。     

挖掘实验室潜力、提高计算机教学质量

实验教学是保证教学质量的重要因素之一，从实验室的硬件建设、实验室单独设课、提高实验室教师素质、改革实验教学方法、加强实验教学管理等几方面，对实验教学进行了思考和探讨，提出了适应新形式下对实验教学的一些建议和经验。     

化学探究教学的选题与活动设计--"乙醇分子结构推断"探究活动设计的案例及分析

设计并分析“乙醇分子结构推断”探究活动案例 ,讨论探究教学选题的基本准则 ,介绍了探究活动模式选择及协作环境设计的一些具体作法与思考。     

课堂教学质量的区间值模糊综合评判

在分析了传统课堂教学质量评价方法之不足的基础上，设计了供教师和学生用的评价指标体系，改进了有效分的获取方法，用模糊综合评判方法，确定了教师课堂教学质量的优劣等级，利用区间数的排序方法，排列出了参评教师的的成绩名次．     

VB通讯控件在机房管理中的应用

用VB控件实现通讯的方法,比调用API动态连接库的方法更加方便、快捷,而且用较少的代码可以实现相同的功能．文中介绍VB通讯控件的基本属性设置和编程方法,以及AT相关指令的主要功能和使用．同时从实际操作出发,提出在Windows平台下的通信软件设计方法,给出基本通信程序．阐述在高校机房管理中,使用VB通讯控件MS Comm,通过Modem调制解调器来控制机房中的电脑电源开关,从而实现机房管理．     

基于Petri网的电梯系统规格说明

为克服非形式化技术描述系统规格说明带来的二义性,采用了一种形式化技术——Petri网来描述电梯系统的规格说明。Petri网技术是对离散并行系统的数学表示,适合于描述并发的计算机系统模型,可以正确的描述电梯系统。     

利用无线通讯方式控制全站仪的研究

研究了全站仪的底层通讯原理,在此基础上借助串口蓝牙转换模块实现了同全站仪之间的无线通讯,可以在电脑端实时地对全站仪进行相应的控制操作.实验用的全站仪为Leica系列,开发环境为VS2008,用C语言对全站仪的功能进行了函数级的抽象.最终的代码既可以在PC平台上编译,也可以在Windows Mobile系列的移动设备上编译.在该函数集的基础上可编制相应的数据处理程序应用于各种具体的测量项目中,如基坑监测的实时数据处理和带马达免棱镜扫描目标的实时三维建模等工作中.