洗煤厂煤质管理信息系统的开发

介绍了基于C/S模式的洗煤厂煤质管理信息系统的开发。在系统分析的基础上,提出了系统的网络结构与功能结构,并就系统实现中的安全管理机制、数据报表设计、与LED显示屏播放系统的集成等关键技术,进行了详细介绍。该系统的开发与应用,对于加强企业生产控制,提高产品质量具有重要的意义。     

水城矿务局管理信息系统（MIS）系统分析与设计

本文介绍水城矿务局管理信息系统系统分析与设计的方法。内容包括:系统分析与设计应着重考虑的几个问题;系统分析所采用的方法;系统分析的主要内容;系统设计;几点体会。     

在MIS系统分析阶段应用面向对象技术的探讨

系统分析阶段是管理信息系统 (MIS)设计开发的起步阶段 ,也是设计过程中的关键一步 ,在该阶段建立逻辑模型的传统方式是采用面向处理的功能分解法。本文先讨论了该方法所存在的局限性 ,然后探讨了另外一种设计方法———面向对象设计方法 ,并将该方法应用于MIS系统的建模当中。     

基于UML的创新基金管理信息系统分析建模

系统分析与设计对一个系统的开发成功与否起着决定性的作用,UML已成为目前公认最好的分析和设计面向对象软件的标准建模语言。以基于面向对象思想的统一建模语言UML为工具,通过建立相应的模型,说明了UML在创新基金管理信息系统开发中的应用,为后续的系统编码打下了坚实的基础,提高了系统的开发效率。     

普通商业MIS数据库设计模型

管理信息系统(MIS)作为信息时代科技应用的典型代表,直接推动生产力的发展,已成为企业生产经营管理中至关重要的因素.通过一个通用商业系统的设计,将数据库理论与应用实现紧密地结合起来,较系统地阐述了普通商业MIS数据库的系统分析与设计流程,作为中小企业MIS数据库设计模型,具有一般性的特点.     

通用的多级税务管理信息系统的设计和实现

广东省税务局以下的五级税务机关的管理信息系统的研制报告，对大型系统的系统分析、通用性设计、查偷漏税决策等提出了先进的实用的方法     

用PowerBuilder和SQL Server开发酒店管理信息系统

结合实际开发过程，探讨如何利用先进的PowerBuilder和SQL Server工具开发基于Client／Server(C／S)的酒店管理信息系统，主要包括系统分析、系统功能设计、网络设计以及系统实施中的关键技术。     

ISO9000质量管理信息系统的通用性设计

建立先进的质量管理信息系统是有效实现企业质量管理的重要基础.在现代制造模式下,企业质量管理并非一成不变的,它是随外界环境变化的动态管理系统.本文采用了面向对象的方法,分别从系统分析、系统框架模型、对象模型等方面进行了深入的分析,提出了一个面向动态企业环境的ISO9000质量管理信息系统框架模型,介绍了系统的通用模块功能以及通用性特点.系统最大的特点在于其灵活性和多变性,能根据企业管理实情进行结构和功能的调整,其开放性和可扩充性设计能够适应企业信息化建设不断变化的业务需求.     

FMIS的系统设计与实施

本篇叙述ＦＭＩＳ（ＦｉｎａｃｉａｌＭａｎａｇｉｎｇＩｎｆｏｒｍａｔｉｏｎＳｙｓｔｅｍ）的系统分析、数据流程、库结构设计、程序模块设计、屏幕格式设计,并给出程序设计框图与实施结果。本系统反映了微机财务管理信息系统设计的全过程。     

一个AMIS帐务管理信息系统的研制和开发

本文介绍用软件工程的方法研制和开发的一个企业帐务管理信息系统的系统分析和系统设计,以及系统的性能和特点。     

基于非径向DEA方法的山东省FEEEP系统协调性评价

使用传统DEA和非径向DEA的方法,分别对1992—2009年山东省FEEEP系统协调性进行评价,分析影响山东省FEEEP系统协调性的主要因素.结果表明:①非径向DEA方法相比传统DEA方法能够更好地区分山东省FEEEP系统的协调性;②近些年较高的能源消耗和"三废"排放量是导致系统DEA无效的主要原因.     

油田开采系统的多目标线性规划模型及其层次分析应用求解

建立了油田开采系统的多目标线性规划模型。针对石油工程上多目标线性规划模型的特征及多目标线性规划的理论解法与实际应用的差距,给出了层次分析法用于求解多目标线性规划模型的方法──加权转换法。     

从诉讼模式看我国刑事审判方式改革

我国现行庭审制度还存在若干问题，需借鉴现代刑事诉讼模式及其发展趋势进行改革，刑事审判方式改革的方向和路径应当是以职权主义为主、当事入主义为辅的审判模式——混合审。     

Dzyaloshinskii-Moriya作用对Blume-Capel模型热力学性质的影响

应用二自旋集团平均场近似的方法,研究了蜂窝格子上具有Dzyaloshinskii--Moriya（DM）作用的Blume—Capel模型的临界性质,得到了该系统的相图。结果表明,此系统存在三临界点,并且三临界点不是随DM作用参量单调变化。系统的这种临界行为可以解释为交换耦合作用、晶体场作用和DM作用三者之间相互竞争的结果。     

基于并行环境的模型检查技术研究与实现

针对实时系统模型检查中的突出问题：状态组合爆炸,提出一种基于并行环境的实时系统模型检查技术,用邻接表存储时钟带,用C＋＋和MPI设计并实现了一个并行实时系统模型检查器———PRAModelChecker,选择一个典型的实例对PRAModelChecker的性能进行分析.实验表明,随着系统复杂性的增加,不但能提高工作效率,而且能处理的系统规模可伸缩,从而为从根本上解决状态组合爆炸问题提供了一种新的途径.     

钱学森系统科学思想在人机环境系统工程中的应用

本文主要讨论了钱学森的现代科学技术体系以及他的总体框架、钱学森的系统科学思想以及他提出的从定性到定量的综合集成方法。文中以王保国教授率领的AMME Lab团队为例,扼要回顾了在钱学森系统科学思想指导下,6个研究团队紧密配合,在人机环境系统工程领域近10多年所取得的重要研究成果。文中给出了人机环境系统工程实验室平台搭建时通常应该具备的软件分析系统与主要设备,而且还特别建议要关注眼动追踪系统、眼动测量系统和事件相关脑电位(ERP)技术,要关注人的情境认知的定性分析模型和定量评价模型的建立,要注意把认知神经科学用到对人的数学建模的研究上。文中十分强调:人机环境系统仅仅是系统科学研究中的一种系统,一种含有人这个要素的特殊新系统,因此在进行人机环境系统领域中的一些复杂系统、复杂巨系统以及特殊复杂巨系统的研究与实践时,离不开钱学森提出的综合集成方法。     

基于LSC的形式化验证方法

调查研究了LSC在形式化验证方法中的作用的研究发展现状,包括LSC在从系统行为需求描述转换形成模型检验的系统行为模型中的作用的研究现状,LSC在抽取待验证系统性质的作用的研究现状,LSC在模型检验中的作用的研究现状,展望了LSC在未来模型检验中的发展方向——概率模型检验.     

基于新型滤波器的内模控制器设计

针对工业中普遍存在的高阶系统,提出一种基于Butterworth滤波器的内模控制方法.采用低阶系统来近似高阶系统会造成模型误差,同时,传统的PID控制方法及内模控制方法对高阶系统控制均不理想.利用Butter-worth滤波器的理想低通特性,通过将优化改进后的Butterworth滤波器代替传统的内模控制器中的低通滤波器,使得控制系统具有较好的动态特性和稳态特性.仿真研究表明,该方法对高阶系统具有良好的控制性能,当模型失配时具有较强的鲁棒性,适合于高阶系统的控制.     

个性化协作式数字图书馆模型及其应用

介绍了个性化协作式数字图书馆模型的基本原理、基本要素及其应用,阐述了个性化协作式数字图书馆模型的应用——CYCLADES系统。     

高等院校计算机基础分级教学模式的探讨

目前我国的中小学普遍开设了以计算机使用为主要内容的信息技术课程 ,大学的计算机基础教育不再是“零起点”,原有的教学模式受到极大的挑战 .文章从实施计算机基础分级教学的意义出发 ,探讨了计算机基础分级教学模式 ,并剖析了实施分级教学的要点