处理优化约束条件的微分方程法

在文[1]中,作者曾提出求解一般约束优化问题的一种新方法。本文利用微分方程对约束条件做进一步的讨论,证明了从一可行点的某邻域出发的该微分方程组的解关于部分变元总收敛到问题(1.1)的可行点。     

泛Loeb可测集的S-饱和性

在 K-饱和的非标准模型中,研究了泛 Loeb 可测集 m(A),pns(~*X),cpt(~*X),fin(~*X),ns(~*X)的 S-饱和性.当 A 是紧致 Hausdorff 空间 X 的子集时,得到了 st~(-1)(A)是标准集的充分条件.     

籽瓜植株(地上部)的生长发育规律

对内蒙古地区有代表性的四个籽瓜品种植株(地上部)的生长发育进行了研究．结果表明：内蒙古籽瓜的全生育期为92-101d，籽瓜植株的生长发育可分为发芽期、幼苗期、伸蔓期和结果期，结果期分为前期(开花座果期)、中期(果实膨大期)、后期(种子成熟期)．发芽期、幼苗期以叶为生长中心，伸蔓期、结果前期以茎为生长中心，进入结果中期以果实为生长中心不同生育分期长短的差异主要表现在结果中期的差异上．     

组合逻辑电路的无反变量输入设计

本文阐述了组合逻辑电路无反变量输入的设计思想，并通过设计实例给出了具体的设计方法与步骤．     

论中部崛起进程中的江西教育发展战略

新时期,江西提出并实施了要在中部地区快速崛起的发展战略。在这一过程中,江西教育发展面临着极好的机遇,同时,也遭遇到了八个方面的挑战。于是,江西省委省政府提出了江西教育发展的总体要求。江西广大教育行政部门和教育工作者只要不断沿着中央指出的方向,落实省委省政府的部署,埋头苦干、扎实工作,就一定能为建设创新创业江西、绿色生态江西、和谐平安江西,为江西在中部地区的早日崛起提供有力的人才支持、知识基础和文化贡献,就一定能铸造出江西教育事业新的辉煌。     

电气试验中两个异常负值现象分析

介绍了在电气试验中遇到的两个奇异负值现象，探讨了造成这些现象的原因，并说明在工程实践中成功的解决方法。归纳了电气试验中消除干扰对电气试验结果影响的几点工作经验。     

一种高性能英文词性标注器的设计与实现

针对统计和规则方法各自的优点和局限,提出运用Viterbi和FTBL(fast transformation-based learning)算法相级联的算法,实现一种英文自动词性标注器.该级联方法以FTBL算法为整体算法,在它的规则学习和最终标注两个阶段,均以Viterbi算法作为其初始化过程.实验结果表明此算法优于其中任何一种单独的算法,达到了98%的高准确率,验证了自然语言处理中统计与规则并举的主流设计思想.     

一种基于时序分析的大型重载支承轴隐蔽部位疲劳裂纹诊断方法

大型重载支承轴隐蔽部位因发生不可观测的突发性疲劳断裂事故,严重影响生产的正常进行,给企业带来重大的经济损失.在分析支承轴振动特性的基础上,通过在机械结构外部便于检测部位提取反映结构疲劳裂纹状态的特征信号,编写相应的MAT-LAB程序构建时序模型,然后模拟支承轴实际工况,将裂纹产生、发展、断裂过程划分为5种状态,建立标准故障模式特征向量空间.运用模糊聚类分析方法,结合Euclide距离判别函数,找出与标准故障模式特征向量中隶属度最大的特征向量,从而有效诊断支承轴隐蔽部位疲劳裂纹状态的程度.最后通过实例验证了该方法的正确性和可行性.图2,参5.     

面向装配的三维标准件库研制

在分析产品装配特征和国内外标准件建库技术的基础上，根据并行工程中装配建模的需要，提出了面向装配的三维标准件库的一般原则，给出标准件库的基本框架和关键技术解决方案，并且结合实例加以说明．     

预测支持系统中动态模型的研究与应用

介绍了一个智能预测支持系统中的动态模型生成的研究，提出了静态模型与动态模型两种模型表示方法。并对静态模型的表现形式，为产生动态模型而对方法库系统和模型库系统所作的改进，系统中心部件—模型求解控制模块、动态模型的生成进行了详细论述。