面向对象建模语言AML的代数语义

ＡＭＬ语言是一种基于Ａｄａ的通用面向对象建模语言,其兼具形式化语言和面向对象图形语言的特点,并克服了现有建模语言在并发模型和不确定性描述等方面的不足。本文利用代数语义技术,着重讨论ＡＭＬ语言中与Ａｄａ９５中有明显不同的成份的语义,即类程序包,结构程序包的代数语义。     

抽样保持电路的宏模型

用“建立法”设计了完整的抽样保持电路ＨＡ２４２０的宏模型．该模型模拟了ＨＡ２４２０的输入特性,输出特性和瞬态特性．用电路分析程序包ＳＰＩＣＥ－Ⅱ对该模型进行分析的结果与厂家提供的ＨＡ２４２０参数吻合得很好,且结构简单．     

面向对象建模语言AML的设计与实现

ＡＭＬ语言吸取了Ａｄａ９５基本原理和思想,引进它的基本数据类型,语句等设施,对其作更高层次的抽象和扩充。用３种有相同名字不同类型的程序包从不同的侧面描述给定模块的模型,提高了系统的完整性和一致性;同时运用二级并发模型和限制设施,详述了系统的并发性和不确定性的描述问题。     

电液力伺服系统的实验建模与参数估计

基于递推最小二乘估计对Ｌｅｖｙ－Ｓａｎａ．辨识进行了改进，提高了建模的精度与速度；并结合Ｆ准则解决了系统阶次与时滞的确定；利用Ｓｏｌａｒｔｒｏｎ１２５０ＦＲＡ及其１０９６ＤＭＳ做为测试系统和软件开发工具，进一步增强了辨识程序包的实用性     

一个改进的IMAX神经网络模型

利用平均值的性质，给出了ＩＭＡＸ竞争网络模型的一个改进形式．理论分析和模拟结果表明改进的ＩＭＡＸ网络模型提高了检出最大值的速度．另外，改进后的网络模型还放松了原始ＩＭＡＸ网络对输入数据所做的限制．     

从公理语义看UNITY模型和GAMMA模型的关系

ＧＡＭＭＡ和ＵＮＩＴＹ都是面向问题描述的程序设计语言．ＵＮＩＴＹ开发了一种公理语义规范语言，即ＵＮＩＴＹ逻辑，描述和推导程序的特性．这一规范语言也可以很自然地移植到ＧＡＭＭＡ模型上去．基于上述语义规范，给出一个将ＵＮＩＴＹ程序变换成ＧＡＭＭＡ程序的保语义等价性的程序变换方法，从而证明了ＧＡＭＭＡ模型的描述能力强于ＵＮＩＴＹ模型     

应用扩展的Monod模型关联醋酸菌比生长速率

应用扩展的Ｍｏｎｏｄ模型关联了醋酸菌ＩＡＭ１８０２和Ｍ２３的比生长速率，ＩＡＭ１８０２的比生长速率关联式为μ＝０．４８７（１－ＣＰ／２３．８）＾０．２４８ＣＡ／ＣＭ＋ＣＡ；Ｍ２３的关联式为μ＝０．５６８（１－ＣＰ／６１．０）＾０．３０６ＣＡ／ＣＭ＋ＣＡ除临界生长抑制剂浓度附近外，模型良好地表达了两种醋力的比生长速率。     

农药7322系列的电子结构和构效关系以及与农药7323的比较

对７３２２系列农药应用ＭＯＰＡＣ程序包ＭＡ１方法进行量子化学计算,讨论它们的电子结构特征和结构活性关系,并对此系列进行比较,为探讨并开发该类化合物的药物性能及对家蚕微粒子病的作用机理和药物分子结构设计提供指导。     

自适应遗传算法优化模糊小脑模型

首次采用遗传算法（ＧＡ）设计模糊小脑模型神经网络（ＦｕｚｚｙＣＭＡＣ）的隶属函数．提出一个自适应ＧＡ优化算法，并且以优化模糊小脑模型ＦｕｚｙＣＭＡＣ学习正弦曲线．仿真实例表明，采用自适应ＧＡ方法优化的ＦｕｚｙＣＭＡＣ学习精度比标准小脑模型ＣＭＡＣ提高大约三个数量级、比标准ＦｕｚｚｙＣＭＡＣ（三角形隶属函数）提高一个数量级．自适应ＧＡ方法优化的ＦｕｚｙＣＭＡＣ学习速度比普通ＧＡ优化的速度快且进化过程的振荡明显减小，仿真证明该方法比普通ＧＡ优化方法稳定，收敛效果好．     

基于高斯基函数CMAC模型的一种快速算法

广义小脑模型（ＣＭＡＣ）在函数泛化能力和函数逼近能力方面优于基本ＣＭＡＣ模型,但算法较为复杂,实时性差．因此,研究广义ＣＭＡＣ模型的快速算法,对于满足实时控制是非常必要的．文中研究了基于高斯基函数的广义ＣＭＡＣ模型的快速算法,定义了包含待学习样本点的一个超立方体子空间,提出了基于该超立方体子空间的快速学习算法．通过算例仿真表明,学习算法收敛速度较快,可以满足实时控制要求．     

ARMAX模型与多层BP网络流量演算法比较

分别给出了将ＡＲＭＡＸ模型及多层ＢＰ网络应用于流量演算中模型参数确定的方法;提出了一种可进行误差实时校正的改进ＡＲＭＡＸ模型,并认为该模型实质上是一种特殊的两层ＢＰ网络;用一个实际算例将改进ＡＲＭＡＸ模型与多层ＢＰ网络两种方法作了对比分析．     

小波变换在语音识别中的应用

提出了一种基于小波变换和ＡＲＭＡ模型的新参数，并将它用于Ａ．．．Ｎ的英文字母的识别。我们使用的数据库是ＮＩＳＴ。小波变换要以在高频提供高的频率分辨率，在低频提供高的时间分辨率，而ＡＲＭＡ模型则可以改善ＬＰＣ模型没有零点的不足。实验结果表明，识别的错误率提高１４．２７％。     

图像的二维自回归滑动平均模型

在一维自回归求和滑动平均模型（ＡＲＩＭＡ（ｐ;ｄ;ｑ）的基础上,探讨了其在二维图像空域序列的模型推广．讨论了图像的二维自回归滑动平均模型ＡＲＭＡ（ｍ ,ｎ;ｐ,ｑ）的建模方法,包括利用模型的自相关和偏相关函数的截尾性及Ｆ检验准则对模型定阶,采用两步估计法进行自回归模型（ＡＲ（ｐ））和滑动平均模型（ＭＡ（ｑ））的参数估计．将此模型应用于对一类纹理图像的建模中,在较低阶时就能得到较好的定量描述,从而为图像的纹理特征提取提供了分类依据．     

简化缔合模型（SAM）的改进

简化缔合模型（ＳＡＭ）的改进张常群，赵传钧（北京化工大学应用化学系，北京，１０００２９）关键词：超额焓；溶液模型；缔合体系中国分类号：ＴＱＯ！３．ｌ；Ｏ６４５．１６４作者基放线性连续缔合理论和正规溶液理论，提出了简化缔合模型（ＳＡＭ），用ＳＡＭ计算合...     

WIMSD4-SN 程序系统的校核计算

为了校验ＷＩＭＳＤ４－ＳＮ程序系统能否用于２００ＭＷ核供热堆组件计算，利用燃料组件计算程序包ＴＰＦＡＰ对其进行了一系列的校算，得到结论：１）ＷＩＭＳＤ４－ＳＮ程序系统在归并低温堆燃料棒栅元参数时，等效栅元模型与普通栅元模型有较大差别，最终证明应该用等效栅元模型。并且，在不含毒物棒情况下，等效栅元可作为组件计算的近似；２）在组件不含Ｇｄ情况下，ＷＩＭＳＤ４－ＳＮ可以用于组件计算，在含Ｇｄ可燃毒物质量分数较高时，不适于进行组件计算。     

形状记忆合金丝驱动的仿生转动关节臂

提出了动物关节臂的力学模型,讨论了形状记忆合金（ＳＭＡ）和动物骨骼肌生物力学行为的相似性和力学性能的差异．基于仿生学的原理,研究了用ＳＭＡ丝驱动仿生转动关节的技术．研制了能实现ＳＭＡ感知功能的控制电路和ＳＭＡ丝驱动的仿生转动关节驱动器,并用该关节驱动器开发了一个两自由度的微型关节臂,该微型关节臂可用于微型步行机器人和人工假肢．     

基于多模型的自适应控制研究进展

基于多模型的自适应控制（ＭｕｌｔｉｐｌｅＭｏｄｅｌＢａｓｅｄＡｄａｐｔｉｖｅＣｏｎｔｒｏｌ,ＭＭＡＣ）其目的在于对各种复杂的、具有高度不确定性的、快时变的系统给出一种行之有效的控制方法．文中对这一领域的研究进展进行了回顾、分析与总结．介绍了ＭＭＡＣ的基本原理和基本思想,给出了ＭＭＡＣ的结构框图,分析讨论了其中存在的几个重要问题,并指出了与这些问题相关的未来的研究方向     

ARMA(p,q)模型参数初估计新方法研究

提出了一种Ｙ－Ｗ法与逆函数法相结合的ＡＲＭＡ（ｐ,ｑ）模型参数初估计新方法．该方法不但具有在计算机上容易实现的特点,而且与当前常用的参数初估计方法相比,在参数估计精度上有了较大的提高．这对ＡＲＭＡ（ｐ,ｑ）模型的进一步推广与应用将有着极为重要的意义．     

缔合溶液的热力学

本文提出两种缔合溶液模型（Ａｓｓｏｃｉａｔｅｄ Ｓｏｌｕｔｉｏｎ Ｍｏｄｅｌ）．简称ＡＳＭＡ与ＡＳＭＢ，两者不但适用于各组分均有自我缔合的溶液（包括部分互溶系统及各种醇类水洁液），而且可推广应用于多元系统。 应用新模型来拟合十三套醇类溶液的恒压平衡数据（包括部分互溶系统），并与三种局部组成方程式（Ｗｉｌｓｏｎ．ＦＨＷ与ＵＮＩＱＵＡＣ），的关联效果作了对比，证实ＡＳＭＡ的拟合精度最高．     

SMP(AM/MAA) 共聚物的合成与性能研究

以丙烯酰胺、甲基丙烯酸及甲醛为原料合成了磺甲基化（丙烯酰胺／甲基丙烯酸）共聚物［简称ＳＭＰ（ＡＭ／ＭＡＡ）］,测定了聚丙烯酰胺／甲基丙烯酸［简称Ｐ（ＡＭ／ＭＡＡ）］的转化率与时间的关系．用红外光谱对ＳＭＰ（ＡＭ／ＭＡＡ）及Ｐ（ＡＭ／ＭＡＡ）作了结构表征,测定了不同磺化度的ＳＭＰ（ＡＭ／ＭＡＡ）水溶液的粘度,研究了ＳＭＰ（ＡＭ／ＭＡＡ）的泥浆性能．试验表明：ＳＭＰ（ＡＭ／ＭＡＡ）具有较好的提粘降失水性能和抗钙侵性能．