• 1997年第8卷第6期文章目次
    全 选
    显示方式: |
    • CCPP: 一个并发C++语言的设计与实现

      1997, 8(6):401-408.

      摘要 (3343) HTML (0) PDF 520.95 K (3770) 评论 (0) 收藏

      摘要:并发面向对象语言COOL(concurentobject-orientedlanguage)是一种有效的并发程序设计语言.本文提出了一种并发对象模型(ConcurentC++,CCPP)及其语言.在CCPP并发对象模型中,所有对象都是并发对象,对象间的通讯都采用异步消息发送方式.对象间的同步采用“需要时等待”策略,同一对象内并发线程间的同步用路径表达式描述.CCPP语言是对C++语言的扩充,采用预编译方法实现.CCPP语言允许并发/顺序代码重用.

    • 基于语义传递的分层事务调度技术的研究

      1997, 8(6):409-416.

      摘要 (3352) HTML (0) PDF 532.74 K (3631) 评论 (0) 收藏

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

    • 基于总线桥协议的异构机群并行虚拟机的构造

      1997, 8(6):417-424.

      摘要 (3903) HTML (0) PDF 526.47 K (3566) 评论 (0) 收藏

      摘要:BBP_PVM是为北京航空航天大学计算机系基于总线桥协议的异构可扩展并行计算机群系统BBP_SPC(busbridgeprotocol-scalableparalelcomputer)研制的PVM版本.BBP_PVM以总线桥多机互联协议的消息传递层子协议(BBP_MPL)为虚拟机内各处理机间的通讯协议.BBP_MPL是在BBP可靠链路的基础上实现的精简和可靠的机间通讯协议,BBP_MPL的采用有效地降低了通讯过程中报文应答、重发和动态缓冲区管理的开销.BBP_PVM与PVM3.3.4及其以上版本兼容.

    • 基于粗糙集的多变量决策树构造方法

      1997, 8(6):425-431.

      摘要 (4608) HTML (0) PDF 478.32 K (4371) 评论 (0) 收藏

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

    • 自然语言中时间信息的模型化

      1997, 8(6):432-440.

      摘要 (3522) HTML (0) PDF 627.57 K (3986) 评论 (0) 收藏

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

    • 概率逻辑公式集分解的合并聚类算法

      1997, 8(6):441-447.

      摘要 (3879) HTML (0) PDF 510.03 K (3541) 评论 (0) 收藏

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

    • 概念形成学习系统中数值属性的表示与聚类

      1997, 8(6):448-454.

      摘要 (2925) HTML (0) PDF 453.97 K (3320) 评论 (0) 收藏

      摘要:本文在对COBWEB、CLASSIT等概念聚类系统研究的基础上,提出了一种用数值属性的聚类分划来表示数值属性的方法.这种表示的核心是基于数值属性的取值分布.对于在这种表示下数值属性聚类的相关问题及性质,本文进行了较为详细的讨论.在此基础上,本文给出了一个能统一处理数值属性和符号属性的聚类评价函数.一个基于聚类分划表示方法的概念形成学习系统CFLS(conceptformationlearningsystem)已在微机上实现,并被应用于地质学领域的三叶虫分类问题.本文对CFLS的设计和实现进行了介绍.

    • 基于VHDL的系统规范语言的研究

      1997, 8(6):455-461.

      摘要 (3436) HTML (0) PDF 546.38 K (3422) 评论 (0) 收藏

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

    • 三维分层分支树状模式的复原:等式与推导

      1997, 8(6):462-469.

      摘要 (2859) HTML (0) PDF 455.19 K (3419) 评论 (0) 收藏

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

    • NURBS双向蒙皮造型方法的研究与实现

      1997, 8(6):470-474.

      摘要 (3283) HTML (0) PDF 788.31 K (4193) 评论 (0) 收藏

      摘要:本文通过对NURBS造型方法技术的研究,在自主开发的SuperManCAD/CAM集成系统中成功地实现了基于复杂曲线的NURBS双向蒙皮曲面的造型功能,从而建立了完全基于NURBS方法的CAD/CAM系统.通过大量的工程应用和实例验证表明所研究的NURBS方法是一种适用于复杂外形产品设计与制造的、灵活有效的造型方法.

    • 寻找无向图中回路的并行算法

      1997, 8(6):475-480.

      摘要 (4379) HTML (0) PDF 381.71 K (3734) 评论 (0) 收藏

      摘要:对无向简单图=(V,E),||=,||=,给出对下述问题的NC算法:(1)寻找中最短回路;(2)寻找G中最短偶(奇)长度回路;(3)求解,k=3,4,这里表示G中长度为的回路.

当期目录


文章目录

过刊浏览

年份

刊期

联系方式
  • 《软件学报 》
  • 主办单位:中国科学院软件研究所
                     中国计算机学会
  • 邮编:100190
  • 电话:010-62562563
  • 电子邮箱:jos@iscas.ac.cn
  • 网址:https://www.jos.org.cn
  • 刊号:ISSN 1000-9825
  •           CN 11-2560/TP
  • 国内定价:70元
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号