具有代数算子的λ演算系统的模型构造

本文介绍了一个带有代数算子的λ演算系统,并给出了该系统模型的定义,证明了一个满足该定义的充分条件,最后构造了该系统的一个模型。     

程序转换中的终止性保持问题

Burstall/Darlington提出的展开/叠卷方法是程序转换中简单而有效的一种方法,但该方法仅保持函数的部分正确性,而可能失去某些值上的终止性.为此,本文提出了函数的“归约测度”和“归约转换”的概念,且证明了只要函数在转换过程中保持“复杂性”在某一归约测度下不增,转换即可保持终止性.     

亚微米WC添加对超音速火焰喷涂WC–Co涂层磨损性能影响

采用湿法球磨将亚微米WC（~300 nm）和WC–12Co粉末混合均匀并使亚微米WC均匀粘附于WC–12Co粉末的表面,采用超音速火焰喷涂方法（HVOF）在304不锈钢基体表面制备WC和WC–12Co的WC–Co复合涂层,研究亚微米WC的添加对涂层相组成、显微硬度、耐磨性能和表面形貌的影响。利用X射线衍射分析涂层相组成,压痕法测试涂层的显微硬度,通过往复式摩擦磨损实验测试磨损性能,扫描电子显微镜（SEM）对涂层磨损表面和断面进行微观形貌观察,并分析涂层的磨损过程和机制。结果表明,添加质量分数5%的亚微米WC颗粒显著提高了涂层的显微硬度（16.3%）;增强了涂层的耐磨性,磨损率从6.09×10-7 mm3/Nm减小到5.15×10-7 mm3/Nm（减小13.8%）;亚微米WC颗粒喷涂后在涂层中保持了WC相,并主要存在于WC–Co扁平粒子界面和孔隙。基于涂层中扁平粒子的结合特性与磨损失效特征,建立强化模型,分析亚微米WC颗粒对涂层扁平粒子界面的强化机制。     

智能电话查询系统

介绍了一个用于交通信息查询的交互式对话系统-ShanghaiQuest。该系统集成了语音识别、文语转换和自然语言理解等技术，用户可以同这样一个自动的交通代理对话以获取所需的交通信息。     

用户需求概念图的生成方法研究

网络信息检索在当前互联网社会得到了广泛应用,但是其检索准确性却不容乐观,究其原因是割裂了检索关键词之间的概念联系。从一类限定领域的用户需求入手,以搜索引擎作为网络语料资源的访问接口,综合利用规则与统计的方法,生成查询需求的语义概念图。可将其作为需求分析的结果,导引后续的语义检索过程,提高用户查询与返回结果的相关性。实验结果表明,生成方法是有效可行的,对基于概念图的语义检索有一定的探索意义。     

AMBA ASB总线系统主设备的设计

IC设计已经进入系统芯片（system on a chip,Soc）时代。片上总线作为SoC集成系统的互连结构,可以解决各个IP功能模块间的相互通信问题。AMBA总线由于其高性能和ARM处理器的广泛应用以及该总线协议的完全开放性,逐渐成为事实上的SoC总线标准。对现有的微处理器IP核按照AMBA ASB片上总线的协议进行改造,使其能够作为主设备方便的集成在SoC系统中,并使用FPGA验证了基于AMBA总线的系统集成的正确性。     

图算法句法分析器自动生成

句法分析自动生成对提高自然语言处理程序开发效率有重要意义。文章提出支持复杂特征和合一文法的图算法句法分析器预自动生成方法，详述了规则描述、输出代码模式及生成过程中的主要算法，并实现了一个自动生成器。测试表明，在保证执行效率的同时，该自动生成方法可以很好地增加句法分析的可扩展性。     

一种新型耐650℃高温钛合金的氧化行为

研究了新型耐650℃高温钛合金Ti650在600～700℃下的氧化行为。通过氧化增重试验研究了氧化动力学规律,采用X射线衍射仪(XRD)、扫描电子显微镜(SEM)分析了氧化膜的相结构和表面形貌,同时测试了氧化层对力学性能的影响。结果表明,Ti650合金氧化过程分为氧化初始阶段(<50 h)和氧化稳定阶段(50～100 h)。氧化初期质量增益迅速上升,当氧化时间超过50 h后,氧化速度减慢并趋于平稳,氧化进入稳定阶段。Ti650合金的氧化反应指数n值大于2,表明Ti650合金在700℃以下具有良好的抗氧化性能。Ti650合金的氧化反应产物主要为TiO₂,呈颗粒状。随着氧化温度的升高和氧化时间的延长,TiO₂颗粒尺寸增大。     

本体模块化的研究与实现

将软件工程中模块化的思想引入本体知识库的构建过程中,将本体组织成多个本体模块的集成形式,这样不仅方便了本体的构建,更有利于本体知识库的共享、重用和维护.用模块化的方法构建了汽车驾驶培训领域本体,建立方法库,在本体模块间用查询方式实现模块间的通信.这样的开发经验可以推广到其他领域.     

战术导弹全动舵舵面缝隙效应研究

通过数值求解三维NS(Navier-Stokes)方程组,对正常式布局战术导弹超声速绕流进行了数值模拟.来流马赫数等于2.0,来流高度20 km.计算中采用三种不同大小的舵面与弹体缝隙,分别为0.005,0.015和0.025倍弹径.得到了不同攻角、不同舵偏状态的舵面气动载荷,主要研究了舵面与弹体间缝隙大小对迎风面与背风面舵面法向力系数及舵面压心位置的影响.数值计算表明,舵面缝隙变化对舵面气动特性影响很小.