基本主方向关系的反关系推理

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

在深入研究了基于MBR的主方向关系的反关系推理的基础上,提出了一种基于区域对象本身的基本主方向关系的反关系推理算法。在理论上对该算法的正确性和完备性进行了证明,并通过与实际情形逐一对比验证了该算法的正确性。  相似文献

王淼  何莉  李松 《计算机应用研究》2013,30(1):138-141

基于指向更新的优先权指针分析算法

下载全文  

指针分析是数据流分析中的关键性技术,其分析结果是编译优化和程序变换的基础。在基于包含的指针分析算法研究的基础上,对 Narse 优先权约束评估算法中存在的冗余约束评估和优先权评估模型计算开销较大的问题进行分析,以指针的指向集更新信息确定约束评估的候选集,提出了基于指向更新的约束评… …   相似文献

刘鹏  赵荣彩  庞建民  姚远 《软件学报》2014,25(11):2486-2498

一种基于图论的加权聚类融合算法

  

现有聚类融合算法对混合属性数据进行处理的效果不佳,主要是融合后的结果仍存在一定的分散性。为解决这个问题,提出了一种基于图论的加权聚类融合算法,通过对数据集聚类得到聚类成员后,利用所设计的融合函数对各个数据对象赋予权重,同时通过设置各个数据对间边的权重来确定数据之间的关系,得到带权… …   相似文献

谢岳山  樊晓平  廖志芳  尹红练  罗浩 《计算机应用研究》2013,30(4):1015-1016

基于角色映射和PBNM的多域安全访问控制模型*

  

在分析多安全域间基于RBAC角色映射和PBNM模型的基础上,提出了多域用户之间的安全访问策略配置模型.该模型通过域间角色映射信息来配置域间访问控制策略,在域内则采用基于PBNM的模型机制配置域内用户安全策略,最终解决了在多域间资源访问控制的安全问题.  相似文献

张光辉  韩进  谢俊元 《计算机应用研究》2008,25(3):888-890

Eiffel语言的语义

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

本文采用类ＶＤＭ的指称语义技术为Ｅｉｆｆｅｌ（１９８８）语言建立了形式语义模型．该模型首先为Ｅｉｆｆｅｌ语言定义了对象模型和两个语义环境（动态和静态环境）,然后讨论Ｅｉｆｆｅｌ例程的语义．为了描述Ｅｉｆｆｅｌ的意外处理,我们采用了ＶＤＭ的“出口”机制．  相似文献

李师贤  阮文江 《软件学报》1995,6(1):17-25

一种支持海量跨媒体检索的集成索引结构

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

提出一种支持海量跨媒体检索的集成索引结构.该方法首先通过对网页的预处理,分析其中不同模态媒体对象之间的链接关系,生成交叉参照图.然后通过用户相关反馈进行调节.当用户提交一个查询对象时,首先对交叉参照图进行基于索引的快速定位,得到与查询对象相关的候选媒体对象.然后对得到的候选媒体对… …   相似文献

庄毅  庄越挺  吴飞 《软件学报》2008,19(10):2667-2680

基于Huffman算法的DSP处理器指令编码方法*

  

许多按照高性能思想设计出的DSP 处理器, 其性能却在应用中得不到很好的发挥。深入分析DSP 处理器的指令编码就会发现, 要使其高性能得以发挥就应该在设计指令集时慎重考虑指令的编码方式。要么通过提高指令编码密度的方式提高处理器的并行度; 要么使用更加简单和规则的指令编码以提高处理… …   相似文献

韩亮  陈杰  陈晓东 《计算机应用研究》2005,22(1):99-101

对象描述语言及其指称描述

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

在面向对象的软件构造中,对象被视为软件系统的基本构件．本文提出对象规范描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）,并给出其主要结构的ＳＯＰ指称描述．ＳＯＰ演算的理论范集给出对象的形式描述．ＳＯＰ理论范集反映了对象的封装性,在这样的逻辑框架下,对象的属性（… …   相似文献

黄涛  冯玉琳  倪彬  李京 《软件学报》1996,7(10):577-586

用于描述网络拓扑的形式语言的研究^*

下载全文  

论述了应用随机线性文法及产生式描述计算机网络拓扑结构的方法.在该形式语言的描述中,设置了3个基元状态,通过对基元状态及各种状态规律的分析,准确地描述了网络中结点间通信及共享存储器的状态.同时,证明了用此方法在某种条件下从初始结点到终了结点间可以建立惟一的访问路径,并能避免冲突.此… …   相似文献

于之硕  杨静 《软件学报》1999,10(2):210-215

BPEL 流程建模中的交叠模式分析与转换

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

由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动… …   相似文献

张曼  段振华  王小兵 《软件学报》2011,22(11):2684-2697

自动应答系统中自然语言理解技术的研究

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

自动应答系统（QAS）是一种基于因特网的高性能软件系统。它的核心技术是基于自然语言理解的相关技术,包括知识库和语料库的建设、文本的切分和标注、句子的语法分析和语义分析等。重点论述了自动应答系统中知识信息的语义网络表示和LSF随机化句法分析模型,以及自动应答系统的结构与组成,并对L… …   相似文献

郭庆琳  樊孝忠 《计算机应用研究》2004,21(6):24-25

一种新的基于多素数RSA认证加密方案

  

根据RSA加密系统和中国剩余定理,提出了一种新的基于多密钥的RSA认证加密方案。该方案与通常的RSA加密系统不同,每个用户只有一个加密密钥,但解密密钥由两个以上的短密钥组成,大大地加快了解密的速度。在解密过程中,巧妙地运用了中国剩余定理,减少了求逆元的个数,提高了效率。特别地,根… …   相似文献

章磊  卢建朱  凌捷  李家兰 《计算机应用研究》2005,22(5):105-107

评价函数驱动的抖动模式的研究

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

图象处理中的抖动模式问题是彩色图象打印输出的一个关键问题.提出由评价函数驱动的模式抖动方式,并利用模拟退火算法加以实现,在此基础上,提出了几种影响抖动模式的评价函数.实验结果表明该方法优于Jarvis抖动处理.  相似文献

郭茂祖  陈彬  王晓龙 《软件学报》1998,9(5):383-389

面向Web 新闻的事件多要素检索方法

下载全文  

针对用户获取事件类信息的需求,在分析Web 新闻特征、事件多要素检索特点的基础上,研究了面向Web 新闻的事件多要素检索方法.首先,提出了面向Web 新闻的事件多要素检索模型;然后,使用BNF(Backus-Naur form)形式化定义了事件多要素查询项;最后,结合事件的动作要素、Web 新闻标题的重要性及事件项与约束项之间的距离,提出了事件查询项与文档相关性的计算方法.设置了16 个事件多要素查询项,基于Baidu 搜索引擎对P@n 指标进行了实验分析,所提方法得到的平均P@10 结果为0.87,平均P@20 结果为0.83.对16 个事件查询主题,通过人工标注语料的方法对F-measure 指标进行了实验分析,所提方法得到的平均F-measure 为0.74.结果表明,所提方法对事件多要素的检索较为有效.… …   相似文献

仲兆满  李存华  刘宗田  戴红伟 《软件学报》2013,24(10):2366-2378

基于移动agent的云计算身份认证机制研究

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

针对当前云计算的安全需求,提出了一种适用于云计算环境下的身份认证方案。首先设计出适用于云计算身份认证场景的移动agent(mobile agent)结构模型,然后给出了基于mobile agent的云计算安全认证策略。该方案引入了可信第三方机构对认证agent建立定量信任评估,每… …   相似文献

杨娜娜  王杨  陈付龙  黄亚坤  邓琨 《计算机应用研究》2012,29(10):3812-3814

基于免疫文化算法的故障特征选择方法

  

提出了一种新的文化算法,基于免疫克隆选择原理改进了文化算法的种群空间,同时设计了一种新的历史知识及其影响函数。为了去除工业中故障诊断过程中的冗余变量,实现数据降维,提高故障诊断性能,将该免疫文化算法应用到故障特征选择当中,提出了一种封装式的特征选择方法。该方法利用抗体种群进行全局… …   相似文献

宋辰  黄海燕 《计算机应用研究》2012,29(11):4162-4164

一种缺省推理方法及其应用

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

DFSES系统采用了一种缺省推理方法,大大地提高了该系统的决策能力,本文介绍了DFSES系统中的缺省理论及其扩张,并阐述了基于这些思想和类树形知识结构的特点缺省推理的实现。  相似文献

陈世福  潘金贵  徐殿祥 《软件学报》1992,3(4):32-36

基于OpenFlow的未来互联网试验网

下载全文  

OpenFlow是为支持互联网创新研究而提出的基于流分类的新型网络试验技术,以OpenFlow为研究对象,在mininet测试平台下,利用Open vSwitch交换机搭建虚拟交换试验网络模型,并进行了简单测试,从而为未来互联网试验创新技术的分析和研究提供便利.  相似文献

韦世红  卢威 《计算机系统应用》2013,22(5):21-24,97

基于情节规则匹配的数据流预测

下载全文  

提出了一种数据流预测算法Predictor.该算法为每个待匹配的一般形式的情节规则分别使用了一个自动机,通过单遍扫描数据流来同时跟踪这些自动机的状态变迁,以搜索每个规则前件最近的最小且非重叠发生.这样不仅将无界的数据流映射到有限的状态空间,而且避免了对情节规则的过于匹配.另外,算… …   相似文献

朱辉生  汪卫  施伯乐 《软件学报》2012,23(5):1183-1194

新型的多分布式用户单点登录模型

  

通过分析现有单点登录模型中存在的不足,提出了一种新型的多分布式用户单点登录模型。该模型基于SOA的思想,通过服务注册中心将应用服务集成在一起,通过中央认证服务器对用户进行统一认证授权,同时采用基于角色的授权机制将用户和企业中的职务身份联系在一起。通过对该模型的评估证明了模型具有良… …   相似文献

许方恒  陈暄  龙丹 《计算机应用研究》2012,29(9):3355-3357