并行文件系统中diskcache一致性协议的正确性证明

本文叙述了两类并行文件系统中ｄｉｓｋｃａｃｈｅ一致性的维护方法，并基于ｒｅｌｅａｓｅ一致性模型，给出了其正确性证明.     

基于HLA的智能仿真支撑环境研究

引入了分布式人工智能（DAI）中多Agent的概念，将HLA仿真技术框架和多Agent技术相结合，提出了一种具有智能特性的仿真支撑环境，实现了一个通用的Agent仿真对象模型，介绍了如何利用Agent通信语言KQML进行互操作的方法，描述了仿真系统的工作过程。     

基于μC/OS-II的嵌入式系统的设计

嵌入式系统的应用正快速发展,而嵌入式系统的设计和嵌入式操作系统是其中的关键。由于大多数嵌入式操作系统价格昂贵、源码不公开,导致某些开发不是很方便。而实时嵌入式操作系统μC/OS-II具有开放源码、研究免费的特点,而且μC/OS-II通过了FAA安全认证。文中通过实现一个嵌入式系统应用说明了μC/OS-II实时嵌入式操作系统在嵌入式系统中如何应用以及如何移植。     

芯片设计中工艺映射方法的选用策略

工艺映射是综合过程中的重要步骤之一。本文描述了基于特定单元库的工艺映射的主流方法,然后详细分析了它们各自的优缺点;在此基础上,为改进基于特定单元库的工艺映射,提出了对工艺映射流程中各步骤已有处理方法的选用建议;最后,进一步讨论了当前面向FPGA的工艺映射中对基于特定单元库的工艺映射方法的借鉴。     

马尔可夫决策过程两种抽象模式

抽象层次上马尔可夫决策过程的引入,使得人们可简洁地、陈述地表达复杂的马尔可夫决策过程,解决常规马尔可夫决策过程(MDPs)在实际中所遇到的大型状态空间的表达问题.介绍了结构型和概括型两种不同类型抽象马尔可夫决策过程基本概念以及在各种典型抽象MDPs中的最优策略的精确或近似算法,其中包括与常规MDPs根本不同的一个算法:把Bellman方程推广到抽象状态空间的方法,并且对它们的研究历史进行总结和对它们的发展做一些展望,使得人们对它们有一个透彻的、全面而又重点的理解.     

基于GPS和DR的公路数据采集GIS系统

该文介绍了一个新型的基于GPS和DR的公路数据采集GIS系统,它以GPS动态差分定位为主,辅以陀螺仪和里程计的航位推测法,可以高效准确地采集到现有公路的空间和属性数据信息。系统采用了GIS技术以增加地图和GIS功能,同时采用ArcSDE构建路况数据库。对路况数据信息的分析评价,将指导公路的养护管理和未来规划。实际应用表明,采用GPS和DR组合定位后的该GIS系统有效地克服了GPS定位的局限性,能够采集到连续精确的测量数据。     

汉语句法分析器SYNAC

SYNAC(The Syntactic Analyzer for Chinese)是基于一定语义分析的、以定子句文法作为描述工具的汉语句法分析器, 能分析比较复杂的汉语句子。采用了填槽技术和反向推理策略。本文着重介绍SYNAC设计的基本思想和主要方法, 最后, 作了一些评价。     

推理过程的控制策略

本文对当前在Von-Neumann机上,实现逻辑程序设计语言所采用的推理控制策略,作了较详细的论述。综合介绍了固定式搜索、并发及协同机制、元规则的使用等方面的现状及存在的问题。