一类温贮备可修系统算子的性质

研究了一类温贮备可修系统算子的性质.讨论了由两个不同型部件和一个修理工组成的温贮备可修系统模型,在该模型中引入了修理工可延误休假的概念.证明系统算子A+B是空间中稠密的预解正算子,通过求系统算子的共轭算子证明了0是其几何重数为1的特征值,并且证明算子A+B的增长界为0.运用预解正算子中共尾的概念,证明系统算子的谱上界也是0.最后结合预解正算子和C0半群的理论,证明系统动态解存在且唯一.     

具有优化调整状态的供应链系统的指数稳定性

研究了一类具有优化调整状态的供应链系统的指数稳定性.通过选取空间和定义算子,将模型方程转变成了抽象Cauchy问题.首先运用预解正算子理论,证得该系统主算子和系统算子均为预解正算子,再利用共尾定理证明主算子的谱界与增长界相等.然后运用相关代数知识证得0为系统算子的简单本征值.同时通过研究系统算子的谱特征,证明了系统算子的谱点均位于复平面的左半平面且虚轴上除0外无谱,进而得到系统的渐进稳定性.最后,由半群展开定理得到系统的指数稳定性.     

冷贮备可修复系统解的指数渐近稳定性

讨论了具有两同型部件的冷贮备可修复系统，首先证明系统算子可以生成正压缩C0半群T（t）；接着证明了T（t）是拟紧算子，且0是对应系统的主算子及其共轭算子的几何重数与代数重数为1的特征值．由此推出：该系统的时间依赖解，当时间趋向于无穷时，以指数形式收敛于系统的稳态解．     

广义改进的KdV方程的守恒差分算法及其收敛性分析

讨论了具有选择性服务的理发店M/G/1排队系统.此系统通过选取空间及定义算子,将模型方程转化成Banach空间中抽象的Cauchy问题,运用C0半群的理论,证明系统算子是耗散算子,得出系统算子的共轭算子及其定义域,并证明了0是系统算子的简单本征值且是虚轴上唯一的谱点,最后由算子的谱分析得到系统趋于稳定的时间依赖解.     

一类冷贮备可修系统算子的性质

冷贮备系统由一个修理工以及两个不同型部件组成,其中引入了修理工空闲状态.文章讨论了这个系统的算子性质.选取合适的状态空间且定义算子,首先证明系统算子是预解正算子,再证明0是特征值,而且得到算子的增长界和谱上界均是0.最后根据C_0半群理论得到系统的动态解的性质是存在唯一的.     

一个两部件可修系统解的渐近行为

本文考虑一个包含两个部件和一个修复员系统的数学模型.首先指出此系统的主算子生成一个C0-半群T(t),并证明该C0-半群T(t)是拟紧算子,然后证明0是该主算子及其共轭算子的几何重数为1的特征值,最后将上述结果结合在一起推出该系统的时间依赖解强收敛于该系统的稳态解.     

缓发中子迁移方程的适定性及相应迁移算子的谱分布

本文在Ｈｉｌｂｅｒｔ空间Ｈ中讨论了带广义边界条件、单迷、散射和裂变是各向同性，具ｎ（ｎ≥１）个缓发中子群的中子迁移方程。运用正线性算子及其Ｃ。—半群理论，首先证明了此方程非负解的存在唯一性；其次讨论了带方程所确定的迁移算子的谱分布，证明了其剩余谱为空集，右半平面除了至多可数个离散本征值与ｎ个连续谱点外属于它的预解集。最后证明了迁移算子占优本征值的存在性。     

M/M/1排队模型及其相应算子的谱特征

运用算子半群理论证明了M/M/1排队模型在极限为0的数列空间c0上存在唯一的正解，并研究了相应算子的谱特征。     

在常规错误下具有4个部件冗余系统的稳定性分析

考虑具有常规故障的4个部件冗余可修复系统模型. 先将系统转化为Banach空间中的抽象Cauchy问题, 再通过分析系统算子及对偶算子的谱分布,  证明了系统算子及其对偶算子谱点均位于复平面的左半平面, 且虚轴上除0点外无其他谱点, 从而得到了系统是渐近稳定的.     

一个供应链系统的可靠性模型的解的渐近性质

运用C0-半群理论来研究一个供应链系统可靠性模型当μi(x)=μi时的解的渐近性质。首先证明在虚轴上除了0之外其他所有点都属于该算子的豫解集,其次证明0是对于该系统的主算子及其共轭算子的几何重数和代数重数为1的特征值,由此推出该系统的时间依赖解当时间趋向于无穷时强收敛于系统的稳态解。     

系统的体系分析

以系统工程角度引入体系的概念，以银行的业务资金管理为对象介绍了如何建立相应体系，体系如何进行及其有关特点，并说明这些都可以在计算机上实现．     

单元化制造系统的评价体系

针对单元化制造的特点,首次全面地提出了一个完整的评价指标体系,从成组性、动态性、柔性和敏捷性对单元化制造系统进行综合评价,并构造了基于制造单元生命周期的单元化制造系统评价模型,该模型采用了模糊层次分析法对系统进行综合评价.最后示例说明该模型.     

高速逻辑系统的PLC控制系统

可编程控制器是通用的专业工控机,由于它有高可靠、高抗干扰、体积小、价格便宜、使用方便的优点,普遍被使用于工业控制,但是由于速度慢,在高速系统中使用很困难,因此有一定的局限性,本文介绍一种在高速逻辑运行的系统中,采用相位同步的方法,用ＰＬＣ作控制系统,效果较好,在８０００型包装机和获得较大经济效益,本文专题讨如何进行这种用相位来严格与系统同步的方法。     

构件化嵌入式操作系统设计

在讨论构件机制的基础上,利用分层的设计模式对嵌入式操作系统进行功能结构的划分,并使用构件机制完成各层中功能模块的设计。对于分层的设计模式与构件机制的使用可能带来的一些异构构件的组装问题加以解决．并使用形式化方法对构件进行描述,在一定程度上有利于提高嵌入式系统的可靠性、可重用性、可维护性,使得构件技术在嵌入式系统中充分发挥其优势。     

基于FPGA的运算放大器参数测量系统设计

文中分析了运算放大器的参数测量原理,使用FPGA作为控制核心,结合GB3442-82规定的辅助测量电路,利用程控方式实现了集成运算放大器主要参数的测量。     

信息系统中英文与中文系统的比较

信息系统中英文系统具有文字本身固有的规律,可以处理所有的正确、现在错误将来正确和永远错误3类文字,但中文系统因违背了文字本身固有的规律:无限性和有序性,因而不可能处理全部汉字.理论和现实都要求中文系统必须要能处理全部汉字,因此,英文与中文系统存在根本性差异,专利《无限有序字符集汉字全集方法和系统》可以彻底解决中文系统实现无限性和有序性问题.     

智能大厦楼宇自动化的保安系统

保安系统是现代化的智能大厦楼宇自动化系统不可缺少的一个子系统,也是智能大厦科学管理的一种重要手段,它可为大厦创造出一个安全、舒适的工作与生活环境.简要地论述现代智能大厦楼宇自动化系统的保安系统的组成、功能以及接口.     

变流量系统对供热系统的优化

从系统的设计、运行和经济分析方面入手，论证了变流量系统在现代化的大、中型供热系统应用的可行性，指出供热系统采用变流量系统可节约能源、降低成本，是系统优化的一项技术措施。     

嵌入式系统在地震观测系统中的应用

简要介绍嵌入式系统的概念及其操作系统μCLinux在地震观测系统中的实现。嵌入式系统引入地震观测系统，能使现有的地震仪器变得更加专业化、小型化，提高可靠性和易用性，特别方便野外维护、选台、流动地震台的建设。     

学分制下构建虚拟班级的思考

提出构建虚拟班级的观点,在实施E-Class系统过程中,研究虚拟班级在新形势下对于班级管理的有效性,分析虚拟班级相对于传统班级的优势,提出构建虚拟班级应该重视以服务吸引学生、以内容教育学生这两个方面。