公式分层的谓词模态逻辑

下载全文  

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.… …   相似文献

孙梅莹  邓少波  陈博  曹存根  眭跃飞 《软件学报》2014,25(5):1014-1024

BD-GKS3D图形软件的设计与实现

下载全文  

BD-GKS3D是按图形国际标准GKS-3D(ISO 8805)开发的三维图形支持软件。本文讨论了该软件的设计原则:符合国际标准及尽可能高效率。还讨论了实现的策略,包括二维GKS与三维兼容问题,裁剪与变换,实现环境,图段的数据结构及三维输入等内容。最后对开发BD-GKS3D的工作… …   相似文献

董士海  张永明  王磊 《软件学报》1990,1(4):48-54

基于JXTA 的多层混合定位机制的研究

下载全文  

提出一种基于JXTA 的P2P 多层混合定位机制。首先研究了JXTA 的定位机制,指出其在底层的SRDI的DHT 算法、对等组内的定位方法和超级节点机制方面还存在不足。为了克服这些缺陷,在JXTA 的基础上提出了多层混合定位机制,论述了该机制的总体设计思路、层次结构和相关策略,最… …   相似文献

曹玉琳  肖洁 《计算机系统应用》2009,18(5):96-99

偏相关方法在软件缺陷预测中的应用*

  

为了提高预测模型的性能,解决不同属性子集带来的分歧,提出了基本偏相关方法的预测模型。首先,该方法在公开数据集上分析出代码静态属性与缺陷数之间存在偏相关关系;然后基于偏相关系数值,计算出代码复杂性度密度属性值;最后基于该属性值建立新的缺陷预测模型。实验表明,该模型具有较高的召回率和… …   相似文献

马樱  罗光春  李炯  陈爱国 《计算机应用研究》2012,29(2):594-596

一种新的基于MSC和ISOMAP的快速流形学习算法

  

针对等距特征映射(ISOMAP)算法计算复杂度高的问题,提出了一种新的基于最小子集覆盖(MSC)策略的快速等距特征映射算法(Fast-ISOMAP)。与原始的ISOMAP算法相比,Fast-ISOMAP算法在不显著改变原始ISOMAP算法嵌入性能的条件下,大大提高了算法的计算效率… …   相似文献

雷迎科 《计算机科学》2015,42(8):244-248

两元指纹向量聚类问题的复杂性与改进启发式算法

下载全文  

证明丢失值位数不超过2的指纹向量聚类问题为NP-Hard,并给出Figueroa等人指纹向量聚类启发式算法的改进算法.主要改进了算法的实现方法.以链表存储相容顶点集合,并以逐位扫描指纹向量的方法产生相容点集链表,可将产生相容点集的时间复杂性由O(m·n·2p)减小为O(m·(n·… …   相似文献

刘培强  朱大铭  谢青松  范辉  马绍汉 《软件学报》2008,19(3):500-510

一种在蜂窝链路上高效传输实时IP业务的机制

下载全文  

针对在传输信道带宽有限和传输误码率高的蜂窝移动通信系统中,传输基于IP包交换的话音等实时业务时所面临的协议报头开销大、有用包被丢弃等问题,提出一种ROHC/UDP Lite机制,将ROHC报头压缩算法和UDP Lite传输协议有机结合,以解决上述问题.给出了实验模型,分析了实验结… …   相似文献

吴亦川  黄奎  孙利民  吴志美 《软件学报》2004,15(1):112-119

BEA TUXEDO在移动计费系统中的应用

下载全文  总被引：5，自引：0，他引：5

当前大型数据库应用系统大多采用三层体系结构,实现三层结构系统的关键技术就是中间件技术。本文先对BEATuxedo中间件做了较为详细的介绍,然后详细描述了Tuxedo在安徽移动计费系统中的应用。  相似文献

郭磊  吴春旭 《计算机系统应用》2006,15(4):91-93

基于分层递阶粒度聚类法的空气质量评价

  总被引：2，自引：0，他引：2

针对气候变化与空气质量评价问题,考虑到空气质量数据具有复杂、不确定、不完备、海量高维的特点,提出基于分层递阶商空间的粒度聚类分析法。利用分层递阶模型,通过属性函数对原问题的论域进行划分,获得问题求解的不同层次粒度空间,可以将不确定信息转换成确定性信息,降低问题复杂性,易推广至高维… …   相似文献

汪小寒  张燕平  赵姝  张铃 《计算机应用研究》2013,30(1):192-194

基于AMQP消息中间件的主动状态证书撤销机制实现

  

主动状态证书撤销机制是一种新的证书撤销验证机制,如何实现该机制还未见具体的案例。在分析高级消息队列协议(AMQP)的基础上,结合主动状态证书的订阅/发布要求,设计了一种基于AMQP消息中间件的主动状态证书发布与订阅模型。通过实验分析表明,该消息中间件系统应用灵活,系统性能高效、稳… …   相似文献

付建丹  熊选东  张亮忠  王松锋  王珏 《计算机应用研究》2012,29(5):1918-1921

运用模糊综合评判理论评价软件质量

下载全文  总被引：1，自引：1，他引：1

为了对软件开发的质量进行有效的识别和评价,可以通过对软件开发中质量特性的分析和归纳,建立模糊层次综合特性评价模型,运用层次分析法确立软件质量的各因素的权重,得到评价矩阵并对其做模糊化处理,然后通过运算得到综合评价结果。本文对有些情况下单层模糊综合评判得不出评判结果最大隶属度的问题… …   相似文献

朱锐  王成良 《计算机系统应用》2009,18(4):148-151

一种基于服务覆盖网络的业务运行平台

下载全文  总被引：1，自引：0，他引：1

针对分布式业务的动态性和可扩展性需求,设计并实现了业务运行平台BEPSON（Business Execution Platform Based On Service Overlay Network）。该平台基于服务覆盖网络,采用分层架构,提出并实现了具有QoS保证的动态服务发现算… …   相似文献

叶俊鹏  王雷 《计算机系统应用》2010,19(11):1-4

一种网络漏洞检测系统的设计与实现

  

网络漏洞检测系统是一种用于自动检测目标主机或计算机系统安全漏洞的系统,它通过模拟黑客攻击,主动对网络系统安全性能进行检查测试,提高网络系统防御能力。设计并实现了一种新型的网络安全漏洞检测系统,介绍了整体系统结构的设计、各个功能模块的设计以及各组成部分的设计和实现,最后强调了这一系… …   相似文献

邹志成  高有行  戴祖峰 《计算机应用研究》2006,23(8):126-128

基于工作流技术的OA流程设计

下载全文  总被引：2，自引：0，他引：2

企业OA流程重组是一项复杂的工程,它的实施需要利用先进的流程建模和分析手段来描述、分析和评价经营流程。手工处理工作流程,特别是对于那些需要参与人员审批修改或填写数据的流程,不仅不方便而且还可能出现丢失资料或时间延误等情况。本文研究了工作流技术在企业OA流程中的应用,在基本模型的基… …   相似文献

陈岚  冯雁 《计算机系统应用》2006,15(5):18-21

自动文摘方法分析

  总被引：7，自引：0，他引：7

介绍了目前自动文摘的四种实现方法,并对这四种方法的优缺点进行了较为详细的分析与比较,介绍了它们的应用实例。最后讨论了一种面向非受限领域的综合式中文自动文摘方法。  相似文献

金旭  杨炳儒  菅志刚 《计算机应用研究》2004,21(9):5-6

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

  总被引：3，自引：0，他引：3

在自然语言理解中,时间一个重要的语境因素,本文提出一种独立于句子表层形式的多层次时间语义结构,浅层语义结构是时间描述的最化语义表示,深层语义结构描述事件的动态属性和存在特征,该时间语义模型表示时刻和时段,将时间基点明确区分为物理时间基点和说话者时间基点,并提供通用的时间语义计算方… …   相似文献

郭宏蕾  姚天顺 《软件学报》1997,8(6):432-440

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

  总被引：2，自引：0，他引：2

ＢＢＰ＿ＰＶＭ是为北京航空航天大学计算机系基于总线桥协议的异构可扩展并行计算机群系统ＢＢＰ＿ＳＰＣ（ｂｕｓｂｒｉｄｇｅｐｒｏｔｏｃｏｌ－ｓｃａｌａｂｌｅｐａｒａｌｅｌｃｏｍｐｕｔｅｒ）研制的ＰＶＭ版本．ＢＢＰ＿ＰＶＭ以总线桥多机互联协议的消息传递层子协议（ＢＢＰ＿ＭＰＬ）为虚拟机… …   相似文献

金利杰  张建军  李未 《软件学报》1997,8(6):417-424

计算机组成原理虚拟实验室的研究及实现

下载全文  

基于Web的虚拟实验室是远程教育中重要的教学资源。针对计算机组成原理实验教学的实际情况。在对虚拟实验室功能架构分析的基础上,从面向对象的角度出发研究了基于Web的计算机组成原理虚拟实验室的设计和实现过程。  相似文献

郑耿忠 《计算机系统应用》2008,17(2):62-65

一种用未分析语料训练文法的方法

下载全文  总被引：2，自引：0，他引：2

本文提出了文法规则的推导概率和归约概率的概念,通过修改Ｉｎｓｉｄｅ－Ｏｕｔｓｉｄｅ算法,将其应用于从未分析语料中获取一般形式的上下文无关文法规则的概率参数．  相似文献

王挺  史晓东  陈火旺  杨谊 《软件学报》1998,9(1):36-42

子分曲面尖锐特征生成

下载全文  总被引：7，自引：0，他引：7

虽然生成光滑曲面是自由曲面造型的一个主要追求目标,但在某些场合却又要求能够产生非光滑的特殊效果,即所谓的尖锐特征(sharp feature).该文研究子分曲面造型中特殊效果的生成,提出一种基于网格拓扑构造的方法,把折痕、角、尖刺和锥等尖锐特征的生成统一到边界处理方法中,从而避免… …   相似文献

李桂清  卢冰  李现民  李华 《软件学报》2000,11(9):1189-1195