格雷码混合遗传算法求解0-1背包问题

  

给出0-1背包问题的数学模型,修改传统二进制编码为格雷码混合遗传算法,使用贪心算法来解决约束问题,对每个个体使用价值密度来衡量,提高了算法搜索效率,同时使用精英保留机制来加速算法收敛的速度。最后通过数值实验证明了算法的有效性。  相似文献

王则林  吴志健 《计算机应用研究》2012,29(8):2906-2908

增量和减量式标准支持向量机的分析

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

当训练数据每次发生改变时,例如增加或者删除部分数据,标准支持向量机的批处理算法就需要重新进行训练,这将不适合在线环境的计算.为了克服这个问题,Cauwenberghs 和Poggio 提出了增量和减量式标准支持向量机算法(C&P 算法).通过理论分析,证明C&P 算法的可行性和有… …   相似文献

顾彬  郑关胜  王建东 《软件学报》2013,24(7):1601-1613

基于XYZ/E的混成系统

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

混成系统是由计算机和物理设备组成的嵌入式实时计算系统.它允许在交互式实时系统中引入连续变化的单元.XYZ/E 是基于Manna-Pnueli的线性时序逻辑的程序设计语言.它将程序的动态语义与静态语义统一在同一框架中,支持从抽象的程序规范到可执行代码的逐步求精的全过程.该文使用XY… …   相似文献

阎安  唐稚松 《软件学报》2000,11(1):1-7

基于数据流分析的软件容错策略

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

该文就软件容错中备查点与卷回机制展开深入讨论,提出一种基于数据流分析技术的软件容错新方法.首先对软件容错进行简介,指出数据错是一切控制系统软件失效的根源与最终表现以及对数据采取强有力的容错措施的必要性.然后将数据流分析技术应用于软件容错,通过求解程序变量的到达-定值数据流方程来静… …   相似文献

刘云龙  陈俊亮 《软件学报》1998,9(7):537-541

基于内容图像检索的特征子空间抽取

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

作为一种有效的解决手段,相关反馈(relevance feedback)技术在基于内容图像检索(content based image retrieval)的研究中得到了深入的发展.尽管有效,已有的反馈算法却始终没有解决特征空间的有指导降维和特征中的噪声去除这两个问题.提出了一种… …   相似文献

苏中  马少平  张宏江 《软件学报》2003,14(2):190-193

基于NDIS的自组织网测试床设计与实现

  

随着对自组织网技术研究的不断深入,设计一个Ad hoc网络测试床越来越具有重要的意义。介绍了NDIS中间层驱动程序的概念,提出了一种基于NDIS技术的自组织网测试床设计方案,描述了该方案的具体实现。  相似文献

梁兴强  张霞  陈曦  于宏毅  樊少杰 《计算机应用研究》2004,21(7):122-124

网上IP劫持攻击的研究

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

当前 ,网上出现了一种基于 TCP的主动攻击 ,称为 IP劫持 .这种攻击不同于以往的基于网络侦听的被动式网络攻击 ,它能绕过系统口令和 S/ KEY口令保护的防御 ,将网络连接完全接管 ,对网络安全造成了重大威胁 .该文分析了这种攻击的实施原理 ,并提出了针对这种攻击的检测方法… …   相似文献

赵欣  陈道蓄  谢立 《软件学报》2000,11(4):515-519

对AspectJ 获取逆向工程所需基本信息的研究

下载全文  

通过利用AspectJ获取逆向工程所需的信息,实现基本信息的提取.作为AOP具体实现之一的AspectJ对Java程序进行分析,将所需的各种信息提取出,并保存到文本文件提供给下一个功能模块进行格式转化.要提取的基本信息包括调用、返回和返回值三个方面.  相似文献

马骕  李青山  陈鹏岗 《计算机系统应用》2011,20(2):61-65

SPVT:一个有效的安全协议验证工具

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

描述了基于Objective Caml开发的一个安全协议验证工具SPVT(security protocol verifying tool).在SPVT中,以扩展附加项的类(演算作为安全协议描述语言,以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型,通过一组抽… …   相似文献

李梦君  李舟军  陈火旺 《软件学报》2006,17(4):898-906

缺省理论中一种获取优先序的方法

下载全文  

引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.这种方法在不增加复杂性的情况下,增强了谨慎稳定缺省推理的能力.  相似文献

赵希顺  丁德成 《软件学报》2003,14(9):1530-1537

非线性系统的模糊辨识误差分析

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

该文讨论了模糊系统的数字逼近特性,同时分析了逼近误差和初始状态误差对模糊系统的影响.最后得出一个重要结论：在一定条件下,模糊系统的输出与实际系统相差不大.  相似文献

王士同  於东军 《软件学报》2000,11(4):447-452

一种基于鲁棒估计的极限学习机方法

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

极限学习机(ELM)是一种单隐层前馈神经网络(single-hidden layer feedforward neural networks,SLFNs),它相较于传统神经网络算法来说结构简单,具有较快的学习速度和良好的泛化性能等优点。ELM的输出权值是由最小二乘法(least … …   相似文献

胡义函  张小刚  陈华  李晶辉 《计算机应用研究》2012,29(8):2926-2930

以客户为中心的产品设计系统—以沙发产品为例

下载全文  

以沙发产品设计过程为例,模块化构建面向客户的在线产品设计系统,真正体现以客户为中心的设计理念.该系统前端以RIA作为展现层从而实现逼真的展示效果,以Flexlib作为组件设计包,后端以Spring作为AOP和IoC工具、以Degrafa作为图形引擎,采用BlazeDS实现前端与后… …   相似文献

刘茜  潘荣 《计算机系统应用》2011,20(2):27-30

并发计算重复问题与控制方法

下载全文  

数据竞争问题是并发程序开发与测试难题,发现数据竞争可能导致计算重复,重复会导致系统性能下降.从实例出发定义了并发计算重复问题(concurrent computation redundancy problem,简称CCRP),给出了相关性能指标和判断方法,设计了通用并发重复控制机… …   相似文献

何倩  孟祥武  陈俊亮  沈筱彦 《软件学报》2011,22(10):2263-2278

基于样例学习的面部特征自动标定算法

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

面部特征标定是人脸识别中的一个关键问题.提出了一种基于样例学习的面部特征自动标定(人脸形状自动提取)方法.该方法是基于下面假设提出来的:人脸图像差和形状差之间存在一种近似的线性关系--相似的人脸图像在较大程度上蕴涵着相似的形状.因此,给定标注了特征点的人脸图像学习集,则任意新的输… …   相似文献

柴秀娟  山世光  高文  陈熙霖 《软件学报》2005,16(5):718-726

一种高效可靠的移动Agent间通信机制

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

作为未来分布式系统的一种主流计算模式,移动Agent技术具有广阔的研究前景.协作与通信是移动Agent系统必不可少的组成部分.然而由于Agent的移动性和自主性,现有研究工作所提出的移动Agent间通信机制在可靠性尤其是有效性上存在着一定的不足,如不能够在底层理想地解决通信失效等… …   相似文献

周竞扬  陈韬略  陈道蓄  吕建 《软件学报》2003,14(8):1470-1480

基于贝叶斯决策的自组网推荐信任度修正模型

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

在分析了信任评估过程中攻击手段及其相互间关系的基础上,提出了基于贝叶斯决策理论的根据推荐偏差度修正对推荐的信任度方法.使用贝塔分布描述推荐偏差度,依据最小损失原则修正对推荐的信任度,并将具备推荐信任修正机制的信任模型运用在自组网的路由协议中,以便优化路由选择.MATLAB下的仿真… …   相似文献

孙玉星  黄松华  陈力军  谢立 《软件学报》2009,20(9):2574-2586

别名解析中的别名过滤技术

下载全文  

为了提高大规模网络中别名解析的效率,在用traceroute测量得到的IP级网络拓扑的基础上,提出别名过滤的概念.首先从理论上研究别名关系具有的性质,由此提出处理traceroute数据的3个属性;然后提出并设计了别名过滤算法AF(alias filtering)和别名验证算法V… …   相似文献

赵洪华  白华利  陈鸣  魏镇韩 《软件学报》2009,20(8):2280-2288

Agent意图的双子集语义改进模型

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

意图是Agent的一个关键的意识属性,在决定理性Agent的行为中起着重要作用.为了克服现有意图逻辑中存在的缺陷,建立了适用于意图的语义表示.讨论了理性Agent性态的形式化中对意图语义的要求以及现有意图逻辑中存在的问题.介绍了在前期工作--真假子集语义基础上开发的双子集语义改进模型及其在Agent意图形式化中的应用,并且证明通过对模型的代数结构施加一定的约束,能获得许多希望得到的性质.在二值逻辑中,真和假是同等重要的.当然,对一个命题,描述了真值也就知道了假值;但对于一类命题却不是这样,对假值的刻画与对真值的刻画具有同等重要的意义.而对意图的描述是对一类命题(Agent意图实现的命题)的刻画.经典的正规模态算子的可能世界语义只重视真,用RI(w)来描述,可看成是单子集语义.而改进的双子集语义真假并重,用R_IT(w)来描述真,并用R_IF(w)来描述假,从而能更全面地描述二值逻辑中的模态算子.经典的正规模态算子的可能世界语义可以看成是改进的双子集语义当R_IF(w)=()时的退化情形.改进的双子集语义不仅避免了基于正规模态逻辑表示的\"逻辑全知\"问题以及由此带来的副作用等问题,与Konolige和Pollack的意图模型相比,比较简单、自然,且满足K公理和联合一致性原理,而且克服了前期工作真假子集语义和双子集语义表示的缺陷.实际上,改进的双子集语义为非正规模态算子的语义表示提供了一种新的方法,可应用于建立新的合适的Agent逻辑系统.… …   相似文献

胡山立  石纯一 《软件学报》2006,17(3):396-402

基于.NET Framework的OPC数据访问服务器的研究与设计①

下载全文  

通过介绍OPC技术,结合当前OPC（OLE for Process Control,用于过程控制的对象链接和嵌入）快速发展的需要,在研究．NET框架和COM的关系后,给出了一个．NET框架下开发进程外OPC数据存取服务器框架的设计方案,并介绍了实现的主要步骤和关键技术,以及具体的… …   相似文献

许南山  郭郁峰 《计算机系统应用》2010,19(7):236-239