用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第8581-8600项 搜索用时 115 毫秒
[首页] « 上一页 [425] [426] [427] [428] [429] 430 [431] [432] [433] [434] [435] 下一页 » 末  页»
8581.
本文提出消除π－演算中无卫递归的公理,证明了将该公理加入到正则π－演算受卫递归子集上的证明系统后,所得到的证明系统在π－演算全体正则子集上关于互模拟等价的可靠性和完备性.  相似文献
林惠民 《软件学报》1997,8(5):321-326
8582.
针对网络防火墙在私有云平台安全防护上的单调与缺陷, 提出了一种基于进程资源监控的安全监测方法(PAMon)。首先利用虚拟机监控器获取平台上虚拟机的物理资源信息; 然后通过映射表重构进程资源信息; 再对重构的进程信息从关键进程、进程隐藏和进程占用资源异常三方面分析恶意进程; 最后对… …   相似文献
8583.
主要研究熟知的区域连接演算(region connection calculus,简称RCC)的关系代数方面的性质.证明了补闭圆盘代数恰好构成RCC11复合表的一个表示,其中,RCC11复合表是由D(u)ntsch于1999年引入的.补闭圆盘代数由两类区域构成:一类是实平面中的所有闭圆盘;另一类是实平面中的所有闭圆盘的补的闭包组成.而连接关系为经典的Whiteheadean连接,即对区域a,b,aCb(表示a,b有连接关系)当且仅当 a∩b≠? .… …   相似文献
李永明  李三江 《软件学报》2007,18(10):2458-2468
8584.
本文论述了面向对象技术在MIS系统开发中的应用及利用Delnhi提供的功能建立自定义控件类,在程序运行中动态生成与释放控件对象,控件实例数组的使用以及如何在DelPhi下编写面向数据字典的通用数据编辑和浏览界面。  相似文献
8585.
针对基于约束的不确定数据频繁项的经典挖掘算法——U-FPS算法的不足,提出了适用于基于约束的不确定数据的新算法——UC-Eclat挖掘算法。该算法不需要构建频繁模式树,而采用了数据库垂直模式求交集的方式来计算支持度的方法,提高了挖掘效率。  相似文献
8586.
主动状态证书撤销机制是一种新的证书撤销验证机制,如何实现该机制还未见具体的案例。在分析高级消息队列协议(AMQP)的基础上,结合主动状态证书的订阅/发布要求,设计了一种基于AMQP消息中间件的主动状态证书发布与订阅模型。通过实验分析表明,该消息中间件系统应用灵活,系统性能高效、稳… …   相似文献
8587.
下载全文  总被引：6，自引：0，他引：6
针对当前弱硬实时调度算法无法保证超过窗口长度的执行序列的满足率达到一定比例的问题,基于(m~-,p)弱硬实时约束,提出了一种基于裁剪的调度算法(cut-down based scheduling,简称CDBS).由于判断(m~-,p)约束是否满足需要遍历任务的整个执行序列,因此判… …   相似文献
吴彤  金士尧  刘华锋  陈积明 《软件学报》2008,19(7):1837-1846
8588.
为确保数字音频数据感知意义上的完整性,提出了一种新的音频认证水印算法。该算法把原始音频分帧,每帧分为两节,在第一节时域中嵌入同步码,将第二节进行DCT变换,计算邻帧关系向量,并将其作为水印信息嵌入其他帧第二节的DCT中频系数。认证时,计算邻帧关系误差,据事先设定的阈值来判断音频是… …   相似文献
8589.
  总被引：2，自引：0，他引：2
本文介绍一种采用双重随机算法、交互组卷的题库管理系统的系统结构和功能。  相似文献
8590.
本文介绍了一个图形用户接口管理系统——GUIDE-GKS系统中的用户接口描述方法,以及利用这些描述信息而进行的用户接口快速原型和自动生成技术。其中,基于用 户概念模型的思想,它提出了一种新的“引导式”描述技术,该技术使得接口设计者对系统的学习使用更为方便、简洁、有效,增强了接口描… …   相似文献
8591.
本文讨论多项式时间多一可化归度（ｐ－ｍ度）的分裂间题．主要结果是：存在非零的ｐ－ｍ度ａ,对任何自然数ｎ≥１当ａ分裂成ｎ＋１个度ａ0,ａ1,…,ａn的并时,其中至少有ｎ对（ａi,ａj）（ｉ≠ｊ;ｉ,ｊ≤ｎ）不是极小对．从而推广了Ａｍｂｏｓ－Ｓｐｉｅｓ中关于存在非零ｐ—ｍ度ａ不能分裂成一个极小对的结果．… …   相似文献
郑锡忠 《软件学报》1994,5(4):53-59
8592.
  总被引：2，自引：0，他引：2
在Client/Server系统中,服务器的可用性是提高整个系统可用性的关键,采用多复制服务器是提高系统可用性的最有希望的手段.但是,复制数据更新过程中的阻塞问题是整个系统性能的一个瓶颈.本文提出一种无阻塞的多服务器独立提交的复制数据更新方法,对于因失效不能完成更新的服务器采用协… …   相似文献
赵洪彪  周立柱 《软件学报》1998,9(4):268-272
8593.
  
流数据的海量、无限、分布动态变化且不均衡等特征使得对流数据的在线异常检测成为当前一个研究热点。分析了异常数据的少而不同且更容易通过随机空间的分割而孤立出来的特征,基于在线集成学习理论,提出了一种基于隔离森林的在线流数据异常检测算法。在4个UCI标准数据集上的实验结果表明提出的方法… …   相似文献
丁智国  莫毓昌  杨凡 《计算机科学》2016,43(10):63-65, 80
8594.
为了克服传统Hough变换检测圆时耗时巨大的缺陷,给出了一种新的基于Hough变换检测圆的快速算法.新算法与传统的方法相比具有以下特点:计算量少,提高了检测的速度;保留了传统Hough变换识别率高、抗噪性强、对不完整边缘具有鲁棒性等所有优点;不需要任何特殊的限定条件.实验表明,新… …   相似文献
8595.
下载全文  总被引：20，自引：0，他引：20
关于安全多方计算的研究是目前国际密码学界的研究热点.如果能够安全地计算任何函数,就掌握了一个很强大的工具,实际上任何一个密码协议都可以化归一个特殊的安全多方计算协议.特殊的安全多方计算协议的设计与分析又是当前人们致力研究的课题.基于φ-隐藏假设以及同态公钥加密体制的语义安全性假设… …   相似文献
秦静  张振峰  冯登国  李宝 《软件学报》2004,15(3):421-427
8596.
下载全文  总被引：2，自引：0，他引：2
企业OA流程重组是一项复杂的工程,它的实施需要利用先进的流程建模和分析手段来描述、分析和评价经营流程。手工处理工作流程,特别是对于那些需要参与人员审批修改或填写数据的流程,不仅不方便而且还可能出现丢失资料或时间延误等情况。本文研究了工作流技术在企业OA流程中的应用,在基本模型的基… …   相似文献
8597.
下载全文  总被引：4，自引：1，他引：4
本文讨论了我们自行开发的ＢＰＵ－ＣＬＰ（Ｒ）系统中推理机与约束求解器的协调技术．协调主要发生在回溯机制中．本文描述的方法妥善地解决了在存储优化的情况下推理机与约束求解器的协调问题.  相似文献
张秀珍  刘椿年 《软件学报》1996,7(7):415-421
8598.
为了提高预测模型的性能,解决不同属性子集带来的分歧,提出了基本偏相关方法的预测模型。首先,该方法在公开数据集上分析出代码静态属性与缺陷数之间存在偏相关关系;然后基于偏相关系数值,计算出代码复杂性度密度属性值;最后基于该属性值建立新的缺陷预测模型。实验表明,该模型具有较高的召回率和… …   相似文献
8599.
下载全文  总被引：2，自引：1，他引：1
PDM系统客户端用户身份的识别与验证是PDM系统安全的门户,合法用户的权限分配与管理是PDM系统信息安全的关键。从PDM系统权限管理的方面给出了一个设计实现方案:首先借助UML对系统进行分析和建模;然后给出了基于J2EE和Web结构的系统实现案例。  相似文献
8600.
下载全文  总被引：3，自引：0，他引：3
工作分解结构是确定项目范围的一种主要技术。从软件的过程、产品二元性以及软件工程异于传统工程的特点出发,提出了将工作分解结构、组织分解结构、产品分解结构和项目中的工作责任相结合的WBSR模型,给出了模型的工作流程,分析了该模型对软件项目管理的作用。在一个国际性软件企业的软件项目管理… …   相似文献
[首页] « 上一页 [425] [426] [427] [428] [429] 430 [431] [432] [433] [434] [435] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持