Prolog／Lisp协处理器板对Prolog部分的支持

Prolog/Lisp协处理器板是为高效支持运行于Sun3/4及其兼容工作站上的Prolog和Lisp这两种人工智能语言而设计的的专用系统。本文在简单介绍Prolog/Lisp指令集中Prolog部分及Prolog/Lisp协处理器的体系结构之后,描述了该协处理器板上支持Prolog中转移,选择点建立、修改和删除等指令及合一中的多路转移操作的专用结构和专用芯片的原理。模拟结果表明,Prolog/Lisp协处理器板可以满足Prolog部分的推理速度(Local Inference Speed)达到500kLIP/s的要求。     

语言碰撞与飞行安全

在世界诸多语系和语种中,混合语、洋泾浜和克里奥尔语等“边缘”语言不为大众所了解。本文介绍了陆空通话中的混合语(linguafranca)——用于特殊用途的航空英语。虽然英语已广为航空业者所使用,但是由于使用不当而引发的诸多问题和安全隐患不能不引起我们的高度重视。本文重点探讨了空空通话和陆空通话中飞行员之间以及飞行员和地面管制人员之间用母语和英语通话时所遇到的诸多障碍,目的在于通过实例分析、经验总结和文字研究,提出航空领域亟待加强和规范的语言通话策略。     

从心理语言学角度探析造成民航英语陆空通话歧义的原因

民航英语通话失误或歧义是当今引发航空安全事故的主要因素之一.本文在研究大量事故案例的基础上,尝试性地从心理语言学的角度(主要是从言语听辨理论)分析了造成这些失误与歧义的原因,并在此基础上提出了减少或避免通话歧义产生的对策.     

多重分形谱在材料分析中的应用研究

基于多重分形谱的物理意义，通过图像分析与处理技术，利用Delphi语言设计了图像结构的多重分形谱的计算程序。通过程序中图像黑白二值化转化阈值的设定，实现了从材料组织结构形貌图像上提取其相应的概率测度和标度指数的功能，并计算了它们的多重分形谱。分析表明：在对材料的组织结构进行研究的问题中，多重分形谱是一种有意义的表征参数，能够从多分形角度对材料的组织结构开展定量化的分析与解释。     

"长二丙"三问长天--第19颗返回式卫星升空

8月29日15时50分，我国在酒泉卫星发射中心用长征二号丙运载火箭，成功地将一颗返回式科学与技术试验卫星送入预定轨道。这是我国今年继“试验卫星一号”、“纳星一号”和“探测二号”3颗卫星发射成功之后，我国航天领域又一次传来的捷报。这3次发射升空的火箭，同属我国的“金牌火箭”——长征二号丙系列运载火箭。     

Java程序度量工具的实现及案例分析

介绍了面向对象度量技术,给出针对Java语言的McCabe,Halstead和WMC复杂度的定义,提出了一种新的面向Java语言的度量工具的实现方法,并且通过实例分析说明利用该工具度量Java程序,某些度量值高的模块逻辑复杂、工作量大、易错且难维护,从而引导测试人员重点测试这些模块,同时也使开发人员关注它们,仔细检查程序逻辑,进行合理优化,使整个程序的复杂度降低.确凿实验数据表明,软件度量对改进软件质量具有很大实用价值.本工具采用以下度量标准度量Java程序:针对继承复杂性的DIT(Depth of Inheritance Tree)和NOC(Number Of Children)复杂度;针对模块复杂性的McCabe度量法、Halstead软件科学度量和WMC(Weighted Methods per Class)复杂度;针对类间耦合性、聚集性的RFC(Response for a Class)度量法.每种复杂度从不同方面、不同层次度量Java程序,从而有效全面的评价软件质量,揭示可能隐藏的错误.     

面向NXD的XML数据函数依赖

XML的半结构化特性造成了Native XML 数据库中数据模式规范化设计中的很多问题.采用结构信息和数据信息相结合的方法,给出XML数据间函数依赖的定义,解决数据模式规范化设计中的理论问题.建立了XML模式路径和XML数据树节点路径的定义,描述XML数据中的路径;给出了XML文档有效性的形式化定义;在此基础上定义了树元组和树元组相等的概念.运用树元组及其相等的概念定义了XML数据的函数依赖关系,进而给出了相应的自反、增广、传递推理规则,用于推导给定集合所蕴涵的函数依赖关系.并证明了这一推理规则是正确的.上述工作为Native XML 数据库系统中数据模式的规范化设计提供了一定的理论基础,增强了XML数据的语义特性.     

用于卫星姿态机动控制的一种自适应模糊控制器

卫星的姿态机动控制要求机动快速和较强鲁棒性.纯模糊控制器响应快、鲁棒性好,能够方便地应用人的智能,但是模糊规则库的构建需要预先获取足够的语言信息.从Lyapunov函数出发设计了一个稳定的直接型自适应模糊姿态机动控制系统,控制器能够在初始语言信息很少的条件下通过自适应律调整语言信息参数而得到合适的模糊规则,使控制器具有更强的适应能力.数学仿真比较了在完全没有语言信息和有一条语言信息的情况下控制系统的表现,表明仅有一条语言信息时控制系统性能就能够显示得十分出色.最后,仿真结果证实了自适应模糊控制器良好的鲁棒性.      

基于内容的可视化多媒体查询语言的设计

设计了一个基于内容的可视化多媒体查询语言CBVMQL(Content-Based Visual Multimedia Query Language),该语言将语义表达、概念化定义、面向对象的语义表示和图像示例有机地结合起来,不仅提供了一个自然的可视化查询接口,而且也支持通过自动查询生成来精确地操纵信息.同时,它还结合多媒体的内容信息,实现了基于内容的多媒体查询.     

美国航宇局四个战略领域近期总目标

１９９９年初，美国航宇局（ＮＡＳＡ）公布了根据其战略计划而制定的１９９９财年的执行计划。由于该执行计划篇幅冗长，这里仅介绍了该执行计划的重点，即空间科学、地球科学、载人航天和航空航天运输技术这四个战略领域的近期总目标及所要达到的具体目标。１　绪言１９９３年经美国国会表决通过并由总统签发的《政府执行及其结果法案》，对提高联邦政府各部门的工作效率提供了一种新的评估手段。该法案指导政府各执行部门制定与其具体任务和总目标一致的战略计划。这些战略计划已于１９９８年９月作为１９９９财政年度预算申请的一部分提…