水资源配置对区域水资源短缺的影响及其在水资源对策中的意义

目前,水资源短缺已成为制约我国社会经济发展的重要因素。水资源的低效配置是造成我国水资源浪费和短缺的原因;利用价格手段优化水资源配置是缓解水资源短缺的较为经济的途径。     

离散随机系统输出反馈协方差配置

于由协主差配置理论可以比传统的控制设计方法更直接地将闭环系统状态协方差配置到指定值,因此该理论成为近年来人们研究的一个热点。然而,在已有的基于输出反馈的离散系统协方差控制文献中均未考虑测量噪声的影响。为此,该文研究含测量噪声的线性离散随机系统的输出反馈协方差控制问题,即设计输出反馈控制器,使闭环系统达到预先给定的稳态状态协方差。基于矩阵分解技巧和广义逆理论,文中导出了期望控制器存在的充要条件及其解     

企业中多种形态的产品结构及其对MRPII的影响

讨论了不同生产类型产品结构的特点,提出了确定型和多态型ＢＯＭ的概念,并分析了各种形态的ＢＯＭ在不同的生产类型中对ＭＲＰＩＩ的影响;通过引进工序ＢＯＭ和立体ＢＯＭ结构机制,可以简化产品配置问题,从而加快物料计算并提高报价的速度和准确程度。     

结构化面向对象形成规格说明语言OOZS：设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得 到充分体现;形式方法全目标软件系统的需求规格说明简明、精,精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然。     

一类不确定系统的鲁棒二次稳定与协方差配置

讨论了一类范数有界时变不确定线性随机系统的鲁棒协方差配置状态反馈控制器设计。给出了协方差可配置的充要条件,同时导出了使闭环系统鲁棒二次稳定的状态反馈增益公式。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

多类服务器计算机网络系统优化配置研究

采用马尔可夫排队网络,建立了具有多类服务器并考虑网络影响的基于Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ平台的计算机网络系统的数学模型,给出了有限源开环马尔可夫排队网络的稳态分布概率的一般解。在此基础上,推出系统负载指标的解析结果,分析、论证系统服务器负载均衡的条件,提出归一化的性能指标向量,建立系统优化目标函数,研究不同情形下的配置优化求解方法。     

伪黎曼流形上的2—阶对称张量场

对伪黎曼流形上的２－阶共变对称张量场,如果它的Ｊｏｒｄａｎ指标在一个邻域上是常数,我们能构造这个邻域上的局部正交光滑标架场,使这个张量场关于构造的标架场的分量矩阵有标准形式,由此可使用活动标架法伪黎曼形特别是Ｌｏｒｅｎｔｚ场形上的一些重要定理给出新的简洁证明。     

采用氮气发生剂的子弹药气囊抛撒内弹道计算模型

在经典内弹道理论基础上,建立了以氮气发生剂为抛撒动力源的子弹药气囊抛撒内弹道模型.将整个氮气发生器视为气源,提出了名义燃速的概念,建立了名义燃速方程,把氮气发生器及抛撒装置的结构等因素对名义燃速的影响通过引入结构综合参量体现,简化了计算过程.名义燃速方程采用了带有常数项的指数形式.用该模型计算所得结果与试验测试值符合较好,可用于抛撒技术的研究和工程应用.     

旋转弹两级分离动力学模型建立与仿真

为了研究不同连接方式对导弹两级分离的影响,针对采用套筒连接和螺栓对接两种分离连接方案的旋转弹,对两种连接形式分别进行了分离过程的运动特性分析;针对两种连接方式不同的运动特点,分析了其分离过程的运动学和动力学特性,并在此基础上建立了相应的弹体动力学模型.根据两种连接形式的算例,对分离过程进行了数字仿真分析.仿真结果显示两种模型下导弹分离成功,证明弹体动力学模型合理.