摘要:并发面向对象语言ＣＯＯＬ（ｃｏｎｃｕｒｅｎｔｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｌａｎｇｕａｇｅ）是一种有效的并发程序设计语言．本文提出了一种并发对象模型（ＣｏｎｃｕｒｅｎｔＣ＋＋，ＣＣＰＰ）及其语言．在ＣＣＰＰ并发对象模型中，所有对象都是并发对象，对象间的通讯都采用异步消息发送方式．对象间的同步采用“需要时等待”策略，同一对象内并发线程间的同步用路径表达式描述．ＣＣＰＰ语言是对Ｃ＋＋语言的扩充，采用预编译方法实现．ＣＣＰＰ语言允许并发／顺序代码重用.

摘要:传统的读写事务模型是面向机器的，即事务的每个操作都是对数据库的存取操作，并且事务只有两层：逻辑层和物理层；逻辑层描述对逻辑数据的操作，如对记录的修改、查询等．物理层是描述对磁盘页面的操作．因此，它不能有效地描述应用程序的语义．本文提出了一个３层事务模型，在传统事务模型的基础上增加了一个语义层，该层能有效地描述应用环境的各种语义，为事务处理提供语义信息．同时设计了基于这种事务模型的并发控制机制，该机制能利用事务语义层的语义，对低层调度进行指导，即把高层操作的语义传递到低层，从而减少在低层调度的冲突机会．本文的调度协议ＭＬ－ｐｒｏｔｏｃｏｌ可进行３种语义的传递：可并行、可交换、冲突．ＭＬ－ｐｒｏｔｏｃｏｌ产生的调度是可串行化的．

摘要:ＢＢＰ＿ＰＶＭ是为北京航空航天大学计算机系基于总线桥协议的异构可扩展并行计算机群系统ＢＢＰ＿ＳＰＣ（ｂｕｓｂｒｉｄｇｅｐｒｏｔｏｃｏｌ－ｓｃａｌａｂｌｅｐａｒａｌｅｌｃｏｍｐｕｔｅｒ）研制的ＰＶＭ版本．ＢＢＰ＿ＰＶＭ以总线桥多机互联协议的消息传递层子协议（ＢＢＰ＿ＭＰＬ）为虚拟机内各处理机间的通讯协议．ＢＢＰ＿ＭＰＬ是在ＢＢＰ可靠链路的基础上实现的精简和可靠的机间通讯协议，ＢＢＰ＿ＭＰＬ的采用有效地降低了通讯过程中报文应答、重发和动态缓冲区管理的开销．ＢＢＰ＿ＰＶＭ与ＰＶＭ３．３．４及其以上版本兼容．

摘要:本文利用粗糙集理论中条件属性相对于决策属性的核，解决多变量检验中属性的选择问题．另外，定义了２个等价关系相对泛化的概念，并将它用于解决多变量检验的构造问题．通过一个例子，对本文提出的多变量决策树方法与著名的单变量决策树（ＩＤ３）方法进行了比较，结果表明前者比后者更简单．同时，对几种多变量决策树方法做了初步的对比分析．

摘要:在自然语言理解中，时间是一个重要的语境因素．本文提出一种独立于句子表层形式的多层次时间语义结构，浅层语义结构是时间描述的量化语义表示，深层语义结构描述事件的动态属性和存在特征．该时间语义模型能表示时刻和时段，将时间基点明确区分为物理时间基点和说话者时间基点，并提供通用的时间语义计算方法，将各语言的时间描述映射到时间轴上．在该模型基础上，从语义观点出发，建立时、体的可计算模型及各事件时间相关性计算模型．

摘要:为使概率逻辑的不确定性推理方法能应用于较大规模的知识库，本文基于一个实际专家系统知识库的开发经验，在概率逻辑公式一致性区间的一般算法基础上，为概率逻辑公式集的分解设计了一种合并聚类算法．对于不同背景的概率逻辑知识库，只要公式集具有一定的分层结构性质，该算法就能保证Ｄａｎｔｚｉｇ－Ｗｏｌｆｅ分解的联合计算模型适用于概率逻辑推理．测试结果表明，该算法对于数１０个变量和子句的实例可收到很好的效果．

摘要:本文在对ＣＯＢＷＥＢ、ＣＬＡＳＳＩＴ等概念聚类系统研究的基础上，提出了一种用数值属性的聚类分划来表示数值属性的方法．这种表示的核心是基于数值属性的取值分布．对于在这种表示下数值属性聚类的相关问题及性质，本文进行了较为详细的讨论．在此基础上，本文给出了一个能统一处理数值属性和符号属性的聚类评价函数．一个基于聚类分划表示方法的概念形成学习系统ＣＦＬＳ（ｃｏｎｃｅｐｔｆｏｒｍａｔｉｏｎｌｅａｒｎｉｎｇｓｙｓｔｅｍ）已在微机上实现，并被应用于地质学领域的三叶虫分类问题．本文对ＣＦＬＳ的设计和实现进行了介绍.

摘要:将ＶＨＤＬ语言应用到嵌入式系统的设计提供支持是扩展ＶＨＤＬ对系统级设计支持的一种研究途径．本文考察了几个典型的对系统级设计提供支持的规范语言，它们都将ＶＨＤＬ集成到自己的设计方法之中．在此基础上，作者总结了支持系统级设计的规范语言的基本要素，指出将形式描述方法与ＶＨＤＬ相结合可提供一种更有效的设计支持工具．

摘要:本文提出一种三维分层分支结构建模与复原算法．该算法利用模型成功地估计树图象的结构参数，进行运动模式的光流分析，且可由树类植物的单幅图象复原其３Ｄ模式的几何特性.

摘要:本文通过对ＮＵＲＢＳ造型方法技术的研究，在自主开发的ＳｕｐｅｒＭａｎＣＡＤ／ＣＡＭ集成系统中成功地实现了基于复杂曲线的ＮＵＲＢＳ双向蒙皮曲面的造型功能，从而建立了完全基于ＮＵＲＢＳ方法的ＣＡＤ／ＣＡＭ系统．通过大量的工程应用和实例验证表明所研究的ＮＵＲＢＳ方法是一种适用于复杂外形产品设计与制造的、灵活有效的造型方法．

摘要:对无向简单图Ｇ＝（Ｖ，Ｅ），｜Ｖ｜＝ｎ，｜Ｅ｜＝ｍ，给出对下述问题的ＮＣ算法：（１）寻找Ｇ中最短回路；（２）寻找Ｇ中最短偶（奇）长度回路；（３）求解Ｃ_ｋ，ｋ＝３，４，这里Ｃ_ｋ表示Ｇ中长度为ｋ的回路．