摘要:指针是一种重要的数据类型，使用指针能使程序更加有效和优美.可是指针却以不易驾御而闻名，至今在时序逻辑语言中未见到对它的形式化工作.XYZ/E既是一个时序逻辑系统也是一个程序设计语言，它能表示普通高级语言中几乎所有的重要机制.本文主要讨论在时序逻辑语言XYZ/E中指针的形式化表示问题以及在结构化XYZ/SE程序中指针的验证问题.

摘要:该文探讨争论推理在扩充逻辑程序中的实现及其关系问题.基于“相干原理”，建立了扩充逻辑程序的争论推理框架，多种争论推理形式都可以嵌入其中.特别是提出了一种谨慎语义Acc.同时又定义了良基语义的一种合理扩充Mod,以处理较为大胆的推理形式.另外也研究了相关的理论性质.

摘要:活性与安全性是网系统重要的行为性质.对于位置/变迁网系统的一些子类，人们已为之导出许多有意义的结果.该文贡献在于为一种称为加权扩充自由选择网的网系统子类找到活性与安全性的一般性质.文章先给出其活性等价条件的简要与直观的证明,随后,对于这一类安全的子系统又给出活性的充分必要条件.

摘要:自动文摘研究作为自然语言处理研究的一个重要且实用的分支，目前逐渐成为Internet信息检索等应用领域的重要研究课题之一.该文提出的基于语料库的文摘试图将传统的基地语言学分析的文摘方法和基于统计的文摘方法的优点结合在一起.基于语料库的文摘方法的实质即以系统外的分析代价换取系统内的算法效率.该文描述的算法给出了基于层次词典的关键字提取和基于语料库的自动文摘的实现.

摘要:对有关Agent理论和实践两方面的研究现状、关键技术和发展趋势进行了综述和讨论，试图勾画出目前Agent研究的脉络、重点及其发展趋向.主要内容包括：（1）智能Agent的特性、表示和推理；（2）多Agent系统的联合意图、协商和规划；（3）面向Agent的程序设计.最后，简单讨论了Agent技术目前所面临的挑战.

摘要:毛发的造型和绘制技术是当今计算机图形学中的一个突出难题.因为头发形状精细、数量庞大,传统的造型和绘制技术很难达到令人满意的效果.针对人的头发,提出并在数学上表示出了弯曲体纹理.接着参照理发师制作发型的过程,将头皮曲面予以特别处理,并以人头部的形状为依据,给出简单发型的构造方法.然后根据头皮曲面上四边形的结构关系,用插值方法将简单造型予以修正和发展,给出了几个发型构造的实例.最后绘制出具有较为真实效果的发型图.

摘要:进化式信息过滤方法从多个角度描述用户的信息需求,通过类似自然选择的过程,达到系统整体过滤性能的优化.同时还从面向对象程序设计语言的设计思想中获得启发,引入了继承、类树的概念,增加了过滤系统的易用性.这种方法可以缩短训练时间，提高过滤质量,同时减小过滤结果与训练次序的相关性.

摘要:用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系.该文讨论在各种常见的程序构造下如何表示、计算和传递Ω区域、Φ区域，并在数据流分析过程中,利用Ω区域、Φ区域之间的覆盖关系消除条件分支语句带来的不确定性,以得到更精确的数据流信息.

摘要:HCR(highest cumulative reward)是多agent系统中的一种规范生成机制,但在该机制下，系统的规范不能随条件的变化而变化.文章建立了规范的定义,分析了规范的稳定性,给出了用于规范生成的HAR(highest average reward)和HRR(highest recent reward)机制,适于规范的演化,并比HCR机制有更好的收敛速度.

摘要:作者在以前所做的工作中,已对电子商务安全(secure electronic transactions,简称SET)中抽取的片段进行了证明,也对SET中可能存在的问题进行了初步探讨.该文在此基础上,对SET的整个业务流程进行了严格的逻辑验证,通过形式化逻辑方法的验证,发现了SET协议中存在的一些问题,并对如何解决这些问题进行了初步的探讨.

摘要:树木的结构和物理性质的复杂性使得人们很难对其进行动态模拟.该文提出一个深度优先的数值积分遍历算法,把树作为一个整体考虑,求得整棵树协调一致的位移,较好地表现了树的整体动感.此算法作为一个整体性算法也可推广用于其他树种的模拟.另外,文章还分析了枝条对风的遮挡关系,包括过遮挡、孔洞、狭长缝隙及透射.基于Z-buffer算法思想对这些遮挡关系进行了处理,取得了令人满意的效果.

摘要:该文提出了基于多Agent的面向任务集成的自组织结构IRASO(intelligent robotic architecture with self-organization).该系统利用事件-势态估计-状态变化协调多Agent的结构组成,使其与外界环境变化一致.文章详细讨论此结构的集成方案,通过仿真分析其特性.

摘要:提出了一种基于特征曲线的快速人面识别方法.该方法首先对不同姿态和大小的人面进行定位和归一化,然后在归一化后的人面图像上建立多种特征曲线.作为对人面特征的描述,最后利用傅里叶描绘子对特征曲线进行解析提取关键特征,得到人面的表征向量.使用此方法在1300幅人面图像上进行了实验,结果表明，此方法在速度和准确度方面都具有较好的性能,而且对有不同姿态和表情的人面的识别具有一定的鲁棒性.

摘要:最大熵原则是图像处理中阈值选择的最常用方法之一.很多研究者针对最大熵原则作了各种研究,但一般都回避了用最大熵原则进行多阈值选择时运算量太大的问题.该文提出了解决这一问题的条件迭代ICM(iterated conditional modes)算法.通过实验比较了ICM算法与H.D.Cheng等人提出的模拟退火算法,充分显示了ICM算法的有效性.

摘要:该文研究了基于Shared-Nothing结构的几种常用并行连接算法,分析了影响查询响应时间的各种因素.在此基础上,以多种硬件成分作为参数建立一个代价分析模型.使用该模型计算并行Hash算法在每个处理机上的平均任务执行时间和总的查询响应时间,并比较了几种算法在不同硬件配置下的执行效率.所提出的模型和分析方法为评价和选取并行连接算法提供了一种可行的途径.

摘要:基于Ada 95参考手册附录E“分布式系统”中的思想,提出了实现分布式Ada语言系统的一些概念和设计思想,并给出了实现分区通信子系统的具体方案.在此基础上,通过一些前置处理,并利用已实现的分区通信子系统的接口,实现了分布式Ada语言系统.最后通过一个实例,具体介绍了分布式Ada语言系统的程序设计方法.

摘要:基于拟物拟人思想的Solar算法是一个求解SAT问题的快速算法.实验和理论分析表明,Solar算法具有易并行化的特性.将Solar算法并行化可大幅度地提高求解SAT问题的效率.

摘要:寄存器结构及其分配是软件流水算法的关键之一.为支持多重循环的软件流水,该文提出一种新颖的寄存器结构：半共享跳跃式流水寄存器堆.它可以有效地解决多重循环软件流水下的特殊问题,即：同层次和跨层次的寄存器重命名问题以及断流问题；有效地消除外层循环的体间读写相关,提高程序的指令级并行度.它有3种分配方式可供灵活使用：单个寄存器、流水寄存器和寄存器组方式.流水寄存器方式对生存期确定的、局限于一个循环层次的寄存器重命名问题提供简单而有效的支持.寄存器组分配方式解决了多重循环软件流水时变量生存期不确定的情况.跳跃操作为

摘要:该文用时序逻辑语言XYZ/E刻画了若干种常见的体系结构风格.在刻画风格之前,首先通过研究常见组件及连接方式间的关系分析了风格之间的关系,然后通过对特定组件和连接方式的组合产生了完整的体系结构风格的形式化描述.

摘要:模拟退火和多种群并行遗传进化是两种较好的改进遗传算法性能的方法.将这两种思想有机地结合起来,提出了一种基于模拟退火机制的多种群并行遗传算法.仿真结果表明,该算法不仅能增强算法的全局收敛性,还能加快遗传进化速度,得到满意的全局最优值.

摘要:群体间通信问题是群决策支持系统(group decision support system,简称GDSS)研究中所要考虑的一个重要问题.目前,实现群体间通信主要采用通用的群件产品,但这类产品协调通信慢,灵活性差,且不易集成,不适合应急GDSS的协同通信.为了寻找一种应急GDSS快速协调性通信的方式,该文研究了一种混合式GDSS网络通信结构,在重点分析GDSS协调性通信功能的基础上提出一种新的基于TCP/IP协议的GDSS 通信协议——GDSSTP(GDSS transmission protocol),给