带有声音的工具提示

详细介绍了在VC∧ 6.0中如何从CToolTipCtrl派生出具有声音提示的CSoundTipCtrl工具提示类,并给出了应用此新类的具体步骤及实现。     

基于数据库的派生式计算机辅助工艺设计系统的研究

就数据库在ＣＡＰＰ系统研制开发过程中的有效应用的问题,系统地阐述了文件存储结构和数据库存储系统,提出了基于数据库ＣＡＰＰ系统的开发方法及模型,简要介绍了系统实现方案。     

有穷客体域中一阶谓词公式的一种自动化判定法

本文给出了一个在自然数的有穷客体域Dk={1,2,…,k}(k≥0) 内一阶谓词逻辑公式的k普遍有效性的判定算法。对于只包含一元谓词的公式以及对于带有前束量词 (m≥0,n≥0)且内部无自由变元的前束范式,该判定算法可判定这些公式的永真性,从而使该判定算法突破了有穷客体域以及k普遍有效性的局限。     

如何在Turbo Prolog中嵌入汇编程序设计

Turbo Prolog 自问世以来,广泛地应用于人工智能程序设计中,但由于系统本身的原因,这种语言与其它语言接口方面的例子却很少。本文正是针对这种情形,详细地探讨了该语言与汇编语言接口的可能性,结果表明,通过修正某些参数,能够成功地进行两种语言的接口程序设计,将汇编语言嵌入 Turbo Prolog,使得 Turbo Prolog 锦上添花。     

中国年节餐饮的动向与商机

随着近年来社会观念的转变，很多人开始改变年节饮食习惯，到酒店中进行年节餐饮消费，于是在酒店消费领域中形成了“年夜饭”的动作，中国的年节文化也由此派生出新的内容。本文着重分析了近年来年节餐饮市场的变化与走势，统计了年节餐饮销售的相关数据，并就如何把握饮食消费的年节商机，增大餐饮行业在年节消费市场中的活力问题发表了自己的看法，同时提出了一些措施方案，希望酒店行业能够更好地把握年节餐饮市场的未来动向，争取更多的经济利益。     

关于Herbrand基上的语义映射

关于Ｈｅｒｂｒａｎｄ基上的语义映射应明生（江西师范大学数学系南昌３３００２７）ＳＥＭＡＮＴＩＣＭＡＰＰＩＮＧＳＯＮＨＥＲＢＲＡＮＤＢＡＳＥＳ￥ＹＩＮＧＭｉｎｇｓｈｅｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＪｉａｎｇｘｉＮｏｒｍａｌＵｎｉ...     

基于路径信息的谓词关系分析

谓词执行技术能够将多个基本块合并为一个超块,扩大指令调度范围,开发更多的指令级并行.但它也给编译优化带来一些新问题,使得传统的编译器在进行指令调度或寄存器分配等优化工作时往往只能得到保守的结果.受所用谓词表示方法的限制,目前的谓词关系分析方法必须首先重构控制流信息,这就影响了编译优化的效果和效率.本文提出了一种基于路径编码的谓词表示方法,将谓词定义信息转换为等价的域编码,并以此为基础实现了一个全局谓词关系分析子系统.模拟结果表明,该子系统能够准确高效地实现全局谓词关系分析,在保证编译效率的同时,提高了编译优化的效果.     

基本系列电机设计时派生系列的考虑分析

综合分析了在进行基本系列电机设计时确定基本系列与派生系列关系的原则、派生系列的种类和基本系列电机设计时对派生系列的考虑程度，从而确定了与各种不同用途的派生系列的的通过关系。     

受控低压注射成型及其派生技术

受控低压注射成型新技术，可实现模内复合、装饰、双壳、液气辅助、发泡、重叠、可控密度成型。