天津铁厂热力分厂微机实时监测与调度系统

本文介绍了一个微机实时监测与调度系统。该系统给出了改变大中型企业中传统的监测、调度方式、使用计算机完成这些工作的一个实例，通过系统设计与工程实践，解决了在强干扰环境下，实现稳定、准确监测和实时远距离高速数据交换等技术问题。     

露天矿卡车自动化实时调度系统及调度模型

研制了包括中央调度系统,卡车车位监测系统、智能化卡车工况监测系统．通讯系统的硬件系统和调度优化决策软件系统在内的露天矿卡车自动化实时调度系统,采用专家系统方法建立了调度决策模型,使中央调度系统能及时做出调度决策,下达调度指令,实时指挥生产。     

洞庭氮肥厂生产调度监测系统通过技术鉴定

洞庭氮肥厂生产调度监测系统通过技术鉴定由北京化工大学与洞庭氮肥厂共同开发的“洞庭氮肥厂生产调度监测系统”于１９９４年１０月１９日通过了化工部科技司组织的技术鉴定。该系统是一个实时的动态监测管理系统，它实现了工况参数的自动采集，通过两级网络通讯，实现了...     

变电站远程调度与管理

由前置通讯计算机系统、主机系统、电力线路模拟屏及其单片机控制系统组成的一个区域电力调度管理系统，与最多30个变电所及调度中心实时通讯，实现电力输送系统远程管理和指挥调度．     

基于iPad的煤矿无线综合调度系统研究

为解决煤矿安全生产监测系统实时调度交互能力较弱的问题,研究设计了煤矿无线综合调度系统。该系统针对我国煤炭企业安全生产调度特点,采用"轻量级实时监测组态"技术,在Apple iPad平台上实现了煤矿生产实时监测、安全预警、综合分析查询等功能,并可以多种形式自动推送各类通知及报警信息。     

基于RTAI可扩展的实时调度模型的研究与实现

随着嵌入式实时系统的广泛应用。多类型的硬实时、软实时与非实时任务往往共存于同一系统．而只提供单一调度方法的传统嵌入式操作系统如Vxwork，pSOS已经无法满足这种需求．通过全面分析调度对象．提出了可扩展的层次性的调度模型，并基于RTAI实现了上述调度模型．最后通过实验．验证了系统良好的应用效果．结果表明。该调度模型很好地满足了嵌入式实时系统多样性的需求．对嵌入式系统的研发具有一定的现实意义．     

太原市水资源的发展前景

根据太原市水资源的现状，提出了在现有的网点及设施设备的基础上加快发展和建立既能适应太原市市情又能与全国步伐一致的水资源监测及管理、调度体系。该体系应包括水资源的实时监测、实时评价、实时管理、实时调度、实时评估等部分，其目的是实现防洪与兴利统一调度、地表水与地下水资源联合管理。     

广播电视安全播出监测调度指挥系统的设计与实现

采用B/S与C/S系统混合式结构，应用巡检通道电视图像静止检测技术、监测和调度指挥合二为一的系统平台技术等多种广播电视监测核心先进技术，设计实现广播电视安全播出监测调度指挥系统。该系统硬件包括28个监测站点，一个数据处理中心和一个预警信息发布平台；软件系统由广播监测数据采集记录、广播数据处理回放、电视监测数据采集记录、电视数据处理回放、预警信息发布和手机用户6个子系统和46个功能模块组成。系统将监测网与调度指挥网合二为一整合成一个平台，在国内率先建立能把监测信息与调度指挥系统自动链接，将异态信息和预警信息自动发布的多功能监测调度指挥系统。     

Job-shop的实时调度

利用神经网络和启发式分派规则设计了一种Job—shop的实时调度算法，该算法首先在离线时用遗传算法训练神经网络得到调度的启发规则，在加工开始时根据一些动态特性对要执行的工件操作进行模糊分类，然后再根据启发规则对分类后的操作进行在线调度．基于这种算法，用模糊神经网络设计了一个Job—shop实时调度器，最后结合实时调度和重调度问题进行了仿真．通过与FIFO与LR(Lagrangian Relax)的比较，证明提出的算法是高效和可行的．     

基于抢占阈值的嵌入式实时数据库事务调度

提出了一种嵌入式实时数据库事务处理模型，把抢占阈值应用到固定优先级可抢占的实时事务调度之中，并提出了一种冲突避免的实时事务并发控制协议，使实时事务调度和并发控制高度集成，降低了系统的事务管理开销．通过事务的可调度性分析，给出了可行的调度模型应具备的条件和相应调度参数的分配算法．     

一类动力系统的大范围定性研究

本文考虑动力系统：ｄｘ／ｄｔ＝Ｐ３（ｘ，ｙ），ｄｙ／ｄｔ＝ｘ（１（．研究系统（１）具有代数曲线解：Ｘ２一ｋｙ２＝１ （ｋ＞０）（２）全局结构。 容易得到这时系统（１）等价于系统,ｄｘ／ｄｔ＝ａ１ｘ＋ａ２ｙ－ａ１ｘ３＋（ｋ－ａ２）ｘ２ｙ＋ｋａ１ｘｙ３＝ｋ（ａ２－ｋ）ｙ３，ｄｙ／ｄｔ＝ｘ（３）．由（３）我们得到所有奇点（有限远和无穷远）的类型。并用Ｄｕｌａｃ函数证明 （３）不存在极限环。进而得出（３）的所有可能的全局相图（ｌ）－（１３）．     

一类最优更新策略的研究

当系统元件受到很多独立因素影响时,本文以矿井提升系统中的铜丝绳为例,利用可靠性理论,给出它的可靠性评估及安全系数的计算,并利用更新极限定理,在其寿命为正态分布的情况下,通过一个近似方程,得到了最佳更换策略。为制订合理的维修更换制度提供了理论依据。     

论证一类倒排文件系统与DB系统的等价性问题

本文试图从理论上证明一类倒排文件系统与DBS的等价性问题。其目的在于说明就汉字情报检索系统而言,只要构造一个好結构的倒排文件系统,即能起到DBS的功效作用。从而实现并达到DB系统的水准要求。     

在嵌入式系统开发中仿真软件的特殊应用

阐述了嵌入式仿真软件SkyEye在开发工业控制系统配套软件过程中的具体应用实例,还分析了利用模拟器分析设计系统软件的一个重要问题.实际系统开发的经验表明,使用模拟器缩短了系统开发周期,降低了开发难度.     

极限环存在性的控制判别

在一定条件下,方程组dx/dt=y dy/dt=-y(x)的两条闭轨线所构成的环域,可作为方程组{dx/dt=y-F(x) dy/dt=-g(x)的广义Poincare-Bendixson环域,从而肯定方程组dx/dt=y-F(x) dy/dt=-g(x)的单侧极限环的存在性.     

经济系统的能控性与能观性

本文给出了国家宏观经济模型的规范形式:证明了中国的宏观经济系统是可控的:在定常的情形下,系统也是可观测的。说明了经济系统存在最优控制。     

一类广义KdV方程多孤立子相互作用的差分方法

利用差分方法研究一类广义Ｋｏｒｔｅｗｅｇ－ｄｅ Ｖｒｉｅｓ （ＫｄＶ）方程的多孤子解的相互作用，得到了研究该系统的差分格式。巧妙地利用Ｔａｌｏｒ公式将非线性方程组化为线性方程组。通过对差分格式稳定性研究，得到了差分格式近似无条件稳定的结论，同时我们在ＩＢＭ４８６上对算法进行了编程数值计算实验，结果显示，算法是可行的，对于广义ＫｄＶ方程的数值实验得到了一系列关于多孤子相互作用的前后的性态保护不变的     

一类三阶Lure''''系统的绝对稳定性

本文首先在能控能观的假定下,给出 Lure'系统的一个对偶引理,然后利用这个引理,给出了一类三阶系统的绝对稳定性.对于二阶情况,其结果改进了文的结果.     

DOCV专家系统的数字诊断

计算机医学专家系统是当代计算机科学中人工智能的重要领域之一,而医学专家系统面临的重要问题之一就是对医学诊断系统进行定量的数字描述,建立较为精确的数字诊断系统,进而利用计算机及其智能语言进行处理;本文在这种思想的指导下,对心血管系统中扩张型心肌病、冠心病、心包积液和风心病的鉴别诊断进行了较为精确的数字描述以及数字诊断方法的一个数学模型的建立,为计算机医学专家系统提供了一个心血管方面的算法;最后对该算法进行了五十例的检验,未发现不符者:所以我们充分确信此算法是可靠的。     

凝析气藏油气水三相PVT相态特征测试及分析

常规凝析油气体系PVT相态测试方法忽略了气态凝析水对凝析油气体系相态的影响,而国内外凝析气藏开发实践表明,气态凝析水对凝析油气体系相态特征的影响不应被忽略.为了更有效地指导凝析气藏的开发,必须建立考虑气态凝析水的凝析油气体系PvT相态测试和计算方法探索设计了富含气态凝析水的凝析油气体系PVT相态刚试方法,并与常规凝析油一气两相平衡体系的PVT测试结果进行了甘比,分析了考虑气态水组分的存在对凝析油气体系相态的影响