1997, 8(7):481-485.
摘要:对于图的非同构问题,设计一种交互式零知识的证明协议,许多文章都有讨论,但都是不完善的,本文给出了一个完整的关于图的非同构零知识交互证明协议.
1997, 8(7):486-492.
摘要:并行程序的不确定性使其调试时不能象串行程序调试那样通过反复执行程序来查找错误,因此,记录并重演是并行调试的关键技术,而这一技术的最大开销就是事件的记录.本文结合PVM(Parallelvirtualmachine)的特点,改进了Netzer等人提出的优化记录法,使事件记录在出现非传递的消息竞争时也是最优的,并保证同一进程发送消息时,不会象原算法一样可能进行记录,同时,还在PVM并行调试环境中实现了该方法.
1997, 8(7):493-504.
摘要:本文首先给出P/T网的几种化简运算,然后证明这几种运算对于网的结构性质不变,从而为P/T网的分析与综合提供了有效途径.
1997, 8(7):505-510.
摘要:GIS(geographicinformationsystem)中的数据可以分为3种类型:几何数据、地理数据和图形显示数据.本文提出的面向对象3级数据模型对这3种数据进行抽象划分,用面向对象的模型描述它们及其之间的关系,并以此作为OOGDB(object-orientedseosraphicdatabase)的数据模型.
1997, 8(7):511-518.
摘要:本文探讨物理系统定性推理的描述方法.在分析已有的定性推理方法所存在不足的基础上,给出了一种基于事件与进程的开放系统的定性推理的描述手段QUIOS.此方法一方面拓广了定性进程理论QPT(qualitahveProcesstheory)关于参量的类型,引入了参量视图的概念,描述了参量的两种继承关系,并证明在一定条件下参量的双重继承关系不会引起矛盾;另一方面通过事件制约进程而引入开放系统定性推理的表现机制.
1997, 8(7):519-524.
摘要:本文讨论开放型物理系统的定性推理方法.文中阐释QUIOS机制下事件和进程的关系及两种视图的表达方式,用实例说明定性推理方法,并给出QUIOS的推理算法.
1997, 8(7):525-534.
摘要:本文提出并比较了在信度语义下,计算算子模糊逻辑中公式(集)模糊程度的3种方法——归结法、广义归结法和TABLEAU方法.
1997, 8(7):535-540.
摘要:本文给出处理二级(或阶)不确定性的一种内涵方法(或称为基于模型的方法),该方法用概率簇空间表示证据空间的二级不确定性结构,用L-集合表示规则强度的二级不确定性,用概率簇空间的传递方式刻画二级不确定性的传播过程.给出了概率簇上限定化关系的传递性质,并用限定化的概念对规则组合的两种不同方式进行了比较.本文为基于知识的推理提供了新的综合框架.
1997, 8(7):541-548.
摘要:本文综述了在随机Petri网的分解和压缩技术方面的一些最近的工作,着重介绍了时间数量级分解、接近无关分解、响应时间保留压缩、流等价压缩、层次模型和分层分析与乘积形式解等技术的基本思路、方法和操作过程.本文也描述了解决系统模型状态空间爆炸问题所面临的困难和进一步的研究方向.
1997, 8(7):549-554.
摘要:CHIQL(Chinesequerylanguage)是一个正在开发中的中文数据库查询语言.为满足各种用户的需要,CHIQL在设计上具有如下的特点:符合中国用户思维方式的较自然的中文表述方式;过程化与非过程化相结合的多语句查询.对CHIQL而言,在实现上与传统SQL的最大区别在于它的多语句查询处理技术方面.本文在描述了CHIQL语言特征之后,重点讨论了多语句查询独特的优化问题,提出了基于语句合并的优化方法,并定性地分析了效率改善情况.
1997, 8(7):555-560.
摘要:通过在遗传算法中嵌入牛顿算子,并定义适当的适应度和数据结构,从而得到可结合遗传算法和牛顿法两者长处,既有较快收敛性,又能以较大概率求得非线性最小二乘全局解的混合计算智能算法.数值结果表明了该方法显著优于遗传算法和牛顿法.