基于现场称重测试系统的设计与研究

依据系统结构原理，推导出数学模型，提出一种适于称重传感器测试系统的控制策略。根据该测试系统的特点，建立误差补偿模型，确定数据处理方法。 试验结果表明，整个测试系统简洁、高效、可靠；控制方案简单、易行，满足系统的性能要求；所采取的误差补偿办法切实可行， 经过处理的测试数据能够准确反映传感器测试系统的性能。     

关于亚纯函数的唯一性

本文研究了亚纯函数的唯一性问题，推广改进了Ｍ．ｏｚａｗａ及仪洪勋的有关定量，解决了仪洪勋和杨重骏提出的一个开问题。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

钢筋混凝土框架抗震模型分析

介绍了分离式、组合式、整体式3种钢筋混凝土有限元模型，通过对整体式模型的详细分析，推导出适舍该模型的线性单元矩阵，并得出一些工程中有用的结论。     

优化模型的改进计算方法

最优化模型与方法是近几十年来发展和形成的一门新兴的应用科学,通过应用数学的方法与技术解决各种系统与实际问题.但许多求解方法是基于手工运算,计算工作量较大.而利用各种优化计算软件例如Lingo,Lindo等需要编制较为复杂的程序,解决起来不够直观.而利用Matlab软件中非常直观的优化工具箱中的函数linprog,quadprog对线性规划与二次规划进行快速求解.     

高原鼠兔体重生长动态数学模型之再探讨

本文用麦夸算法构造高原鼠兔体重生长的Logistic和Compertz曲线模型,其结果表明:Logistic曲线比Gompertz曲线更优化,Logistic模型比逻辑斯谛-指要饱和模型的精确度更高.     

拓扑分子格的弱分离公理

本文是文［１］的继续，我们以Ｑ－远域为工具，首先引入和研究了拓扑分子格的ＳＴｉ分离公理（ｉ＝－１，０，１，２，３，４）。其次我们引入了Ｓ－不定序同态和Ｓ－同胚序同态等概念，给出了它们的若干特征性质。最后我们得到了各种ＳＴｉ分离公理是Ｓ－同胚序同态下保持不变的性质。