并行任务动态派生的积极惰性化控制方法

下载全文  

本文给出了并行任务派生的理想状态,分析和研究了积极任务派生（ＥＴＤ）方法和惰性任务派生（ＬＴＤ）方法,指出了这两种方法所具有的局限性,提出了一种新的并行任务派生的积极惰性化方法（ＥＬＤＴ）及其算法．初步研究表明ＥＬＤＴ方法可安全有效地增大计算粒度,在由多个商售单处理器构成的小规模… …   相似文献

田新民  王鼎兴  沈美明  郑纬民 《软件学报》1994,5(2):6-13

谓词模态逻辑到对应物理论的翻译

下载全文  

对应物理论(counterpart theory)是一阶逻辑的一种理论.Lewis利用谓词模态逻辑到对应物理论的翻译来研究谓词模态逻辑的性质,但是Lewis的翻译存在把不可满足的公式翻译为可满足公式的情况针对这个问题,提出了一种扩展语义的谓词模态逻辑,建立了扩展语义后谓词模态逻辑… …   相似文献

申宇铭  王驹  唐素勤  蒋运承 《软件学报》2012,23(9):2323-2335

一种基于p-Laplacian的谱聚类维数约简算法

  

近年来,谱聚类因其深厚的理论基础而在机器学习和数据挖掘领域中引起了广泛的关注。针对谱聚类算法中采用Laplacian矩阵时无法获得较好的图切判据,通过引入p-Laplacian算子,提出了一种基于p-Laplacian的谱聚类维数约简算法。仿真实验表明,提出的方法可以获得一种优化… …   相似文献

石远超  马宏  李海涛 《计算机应用研究》2012,29(6):2126-2128

基于限定的溯因问题求解

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

溯因问题是人工智能中的一个重要研究方向,它在许多领域中有着广泛的应用,但在很多情形下,溯因解释的求取是非常困难的．本文提供一种基于限定理论的溯因解释求法,对于满足完备性公理和正原因假设的理论,可以证明其限定中的相容解释就是溯因解释,并且对Ｈｏｒｎ子句集给出具体的求解算法.… …   相似文献

陈保平  孙吉贵 《软件学报》1997,8(4):316-320

情感表现下的三维人脸颜色建模技术 *

下载全文  

为了提高三维人脸面部表情的真实感 ,研究并提出了一种基于 GPU的人脸颜色参数模型。该模型使用了 MPEG-4中定义的人脸特征点 ,划分了每个特征点的作用范围 ,通过改变特征点的颜色值带动该点周边影响范围内点的颜色改变 ,并采用帧间插值算法实现了颜色的平滑过渡。仿真实验表明 ,该… …   相似文献

王燕  樊养余 《计算机应用研究》2010,27(4):1581-1583

嵌入式平台上的网络通信模块驱动的实现

下载全文  

本文分析了嵌入式Linux系统下的网络通信模块驱动的实现原理,并具体通过DM9000以太网卡说明了其实现过程。  相似文献

蔡立三  李霁野  张红梅 《计算机系统应用》2009,18(8):187-189

Web服务认证

下载全文  

随着Web服务的普及,Web服务的安全性变得越来越重要。在总结了目前比较成熟的多种身份认证方法后,对其优缺点和特性进行了总结。并且,对其中比较有实际应用价值的方案进行了具体的实现。同时,还对目前网络上流行的几种Web服务的身份认证方法进行了分析。  相似文献

冯挺  王惠 《计算机系统应用》2009,18(8):209-214

记忆原理的元胞自动机优化算法及其收敛性证明

  

为了求解大规模优化问题,根据记忆原理与元胞自动机的特点构造了求解优化问题的全局收敛算法。在该算法中,将优化问题的理论搜索空间划分为离散搜索空间,该空间定义为元胞空间,其中的每个元胞对应着一个候选解。将记忆原理的记忆、遗忘规律用于控制每个元胞的状态转移;元胞的状态由其空间位置、位置… …   相似文献

陆秋琴  牛倩倩  黄光球 《计算机科学》2013,40(4):249-255

基于区间迭代遗传算法的物流节点决策

  

研究了连续型不确定性物流网络节点选址及算法问题。针对物流网络需求的不确定性,以区间的形式度量各种变量,建立基于重心法的物流网络区间节点决策模型。考虑物流网络实践应用性特征,对区间解的性质判定及关系比较进行标定,实现求解模型的确定性转换。将区间运算与遗传算法相结合,设计问题求解的区… …   相似文献

李利华  符卓  胡正东  周和平 《计算机应用研究》2012,29(10):3713-3716

带宽自适应的P2P网络路由协议

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

提出一种普适于各种系统环境和网络规模的结构化P2P网络协议SmartBoa.与已有的结构化P2P路由协议(如Pastry,Chord等)相比,SmartBoa结点并不维护同样大小的路由表,而是各结点根据自身的带宽能力决定其路由表的大小(最强的结点可能记录全部结点的指针,最弱的结点… …   相似文献

胡进锋  黎明  郑纬民  汪东升 《软件学报》2005,16(5):991-999

Said-Bézier型广义Ball曲线显式降多阶

下载全文  

给出了计算Said-Bézier型广义Ball曲线(SBGB曲线)在L₂范数下保持端点约束的一种最佳降多阶算法.基于SBGB基函数、幂基函数和Jacobi基函数之间的相互转换关系,得到了SBGB基函数和Jacobi基函数之间的显式转换矩阵;进一步利用Jacobi基的正交性和上述转换矩阵的逆矩阵,导出了SBGB曲线在L₂范数下的显式约束降多阶算法.此算法蕴含了Said-Ball曲线、Bézier曲线以及位置介于这两类曲线之间的一大类参数曲线的相应降多阶算法.证明了这是一种可以预报最佳误差且满足端点高阶约束的一次性降多阶算法.最后用数值实例说明了算法的正确性和优越性.… …   相似文献

刘刚  王国瑾 《软件学报》2010,21(6):1473-1479

基于CP-ABE和SD的高效云计算访问控制方案

  

存储在云端服务器中的敏感数据的保密和安全访问是云计算安全研究的重要内容。提出了一种安全、高效、细粒度的云计算访问控制方案。密文的加密采用了借助线性秘密共享矩阵的CP-ABE加密算法,并将大部分密文重加密工作转移给云服务提供商执行,在保证安全性的前提下,降低了数据属主的计算代价。该… …   相似文献

陈燕俐  宋玲玲  杨庚 《计算机科学》2014,41(9):152-157,168

堆的路径二分搜索算法

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

本文提出堆的路径二分搜索算法．当用堆来实现优先队列时,此算法可用较少的比较次数完成插入及删除最大元素等操作．  相似文献

王晓东  傅清祥  范庆  王梅集 《软件学报》1996,7(1):41-44

自适应改进和声—单纯形进化算法研究

  

针对和声搜索算法的不足,提出了一种自适应改进和声—单纯形进化算法(AIHSEA)。通过在新算法中加入变异策略对和声微调进行改进来增强算法的鲁棒性;适时执行单纯形算子增加群体搜索的方向性来加快搜索;采用自适应参数HMCR、PAR和BW调节全局和局部搜索。采用六个标准的优化算法测试函… …   相似文献

曲良东  何登旭  黄勇 《计算机应用研究》2013,30(3):676-678

集群服务器响应延时预测及其负载调度控制

  

单纯以负载均衡为目标的Web服务器集群调度不仅增加了算法的复杂度,在集群超载的情况下也无法保证服务的质量,而以响应延时为基础的均衡算法则可确保更好的服务质量.综合运用多级模糊系统与人工神经网络,既基于服务器系统的负载状况,又兼顾Web请求文件的类型与大小,对响应延时进行模糊预测,… …   相似文献

于国防  王耀才  庄立运  贾栋清 《计算机系统应用》2007,16(7):26-29

一种类比匹配原理及其实现

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

本文给出了一种类比匹配原理及其计算模型,并在此基础上实现了类比匹配器ＡＭＥ．其中类比匹配原理包括一致性、谓词相似和支持性原则;计算模型采用以命题为中心,以命题映射为基本单位,从而ＡＭＥ的复杂性低于同类系统．另外,证明了本文的实现算法具完备性和正确性．  相似文献

李波  罗玉龙  赵沁平 《软件学报》1995,6(1):8-16

装配知识库模型及其核心设计

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

本文分析了研究和建立基于智能机器人装配系统的知识库的必要性,并探讨了实现途径．接着,我们提出了支持装配知识库的知识模型及其核心的体系结构,并讨论了支持该知识模型的建模工具ＥＸＰＲＥＳＳ语言．最后,给出结论.  相似文献

余卫东  陆玉昌  张钹 《软件学报》1995,6(5):296-304

一种基于目标的过程实例演化方法

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

过程具有长生命周期、分布式结构、异构等特性.为适应不可预料的环境变化,过程还需要不断地演化.提出一种过程实例的演化方法以控制对过程实例的改变.它可以检查并保证演化前后的过程实例具备\"基于目标的行为一致性\",从而避免用户对过程的盲目修改.目标作为行为一致的标准,需要分析演化后的… …   相似文献

陈诚  顾毓清 《软件学报》2002,13(8):1345-1351

改进Athena算法的多协议攻击自动化验证方法

  

多协议环境下协议安全性问题是安全协议形式化分析验证领域的一个公开问题。针对此问题,在分析Athena算法的基础上提出了一种多协议攻击自动化验证方法。该方法扩展了Athena状态表示方法和后继状态生成算法,使得攻击者具备截取其它协议交互消息和计算生成当前协议消息的能力,能够以自动化… …   相似文献

刘威  郭渊博  雷新锋  李俊锋 《计算机科学》2014,41(12):112-117,132

一种用于室内虚拟环境的新表示

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

针对室内环境的虚拟问题,提出一种用于描述封闭环境的新表示.该表示由定义在经纬度平面上的光强-距离函数组成,可以支持3个自由度的全景浏览、连续变焦以及任意路线的移动.基于这种表示,给出一个使用少数照片创建室内环境的方法,它结合了基于几何和基于图象的绘制技术,算法快速稳定,对拍摄条件… …   相似文献

李洪举  吴恩华 《软件学报》1998,9(9):641-645