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

下载全文  

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

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

基于裁剪的弱硬实时调度算法

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

针对当前弱硬实时调度算法无法保证超过窗口长度的执行序列的满足率达到一定比例的问题,基于(m~-,p)弱硬实时约束,提出了一种基于裁剪的调度算法(cut-down based scheduling,简称CDBS).由于判断(m~-,p)约束是否满足需要遍历任务的整个执行序列,因此判… …   相似文献

吴彤  金士尧  刘华锋  陈积明 《软件学报》2008,19(7):1837-1846

一个图形UIMS支持的用户接口描述方法及自动生成技术

下载全文  

本文介绍了一个图形用户接口管理系统——GUIDE-GKS系统中的用户接口描述方法,以及利用这些描述信息而进行的用户接口快速原型和自动生成技术。其中,基于用 户概念模型的思想,它提出了一种新的“引导式”描述技术,该技术使得接口设计者对系统的学习使用更为方便、简洁、有效,增强了接口描… …   相似文献

黄涛;  王裕国 《软件学报》1991,2(2):42-51

一种结构化计算机辅助测验系统

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

本文介绍一种采用双重随机算法、交互组卷的题库管理系统的系统结构和功能。  相似文献

董翔英 《计算机系统应用》1996,5(9):8-10

一种新的用于音频认证数字水印算法

下载全文  

为确保数字音频数据感知意义上的完整性,提出了一种新的音频认证水印算法。该算法把原始音频分帧,每帧分为两节,在第一节时域中嵌入同步码,将第二节进行DCT变换,计算邻帧关系向量,并将其作为水印信息嵌入其他帧第二节的DCT中频系数。认证时,计算邻帧关系误差,据事先设定的阈值来判断音频是… …   相似文献

申军伟  潘峰  张明书  肖海燕 《计算机应用研究》2012,29(10):3850-3853

关于p－m度的分裂

下载全文  

本文讨论多项式时间多一可化归度（ｐ－ｍ度）的分裂间题．主要结果是：存在非零的ｐ－ｍ度ａ,对任何自然数ｎ≥１当ａ分裂成ｎ＋１个度ａ₀,ａ₁,…,ａ_n的并时,其中至少有ｎ对（ａ_i,ａ_j）（ｉ≠ｊ;ｉ,ｊ≤ｎ）不是极小对．从而推广了Ａｍｂｏｓ－Ｓｐｉｅｓ中关于存在非零ｐ—ｍ度ａ不能分裂成一个极小对的结果．… …   相似文献

郑锡忠 《软件学报》1994,5(4):53-59

多复制服务器间无阻塞的数据更新

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

在Client/Server系统中,服务器的可用性是提高整个系统可用性的关键,采用多复制服务器是提高系统可用性的最有希望的手段.但是,复制数据更新过程中的阻塞问题是整个系统性能的一个瓶颈.本文提出一种无阻塞的多服务器独立提交的复制数据更新方法,对于因失效不能完成更新的服务器采用协… …   相似文献

赵洪彪  周立柱 《软件学报》1998,9(4):268-272

一种新的在线流数据异常检测方法

  

流数据的海量、无限、分布动态变化且不均衡等特征使得对流数据的在线异常检测成为当前一个研究热点。分析了异常数据的少而不同且更容易通过随机空间的分割而孤立出来的特征,基于在线集成学习理论,提出了一种基于隔离森林的在线流数据异常检测算法。在4个UCI标准数据集上的实验结果表明提出的方法… …   相似文献

丁智国  莫毓昌  杨凡 《计算机科学》2016,43(10):63-65, 80

一种用Hough变换检测圆的快速算法*

下载全文  

为了克服传统Hough变换检测圆时耗时巨大的缺陷,给出了一种新的基于Hough变换检测圆的快速算法.新算法与传统的方法相比具有以下特点:计算量少,提高了检测的速度;保留了传统Hough变换识别率高、抗噪性强、对不完整边缘具有鲁棒性等所有优点;不需要任何特殊的限定条件.实验表明,新… …   相似文献

夏磊  蔡超  周成平  丁明跃 《计算机应用研究》2007,24(10):197-199

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

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

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

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

CLP系统中推理机与约束求解器的协调技术

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

本文讨论了我们自行开发的ＢＰＵ－ＣＬＰ（Ｒ）系统中推理机与约束求解器的协调技术．协调主要发生在回溯机制中．本文描述的方法妥善地解决了在存储优化的情况下推理机与约束求解器的协调问题.  相似文献

张秀珍  刘椿年 《软件学报》1996,7(7):415-421

无信息泄漏的比较协议

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

关于安全多方计算的研究是目前国际密码学界的研究热点.如果能够安全地计算任何函数,就掌握了一个很强大的工具,实际上任何一个密码协议都可以化归一个特殊的安全多方计算协议.特殊的安全多方计算协议的设计与分析又是当前人们致力研究的课题.基于φ-隐藏假设以及同态公钥加密体制的语义安全性假设… …   相似文献

秦静  张振峰  冯登国  李宝 《软件学报》2004,15(3):421-427

基于J2EE的PDM系统权限管理设计和实现*

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

PDM系统客户端用户身份的识别与验证是PDM系统安全的门户,合法用户的权限分配与管理是PDM系统信息安全的关键。从PDM系统权限管理的方面给出了一个设计实现方案:首先借助UML对系统进行分析和建模;然后给出了基于J2EE和Web结构的系统实现案例。  相似文献

张晓诺  曹宝香  王廷蔚  夏晓娜 《计算机应用研究》2006,23(9):111-112

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

下载全文  

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

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

软件项目工作分解结构模型研究*

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

工作分解结构是确定项目范围的一种主要技术。从软件的过程、产品二元性以及软件工程异于传统工程的特点出发,提出了将工作分解结构、组织分解结构、产品分解结构和项目中的工作责任相结合的WBSR模型,给出了模型的工作流程,分析了该模型对软件项目管理的作用。在一个国际性软件企业的软件项目管理… …   相似文献

熊耀华  陈传波 《计算机应用研究》2006,23(8):19-21

子分曲面尖锐特征生成

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

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

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

嵌入式系统软件可靠性设计与测试方法

  

通过设计与初始化ARM s3c2410内部的存储器保护系统MPU来保护睡眠任务的存储空间不受当前运行任务的非法访问,有效增强了嵌入式系统软件的可靠性.并利用LDRA Testbed测试套件对项目中的代码进行了静态分析、复杂度分析、图形化分析,得出了各项测试结果,准确地评估了所设计… …   相似文献

李金麒  徐建平 《计算机系统应用》2013,22(1):74-78

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

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

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

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

公式分层的谓词模态逻辑

下载全文  

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

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

不确定信息的认知结构表示、推理和学习

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

提出了一个对不确定信息进行表示、推理和学习的统一框架.通过引入4-值认知结构刻画不确定性,提供了更强的度量能力和更高的推理效率,同时支持相关不确定信息的有效获取,从而更加接近实际应用的需要.  相似文献

刘洁  陈小平  蔡庆生  范焱 《软件学报》2002,13(4):649-651