摘要:XYZ系统是一个基于线性时序逻辑的软件工程系统,由中国科学院软件研究所经过15年的时间设计并实现.它被用于解决某些高技术工程领域的问题.文章介绍了这个系统的目的、意义、作用和应用.

摘要:文章综述了20世纪90年代以来多Agent系统中Agent思维状态模型的研究结果.从直观分析、形式化模型、结构模型、合作研究和应用方面来介绍Bratman的哲学观点、Cohen和Levesque的意图模型、Rao和Georgeff的BDI模型等重要成果,最后介绍了正在开展的工作.

摘要:企业领域的面向对象应用框架研究是现代面向对象应用框架技术的重用趋势之一.应用框架可以增强大型应用软件的可扩充性和代码重用性.文章在对面向对象应用框架技术进行深入分析的基础上,针对油气勘探领域交互地震处理软件设计中存在的问题,提出采用面向对象应用框架方法,并引进一组面向应用领域、基于特定设计模式的组件,使交互地震处理应用软件具有良好的可扩充性和重用性.

摘要:近来计算机和通信技术的发展使得视频点播（video-on-demand,简称VOD)在技术和经济上成为可能.连续媒体的特性使得VOD系统需要大规模的存储服务器.层次化存储体系是减少系统费用的合理方案.文章提出了一种层次化的存储模型和磁盘cache的概念.根据这个模型,提出了基于访问频率的替换算法,并对算法的有效性进行了模拟和分析.结果表明,这种算法解决了LFU(least frequently used)算法中的“cache污染”（cache pollution）问题,能较好地适用于连续媒体数据应用.

摘要:文章研究了子句逻辑推演的Petri网模型表示和不动点求解方法.基于四值逻辑和冲突变迁的概念,可用Horn子句的Petri网模型方法来构造非Horn子句的Petri网模型.逻辑推演的基本方法之一就是寻找逻辑赋值的不动点.该文显示了一种基于Petri网模型的子句逻辑不动点求解算法,比现有算法更为有效.

摘要:对于已知n维距离向量矩阵的多重串行循环,过去的并行化编译研究还缺乏寻找使循环外层并行化的幺模矩阵的可行算法.文章介绍了多重串行循环并行化的幺模变换方法,不仅从理论上证明满足外层并行化要求的合法幺模矩阵是存在的,而且通过构造性证明给出一个计算外层并行化幺模变换矩阵的可行算法,并探讨了扩大其适用范围于非完全嵌套和非常数相关距离循环的有效途径.

摘要:文章在对说话人确认和说话人辨认进行比较研究的基础上，提出一种新的说话人确认方法．同传统方法相比，该方法通过建立非特定说话人模型综合多个说话人的语音特性，使其能够对于不同的待确认语音给出不同的判决阈值，从而解决了说话人确认在判决阈值设置上存在的困难．实验结果表明，该方法能够显著降低说话人确认系统的错误接受率和错误拒绝率，为说话人确认应用于保密性要求较高的环境提供了一条有效的途径．

摘要:根据汉语语音的特点，通过总结在连续汉语语音识别的汉字序列中出现错误的规律，写出相应的用于查错和校正的词法和句法语义规则．利用“词汇语义驱动”的分析方法，找出汉字序列中的错误并校正，最终得到正确的汉字序列.

摘要:异构数据源集成系统需要集成包括ＷＷＷ在内的各种数据源，一些半结构化数据对应的模式不仅量大且修改频繁，致使元数据的生成十分耗时．该文提出全局模板的增量维护策略．当局部模板发生变化时，利用局部模板的改变量（即模板增量）来计算全局模板的增量，进而修改全局模板．模板增量是传统实视图维护技术中增量概念的扩展，它不仅能描述对象结构特征的改变量，还能描述对象行为特征的改变量，易于表达各种数据源的模式变化.

摘要:文章提出了一种结合纹理信息的图像分割方法，设计并实现了一种基于子区域的区域增长算法，该方法较有效地利用了欲分割对象区域的灰度以及纹理信息．该方法应用于医学图像的分割问题，得到了较好的效果．实验表明，该方法针对一类图像能够获得较好的结果.

摘要:文章首先扼要论述了金融市场数据以及计算智能方法学的基本性质及其在数据发掘中的应用前景，提出了一个用遗传算法配合神经网络进行优化训练后，用于发现股票市场价格变化趋势和预测模型的实验系统．文章着重论述了这一系统的设计思想和实现技术．最后，随意选择上海中百一店股票行情为实验研究对象，给出了用所述方法进行预测的实验结果.

摘要:在对多媒体信息进行基于内容的检索时，灵活有效的检索表达机制是影响系统性能的重要因素．现有系统都采用十分简单的表达机制，难以处理复杂的检索要求．通过分析，文章提出了将检索请求映射为特征空间上的相似度分布函数，并提供了一种组合机制——ＣｂＥｘｐｒ（ｃｏｎｔｅｎｔｂａｓｅｄｅｘｐｒｅｓｓｉｏｎ）来使底层的单特征检索近似此相似度分布函数，从而完成对于复杂检索基于内容检索要求的处理．文章阐述了ＣｂＥｘｐｒ的基本思想和示例，并给出了在Ｉｎｔｅｒｎｅｔ／浏览器平台上的实现.

摘要:文章研究了用重复集生成的ω语言和语言的附着之间的关系，指出并证明了上下文无关语言附着类是ω上下文无关语言类的真子类，正规语言附着类是ω正规语言类的真子类．作为上下文无关语言的一个真子类——线性语言的附着类是ω正规语言类的真子类.

摘要:为了有效地结合形式化和非形式化设计方法各自的优点，克服其不足之处，以尽可能保证软件设计的质量与可靠性，文章提出了一种将形式化方法与非形式化的面向对象设计方法ＨＯＯＤ（ｈｉｅｒａｒｃｈｉｃａｌｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｄｅｓｉｇｎ）相结合的途径，并介绍了其机器支撑环境的设计与实现．该途径在对层次式面向对象设计方法ＨＯＯＤ进行必要扩充的基础上，有机地集成了Ｚ语言等形式规约技术．支持这一途径的支撑环境提供了一套方便灵活的图形构筑工具、语法制导的形式语言与文本编辑工具，以及自动检查机制等．

摘要:提出了一个新的改进型指数双向联想记忆模型(improved eBAM,简称IeBAM).通过定义有界且随状态改变而下降的能量函数,证明了IeBAM在状态的同、异步更新方式下的稳定性,一方面排除了Wang的修正指数BAM(modified eBAM,简称MeBAM)和Jeng的eBAM(exponential BAM)的稳定性证明中所作的不合理假设;另一方面,放宽了对BAM(bidirectional associative memory)的连续性假设的要求,并避免了补码问题.理论分析和计算机模拟结果表明,

摘要:随着大规模网络的建设和应用,网络管理问题变得越来越重要.由于传统的集中式的网络管理模式已越来越难以胜任这项工作,人们及时地提出了分布式网络管理的概念.该文论述了一个基于Web的分布式网络实时监控系统(WebRMonitor)的总体结构及系统实现的关键技术：数据采集模块的设计与实现和实时数据的可视化表示等.

摘要:文章提出了基于时间窗口的增量式关联规则更新技术.该方法不仅可以利用在先前发现过程中已经获得的结果,而且利用时间窗口,还可以在最近的数据集中进行知识发现.

摘要:在由多进程组成的分布式系统中,为了保证系统在失效之后进程状态恢复的一致性,某一进程的状态回卷将引起所有与之有依赖关系的进程的后退.已有的依赖关系定义过于严格,该文重新定义了进程状态之间的依赖关系,可以减小进程状态卷回所造成的影响.

摘要:文章从声学基元和词法树两个方面对连续语音识别和汉语语音听写机中声学层面的搜索策略进行了分析,提出了基于统计知识的帧同步搜索算法和基于词法约束的词搜索树结构,构成了声学层面的双层搜索网络.算法中利用了统计知识,包括声学层面的差分状态驻留信息和特征变化量信息等.实验结果表明,基于知识的搜索策略使连续语音识别的性能提高了36.6%.文章还介绍了N-Gram统计语言模型的修正退化频度估计算法和搜索算法原理.通过对多年研究成果的分析,实现了一个汉语语音听写机的引擎,并在PC机上构建了两个系统：非特定人汉语语音听写机

摘要:通过在子类型和超类型之间引进类型转换函数,推广了有序类别代数的定义.按照这一定义,一个类型可以不一定是它的超类型的子集.这使得记录模型成为有序类别代数.为了描述类型之间的单继承关系,引进了森林类别型构的概念.给出了等式的新意义,并证明了等式理论有初始模型.