计算机科学杂志
好友分享
  • 主管单位:国家科学技术部
  • 主办单位:国家科技部西南信息中心
  • 影响因子:0.94
  • 下单时间: 1-3个月
  • 国际刊号:1002-137X
  • 国内刊号:50-1075/TP
  • 全年订价:¥ 1000.00
  • 起订时间:
  • 创刊:1974年
  • 曾用名:计算机应用与应用数学
  • 周期:月刊
  • 出版社:计算机科学
  • 发行:重庆
  • 语言:中文
  • 主编:朱宗元
  • 邮发:78-68
  • 库存:187
  • 邮编:401121
投稿咨询 免费咨询 杂志订阅
相关期刊
服务介绍

计算机科学 2015年第07期杂志 文档列表

计算机科学杂志2014’全国理论计算机科学年会
一种支持多版权的地理数据增量水印方法 作者:廖璋 熊胜超 彭智勇 彭煜玮 单位:武汉大学计算机学院 武汉430072
22-27

摘要:目前地理数据水印方法有很多,但大都缺少对地理数据同步保护的考虑,同时没有在同步保护的基础上进行多版权水印嵌入的方法。分析了地理数据增量水印和多版权水印的问题,基于量化调制技术,提出了一种能兼顾增量水印和多版权水印的地理数据水印方法。该方法采用基于距离划分的策略,将特征点集划分成两个可重现的不相交子集,通过分别缩放两个子集嵌入双重水印,保证了所有顶点都只在精度范围内修改一次,使保真性得到控制。此外,缩放调制策略使地理数据形状尽可能得到保证。实验表明,该方法能满足增量水印和多版权水印的要求,同时具有很好的鲁棒性。

基于序列的子问题相容性技术 作者:陈德泉 张永刚 辛颖 刘文壮 单位:吉林大学计算机科学与技术学院 长春130012 吉林大学符号计算与知识工程教育部重点实验室 长春130012
28-31

摘要:研究约束求解中的相容性技术,针对目前已有相容性的传播级别,提出一种新的相容性概念——基于序列的子问题相容性(SSAC),并给出相应的实现算法。然后分析其时空、空间复杂性及正确性,证明SSAC化简不改变原约束满足问题的解集,同时证明SSAC的约束传播能力介于SAC和AC之间。通过对随机问题和composed问题的测试表明,所提算法的效率是已有算法SAC-SDS和SAC-3的2~3倍。

基于指向与数值抽象的带指针算术程序的分析方法 作者:尹帮虎 陈立前 王戟 单位:国防科学技术大学计算机学院并行与分布处理国防科技重点实验室 长沙410073
32-37

摘要:带指针算术的程序往往包含数组越界、缓冲区溢出等运行时错误。单纯的指针分析技术和数值分析技术都无法有效处理指针算术。为了将指针分析与数值分析相结合,首先提出一种新的指针内存模型,然后基于该模型设计了一个刻画指针指向关系和指针偏移量的抽象域。最后在抽象解释框架下,设计并实现了一个面向带指针算术C程序的静态分析工具原型PAA。实验结果表明,PAA能够有效地分析指针程序的指向关系和数值性质,并能够在效率和精度间取得合理的权衡。

BDL模型到UML状态图的可视化方法研究 作者:马丽 毋国庆 黄勃 程铭 崔梦天 单位:平顶山学院软件学院 平顶山467000 武汉大学计算机学院 武汉430072 武汉大学深圳研究院 深圳518057 西南民族大学计算机科学与技术学院 成都610041 电子科技大学计算机科学与工程学院 成都610000
38-43

摘要:针对复杂软件系统需求模型难以理解的问题,提出了一种UML状态图描述需求模型的可视化方法。该方法基于行为描述语言(Behavior Description Language,BDL)构建的需求模型,通过定义映射规则,将BDL模型中的行为、行为间关系与UML状态图中的迁移相关联,并将行为执行后产生的状态与UML状态图中状态相关联。然后根据转换算法自动提取各结点信息,输出完整的状态图,从而实现BDL需求模型的可视化。最后通过实例,验证了该方法的有效性。

可计算性逻辑中CoL2系统的可判定性分析 作者:李兴香 栾峻峰 单位:山东大学计算机科学与技术学院 济南250101
44-47

摘要:可计算性(Computability)即算法有解性,是数学和计算机科学领域中重要的概念之一。可计算性逻辑(Computability Logic,CoL)是关于可计算性的形式理论,是一种交互的资源逻辑。其中,CoL2系统采用博弈的语义,是对经典命题逻辑的扩展,在经典命题逻辑的基础上添加了选择运算和一般原子,比经典命题逻辑更富有表达力,具有更广阔的应用前景,并且有较高的证明效率。分析了CoL2系统的可判定性,即通过提出一个算法来判断任意一个CoL2公式是否是可证明的,并且证明了该算法是多项式空间内运行的。

聚类集成时机的确定 作者:孟晓龙 杨燕 王红军 肖文超 单位:西南交通大学信息科学与技术学院 成都610031
48-51

摘要:使用集成学习技术可以提高聚类性能。在实验中发现,当各聚类成员聚类迭代到中后期时进行集成所得的结果会优于其迭代完全停止时进行集成所得的结果。利用集成网络泛化能力的偏差-方差分解理论对聚类集成过程中的上述现象进行解释,将提高集成网络间泛化能力的早期停止准则应用于聚类集成过程,并提出聚类集成时机的概念。对比实验表明,基于早期停止准则的聚类集成得到的结果较好,且更节约聚类集成的时间,为寻求聚类集成的最佳时机提供了可行性建议和方法。

基于信息增益的多标签特征选择算法 作者:李玲 刘华文 徐晓丹 赵建民 单位:浙江师范大学数理与信息工程学院 金华321004 中国科学院数学与系统科学研究院 北京100055
52-56

摘要:多标签特征选择是一种提高多标签分类器性能的技术。针对目前这类技术在给出合理特征子集合时无法同时兼顾计算复杂度和标签间的相关性的问题,提出一种基于信息增益的多标签分类算法。该算法假设特征之间相互独立,首先使用单个特征与整个标签集合之间的信息增益来度量这两者的关联程度,再根据阈值删除不相关的特征以得到最优特征子集合。实验表明,该算法能有效地提高多标签分类器的分类性能。

三值量子基本门及其对量子Fourier变换的电路实现 作者:樊富有 杨国武 张艳 杨钢 单位:电子科技大学计算机科学与工程学院 成都611731 宜宾学院计算机与信息工程学院 宜宾644007
57-61

摘要:理论上可以把量子基本门组合在一起来实现任何量子电路和构建可伸缩的量子计算机。但由于构建量子线路的量子基本门数量庞大,要正确控制这些量子门十分困难。因此,如何减少构建量子线路的基本门数量是一个非常重要和非常有意义的课题。提出采用三值量子态系统构建量子计算机,并给出了一组三值量子基本门的功能定义、算子矩阵和量子线路图。定义的基本门主要包括三值量子非门、三值控制非门、三值Hadamard门、三值量子交换门和三值控制CRk门等。通过把量子Fourier变换推广到三值量子态,成功运用部分三值量子基本门构建出能实现量子Fourier变换的量子线路。通过定量分析发现,三值量子Fourier变换的线路复杂度比二值情况降低了至少50%,表明三值量子基本门在降低量子计算线路复杂度方面具有巨大优势。

一种基于TF-HBPN的复杂系统行为分析方法 作者:陈倩 佘维 叶阳东 单位:郑州大学信息工程学院 郑州450052 郑州大学软件技术学院 郑州450052
62-67

摘要:针对大规模复杂系统建模分析时的状态爆炸问题,提出一种扩展了时间因素的分层贝叶斯Petri网模型(Hierarchical Bayesian Petri Net With Time Factor,TF-HBPN),并基于该模型提出一种递归构建方法和递归溯因行为分析方法。该方法首先对观测到的系统行为构造顶层TF-HBPN模型,进而通过分层递归方法将复杂系统并发行为分析问题进行分解,并通过递归溯因推理和时序分析来计算非观测系统行为及其事件链的发生概率,最后将分析结果与正常动作事件链进行对比,分离出干扰信息。实例分析表明,该方法可对大规模复杂系统行为进行快速建模分析,当观测数据存在干扰和缺失时仍能进行系统行为的分析和现象的溯因,分析结果的可信度较高。与其他基于Petri网的复杂系统分析方法相比,该方法建模难度更低,模型表达更为简洁也更易理解。

一种求解置换Flow Shop调度问题的DRPFSP算法 作者:魏嘉银 秦永彬 许道云 单位:贵州大学计算机科学与技术学院 贵阳550025
68-73

摘要:针对置换Flow Shop调度问题,在对经典启发式算法进行研究的基础上,提出了一种用于求解此类问题的DRPFSP算法。算法首先对加工时间矩阵A进行数据标准化处理;然后通过引入一个概率矩阵P2×m和相应的降维函数fp(A)=PA,将含有m台机器的原问题转化为含2台机器的新问题;再运用Johnson算法对新问题进行求解得到一个调度序列π0;最后结合插入邻域快速评价法对π0进行处理以获得原问题的一个调度方案π。实验结果表明,相对于经典的启发式算法,DRPFSP算法能更有效地对置换Flow Shop调度问题进行求解。

具有数目约束的负载均衡问题 作者:李伟东 李建平 单位:云南大学 昆明650091
74-77

摘要:考虑了具有数目约束的负载平衡问题的一种特殊情形,称之为2-半匹配问题。分析了此问题在3种目标函数下的计算复杂性,并设计了相应的近似算法。

有向无环图的高效归约算法 作者:侯睿 武继刚 单位:天津工业大学计算机科学与软件学院 天津300387 中国科学院计算技术研究所计算机体系结构国家重点实验室 北京100190
78-84

摘要:将一个应用程序部署到给定的片上网络上执行时,需要将应用程序中的每一个子任务都指派给片上网络中的一个节点执行。该问题一般被建模成一组子任务作为顶点的有向无环图,任务在片上网络上的部署过程就等同于一个有向无环图的顶点向一个片上网络拓扑映射的过程。而随着应用程序和片上网络规模的增大,计算一个最优的映射方案是典型的难解问题。为了加速有向无环图到片上网络拓扑的映射过程,提出了有向无环图的归约算法,使归约后的图中的顶点数量尽可能地与给定片上网络中的节点数量相同。提出的图归约算法可以有效地识别出所有可归约子图,这些可归约子图可被归约为单一顶点。新算法的适用范围从嵌套图扩展到了任意图,并且拥有与原算法相同的复杂度量级。还提出了一种并行化的算法思想来加速可归约子图的搜索过程。

适用于Android智能手机的灰度均值水印算法 作者:彭乐 金聪 单位:华中师范大学计算机学院 武汉430079
85-90

摘要:提出了一种适用于Android智能手机的灰度均值数字水印算法。在嵌入阶段,将经过像素重新组织的水印图像嵌入载体图像中;在提取阶段,先提取出初始水印,再判断初始水印是否需要区域替换,如果需要,则进行区域替换,否则不进行;最后,将初始水印还原成所需的水印图像。实验表明,该算法在具有良好水印透明性的同时,对JPEG压缩、加噪声、裁剪等常见的攻击具有鲁棒性。

基于补偿事务的业务流程异常处理建模研究 作者:雷义伟 贲可荣 单位:海军工程大学计算机工程系 武汉430033
91-94

摘要:对补偿触发条件的判断会影响补偿的正确性,由于业务流程的活动之间具有补偿依赖关系,尤其是并发结构中的补偿依赖,使得流程开发人员在设计补偿流程时容易出错。分析了顺序、选择、并发等几种基本流程结构及其复合结构中的补偿依赖,给出了补偿活动触发条件计算方法和补偿事务的Petri网模型构造过程,并通过实例说明了方法的可行性。

分布式交互应用中服务器放置问题的启发式算法 作者:郑晶晶 张晶 武继刚 单位:天津工业大学计算机科学与软件学院 天津300387
95-98

摘要:分布式交互应用是允许分散在不同地点的多个参与者能实时进行交互的网络系统,它的交互质量在很大程度上取决于网络延迟,而通过对服务器位置的合理布局可以降低网络延迟。因此,服务器放置是影响分布式交互应用的交互性能的关键因素。针对分布式交互应用中服务器放置问题,提出了模拟退火算法和禁忌搜索算法,并与已有的遗传算法进行了比较。通过实验可以看出,尽管在求得较好解的速度方面,遗传算法占据优势,但在求得解的质量方面,提出的模拟退火算法和禁忌搜索算法均优于遗传算法,在服务器数量相同的条件下,延迟平均降低了15.5%和15.2%,更加有效地提高了交互质量。