搜索结果: 1-15 共查到“知识库 计算机运行测试与性能评价”相关记录151条 . 查询时间(3.062 秒)
哈尔滨工程大学计算机科学与技术学院科研成果系列发布（第二十九期）。
ENHANCEMENT OF FAST FACE DETECTION ALGORITHM BASED ON A CASCADE OF DECISION TREES
Face Detection Cascade Algorithm Decision Trees
2017/6/19
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...
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...
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 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
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...
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...
Online Detection of Multi-Component Interactions in Production Systems
management statistical correlation modeling anomalies signal compression
2016/5/24
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...
针对多处理器实时调度中的固定优先级(FP)调度算法,提出了一种改进的可调度性判定方法。引入Baruah的最早截止期优先(EDF)窗口分析框架,将高优先级任务带入作业的最大数量限定为m-1(m为处理器个数),进而对任务的干涉上界进行重新界定,并由此得到一个更加紧密的可调度性判定充分条件。仿真实验结果表明,该方法增加了通过判定任务集的数量,体现出更优的可调度判定性能。
针对无线传感器网络(WSN)能量有限且网内聚集错误检测率较低的问题，提出一种基于最小覆盖集的WSN数据聚集算法。构造一颗以汇聚节点为根并包含最少中间转发节点的树，其中间转发节点为树的最小覆盖集。在中间转发节点中引入读向量的相似性判断，以去除网内冗余及错误数据。实验结果表明，该算法能减少网内通信能耗，提高收集数据的准确性。
传统秘密共享方案在防止成员间的欺诈方面存在缺陷。为此，基于线性方程组理论，提出一种新的防欺诈秘密共享方案。新方案在秘密恢复前，需要分2步对授权子集中的参与者份额进行验证，并证明了凡是通过以上2步验证的参与者一定是诚实的。分析结果表明，与其他基于向量空间的秘密共享方案相比，该方案具有更高的安全性。
基于LabVIEW的实时视觉铝合金脉冲MIG焊测控系统
LabVIEW 脉冲MIG焊 实时视觉处理 COM技术
2012/11/8
针对铝合金脉冲MIG焊过程测控的需要,利用LabVIEW虚拟仪器技术设计铝合金脉冲MIG焊过程多数据的同步实时采集及控制系统.考虑脉冲MIG的特点及开发的效率、控制速度等要求,采用"数据采集卡+PC机+实时控制器"的模式,通过选择LabVIEW做为测控系统的信号采集及处理平台,并在硬件平台设计的基础上,通过COM技术的引入,实现了复杂信号处理算法下的电流、电压与视频信号高速数据流的并行处理.实验表...
ERP实施绩效的小波网络智能诊断
企业资源计划（ERP） 智能诊断 分类小波网络 共轭梯度法
2010/2/21
企业为了达到ERP 项目既定的目标，需要不断调整或重新策划ERP项目，必须定期对ERP的实施绩效进行诊断。提出了一种基于小波网络的ERP绩效智能诊断方法，在最小均方能量准则下，采用相应的共扼梯度学习算法求解子波函数线性组合的尺度和时延参数，以及神经网络的权值，通过实例应用给出了基于小波网络ERP绩效智能诊断的算法。
预测状态表示是描述离散时间有限状态的动态系统的新方法。使用动作—观测值序列的预测向量表示系统状态在将来时刻发生的概率，能解决现有动态系统决策过程中计算复杂的问题。综述了预测状态表示的基本原理,介绍了预测状态表示的建模过程和规划算法,对已有的建模方法和规划方法进行总结分析和比较,指出了该研究领域的发展方向,最后提出了研究面临的挑战。