RATTI“R362/S”倍捻机导丝机构往复动程的分析

本文对“R362/S”倍捻机卷绕头往复导丝机构行程缩短原理进行了分析和数值计算,得出了导丝动程缩短规律。通过分析指出了一些在设计上值得我们借鉴的优点,并提出了某些改进的设想。     

数学规划模型的建模语言（FQL）

对数学规划模型的结构作了深入分析。从纵向揭示了数学规划模型自然、清晰的层次结构；横向又把复合模型分解成若干基本模型，而基本模型又可由决策用户十分熟悉的二维形式加以描述。在此基础上，给出了建模语言（ＦＱＬ）的语法和语义。它除了具有建模能力外，消除了代数形式的索引；更重要的是具有数据库查询和模型操作能力。     

利用二次贝齐尔函数的一维优化算法

本文利用贝齐尔函数良好的保型性质,将它作为拟合函数,构造了一个一维优化算法。数值实验表明,对于高度非线性的目标函数,新算法具有很强的适应性,比同类算法更有效。     

英语试卷自动命题系统(ATMS)

本文简述了利用微机M_(24)(IBM—PC/XT兼容机)进行英语辅助教学,建立英语试卷自动命题系统(ATMS即Automatic Test—Making System的简称。);说明了ATMS的基本构成原理,给出了主要框图。     

TP801控制凝固点降低法测定分子量

介绍用ＴＰ＿（８０１）微机控制凝固点降低法测定分子量的有关原理和技术，与传统的用贝克曼温度计测△Ｔ方法相比，扩大了测量范围，提高了精密度，工作条件得到改善．     

空间弧面凸轮数控加工程序的计算机辅助编制

介绍了空间弧面凸轮数控加工的方法和数控加工程序的计算机辅助编程方法 ,并给出了辅助编程后模拟显示结果     

极小化不可行量函数的Flow Shop变异问题

讨论一类Flowshop的变异问题。在这类变异问题中 ,给定一个截止工期 ,该工期比Flowshop最优调度中的最大完工时间小。讨论的问题是在全部工件的完工时间不超过截止工期的限制下 ,极小化不可行量函数。这类问题与矩阵函数因子分解有着密切联系。基于对问题的分析 ,证明了这一问题等价于单机调度中极小化类似的延迟量函数。推广了已有的结论。     

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

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

非线性随机规划问题最优值与最优解的可测性

利用对偶理论与可测集值映射理论等,本文首次证明了一般非线性随机规划问题最优值和最优解的可测性,从而为研究它们的概率分布、矩等分布问题以及一般随机规划问题的实际求解奠定了理论基础.     

建筑卷扬机卷筒端侧板强度的理论分析与试验研究

本文依据理论分析、光弹性试验、电测试验并经数学拟合,建立了卷扬机卷筒端侧板强度计算公式.