多项式模与线性系统（Ⅱ）：状态反馈与结构形式

多项式模与线性系统（Ⅱ）：状态反馈与结构形式涂生（南开大学数学系，天津３０００７１）ＰＯＬＹＮＯＭＩＡＬＭＯＤＵＬＥＳＡＮＤＬＩＮＥＡＲＳＹＳＴＥＭＳ（Ⅱ）：ＳＴＡＴＥＦＥＥＤＢＡＣＫＡＮＤＳＴＲＵＣＴＵＲＡＬＦＯＲＭＳ￥ＴＵＦＥＮＧＳＨＥＮＧ（Ｄｅ...     

机械能守恒定律成立的条件

1功能原理与机械能守恒定律 对于质点系从一个状态变化到另一个状态的过程，根据质点的动能定理可以得到质点系动能定理．而由质点系动能定理又能导出功能原理，功能原理的表述为 A外力＋A非保守内力=△E（1） 式中A外力为外力所做的功，A非保守内力为非保守内力所做的功，△E为系统机械能E的增量．     

Liénard方程至多存在n个极限环的充分条件

在文[7,8]中对Lienard方程提出状态函数的概念.本文我们将极限环存在性的研究转化为微积分中连续函数(状态函数)零点的研究,给出了Lienard方程至多存在n个极限环的充分条件.最后证明了A.Lins,W.de Melo,C.C.Pugh的猜想.     

薄膜润滑特性和机理研究

采用纳米级润滑膜厚度测量仪,研究了纳米级润滑膜厚度与各种工况条件因子之间的关系及其润滑机理;探讨了各因子对弹流润滑与薄膜润滑之间转化点的影响;给出了转化临界膜厚值与润滑剂粘度的关系.     

随机系统的状态与参数估计

本文根据Ｋａｌｍａｎ滤波与时间序列分析的理论，对非线性随机系统，导出了状与参数同时进行估计的递推算法，确定了它们的统计性质。为减少估计误差，用两层估计方法改进了估计精度。这个结果在ＳＩＳＯ系统中得到了证实。     

应变量子阱激光器阱宽与组分的确定和增益特性的理论研究

本文根据一维势阱和应变效应的简单理论,给出一种既简单又较准确的确定量子阱的组分和阱宽的方法。并且,针对较为常用的波长为1.3μm的InGaAs/InGaAsP材料以及最新兴起的InAsP/In材料应变量子阱激光器,利用该方法得到了组分和量子阱阱宽。再根据这些参数,利用变分法计算了量子阱的能带结构和二维电子气状态密度。然后,在选取不同的线形函数的情况下分别计算了对应于不同的注入载流予浓度时的这两种激光器的线性增益和微分增益。     

科技经济社会协调发展的状态空间模拟模型

本文利用状态空间法给出了科技经济社会协调发展的简化型模拟模型．并就武汉市进行了实际测算．     

一种新的分析和检查需求模型

由于ＳＣＲ（ＳｏｆｔｗａｒｅＣｏｓｔＲｅｄｕｃｔｉｏｎ）是较实用的定义软件系统需求的方法，以此方法为基础，提出一个形式化的分析和检查需求的模型．此分析和检查模型主要根据综合知识表示模型的一些基本原理，使用状态转换规则、语义计算规则和属性来形式化地描述ＳＣＲ中表格符号的语义，并通过执行规则来自动分析由ＳＣＲ定义的需求．为便于理解，给出了一个简单的实例来介绍如何分析和检查基于ＳＣＲ的需求的一致性和完整性．