工学 >>> 计算机科学技术 >>> 计算机系统结构 >>> 计算机运行测试与性能评价 >>>
搜索结果: 1-15 共查到知识库 计算机运行测试与性能评价相关记录151条 . 查询时间(2.282 秒)
哈尔滨工程大学计算机科学与技术学院科研成果系列发布(第二十九期)。
Face detection algorithm based on a cascade of ensembles of decision trees (CEDT) is presented. The new approach allows detecting faces other than the front position through the use of multiple classi...
Directional Type Checking of Logic Programs     Directional Type  Checking  Logic Programs       font style='font-size:12px;'> 2016/5/24
We present an algorithm for automatic type checking of logic programs with respect to directional types that describe both the structure of terms and the directionality of predicates. The type checkin...
Soundness and its Role in Bug Detection Systems     Soundness  Role  Bug Detection Systems       font style='font-size:12px;'> 2016/5/24
The term soundness originated in mathematical logic: a deductive system is sound with respect to a semantics if it only proves valid arguments. This concept naturally extends to the context of optimiz...
Saturn: A SAT-Based Tool for Bug Detection     Saturn  SAT-Based Tool  Bug Detection       font style='font-size:12px;'> 2016/5/24
Saturn is a boolean satisfiability (SAT) based framework for static bug detection. It targets software written in C and is designed to support a wide range of property checkers.
Effective Static Race Detection for Java     static race detection  Java  synchronization  concurrency  multi-threading       font style='font-size:12px;'> 2016/5/24
We present a novel technique for static race detection in Java programs,comprised of a series of stages that employ a combination of static analyses to successively reduce the pairs of memory accesses...
Alert Detection in System Logs     Alert Detection  System Logs       font style='font-size:12px;'> 2016/5/24
We present Nodeinfo, an unsupervised algorithm for anomaly detection in system logs. We demonstrate Nodeinfo’s effectiveness on data from four of the world’s most powerful supercomputers: using logs r...
We present an online, scalable method for inferring the interactions among the components of large production systems.We validate our approach on more than 1.3 billion lines of log files from eight un...
多处理器固定优先级算法的可调度性分析     多处理器  实时调度  固定优先级  可调度性判定  干涉       font style='font-size:12px;'> 2012/3/14
针对多处理器实时调度中的固定优先级(FP)调度算法,提出了一种改进的可调度性判定方法。引入Baruah的最早截止期优先(EDF)窗口分析框架,将高优先级任务带入作业的最大数量限定为m-1(m为处理器个数),进而对任务的干涉上界进行重新界定,并由此得到一个更加紧密的可调度性判定充分条件。仿真实验结果表明,该方法增加了通过判定任务集的数量,体现出更优的可调度判定性能。
基于最小覆盖集的WSN数据聚集算法     无线传感器网络  最小覆盖集  错误检测  数据聚集  读向量       font style='font-size:12px;'> 2012/3/5
针对无线传感器网络(WSN)能量有限且网内聚集错误检测率较低的问题,提出一种基于最小覆盖集的WSN数据聚集算法。构造一颗以汇聚节点为根并包含最少中间转发节点的树,其中间转发节点为树的最小覆盖集。在中间转发节点中引入读向量的相似性判断,以去除网内冗余及错误数据。实验结果表明,该算法能减少网内通信能耗,提高收集数据的准确性。
基于向量空间的防欺诈秘密共享方案     秘密共享  访问结构  授权子集  向量空间  黑盒子       font style='font-size:12px;'> 2012/3/1
传统秘密共享方案在防止成员间的欺诈方面存在缺陷。为此,基于线性方程组理论,提出一种新的防欺诈秘密共享方案。新方案在秘密恢复前,需要分2步对授权子集中的参与者份额进行验证,并证明了凡是通过以上2步验证的参与者一定是诚实的。分析结果表明,与其他基于向量空间的秘密共享方案相比,该方案具有更高的安全性。
基于LabVIEW的实时视觉铝合金脉冲MIG焊测控系统     LabVIEW  脉冲MIG焊  实时视觉处理  COM技术       font style='font-size:12px;'> 2012/11/8
针对铝合金脉冲MIG焊过程测控的需要,利用LabVIEW虚拟仪器技术设计铝合金脉冲MIG焊过程多数据的同步实时采集及控制系统.考虑脉冲MIG的特点及开发的效率、控制速度等要求,采用"数据采集卡+PC机+实时控制器"的模式,通过选择LabVIEW做为测控系统的信号采集及处理平台,并在硬件平台设计的基础上,通过COM技术的引入,实现了复杂信号处理算法下的电流、电压与视频信号高速数据流的并行处理.实验表...
企业为了达到ERP 项目既定的目标,需要不断调整或重新策划ERP项目,必须定期对ERP的实施绩效进行诊断。提出了一种基于小波网络的ERP绩效智能诊断方法,在最小均方能量准则下,采用相应的共扼梯度学习算法求解子波函数线性组合的尺度和时延参数,以及神经网络的权值,通过实例应用给出了基于小波网络ERP绩效智能诊断的算法。
预测状态表示综述     动态系统  预测状态表示  发现核心测试  学习模型参数  规划算法       font style='font-size:12px;'> 2010/8/31
预测状态表示是描述离散时间有限状态的动态系统的新方法。使用动作—观测值序列的预测向量表示系统状态在将来时刻发生的概率,能解决现有动态系统决策过程中计算复杂的问题。综述了预测状态表示的基本原理,介绍了预测状态表示的建模过程和规划算法,对已有的建模方法和规划方法进行总结分析和比较,指出了该研究领域的发展方向,最后提出了研究面临的挑战。
一种高效的网格资源监测算法ACTC的改进算法     网格资源监控  ACTC  网格  算法       font style='font-size:12px;'> 2010/9/2
资源监控是网格计算的关键组成部分。资源监控算法既要保证网格系统中资源信息高保真度又要考虑资源信息在网络传输中的负担最低。ACTC算法就是为实现以上目的而被提出,但是算法中对资源信息更新量的动态门槛值(d_threshold)计算方式不合理,有可能导致算法演变成低级的单纯依靠时间敏感机制(TSM)来发送资源更新通知,并且算法中遗漏了一些极端情况的考虑。提出了新的d_threshold计算公式和限制条...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...