摘要:速成原型示范作为一种新型的软件开发方法正受到人们广泛的重视．XYZ系统是一种以时序逻辑为基础的适应多种程序设计方式的CASE环境．它所支持的软件开发方法是“以逐步求精方式，进行形式描述、验证或速成原型示范．直到得出可有效执行的程序”的方法．这种方法不仅能使从抽象描述到可有效执行的程序的逐步演化过程中的每步求精自然简明．而且能对每步求精的结果进行正确性评估、尽早发现问题、解决问题．本文着重介绍并讨论运用XYZ系 统进行软件开发时所采用的速成原型示范，以及XYZ系统中支持速成原型示范的软件工具XYX/PROT，该工具可以从目标系统的时序逻辑语言抽象描述自动地构造出PROLOG语言表示的可运行原型．并演示原型．

摘要:本文分析了国际上最有影响的2种几何造型数据结构:翼边结构和辐射边结构．并提出了一种新的数据结构邻维循环结构．邻维循环结构与辐射边结构一样,具有统一表示线框、表面和实体模型的能力，可以表示点有任意条邻边,边有任意个邻面的形体模型．在拓扑结构部分，邻维循环结构所占存储空间比辐射边结构的对应部分要小一半左右．而在各种拓扑关系的检索效率上，两者的效率相同．

摘要:图灵机计算时读写头在带子上的活动,包括移动及改写字符，称为圈灵机的行为．本文证明，图灵机的行为是可学习的．即存在一个学习过程，它能根据一个图灵机的行为序列，学到另一个也能产生同样行为序列的图灵机．

摘要:本文通过对图形约束的描述，约束识别与尺寸匹配的自组织．有效地建立了图形尺寸参数、零件图、装配圈之间的多向驱动机制.该方法具有通用性，使得参数化CAD支撑软件能满足整个产品设计的要求．

摘要:本文基于复旦大学开发的一个面向对象数据库系统FOOD，提出一种推理查询语言O—Datalog．该语言能方便地表达对面向对象数据的各种查询和推理要求；它可以转换成类Datalog形式，能运用各种高效计值算法，比其它一些基于非Horn子句逻辑的语言更易于实现．O—Datalog在形式上是一种Datalog的扩充，本文着重介绍其语法和语义．

摘要:上文介绍了面向对象数据库系统FOOD的推理查询语言O—Datalog，本文继续讨论对O—Datalog程序的几种变换，并证明这些变换是语义等价的，从而证明了对于一个O—Datalog程序，可以为它构造一个相应的Datalog程序。并能利用该Datalog程序对原程序进行计值．最后本文还给出了对O—Datalog程序计值的算法．

摘要:本文形式化地提出了一种适用于多媒体对象的概念模型OMCOM．文中首先分析了多媒体数据模拟的特殊性，探讨了现有的多媒体数据模型的不足．从而提出了把多媒体数据模拟划分为概念与表达两级模拟的思想．概念级模拟多媒体对象的内容与结构；表达级模拟其表达，包括多媒体对象之间的时态关系和空间关系．OMCOM就是一种用于实现概念级模拟的模型．然后根据多媒体概念模拟的需求，形式化地定义了OMCOM的各个构成要素．最后根据OMCOM实例的格性质，建立了多媒体对象在概念级的运算体系——对象代数，形式化地定义了其中的各种运算以及对象代数表达式．

摘要:本文研究在APRAM，BSP和LogP等3种并行计算模型上并行FFT算法的设计和分析;分析这3种模型的内在特性及其相互关系;评价它们在设计和分析并行算法时的可用性和可操作性．

摘要:本文介绍了作者设计并实现的一个面向对象的计算机图形系统．由于系统采用了面向对象的系统设计思想，使用户可以通过高层概念来设计对象模型，且模型设计直观、自然，避免了在传统图形系统中，要求用户使用低层图形概念进行建模．同时也保证了系统的易扩充性和易复用性，使本系统真正成为图形应用支持系统．用户只要加入适当的领域知识，本系统很容易扩充为一个面向领域的图形系统．

摘要:开放分布式处理ODP(open distrlbuted processing)的目标是试图解决分布环境下软件的接口问题，以达到分布式系统的可移植性、透明性、互操作性．本文介绍了ODP要达到上述目标所需解决的一些关键性问题，分析了传统的远程过程调用模型的服务静态连接机制和其对ODP支持的局限性，并提出一个改进的、支持服务动态连接的远程过程调用模型，可以获得较好的性能．

摘要:x.25同步通信板是高档微机访问公用分组交换数据网的有效手段，目前x.25板正在向智能化、高速化及大容量存储器方向发展．本文论述了一种高性能同步通信板TH—X25的设计与实现，包括它的系统结构、服务原语以及驱动程序的设计实现等方面的内容．

摘要:本文介绍了电脑刺绣打版系统的画稿自动输入过程中使用的彩色空间聚类方法．其中着重描述了K—均值法和合并法2种自动聚类方法，并和边缘检测算子方法进行了比较．最后给出了处理实例．

摘要:分布式图形就是在分布式系统上研究计算机图形的生成，是分布式系统与计算机图形学结合的产物．本文结合作者的研究工作对分布式图形中的研究内容(并行处理模型、支撑环境、分布式图形算法、分布式图形语言和图形库等)进行了概述；讨论了分布式图形在动画制作、科学计算可视化、多媒体和虚拟环境中的应用，在此基础上对分布式图形的发展进行了展望．

摘要:本文介绍了一个针对c++语言的程序理解辅助系统HOOPUS(hypertext—basedobject—oriented program understanding support system)．该系统基于程序结构分析技术，以易于理解的形式显示程序中的信息，辅助理解c++程序的功能与结构．另外，它还利用hypertext、多维表现、导航与定位等技术对理解过程提供支持．

摘要:认证协议的设计是一项十分困难的工作。国际标准化组织(ISO)一直致力于不同环境的认证协议标准的制定．本文研究用BAN逻辑形式化地分析认证协议的方法，指出BAN逻辑分析并非总是推导出正确的结论．在此基础上，本文讨论了认证协议的设计原则以及改进BAN逻辑的设想．

摘要:本文介绍了STEP标准的概念和原理，基于STEP标准对各种计算机辅助系统进行集成的策略，以及STEP模型描述语言EXPRESS的编译器的实现和GHModeIing4.O的STEP中性文件前后处理器的实现．文中详细地讨论了STEP标准的实现原理、EXPRESS编译器的作用、SDAI数据字典结构、STEP中性文件的前后处理过程和应用协议在产品效据交换中的作用．

摘要:虚拟环境是用多种媒体构造的一个仿真视听等多方面感知效果的高级人机界面．本文提出全面表达声音时空信息的思想，讨论了用有限个音箱表现任意空间声的时间真实感和空间真实感．通过对声音空间感实质的分析，提出了基于三维空间向量分析的真实感空间声合成算法和基于限时计算的系统实现方法．与基于双耳相关函数的空间声合成方法相比，本方法能在较少的计算时间内合成更真实的空闽声．

摘要:AGV的任务规划问题属于复杂的组合优化问题，是NP完全问题．本文提出一种与常规的由任务节点到任务链的规划过程不同的方法，采用由核心路线到基于核心路线的聚类到任务链的新的规划方法，即“云室效应”算法．在得到接近最优任务链之时，提高了规划的实时性．

摘要:重写系统是一种一般的计算模型．重写系统的归约策略的范式化性质对于实际应用重写系统进行计算具有决定意义，而重叠规则导致的歧义性是使归约过程复杂化的重要原因．本文对重写系统的歧义性进行了初步研究，并对一类常见的歧义问题作了具体分析，同时提出了解决办法．

摘要:POLYBASE系统是一个集成的多数据库系统．本文主要讨论了POLYBASE系统的体系结构、集成数据模型，提出了一个基于加权查询树的查询表示模型，设计并实现了基于加权查询树查询表示模型的一个有效的导航查询处理算法．

摘要:WNCH(works,node,content,botspot)模型是根据多媒体作品的作者和读者相统一的认知观点和多媒体作品的特点，采用超文本方式，结合面向对象方法设计的多媒体作品管理与组织模型，本文分析了多媒体作品的一般性特点，介绍了当前多媒体信息模型的典型例子，并着重讨论WNCH模型的组织、设计、表示能力及在多媒体作品管理(创作、阅读和导航)中的应用．

摘要:为了克服L.Farinas del Cerro等人的命题模态归结方法过多的符号冗余，我们增加了一条两个可能算子约束下公式的归结规则，称之为标记模态归结方法．证明了标记模态归结的可靠性与完备性．这种新模态归结方法具有下述特点;归结式未必是其父子句的逻辑结果，但却是输入于句集的逻辑结果．因而是可靠的．同时，我们在机器上实现了实验系统．实验结果表明标记模态归结比P.Enjalbert等人的模态归结几乎快10倍．

摘要:本文用代数规范方法定义了复杂对象数据库中的对象标识、对象值、查询谓词和数据库状态语义，通过对查询路径的分析，给出了个体对象查询条件匹配的语义，特别是在个体对象上施用递归查询的语义．最后，给出了OODB中选择操作的语义．

摘要:本文介绍交互式图形工具XYZ/BESE，它能将任意时序逻辑语言XYZ/E的子语言XYZ/BE表示的程序转换成结构化程序．如以XYZ/BE作为中间语言，并将这工具与XYZ与系统中源语言转换系统XYZ/CCSS结合起来，即可将任意其它源语盲的程序转换成为结构化程序．本系统是用XYZ/E的交互式图形设计工具XYZ/CFC实现的。结构化转换过程用图形表示，可增加其直观性，使这变换易于理解．

摘要:本文引进了u-循环的概念，并证明了所有u-循环项都是易项．从而刻画了一类易项的归约性质，这对于研究停机问题具有相当意义．

摘要:本文提出了一种新的密钥管理方法——两级转换表，并以此方案为基础，实现了数据库加密管理工具DBEMT．文中详细介绍了DBEMT的总体设计和主要功能，根据不同方式的安全类划分，分别讨论了字段、记录和属性分类方式下密文数据库的设计．与以往的方案相比，该方案具有安全性好、易于实现、运行效率高的特点，具有较好的实用前景．

摘要:本文给出一种求解图最短路径问题的实用反馈式神经网络，并证明这种网络的求解稳定性．这种网络基于最小值选择网而构成，对任意有向图和无向图均能收敛到其唯一的稳定点．由此求得图所有顶点对阃的最短路径及最短路径长度．本文结果是神经网络求解非NP—难解类优化问题的一种新尝试．

摘要:本文构造的XYZ/NGAE系统是建立在属性文法基础上的前端编译程序自动生成系统．本文在概述了属性文法及其描述语言之后，简要地介绍该系统的体结构以及为减少空间开销而采用的优化措施．

摘要:本文将一阶逻辑中的锁归结方法和广义锁归结方法推广到布尔算子Fuzzy逻辑中，并且证明了布尔算子Fuazzy逻辑中的锁归结方法和一种特殊的广义锁归结方法是广义完备的．

摘要:在处理历史性事件伴随的多媒体信息时，一大类带有时态语义的信息可归结为生长过程进行处理．本文给出了生长过程的数学模型，讨论了生长过程的可加性、单调性和简单生长过程的稳定性．介绍了在时态多媒体数据库管理系统原型MHBase中处理生长过程的放弃平凡算法和非平凡增量算法的实现技术．

摘要:如何描述证据理论中信任函数的动态变化是一个很重要的研究课题，证据函数的限定化概念在刻画这种动态变化方面具有重要用途．本文比较了限定化概念的2种定义方式．指出了Kruse 等人在他们的著作“uncertainty and Vagueness in Knowledge BaSed systems”中出现的错误．并给出了该书的定理6.10和定理6.11的正确证明．最后利用限定化的概念,讨论了引起信任函数动态变化的3种条件规则之间的关系．

摘要:逻辑框架是用以定义逻辑的类型系统．在爱丁堡逻辑框架ELF(Edinburgh logical frame-work)和马丁诺夫逻辑框架的基础上，本文提出了一个集两者优点于一身的新型逻辑框架．此逻辑框架特别适用于语义分析．文中还给出一些如何在此逻辑框架中表示目标语言的应用实例．

摘要:带迭代算子的函数式程序设计语言是一种有坚实理论基础、高效的、实际有用的高级程序设计语言．该语言既可描述递归，又可描述迭代．本文证明了仅用迭代算子由已知迭代函数定义的部分迭代函数就可计算部分递归函数．这就等于证明任何图灵可计算的部分函数．都可用有坚实数学基础的部分迭代函数高效地进行计算．文中定义了复合算子、原始迭代和最小化迭代算子及部分迭代函数；证明了部分递归函数是部分迭代函数可计算的．

摘要:本文提出了程序设计语言的一种新的计算模型，带迭代算子的函数式模型．文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定性证明．该类语言以表达式的复合描述顺序，以迭代表达式描述循环，以条件表达式描述分支，使得程序以数学语义为基础，易于理解、证明及构造高技的执行系统．褶信该类语言是一种有坚实理论基础、高教的、实际有用的，高级确定性程序设计语言．

摘要:本文在一个EREW PRAM(exclusive read exclusive write paralled random accessmachine)上提出一个并行快速排序算法，这个算法用k个处理器可将n个项目在平均O((n/k+logn)logn)时间内排序．所以平均来说算法的时间和处理器数量的乘积对任何k≤n/logn是 O(nlogn)．

摘要:本文讨论一个高效的面向数据采集的数据库管理系统(LNl3BMS)的设计与实现．它采用CLIENT/SERVER体系结构，并支持MULTI—SERVER．LNDBMS是开放系统，用户能通过它透明地访问其它多个异构数据库，并已在一个具有多个服务器的大型智力竞赛系统中得到应用，性能良好．

摘要:大规模并行处理系统中的通讯开销是影响系统性能的一个重要因素．广播操作是MPP系统中常用的通讯方式，快速地实现广播将有助于提高系统的性能．本文基于TORUS互连网络，提出了实现广播的流水方式,并分析丁它的性能，指出采用流水方式进行广播，可以减少广播延迟，改进系统的性能．

摘要:基于联想记忆各记忆模式的吸引域之间应保持大小平衡的思想．提出了设计Hopfield联想记忆网络的极大极小准则，即设计出的对称连接权阵应使得网络最小的记忆模式吸引域达到最大．首先提出了一种快速学习算法;再发展了一个启发性迭代学习算法，称为约束感知器优化学习算法．大量实验结果表明了本文学习算法的优越性．

摘要:本文描述一种支持MHSC方法论的软件需求定义构造的Petri网方法．基于提供的需求描述模型，可形成Petri网表达的软件定义结构，通过变换与求精方法，逐步生成实现层的功能模型．利用支持不同粒度功能模拟的仿真机制对定义进行证实与验证．论文提出一种新的定义框架，并为软件自动生成的研究从定义层的描述机制出发提供一种新思路．

摘要:单向Hash函数已成为密码学的一个重要组成部分．给定任一定长单向Hash函数f：∑^m→∑^t,m>t，本文给出了利用f构造一单向Hash函数F的一种新方法，该方法易于并行化．

摘要:基于RSA的基本思想，本文设计了一种动态口令验证方案，解决了Lamport方案中的问题．由于不要求每个用户都拥有公钥或数字签名，该方案还具有较低的系统复杂性．由基本方案进行扩展还可得到一基于身份的动态口令验证方法．

摘要:80年代末出现的分布式共享存储(DSM)技术为解决可扩展性和易编程的矛盾提供了一种可行的方案．但是，由于DSM建立在消息传递机制的基础之上，而且存在对本地内存访同和对远程内存访问的差异，简单地照搬多处理机Cache一致性语义往往效率很低．因此，人们提出了一些弱化的、放松的一致性语义，这些语义与用户采用的顺序一致性语义差别较大，给用户在程序设计、调试上造成很大困难．本文提出了一种强弱混合一致性语义模型．解决了假共事问题，提供了进一步开发时甸、空间局部性的可能性，而且还可以保证顺序一致性．试验结果证明，强弱混合一致性语义与严格一致性语义相比，消除了“颠簸”现象，大大改善了系统性能．

摘要:面向对象技术为关系数据库设计提供了一些有用的方法．本文给出了继承约束的概念，并证明了继承依赖的推理规则是正确、完备的．本文述得出继承依赖闭包、继承依赖的极小集合等一系列平行于函数依赖的结论．

摘要:本文介绍了面向对象软件自动化系统JDAUTO/0的设计与实现．JOOSL是一种面向对象软件形式规约语言，基于它，实现了概要设计到详细设计的自动工具PDAUTO和详细设计到c++代码的自动转换工具DDAUTO．

摘要:本文针对传统遗传算法收敛速度慢的缺点，提出了一种改进的快速收敛算法，并以八皇后问题为例进行了数值模拟，实验结果表明这种改进的遗传算法在收敛速度上大大优于传统遗传算法．

摘要:本文提出了一个汉语短语自动界定模型，它通过基于统计的自动界定处理．利用通过错误驱动自动学习而得到的调整规则进行界定情况局部调整，利用人工总结的全局调整规则进行精调整等3个处理阶段，可以较好地确定一句经过正确切分和词性标注处理的汉语句子中不同短语的边界位置。从而为进一步的汉语短语自动划分和标注处理打下了良好的基础．对1000多句句子的实验结果表明，模型的界定正确事达到了96.33％(封闭测试)、94.54％(开放测试)．

摘要:操作剖面描述了用户对软件的使用情况．通过建立软件系统的操作剖面，可以有效地指导测试工作，最大限度地提高软件的可靠性．本文在介绍操作剖面主要概念的基础上，着重分析、讨论了开发操作剖面的基本过程及主要方法．

摘要:平行最外策略是归约系统中适用范围非常广的策略，平行最外模式匹配研究适用于该策略的高效模式匹配方法．本文在生成自适应模式匹配自动机APMA的基础上，充分利用匹配失败状态的部分匹配信息，构造了平行最外模式匹配自动机POPMA．利用POPMA进行模式匹配，在维持空间开销不大的前提下，降低了朴素思想的2大时间开销．并将模式匹配和归约策略结台起来，几乎一遗扫描即可找出所有平行最外匹配子项，具有很高的时空效率．借助于POP- MA,还可以对平行最外策略进行改进．

摘要:状态逻辑型程序设计语言是一种有坚实理论基础，既可描述递归又可描述迭代的高效、实用、新型的纯逻辑式程序设计语言．递归无疑地确保了其计算能力本文证明了仅用状态逻辑的迭代程序就可计算部分递归函数．这就等于证明了，任何图灵可计算的对象都可用纯逻辑迭代地定义和高效地计算．

摘要:算子式程序设计语言是一种有坚实理论基础、高效的、实际有用的、高级的新型程序设计语言．如何编绎该类语言是一个应该研究的重要问题．过程式语言到机器代码的编绎问题已被解决，因此编绎的关键是由算子程序向过程的转换．本文用模式匹配法，给出了算子式语言到while程序的变换语义．给出了基本变换规则集，证明了该变换规则集的完备性和一致性，为该类语言到过程语言的翻译提供了理论和技术基础．

摘要:本文讨论了用于并发系统规范的2种方法；时序逻辑方法和状态自动机方法．由此，本文提出了一种新的规范形式——公平转换系统规范FTSS(fair transition system specification)．此规范方法集成了状态自动机方法和时序逻辑方法的优点，改进了时序逻辑方法通常较复杂、不易理解，特别是它不能用于描述并发系统的局部性质等不足．进一步对FTSS中的每一部分进行了讨论，得到结论；FTSS是机器封闭的，规范过程是相容的且是完全的．一个有丢失传输协议的例子表明作者的方法具有简单、直观、易于理解和便于使用等特点．最后给出了FTSS的一些应用．它为程序验证和并发系统的逐步求精提供了一个统一的框架，已成功地应用于程序验证中．

摘要:本文提出多级组合逻辑结构中逻辑结点函数的优化覆盖算法，证明了该算法在多级逻辑优化过程中的有效性．

摘要:特征建模近年来受到国内外的广泛重视，成为实现新一代CAD系统的有效途径．本文在给出特征形式化定义的基础上，提出了一种基于形状特征的形体表示方法，并给出了作者所研制的实用性造型系统中一种重要的模型，即形状特征建模．

摘要:作者研究λ演算中的第二不动点的性质．首先讨论关于第二不动点的3个命题之间的关系且证明了它们．然后为第二不动点组合子给以一个充分条件且作出一系列的第二不动点组合子．作者还提出和证明了多元第二不动点定理．

摘要:在指出VDM方法用于较大程序开发的不足的基础上，本文提出了基于模型分解、模块化和运算分解思想的数据分解的概念，并将其引入VDM，从而得到比VDM更加一般的软件形式化开发方法DD—VDM．在DD—VDM中，可采用较为灵活的开发策略，并且开发过程的复杂性也可得到有效控制．

摘要:本文首先提出求解SSSP问题图运算的数据并行算法及复制数据算法，并把复制数据技术成功地用于求解SSSP问题图运算证明算法的有效性，然后计算并讨论复制数据算法对数据并行算法的加速，最后指出复制数据技术不仅能用于图象的快速分析，而且也能广泛地用于解各种图运算问题．

摘要:本文提出了一个从关系数据库到面向对象语义数据库的两段模式转换方法。该方法是以语义确认为基础的．包含在局部关系模式中的语义可分为2类：一类是关系内语义，它是包含在一个局部关系模式内的语义;另一类是关系间语义，它是包含在局部关系模式之间的语义．第1阶段主要是将关系内语义捕捉到全局集成模式中来；而第2阶段则将关系间语义通过模式重构操作添加到全局集成模式中来．本文定义了一套用于建立转换机制的映射规则和转换操作．设计并实现了用于产生G关系的算法和一系列转换公式．

摘要:本文介绍了适用于复杂PCB电路和二维不规则图案的一种轮廓求解算法．阐述了它的数学模型、算法描述与实现、正确性证明和复杂性分析，并给出了在一台基于PC386多功能CAD/CAM系统(CACAO)上的加工实例．

摘要:生物血管图象分析，早已被医学界广泛用作辅助诊断手段．借助于计算机来处理血管图象，提取诸如血管管径、血管分支数等特征参数的研究业已推广开来．本文针对含有不同管径的网状血管(生物血管图象分析中最复杂的情形)，设计并实现了一种全自动、高效率的提取和定量分析算法．它能根据血管的直径对血管图象自动分层，每一层仅含管径限制于某一范围内的血管．检测不同层中血管的支数或面积，即达到分析血管图象的目的，并运用于医学早期诊断中，分析烧伤患者烧伤创面中血管的管径所占的比例，能够辅助确定医疗方案．在本领域之外，这种方法也可以辐射于诸如卫星遥感图象的道路识别等应用中．

摘要:ω—语言是由有穷字母表∑上的一些无穷串组成的集合．被ω一有穷自动机接受的ω一语言称为ω一正则语言．作者曾从集合的角度描述了一类ω一正则语言，而不是传统地从生成或识别的角度来描述这一类正则语言．本文从集合的角度来描述更为广泛的一类ω一正则语言．

摘要:本文针对基于Moore-Penrose广义逆实现的联想存储模型(如Kohonen模型、Mu rakami模型)缺乏对已存数据完全的联想回忆能力和非线性映射能力，通过在这些模型中引入一个扩展层(隐节点层)使原模型具有对已存数据的完全回忆能力和一定的非线性映射能力，通过矩阵的奇异值分解，从理论上阐明了改进模型的性能优越性．模拟结果证实了这一点．

摘要:软件项目估算是软件项目管理的一个重要组成部分．本文所介绍的估算法是作者在外国软件公司工作期间的工作总结和经验归纳．

摘要:本文介绍函数式语言提供的集合描述方法以及实现集合的一种程序变换优化算法．集合的引入改善了函数式程序的表达能力，并且为提高程序执行效率创造了条件．

摘要:本文给出了一个主存数据库管理系统ARTs—MMDBs，着重讨论了它的数据库管理机制与存取方法，并具体阐述了它的一种新的索引结构一SB树．

摘要:在PTL(propositional temporal logic)上加入一个U算子的自然拓广一2分划算子，便导出Wolper—Vardi—Sistla之ETL(extend PTL)的一个完全的子逻辑．它有更简洁的语法及公理系统、更好的判定算法等，是研究有限状态并发程序的一种理想的规范语言．

摘要:本文在介绍Rough集基础上，提出了基于Rough集理论的Rough数概念及其运算法则．并给出了这种Rough数应用实例及其近似程度算子λ在Rough逻辑中的理论价值．

摘要:本文介绍一个用于市场分析与预测的多媒体智能数据库系统．它从管理信息系统中提取数据，运用数学方法与人工智能方法对市场进行多种分析与预测，将结果综合成文字报告并用语音，同时配之以表格、统计图形、可视化模型、三维复杂模型实时动态显示等多种形式输出，为企业的管理与决策提供支持．本文在简述系统需求及功能后，着重介绍这一系统的总体设计，概述系统研制中的关键问题及它们的解决方案，最后表明了这一系统可作为建立智能数据库系统的通用框架．

摘要:本文提出了一种基于示倒的组合预测方法，强调知识方法和数学方法的结合，提出了种算法和组合预测框架，并结合实验数据讨论了预测结果．分析了不同预测方法的不足．

摘要:本文提出并实现了一种利用市场信息进行市场分析的框架，并认为市场分析是一种提高市场行为决策质量的信息加工过程．在此基础上讨论了市场分析框架的组成结构．并且对信息加工中的主要问题如趋势分析、定性因果分析等进行了初步研究．

摘要:市场分析与预测系统是一种为企业决策者提供市场信息的决策支持系统．本文对一种市场分析与预测系统的总体结构进行了讨论，并在此基础上提出和实现了基于模板的文字报告生成方法．

摘要:本文叙述了基于规则的市场分析方法，结合随机性市场分析的特点，讨论了规则应具有的表达能力，引用s—表达式的概念，建立了归一化存储结构，提出了变量环境的概念，实现了合一过程，建造了一个基于规则的市场分析报告生成系统．

摘要:本文针对市场分析预测对数据的要求，探讨了数据仓库技术在“玉烟系统”中的应用，详细说明了“玉烟系统”中数据仓库的建立、数据转换与校验、数据规范化方法及其对分析预测的支持策略，提出了应用数据仓库的一些基本要求．

摘要:人们可以用多种媒体形式表达同一段内容，这样，在输出这些内容的时候就会碰到媒体同步的问题．本文就多种媒体输出同一内容但有多种表达形式时的媒体同步问题进行了一些探讨，提出了一种媒体同步输出的控制模型，并且根据此模型给出了具体工作中媒体同步控制的实现．

摘要:三维复杂模型的实时动态显示已成为近年来计算机图形学的研究热点之一．它广泛应用于飞行模拟、科学计算可视化、建筑物漫游等领域．本文以玉溪卷烟厂信息管理与决策支持系统的需求为背景，讨论了三维复杂模型的实时漫游问题．多种实时动态显示技术在本系统中得到充分利用，包括多精度模型、层次模型、实例技术、可见性测试、纹理映射、分层切换与控制技术等．本文最后给出了显示结果及今后的研究工作．

摘要:在管理信息系统中，如何将复杂的管理信息用直观、形象的方式显示出来，是当前可视化技术应用的重要领域．作者初步尝试用不同形状的实体表示各种相互间有信息流动的数值的大小，类别以及相互问的数据流动关系，并已实现了管道模型和板条模型．可以用来表示诸如财务计划中资金或资源调度中资源的流动和变化等情况．本文介绍了这2个可视化模型的具体设计方案及系统结构等．

摘要:韵律理解是言语合成的基础．本文分析了文语转换系统TTS(text to speech)的研究现状，提出了韵律置标的方法，设计了韵律符号，并将其用于汉TTS系统中，实现了重音和语调的模拟，改善了输出语音的自然度．

摘要:现代应用软件有许多新的特性．这样就对软件测试提出了新的要求，如要求测试工作更有效、进行面向用户的测试等．这些要求是传统的测试策略所不能解决的．本文提出了一种基于应用操作覆盖的测试方法来解决这些问题．这种方法的基本分析工具是导航图和事件记录序列．本文最后还给出了相应的自动测试工具．

摘要:本文针对网络信息服务问题提出一种多智能体MAS(multi—agent system)计算市场模型，定义了计算市场、计算任务、consumer和server实体；分析了实体在计算市场中的行为，证明存在针对任务的市场平衡l确定衡量市场效率的标准是市场运行造成的资源分配与最优分配的距离．

摘要:NucAPPT是一个基于任务分配和通信规划启发式算法的并行程序辅助开发工具．它由任务分配器、通信规划器、通信表和通信语句生成器4部分组成．它不仅能保证处理器间数据通信的正确性，减小处理器的通信等待时间，而且能简化并行程序的编制过程，提高所编并行程序的质量．

摘要:多主体系统试图用主体来模拟人的理性行为．生存在现实世界中的主体，面对不断变化的环境，要保持对紧急情况的及时反应，并为实现自己的目标表现出智能的行为．本文提出一种复合式的结构，即在一个主体中有机地组合了多种并行执行、相对独立但又相互作用的智能形态，以使现实世界中的主体在各种情况下作出合理行动．这些智能形态包括对紧急情况的反射、对中短期行为的规划、对世界的建模分析和短期预测、与其他主体的通讯以及决策生成等．使用本文设计的MAPE环境和基于主体内核的插件式的主体构造方法，复合式结构的主体可以方便地实现．为多主体系统建模和推理，本文还研究了模态逻辑并提出一种新的语义．最后，将这种复合式的结构和其它一些主体结构进行简要的比较．

摘要:KBASE—P是一个知识库程序设计语言．它以KBASE作为查询语言，以FD—PROLOG为过程性的宿主语言．二者具有相同的编程风范，都是Horn子句风范，并且系统对任何磁盘数据访问都是以“每次一个集合”的方式进行，因此在KBASE—P中．查询语言与宿主语言之间的“阻抗不匹配”问题尽可能地减小了．KBASE—P以RDBMS来管理事实(包括中间求值结果)和规则，因此能够有效地管理大容量的数据，并且数据是可共享的，适合于处理大规模的知识密集型应用．本文介绍了KBASE—P语言及其特点，并与相关的系统进行了比较．

摘要:分元符删除；项推广；无关式删除；交融是归纳法推理系统中一些重要的推理策略．文中逐一介绍了这些推理策略，给出了使用这些推理策略的方法，列出了不同推理策略的编译LlSP语言实现．

摘要:本文介绍归纳法推理系统中的简化策略．系统推理能力在很大程度上取决于系统简化待证公式的能力．本文从定义的类型规定出发，描述了如何计算并利用类型集信息来简化子句,以及如何在运用重写策略的基础上，完成对各种子句的简化，该系统已在微机上用编译LIsP语言实现．

摘要:本文介绍归纳法推理系统中的项重写策略．该策略根据不同的待重写项term，分别运用公理、重写引理、函数定义、项重写规则等重写项term，以期得到一个更接近推理目标的巳重写项．这一策略已在微机上用编译LlsP语言实现．