间冷式电冰箱箱体的Z传递函数模型（Ⅱ）——应用实例

为了模拟实际箱体内空气温度,基于Part Ⅰ开发的计算单箱室箱内空气温度的基本方法,开发了实际间冷式冰箱箱体模型。在建模过程中,通过虚拟箱室方法将风道转化为虚拟箱室,实际间冷式冰箱箱体模型可由单箱室模型串联或者并联组合。在间冷式单箱室中验证Z传递函数方法,算法速度约为通常所用的直接求解微分方程的四万倍,最大误差为0.06℃。对某间冷式冰箱的仿真结果表明：模拟与实验得到的箱内空气温度与实验值最大误差为1.32℃,平均误差为0.4℃。     

（Z、E）－1－对氯苯基－2－（1，2，4－三唑－4－基）－4，4－二甲基－1－戊烯－3－酮的合成分离和结构测定

合成１－对氯苯基－２－（１，２，４－三唑－４－基）－４，４－二甲基－１－戊烯－３－酮。分离出Ｚ和Ｅ异构体并测定分子结构。讨论结构对熔点和￣１ＨＮＭＲ谱的影响。     

代数规格说明语言ASL及到PROLOG的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

函数－规约混合语言的设计与实现

在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性．混合语言系统将代数规约转换为合流的重写系统，将函数定义、计算约束和优化规则视为重写规则，基于重写模型，以平行最外方法辅以必要归约进行计算．     

基于DEVS原子模型的智能体离散仿真构建方法

智能体由于自身交互行为与学习行为的复杂性,难以直接被建模和仿真.针对智能体离散仿真中的常见问题,借助DEVS (discrete event system specification)原子模型的事件转移机制表示智能体的交互与学习过程,通过对智能体交互模式、多状态外部事件转移控制、端口连接模式、以及强化学习事件转移表示等...     

一种基于离散事件系统规范的复杂产品行为模型描述方法

基于离散事件系统规范(discrete event system specification,DEVS)的多分辨率形式化描述具有层次化、结构化的描述能力,但对模块内部智能行为描述相对匮乏,而基于Agent的建模可以刻画个体的感知行为、通信协作和学习进化.在多分辨率建模框架下,结合DEVS和Agent模型描述以提供对事件...     

摄影滤光镜的标准和规范

结合国内滤光镜生产实际情况，介绍了滤光镜国家标准的内容、性能及其先进性，交流了照像机综合标准化工作信息     

用形式化和非形式化技术对VB程序逆向工程

研究了采用形式化和非形式化相结合的方法,为VB程序生成形式化规格说明的逆向工程技术。给出了VB语言基本结构的最强后件语义表示、模式匹配规则、抽象匹配规则以及产生规格说明的基于结构化分析的3阶段过程。在此基础上使用VB语言实现了原型工具BasicSpec。此工具首先为VB程序建立非形式化的抽象模型：窗体结构图和过程调用图;然后为关键模块生成形式化规格说明。生成的结果清晰明确,有助于软件工程师理解VB源程序。     

混合遗传算法在砂土液化势评价中的应用

基于历史地震液化实例资料和现场实测 SPT值 ,建立了应用混合遗传算法的砂土液化势智能评价模型 ,并实际评判了特大型润扬长江公路大桥工程区的砂土液化 ,且进一步分析和研究了桥址区潜在液化层的空间分布规律和概率统计特征 ,并与规范判定法结果作了对比 ,取得了较好的成果。实例应用表明了该法是可行和可靠的 ,为大桥的设计和施工提供了科学依据 ,对基础工程的可靠性分析和最优设计具有重要实际意义     

（Z＊）条件下正则cosine函数乘积扰动下的不变性质

设A生成Banach空间X上的指数有界C－cosine函数C（t)。论文将讨论在满足（Z＊）条件的乘积扰动下,C（t)的范数连续性、局部Lipschitz连续性,局部紧性仍然保持不变,并得到一个逼近结果。同时,也得到（Z）条件下的相应结论。