一个基于AI产生式系统的软件开发新模型

在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说明是程序变换方法的起点，程序变换方法保证了程序的正确性．本文给出了ＡＤＴＳＬ的简要描述，并提出了一个基于人工智能中的产生式系统的软件开发新模型．     

双纱纺成纱区几何状态和单纱捻度的试验研究

在双纱纺纱中,交汇区中的单纱捻度和交汇角对成纱的性能有很大影响,我们将相隔一定距离的两股黑白复丝从前罗拉后方喂入加捻卷绕机构来模拟双纱纺纱过程,并利用高速照相对纺纱过程中的纱线进行动态摄影,分析了一些主要纺纱工艺参数对纺纱过程和纺捻线性能的影响。     

广义耦合KGS方程的整体强解

研究了广义耦合KGS方程的初边值问题和Cauchy问题。利用非线性项在分数次Besov空间中的估计及抽象发展方程的结果,在一般的条件下,获得了该问题整体强解的存在唯一性定理。     

东海北部近海夏秋季鲐鲹渔场与海洋水文环境的关系

本文叙述了东海北部近海夏秋季鲐鲹鱼中心渔场的分布、海洋水文环境(包括水温、盐度、水系的消长变化)特点以及两者之间的关系。     

分形与复杂性

在科学的和隐喻的意义上讨论了四个问题：分形在整个复杂性研究中的地位，分形复杂在哪里？从分形看系统的时空复杂性，分形与自组织和他组织的关系。     

定域Scale和规范不变理论的量子化

在Riemann空间中,利用推广的Faddeev-Popov理论,讨论了具有定域Scale不变性和规范不变性理论的量子化。整个讨论过程具有广义协变性。     

一种新型偏转线圈的大偏转角技术

为了利用现有 CRT颜色逼真、分辨率高、技术成熟等优点 ,克服其体积大、笨重的不足 ,提出将两组平面主线圈和两组圆柱形辅助线圈组成一个全新的偏转线圈 ,利用这种新型偏转线圈制作成的 CRT能较大幅度减薄显像管的厚度 ,并在保证图像质量前提下实现电子束的大角度偏转 .实验结果表明 ,电子束最大偏转角可达 1 2 6°以上 ,光点测试结果良好 ,电子束聚焦特性有所改善     

我国建材工业技术进步测定及预测方法研究

运用相关分析、主成分分析和多元回归分析方法建立相应的数学模型，对我国建材工业技术进步水平进行了定量测度与预测，并通过模型的实际应用，证明了方法的可行性和应用价值。     

HPLC测定包覆火药中的DNT及其迁移速率常数

用高效液相色谱法测定包覆火药中２，４－二硝基甲苯含量，样品用甲醇超声提取，在ＬｉｃｈｒｏｓｏｒｂＲＰ－１８，５μｍ柱上进行分析流动相甲醇－水（６０：４０Ｖ／Ｖ），检测波长２５４ｎｍ，方法的平均回收率９９．３％，相对标准偏差１．０％．关于迁移速率常数的估算，在恒温烘箱中，使包覆火药中２，４－二硝基甲苯加速向单基药膜扩散，间隔不同时间取出，测定其含量，进而按动力学方法得出常温（２５℃）下包覆火药中２，４－二硝基甲苯的迁移速率常数为１．４７×１０－９ｍ２／ｓ．     

A components library system model and the support tool

Component-based development needs a well-designed components library and a set of support tools. This paper presents the design and implementation of a components library system model and its support tool UMLCASE. A set of practical CASE tools is constructed. UMLCASE can use UML to design Use Case Diagram. Class Diagram etc. And it integrates with components library system.