组件化技术在通风计算中的应用探讨

针对网络信息时代的迅猛发展，提出用新一代软件设计方法－组件化设计方法设计适用于网络结构的通风计算模型。组件技术给通风计算带来很大的方便；适合通风计算的网络结构计算模型（B／S）提供了适合时代潮流的应用形式。     

四构件带传动机构引导给定点轨迹的研究

在点的轨迹引导中,多采用四连杆机构中的连杆曲线来实现。但这种方法能引导的点数有限(理论上最多为9点),当要求被引导的点数较多或要求引导某一连续函数时,则机构尺寸的综合较困难犤1犦,而且引导精度较低。文章介绍了一种新型机构———将四连杆机构中的其中两个构件用盘状构件和柔性带来替代,组成一四构件带传动机构犤2犦,并通过算例详细叙述了该机构引导给定点轨迹的原理和方法。该机构用于点的轨迹引导,具有结构简单、引导精度高、传力性能好的特点。     

宝鸡地区地貌基本特征与农业生产的关系

从发展农业生产角度出发,分析了宝鸡地区地貌的基本特征及其对农业生产的直接和间接影响.继而论述了地貌与农业自然灾害的关系,指出坡度陡、降雨强度大和黄土分布相结合的部位是农业生态脆弱的地段.提出了改善农业生态环境的根本措施.     

求解外延膜多尺度应变模型的代数多重网格法

对于外延膜多尺度应变模型的求解，设计了一类代数多重网格方法，进而以该代数多重网格为预条件子，结合其轭梯度法，得到一种预处理技术。数值实验结果表明，我们构造的代数多重网格算法是健壮的，具有很好的计算效率。     

基于规格说明的面向对象软件原型开发

提出一种基于规格说明的面向对象软件原型开发方法，规格说明分为结构部分和行为部分。结果部分利用面向对象开发方法ＯＭＴ的直观可社的表示和分析设计规程；行为部分利用类ＣＣＳ的表示文和形式验证机制，使得规格说明及其求精结果由一致的语言表示，且在同一的形式框架构成的原型上进行持为分析。     

左对称代数（II）

一个左对称代数在同构意义下唯一确定其邻接Ｌｉｅ代数（［７］命题１２）。一个自然的问题为：是否每个Ｌｉｅ代数都是左对称代数的邻接Ｌｉｅ代数呢？本文给出关于这一问题的回答。     

模式的语义描述与识别

讨论了代数语义方法用于模式描述和识别的可行性，采用这种方法，模式结构被作为一种代数结构，其语义约束采用等式规范的形式给出，这样可以将识别问题变为一个等式断言采用等式项重写在规范中进行验证，并举例说明这种方法。     

线性矩阵不等式F_0＋sum from j＝1 to k of x_j F_

应用矩阵求迹运算“ｔｒ（·）”得到了线性矩阵不等式Ｆ_０＋sum from j=1 to k of ｘ_ｊ Ｆ_ｊ＞０解的充分条件，这些充分条件皆为应用中容易检验的代数不等式．并据此给出了相应的代数解     

左对称代数（I）

左对称代数是近年从微分几何，李群的研究中提出的一种代数体系，而且当其基域变为任意域时，它与李代烽与有密切的关系，但是迄今它没有作为一个独立的领域来研究，我们打算深入研究这类代数体系，本文讨论它的基本理论，以期作为它及相关领域进一步局长的基础。