杂志简介：《计算机工程与应用》杂志经新闻出版总署批准，自1964年创刊，国内刊号为11-2127/TP，是一本综合性较强的计算机期刊。该刊是一份半月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：博士论坛、网络、通信与安全、数据库、信号与信息处理 、工程与应用
杂志简介：《计算机工程与应用》杂志经新闻出版总署批准，自1964年创刊，国内刊号为11-2127/TP，是一本综合性较强的计算机期刊。该刊是一份半月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：博士论坛、网络、通信与安全、数据库、信号与信息处理 、工程与应用
作者：陈涛 许金超 钮俊 刊期：2011年第25期
程序的执行体现为数据在变量中的流动。对C/C＋＋源代码中变量定义使用情况进行分析,针对变量未赋值就使用、变量重复赋值和变量定义后未使用三种数据流异常情况,使用程序阅读自动机,把程序转换为变量状态机,使用ALCCTL时序逻辑和模型检验工具,验证程序是否满足定义的可信模式。提出了新的静态查找变量使用故障的方法。该方法已应用于面向故障的...
作者：姚灿中 杨建梅 刊期：2011年第25期
采用原胞自动机对自推动粒子模型进行改进,分析了在低密度空间、中等密度空间以及高密度空间3种情况下,大众生产系统生产者的决策影响因素。研究表明,在中等密度空间,大众生产系统中生产者的决策突变不仅与生产者的密度相关,还与系统的开放性以及智能粒子的更新速度密切相关。进一步地采用复杂网络对自推动粒子模型进行改进。结果表明,当外部影...
作者：庞继芳 张毅 刊期：2011年第25期
针对序信息系统,基于优势关系给出了知识协调度和知识差异度的概念,为刻画和度量序意义下知识之间的协调程度和差异程度提供了一种新方法。讨论和分析了这些度量的性质及它们之间的关系,通过实例表明了上述度量的有效性。这些结论将有助于序信息系统的知识发现研究。
作者：罗书强 刊期：2011年第25期
在分析风电机组变桨距调节原理的基础上,建立了包含风力机、变桨距执行系统、变桨距控制算法、变桨速率、动态尾流、塔架动态、传感器响应的变桨距风电机组整体动态数学模型。以此为基础,运用MATLAB/SIMULINK仿真模拟平台搭建了变桨距风电机组动态仿真模型。以阵风为例,运用该模型对一台1.5MW的风电机组进行了变桨距过程动态特性仿真。仿真结果...
作者：刘洋 苏志勋 栗志扬 曹俊杰 刊期：2011年第25期
为了更准确地重建复杂的三维医学数据模型,把二维医学图像轮廓线上的像素点转化为三维点云,引入经典的泊松点云重建技术。由于泊松重建的效果依赖于点云法向的准确性,针对轮廓线数据的特点,结合图像二维梯度方向,给出了点云法向的一致定向及基于已知定向进一步精确估计法向的方法。泊松重建方法作为一种隐式重建技术,可以很好地处理医学图像数据...
作者：李维乾 解建仓 李建勋 姜仁贵 刊期：2011年第25期
针对移民工程信息无法充分展示导致整个工程决策困难的问题,分析移民工程信息平台的需求,设计了基于3S的移民工程的信息化平台,并描述其中关键技术及功能模块。将此平台应用于引汉济渭工程。结果证明,该平台从时空上充分展示了移民工程的相关信息,较其他非3S信息化平台更透明、易操作、易决策,也为其他流域或地区移民工程信息化建设提供了示范与...
作者：张圣栋 沈锐 刊期：2011年第25期
针对订阅系统中的拒绝服务攻击,提出一种有效的订阅合并方法。不同于现有订阅合并方法,该方法要求合并的订阅具有一定的相似性,因而可以减少合并后事件转发带宽开销。订阅相似性判断根据它在每个属性上约束范围的大小和位置,采用两阶段的归组算法把相似订阅归组,把处于同一组的订阅合并。理论分析表明,该方法时间复杂度低,可以根据节点负载情况...
作者：江伟 梁家荣 刊期：2011年第25期
给出了完整的Vague集相似度量约束准则,在此基础上对现有的Vague集相似度量的缺陷,进行了定量分析和证明。在充分考虑了支持度、反对度、未知度以及核函数概念之间相互关系后,提出了一种新的Vague集相似度量。通过对定理的证明以及与其他相似度量违反直觉例子的比较,表明新的相似度量全面考虑了各种约束准则,符合人们直观感觉。给出了新的Vague...
作者：彭家寅 刊期：2011年第25期
引入了格值下推自动机、格值上下文无关文法及它们的语言的概念,证明了格值下推自动机以两种不同方式接受的语言类的等价性,研究了格值Chomsky范式文法、格值上下文无关文法及其派生所产生的语言的等价条件,揭示了在一定条件下,格值下推自动机接受的语言类与格值上下文无关文法产生的语言类的等价性,证明了有理格值语言均被格值下推自动机识别。
作者：曹旻 杨彩霞 刊期：2011年第25期
从编译优化和并行优化的角度出发,根据N-Body问题求解的FMM算法的原理,将算法分解为不同的子模块。详细分析了各子模块的计算特性,包括计算量分析、并行性分析、通信量分析和存储量分析。深入剖析问题规模与空间划分层数之间的关系,提出基于问题规模的空间划分策略。以实验验证了空间划分策略的可行性。
作者：李会荣 刊期：2011年第25期
提出了一种非线性约束优化问题改进的自适应差分进化算法。该算法对差分进化算法中固定的加权因子和交叉概率因子进行改进;定义了约束违反度函数,将约束优化问题转化为无约束双目标优化问题,在每次迭代中按照约束违反度的大小保留一部分性能较优不可行粒子,有效地维持了种群的多样性;为了扩大粒子的搜索范围引入变异算子。数值实验表明,新算法具...
作者：薛胜军 杨明 刊期：2011年第25期
提出了一种新的自适应邻域的多目标进化算法,该算法采用自适应邻域的方法维护群体的分布性。探讨了根据当前群体情况进行自适应改变邻域半径,避免了传统邻域策略所引起的邻域半径的取值影响群体分布性的问题。另外,利用自适应邻域半径和拥挤距离进行密度估计,使密度小的个体得到保留。实验结果表明,所讨论的方法是有效的,在保持群体分布性上优于...
作者：孟非 李静宜 朱人杰 刊期：2011年第25期
蚁群算法是根据蚂蚁的觅食行为而提出的随机优化算法,但其存在早熟收敛和搜索精度低等问题。模拟生物克隆选择中5%的B细胞自然消亡过程,在蚁群算法进化过程中分别基于代间差分、混沌理论、变异原理等方法设计了8种蚂蚁更新算法,按照模拟退火方法进行更新后蚂蚁的选择。通过数值试验得出结论：基于代间差分和混沌变异的蚂蚁更新算法是一种很好的...
作者：罗敏霞 姚宁 刊期：2011年第25期
基于乘积逻辑系统研究公式的真度函数理论。在乘积逻辑系统中给出真度函数的概念,得到真度函数的一系列性质,证明τ-完备性定理,说明τ-语构与τ-语义的和谐性。
作者：杨勇 付立东 刊期：2011年第25期
种群退化现象导致了遗传算法对解空间区域进行重复搜索,从而降低了算法的搜索效率和延缓了算法的收敛,这源于重组算子、采样误差和变异算子的反作用力。通过对生成树编码遗传算法的研究,分析了重组算子的种群退化现象。证明了在解决固定费用运输问题时,重组算子发生种群退化现象的一个充分条件及其概率。针对种群退化现象提出了基于概率选择模型...
影响因子：0.51
期刊级别：北大期刊
发行周期：月刊
影响因子：0.15
期刊级别：省级期刊
发行周期：半月刊
影响因子：0.94
期刊级别：北大期刊
发行周期：月刊
影响因子：0.79
期刊级别：北大期刊
发行周期：月刊
影响因子：0.55
期刊级别：统计源期刊
发行周期：月刊
影响因子：0.58
期刊级别：北大期刊
发行周期：月刊
影响因子：0.93
期刊级别：北大期刊
发行周期：月刊
影响因子：0.62
期刊级别：北大期刊
发行周期：月刊
影响因子：0.61
期刊级别：北大期刊
发行周期：月刊
影响因子：0.62
期刊级别：统计源期刊
发行周期：月刊
影响因子：0.45
期刊级别：统计源期刊
发行周期：月刊
影响因子：0.57
期刊级别：省级期刊
发行周期：半月刊