不可微D.C.规划问题的全局最优性充要条件

本给出了一类不可微D．C．规划问题的全局最优性充分必要条件及ε-最优解的若干结果。     

流线型挤出模曲面构造

根据塑料挤出的特点，在编程实现对型材截面轮廓凸凹性自动判断的基础上，采用射线法与比例间隔法相结合的方法，确定流道入口圆周上型值点的位置．以三次多项式作为流道模腔型曲线的数学模型，依据流线型要求给出的初始、边界条件，得出型曲线的数学方程．构建了挤出模流道的三维参数化曲面模型．有限元分析结果显示，该方法创建的流线型流道模型，其流动稳定性和平顺性都优于直线型流道．     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

关于Banach-值函数Henstock积分的一个注记

若函数f是定义在[a,b]上的抽象函数,{Ei}是[a,b]中互不相交的闭集列,如果这些Ei的并是[a,b],并且f在每个Ei上McShane可积,则在一定条件下,f在[a,b]上Henstock可积.     

热连轧棒材三切分轧制的实践

介绍萍乡钢铁有限责任公司三轧厂引进的三切铲轧制技术、主要设备概况、生产过程中存在的问题及改进措施：分析三线切分轧制稳定生产的关键是保证切分后轧件尺寸的均匀性，并给出了预切分轧件的偏移量与三线活套高度差的关系。     

浅析债务重组中的利息处理

现行制度、准则有关重组债务之利息的处理规范，与权责发生制等会计核算原则相违背，在债务重组日不确认任何利息，重组后债务的利息在重组日后再行处理，重组后债务在重组日的入帐金额仅为该新债务的本金，并增设“待转利息”科目以完善利息核算。     

弱可数紧集与Arrow-Barankin-Blackwell定理

陈光亚研究员在局部凸空间的框架下推广了A rrow-B arank in-B lackw e ll稠密性定理.将此定理条件中的“弱序列紧”减弱为“弱可数紧”,从而对A rrow-B arank in-B lackw e ll定理进行了推广.     

风速计调节喷泉喷水量问题的分析

针对大型喷泉系统喷水量调节问题，采用流体力学风洞模型试验得出的三维物体型阻理论、微气象学、建筑给水、排水工程喷泉设计导论，以及物理学基本运动学理论，得出了喷泉喷水量调节的基本理论依据以及解决方法，为大型喷泉调节系统设计工作提供了有力支持。     

应用不定量凸模型的遗传算法解决结构设计的优化问题

针对不定静载荷和由不定搜索而产生的最不利情况 ,应用遗传算法来解决桁架的优化问题。说明了在考虑不定量的结构设计优化问题中 ,应用遗传算法实现的高效性。     

免用第三变量的两变量值交换

针对采用第三变量两变量值的交换占用多余内存的不足，提出算术运算法、布尔型变量的交换法、异或运算法和异或运算取反法等4个免用第三个临时变量的两变量值交换方法，并分析这些方法的优缺点。关键词：变量交换第三变量异或运算