银企直联系统网络安全技术应用研究

银企直联系统是企业信息化应用新模式，应对来自网络的信息安全威胁是一个关键问题。本文以一个银企直联系统为实例，从企业财务系统和网上银行系统两方面分析其系统结构，考察了系统信息安全需求。通过合理设计系统安全结构，综合运用网络安全技术，给出了一个有效加强系统安全性的实现方案，为实现系统功能提供有效的信息安全保证。     

基于自控网系统的批处理建模及分析

自控网系统是Petri网系统的一个子类，与P／T系统以及基本网系统相比较，具有更强的描述能力和建模能力。文章以自控网系统为基础，定义了相应的规则，并对一个成品自动化加工批处理过程进行建模，得到自控网模型，运用可达图分析技术对该模型进行了动态行为的分析，得出该模型是结构活性的。     

重型数控旋口机自动编程系统研制

本文从生产实际出发，详细介绍了一个二维三轴数控旋口机自动编程系统的开发和研制过程。实用性是该系统的一个突出特点。由于该系统采用了模块化的结构设计和较强的容错能力，所以该系统具有较强的实用价值。     

推广非线性Schrodinger系统与推广Heisenberg系统的规范等价和推广非线性Schrodinger系统的Darboux变换

本文研究推广非线性Ｓｃｈｒｄｉｎｇｅｒ系统，给出了该系统的Ｄａｒｂｏｕｘ变换。当ｎ＝４时，给出了与之规范等价的另一系统，这两个系统的演化方程可以分别约化成非线性Ｓｃｈｒｄｉｎｇｅｒ方程和Ｈｅｉｓｅｎｂｅｒｇ方程，并利用第一个系统的Ｄａｒｂｏｕｘ变换给出了第二个系统势函数演化方程的一个非零解。     

一种可信计算机系统的设计与实现

可信计算机是目前计算机安全领域研究的热点，结合嵌入式系统的研究，在通用计算机的主板上内置一个嵌入式安全系统ESM，通过在通用计算机内部增加硬件和软件控制来增强通用计算机的安全性，从而达到建立一个可信计算机系统的要求。ESM包括一个硬件模块和一个微型的操作系统，设计灵活，扩充性好，能将计算机的功能进一步地扩大和延伸，使其成为一个更加安全可靠，并且适用范围更广的安全计算机系统。     

分布式资源共享系统的进展性设计

无饥饿性和活性是系统进展性的典型问题，基于不变式理论，针对一类Petri网，提出了分布式资源共享系统强制公平性和活性的方法。首先，基于T-不变式，把系统的网模型设计为一个公平网。此后，利用P-不变式把一个公平的网模型设计为一个活且公平网，以著名哲学家就餐问题为例，说明了这种方法的应用。     

基于PLC和组态软件的分布式监控系统设计

给出了一个利用OMRON PLC和KingView5.1实现的一个分布式监控系统，详细阐述了系统的结构，硬件设计及通讯方式的构成，对软件的设计思想也给出了说明，该系统已经投入运行，应用效果良好。     

论完全相关系统的可靠性

本文指出，任何一个系统当其中的所有元素均失效完全相关时（简称完全相关系统），它将只有一种失效模式即所有元素均失效，同时也只有一种有效模式即所有元素均有效，因而蜕化成为一个特殊的基元系统，它只有一个整体的可靠度，而不存在元件单独的可靠度，实质上，所有的完全相关系统都只是起一个单元素的作用．本文对此进行了数学的和力学的论证，并纠正了某些不确切的概念．     

基于数据库链表的工作流管理技术实现

为了提高办公自动化系统的复用和二次开发能力，需要设计一个合理的工作流管理引擎。在研究工作流和实现高校办公自动化系统的基础上，设计并实现了一个双向的数据库链表工作流管理引擎。该引擎可灵活定制，大大提高了系统的开发效率，在整个办公自动化系统中很好的起到了核心协调的作用。     

建筑设备监控实验系统的研究与开发——"建筑智能化系统专业教学综合实验创新基地的研究与实践"之一

建筑设备监控系统是智能建筑的重要组成部分，目的是保证建筑物有一个安全舒适的生活与工作环境，提供一个高效、便捷的设备管理手段。本文以开展综合教学实验和创新训练为目的，采用部分实物与模拟展板相结合方式构建建筑设备监控实验系统，直观演示建筑设备监控系统的组成及工作原理，可进行管理功能演示和操作实验。并可开展仿真及程序开发等创新训练，为学生提供了一个进行实践与创新的平台。     

企业成本预测决策支持系统的研究

探讨了企业成本预测决策支持系统的设计思想,对企业成本预测决策支持系统的系统结构及设计进行了分析,并描述了系统的主要模型。     

汽车模具标准件选件专家系统中的知识表示方法

探讨了汽车覆盖件模具标准件选件专家系统中的知识表示方法．在选件专家系统中,规则表示是基本的表示方法．同时利用框架表示的高度结构化特性组织元件库;利用它的继承特性,结合规则前提分解的思想,按照元件的应用前提对知识库中的规则进行分类．两种表示方法相互补充,弥补了两者在知识表示方面各自的局限性,实现了知识表示的高度模块化、层次化,推理效率也能得到提高．     

基于Agent的人机界面设计系统

介绍了一个基于Agent的人机界面设计系统，主要应用于Web系统中，系统可根据用户喜欢的颜色和风格，生成自己的个性化Web人机界面，并且用户可对系统生成的界面进行重新设计。     

可视化教学智能管理系统的技术与实现

以提高教学管理系统的智能化和可视化程度为目标,利用智能工程的思想及方法将模型库、知识库、推理引擎、数据库和计算机图形等技术综合应用于系统.设计了可视化智能系统的结构,建立了教学系统的数据库、产生式规则知识库和模型库,实现了推理机的推理和图形显示功能,并设计了系统中上述各部件接口技术.系统的实施推进了教学过程的信息化管理水平和从数据库中获取知识的能力.     

试题库决策支持系统的设计(二)(续)

考试是整个教学过程的重要环节,如何命题出一份高质量的试卷更是十分关键。本文利用决策支持系统的基本原理,设计了试题库决策支持系统（TDSS）。采用该系统后,用户可以在屏幕上任意编辑试题和相应的图形,并可根据决策者的要求利用随机抽题模型生成试卷。些外,该系统还可自动对试卷进行试前优化和试后评估。     

试论知识库与知识库管理系统的关系

以专家系统中的知识库和知识库管理系统基础，介绍了知识、知识库和知识管理系统的关联性，并溶入数据库管理方式。     

面向多学科的通用题库管理系统的开发设计

在设计通用题库管理系统中，利用 OLE Automation技术和Windows系统剪贴板解决了图形与文字的结合问题，增强了试题库的操作，处理功能，使通用题库管理系统可以适应构建多学科试题库的需要。     

拓扑排序算法在教务管理系统中的应用

提出了一种在教务管理系统中利用拓扑排序算法实现教学计划自动编排的具体实现方法,并介绍了该方法的设计思路,有一定的推广价值     

流域水污染应急决策支持系统中模型系统研究

针对松花江硝基苯水污染开发了流域水污染应急决策支持系统的模型系统,为水污染应急决策提供坚实的定量化支持.对特征污染物进入水体后的行为及影响进行一系列针对决策支持的模拟,实时可视化地展现突发性污染的污染物行为和影响.研究大型关系数据库上的数据挖掘、耦合GIS的二维污染物迁移模拟、基于四级预警标准的预警技术.在模型管理系统中实现模型重用性和与GIS类组件的结合性能.该模型系统和决策支持管理系统,采用模型库管理系统作为模型库的组织方式和管理方式,为松花江突发性环境污染应急管理提供信息管理和决策支持平台.     

基于oracle的电子病历管理信息系统的开发

电子病历是医院现代化管理的必然趋势,卫生部2010年颁发的《电子病历系统功能规范（试行）》更加促进了电子病历的发展。因此医院信息系统（hospital information system,HIS）的设计与开发具有重大的意义。本文研究的主要内容是设计、开发一套完整的医院信息管理系统,并针对《电子病历系统功能规范》中的要求重点设计了病案管理子系统,用于病人病案的查询以及修改痕迹保存。整个系统的设计基于windows开发平台,oracle 9.0为后台数据库,powerbuilder为前台开发工具。经过测试,系统运行良好,已推广到多家医院,获得众多医务工作者的好评。