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

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

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

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

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

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

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

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

结晶紫—锗钨酸—PVA体系显色反应的研究

本文研究了结晶紫-锗钨酸-PVA体系的显色反应。显色反应的条件是:[H_2SO_4]=0.13mol/L,(结晶紫)=1.2×10~(-4)mol/L,(聚乙烯醇)=0.32％。结晶紫-锗钨酸缔合物的最大吸收在545nm处,表观摩尔吸光系数为1.1×10~5L·mol~(-1)·cm~(-1),锗钨酸在0-3.2×10~(-6)mol/L范围内服从比耳定律,发色完全后1小时内吸光度稳定。由热重量法及摩尔比法测得离子缔合物中结晶紫离子:GeW_(12)O_(40)~(4-)=3:1。     

测量棱镜玻璃折射率的新方法

本文介绍一种测量棱镜玻璃折射率的新方法     

分形与复杂性

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

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

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

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

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

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

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