非线性动态模型中均值代替预测值的一种算法

针对一类特殊的非线性贝叶斯动态模型提出了一种新的递推算法,将均值代入状态方程,得到一个递推公式,不是把方程线性化,达到简化计算的目的．并给出其应用条件和递推计算程序．     

EGCL—Java程序转换器的研究与实现

以分划递推法等理论为基础,客观地分析了软件开发的全过程,详细阐述了将抽象程度较高的EGCL语言程序自动转换成可执行的高级Java语言程序的关键技术,并开发了一套基于Java语言的可重用类库用于支持程序的转换,得到了满意的结果。     

命令式语言的精确约束时间分析

构造程序语言的部分计值器时最重要的一步是约束时间分析。当已知程度的部分输入时,约束时间分析阶段是区分程序中哪华计算可在部分计值时完成,哪些计算须在运行时完成,然而对实际应用程序,已存在的部分计值器并没有较好对程序进行优化得到执行效率高的剩余程序,其主要原因是对程序没有精确提取约束时间分析信息。该文作者应用与前人不同的方法,将约束时间分析分为3个阶段：约束时间、递归调用分析、相关性分析,通过各阶段分析以提取更精确的约束时间分析信息,从而得到高效率的剩余程序。此外,该文提供了相应程序变换规则,分析各个程序的子结构模块,在例化时完成相应计算并生成剩余程序。     

P/A异种钢焊缝中孪晶显微缺陷的研究

TEM观察发现：在P/A异种钢刚性拘束焊接和单道堆焊焊缝中存在不同数量的孪晶显微缺陷，并对其形成原因及与焊接条件的关系进行了研究和讨论。认为：焊缝中的孪晶是由于焊缝金属的线膨胀系数比母材金属大30％～50％，在焊后冷却过程中产生较大的变形而形成的动态再结晶退火孪晶。