Ada语言的发展

  

Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现… …   相似文献

吴迪  徐宝文 《计算机科学》2014,41(1):1-15,38

垃圾短信的识别与追踪研究*

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

首先分析了短信传输方式：SP-手机和手机-手机,给出基于内容的识别和基于状态的识别方法,设置黑白名单和利用随机验证码的技术在一定程度上可以预防垃圾短信。最后,从短信的传输入手,提出了垃圾短信追踪的两种途径,最终为垃圾短信的诉讼提供法律保证。  相似文献

张燕  傅建明 《计算机应用研究》2006,23(3):245-247

安全高效的可撤销指纹模板构造

下载全文  

指纹特征加密是生物特征识别技术中最为活跃的研究领域之一.然而指纹特征是人体固有的特征,具有唯一性与终身不变性,一旦识别系统中的用户指纹模板丢失,将是永久性的.为了避免用户指纹模板丢失,基于巴特沃斯低通滤波器原型,设计了一组不可逆转换函数,将用户原始指纹模板转换为可撤销指纹模板,不… …   相似文献

喻建平  张鹏  王瑶  杨懿竣 《中国图象图形学报》2013,18(1):36-41

一种有效的Peer-to-Peer自适应拓扑进化协议

下载全文  

现有的无结构Peer-to-Peer(P2P)系统缺乏对拓扑公平性的考虑,并且不能对某些节点的恶意行为进行有效的抑制.其主要原因在于构造的拓扑对节点可信度的不敏感性,忽略了节点在不同领域中可信度的区别.据此,首先给出了基于领域的P2P信任模型的定义,然后在此基础上提出了一种针对无… …   相似文献

张骞  张霞  刘积仁 《软件学报》2007,18(2):400-411

LiveData—基于智能手机传感器的用户数据采集系统

  

智能手机中各种内置传感器的出现使得用户能采集、分析和挖掘传感器数据中的有用信息。介绍了Android平台上用于采集传感器数据的应用LiveData,它可用于记录用户活动时的数据。针对应用LiveData采集的总量为28万条的传感器数据记录,提取了若干特征属性来识别用户的行为,并进… …   相似文献

汪仲伟  孙广中 《计算机科学》2014,41(10):27-30

回归测试用例选择技术研究综述

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

回归测试用例选择(Regression Test Case Selection,RTS)问题是回归测试研究中的一个热点,旨在从已有测试用例集中选择出所有可检测代码修改的测试用例.但迄今为止,国内研究人员并未对RTS问题的已有研究成果进行系统总结和比较.首先在回归测试活动和测试用例… …   相似文献

陈翔  顾卫江  徐慧  顾庆  陈道蓄 《计算机科学》2013,40(10):1-9

图3-着色问题的O链数DNA计算机算法

下载全文  

随着DNA计算的不断发展,如何克服穷举算法带来的指数爆炸问题已成为DNA计算领域的重要研究目标之一.为减少图3-着色问题DNA计算机算法中的DNA链数,本文将Adleman-Lipton模型生物操作与粘贴模型解空间相结合的DNA计算模型进行扩展,通过设计顶点着色器、稀疏图/稠密图搜索器,提出一种用于求解图3-着色问题的DNA计算模型与算法.将本算法与同类算法对比分析表明:本算法在保持多项式操作时间的条件下,将求解n个顶点的图3-着色问题所需DNA分子链数从O(3ⁿ)减少至O(2ⁿ),改进了3-着色问题同类文献的研究结果.… …   相似文献

李肯立  周旭  许进 《电子学报》2008,36(11):2096-2101

高性能低功耗的容错编译技术:错误流压缩算法

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

在许多关键应用中,计算机的高性能、低功耗和高可靠性是必须同时满足的要求.传统的软件容错技术频繁使用和比较分支指令检测错误,带来了巨大的性能和功耗的开销.提出了基于计算数据流模型的错误流模型,并设计了错误流压缩算法.在错误流压缩算法中,利用附加计算压缩了错误流的直径,显著减少了分支指令的数量,而总指令数不变.针对StreamIT提供的快速傅立叶变换测试程序,采用Wattch对错误流压缩算法进行模拟测试.实验结果表明,当循环参数n=2²⁵时,与传统的EDDI算法相比,使用错误流压缩算法可减少分支指令24%以上,IPC提高超过12%,同时,功耗减少了将近5%.给出的推算表明:在该实验中,如果内层循环体的存储指令数量为8,分支指令的减少可以达到43%以上.… …   相似文献

高珑  杨学军 《软件学报》2006,17(12):2425-2437

支持向量学习的多参数同时调节

下载全文  

模型选择是支持向量学习的关键问题.已有模型选择方法采用嵌套的双层优化框架,内层执行支持向量学习,外层通过最小化泛化误差的估计进行模型选择.该框架过程复杂,计算效率低.简化传统的双层优化框架,提出一个支持向量学习的多参数同时调节方法,在同一优化过程中实现模型选择和学习器训练.首先,… …   相似文献

丁立中  贾磊  廖士中 《软件学报》2014,25(9):2149-2159

基于断言的模拟矢量自动生成方法

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

VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,并将传播过程和断言条件一起转化成CLP约束… …   相似文献

李暾  郭阳  李思昆 《软件学报》2004,15(10):1441-1450

中国图象工程：1998

  总被引：5，自引：19，他引：5

此文是关于中国图象工程的度度文献综述系列之四。考虑到目前我国图象工程的研究,图象技术的应用和有关文献的分布情况,我们查看了１９９８年发表在国内１５种有关图象工程重要中文期刊上的近１４００多篇学术研究和技术应用论文,并从中选出３００多篇根据其主要内容进行了分类和统计,  相似文献

章毓晋 《中国图象图形学报》1999,4(5):427-438

如何测量SMP机群可扩放性

下载全文  

可扩放性是并行计算的一个重要性能标准,但是传统的可扩放性准则并不适用于SMP机群.如何测量SMP机群的可扩放性?试图提出该问题的一个解决方案.首先找出并验证问题的根源--处理器集合不等价性.然后,采用处理器集合的观点来全面、正确地观察系统的行为,而并非像传统的做法那样仅仅使用处理… …   相似文献

何家华  陈国良  单久龙 《软件学报》2004,15(7):977-986

无线多媒体传感器网络视频流多路径路由算法

下载全文  

无线多媒体传感器网络中的视频流传输,需要提供多样QoS保障.提出一种基于改进蚁群算法多路径路由算法ACMRA(ant colony based multipath routing algorithm),以寻找具有多种优先级路径的路径集,并对重要性不同的视频数据进行相应路径的选择.… …   相似文献

曹啸  王汝传  黄海平  孙力娟  肖甫 《软件学报》2012,23(1):108-121

多尺度分析的运动注意力计算

  

目的 由于光流估算的缺陷、噪声干扰以及现有运动注意力模型的局限性,导致运动注意力计算结果不能准确反映运动的显著性特征,制约了运动显著图的进一步应用。为提高运动注意力计算的准确性,提出一种基于时—空多尺度分析的运动注意力计算方法。方法 该方法根据视觉运动注意力来自于时—空运动反差的注意力形成机理构建运动注意力模型;通过时间尺度滤波去除噪声影响;鉴于视觉观测对尺度的依赖性,通过对视频帧的多尺度分解,在多个空间尺度进行运动注意力的计算,根据宏块像素值的相关系数大小对低尺度、中低尺度和原始尺度的运动注意力计算结果进行融合,得到最终的运动注意力显著图。结果 对多个视频测试序列的测试,测试结果表明,本文方法比同类方法更能真实有效地反映出视频场景中的运动显著性特征,大大提高了运动显著图的准确性。结论 为有效提高运动注意力计算不准确的问题,提出一种基于时—空多尺度分析的运动注意力计算方法,对于不同复杂视频运动场景,该方法能明显增强运动注意力计算的准确性,为视觉运动注意力的进一步应用奠定了良好基础。… …   相似文献

刘龙  樊波阳 《中国图象图形学报》2014,19(1):101-108

基于扩展概念格的Web关系挖掘

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

针对Web服务因缺少有效的组织和管理机制而产生的应用瓶颈问题,引入基于概念覆盖度函数的扩展概念格,通过构建基于输入和输出参数的Web服务集的扩展概念格模型,给出了Web服务间等价、替代和流关系的离线挖掘算法以及增量和减量的在线更新算法.在真实Web服务集上的测试结果表明,扩展概念… …   相似文献

姜峰  范玉顺 《软件学报》2010,21(10):2432-2444

屏幕空间自适应的地形Tessellation绘制

下载全文  

为了在大规模真实感地形渲染中利用GPU硬件加速的Tessellation技术,在对地形Tessellation原理分析的基础上,提出一种屏幕空间自适应的地形Tessellation绘制算法,实现了在GPU内部对地形模型的三角形自适应细分。该算法采用Tile和Patch的形式对地形… …   相似文献

张兵强  张立民  艾祖亮  张建廷 《中国图象图形学报》2012,17(11):1431-1438

软件流水的低功耗编译技术研究

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

对具有可动态独立调整运行频率/电压的多功能部件配置结构M,基于全局调度的循环依赖关系,使用ILP形式化框架,研究了对给定循环L进行动态频率/电压调整的低功耗软件流水调度的编译优化技术.提出了一种合理而有效的低功耗最优化软件流水调度方法,使其在运行时保持性能不变而消耗的功耗/能量最… …   相似文献

赵荣彩  唐志敏  张兆庆  Guang R. Gao 《软件学报》2003,14(8):1357-1363

脉冲神经网络中神经元突触的硬件实现方案

下载全文  

脉冲神经网络被誉为第三代神经网络,近年来受到许多学者的关注,其优势已经在模式识别、计算机视觉等诸多领域得到了发挥．脉冲神经网络的硬件化是实现其强大计算能力的重要途径,而突触的硬件实现又是其中的一个关键性环节．本文先从SRM模型中脉冲神经元突触的特性曲线入手,用适合FPGA实现的差… …   相似文献

李宏伟  吴庆祥 《计算机系统应用》2014,23(2):16-21

基于测地线距离的广义高斯型Laplacian 特征映射

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

传统的Laplacian 特征映射是基于欧氏距离的近邻数据点的保持,近邻的高维数据点映射到内在低维空间后仍为近邻点,高维数据点的近邻选取最终将影响全局低维坐标.将测地线距离和广义高斯函数融合到传统的Laplacian 特征映射算法中,首先提出了一种基于测地线距离的广义高斯型Lap… …   相似文献

曾宪华  罗四维  王娇  赵嘉莉 《软件学报》2009,20(4):815-824

基于语义理解和机器学习的混合的中文文本情感分类算法框架

  

快速、准确和全面地从大量互联网文本信息中定位情感倾向是当前大数据技术领域面临的一大挑战.文本情感分类方法大致分为基于语义理解和基于有监督的机器学习两类.语义理解处理情感分类的优势在于其对不同领域的文本都可以进行情感分类,但容易受到中文存在的不同句式及搭配的影响,分类精度不高.有监… …   相似文献

徐健锋  许园  许元辰  张远健  刘清 《计算机科学》2015,42(6):61-66