时态数据库初等关键字范式问题的研究

为了探索能避免存储异常(插入,删除,修改异常,冗余),保证数据的完整性和一致性的数据库模式,依据具有多时间粒度的时态函数依赖约束的理论,采用时态数据库规范化方法,提出了时态初等关键字范式的概念,并分析了时态初等关键字范式与时态三范式和时态BC范式之间存在的联系,得到了用TEKNF分解来解决如果把TBCNF作为最终目标,很难实现保持函数依赖性,若把T3NF作为最终目标,又很难实现想要得到的规范化要求的问题,是时态数据库进一步规范化的基础．     

从双语语料中获取翻译模板

翻译模板自动获取是提高MT译文输出质量和领域适应能力的关键性因素。利用Tree-to-String方法抽取等价对,使用错误驱动的学习方法从中获取翻译模板并进行优化。将优化后的翻译模板用于一个基于转换的机器翻译系统中,同时使用“863”对话语料对其进行评测。实验结果表明：当使用自动获取并经优化的模板进行翻译时,开放测试语料的译文评测分数有一定程度的提高。     

关于特征造型技术

特征造型技术是新一代CAD/CAM集成系统的关键技术之一,是产品模型技术的核心.建立基于特征的统一而完备的产品信息模型,能够从根本上解决产品在设计、生产、质量控制和组织管理等各个环节的数据交换和共享问题.同时,将参数化技术引入设计系统中,使得特征具有可调整性,提高了系统设计效率.因此,基于特征的参数化技术已成为当今CAID系统的主要依赖手段之一.     

采用数据流图的故障模型生成算法及其应用

为有效地解决系统级故障注入试验建模困难问题,提出语言级生成数据流图,并以此构造动态故障树的故障模型建立方法.通过对故障过程数据流分析,找出数据依赖关系并构造了故障模型生成算法.与其他方法比较,本算法具有动态性,提高了故障覆盖率,减少了系统开销,使故障注入试验更易实现.     

智能化煤炭发热量分析仪的研究

介绍了一种智能化煤炭发热量分析仪的工作原理、硬件结构和软件实现过程,叙述了采取4线制及查表法等技术措施,消除铂电阻的非线性及信号线电阻对测温产生的误差。     

基于物体的并行空间子分及数据分布

本文提出了一种在超立方体互连拓扑下有效的并行子分方法，它把一个给定的图形自适应地分解成矩形区域，并把这些合成区域映射到多处理机的结点处理机上。所提出的方法利用有效的结构来加速标识分解的平面，并在并行空间分解的同时完成区域和物体映射到结点处理机上。     

基于MBR的主方向关系一致性检验

定性的空间推理在地理信息系统、人工智能、数据库及多媒体等领域中的应用越来越引起人们的注意.空间推理的基础理论以及相应算法也在不断地创新和发展.方向关系推理是空间推理研究领域的重要分支,利用区间代数及矩形代数理论,以物体的极小边界盒(minimum bounding rectangle,简称MBR)为模型,提出了一种基于MBR的主方向关系与矩形代数关系相结合的推理方法.利用该方法,可以将矩形代数良好的计算性质应用于空间方向关系推理中,实现了矩形代数与基于MBR主方向关系的相互转换方法、主方向关系合成及求反方法、主方向关系中凸(convex)关系判定方法及方向关系一致性检验算法.     

基于特征造型的自由曲面特征及约束求解的研究

在对HUST-CAID（哈尔滨理工大学计算机辅助工业造型设计）系统进行研究的基础上，首先引入了自由曲面特征。然后结合HUST—CAID系统定义了自由曲面特征的分类和参数化，同时系统为用户提供了一组适当的参数，使用户能够直观的设计任意曲面，而不必参与曲面的底层设计。当用户修改参数时，系统就会自动提供相应的反馈。为了求解出与约束一致的图形，还给出了一种新颖的原型驱动约束求解算法，并在HUST—CAID系统中进行了仿真实验，结果显示，此算法能够有效地简化约束求解和特征造型的过程。     

分布式后缀树在P2P搜索中的应用

由于当前的基于DHT的P2P系统在语言搜索方面都有很大的限制,因此建立一种恰当的既具有语言能力又有伸缩性的语言覆盖P2P网络是一种挑战.文中提出一种介于DHT和支持关键字序列查找的语言覆盖之间的中间层DST覆盖网,通过DHT获取并返回给DST覆盖网相应的处理和索引数组,由DST实现关键字序列查找.分析表明它的时间复杂度与关键字序列的长度成线性关系,实验证明在P2P网络上使用基于DST的搜索获得一个确切的文本的查找具有快速性、负载平衡和可用性.     

PVM应用移植到MPI问题的探讨

消息传递方式是广泛应用于一些并行机,特别是分布存储并行机的一种模式。ＰＶＭ（ＰａｒａｌｌｅｌＶｉｒｔｕａｌＭａｃｈｉｎｅ）和ＭＰＩ（ＭｅｓｓａｇｅＰａｓｓｉｎｇＩｎｔｅｒｆａｃｅ）都是目前是广受欢迎的基于消息传递的并行程序库,其中ＰＶＭ的消息传递接口,因其简单性,而没有给用户最大的灵活性以实现最佳的性能：为此,消息传递标准的讨论会工作组制定了消息传递接口ＭＰＩ标准,为ＰＶＭ实现最佳性能提供了可能。该文通过对ＰＶＭ和ＭＰＩ的比较,指出了从ＰＶＭ应用移植到ＭＰＩ应用时有利的方面和潜在的缺陷。如果一个应用程序能避开这些缺陷的影响,那么它就能够从移植中提高通信的性能,从而提高其分布式计算的性能。