Information Visualization Within a Digital Video Library

The Informedia Digital Video Library contains over a thousand hours of video, consuming over a terabyte of disk space. This paper summarizes the multimedia abstractions used to represent this video in prior systems and introduces the visualization techniques employed to browse and navigate multiple video documents at once.     

非线性动态系统“黑箱”建模方法的研究

本文研究弱非线性动态系统“黑箱”建模的理论和方法，并简要给出根据此方法建模的结果。     

Increasing testing productivity and software quality: A comparison of software testing methodologies within NASA

Pressure to compress the development life cycle and reduce the duration and resources committed to testing lead to experimentation in testing at the NASA Goddard Space Flight Centerís Software Engineering Laboratory. This study investigates the trend to reduce developer testing and increasingly rely upon inspection techniques and independent functional testing to shorten the development life cycle, improve testing productivity, and improve software quality.An approach is developed to conduct this comparison. In particular, the problem faced by software researchers, having a comprehensive characterization of software projects so similar types may be identified for comparative studies, is addressed using expert opinion.     

Stability of impulsive stochastic functional differential systems in terms of two measures via comparison approach

Comparison principles for general impulsive stochastic functional differential systems are established.Employing the comparison principles and the theory of differential inequalities,stability and instability,involving two measures,of impulsive stochastic functional differential systems are investigated.Several stability and instability criteria are obtained,and two examples are also given to illustrate our results.     

贝加莱ACOPOSmulti在奇瑞6关节机器人控制系统中的应用

本文关于贝加莱ACOPOSmulti伺服系统和机器人软件库在奇瑞6关节机器人研发中的应用。介绍了机器人机械系统的组成和性能参数,重点描述了以APC820工控机和ACOPOSmuhi伺服驱动器为核心。基于EthernetPOWERLINK工业实时以太网和AutomationStudio集成软件开发平台的机器人控制系统,并讨论了通过MATLAB／Simulink的代码自动生成技术、ACOPOSmuhi驱动系统的负载惯量前馈技术等关键技术环节。     

物联网对图书馆事业的双重影响

作为信息产业的第三次浪潮,物联网技术的发展与应用为人与物、物与物之间的信息交换创造了一个全新的平台。国内物联网技术研究与应用的不断深入,将对图书馆事业的发展产生深远影响。文中探讨了物联网对图书馆事业的双重影响,分析了物联网技术带来的优势和挑战,最后强调了以技术为依托,回归服务本质的理念。     

处理器验证激励在线筛选技术

如何生成高质量的验证激励是功能验证中的核心问题之一.随着功能验证的不断进行,验证激励的有效性也随之降低.为了提高验证激励的质量,提出一种在线筛选技术来处理验证激励.该技术采用单分类支持向量机来在线地构建分类器,以对新生成的验证激励是否冗余进行预测,如果是冗余的,则不进入仿真阶段进行仿真.在此基础上,进一步提出指令序列核函数来衡量不同指令序列的相似程度.实验结果表明,与约束随机生成技术相比,文中技术可以减少约83%的验证激励及79%的验证时间.     

基于基因表达式的克隆选择算法求解JSP问题

针对作业车间调度问题的特征,提出一种基于基因表达式的克隆选择算法。在这个方法中,采用基因表达式编程算法中的编码方式来表示调度方案,同时为了提出的方法具有更强的全局搜索能力,运用克隆选择算法作为搜索引擎。最后,验证提出的方法的有效性,对7组Benchmark实例进行测试。实验结果表明,基于基因表达式的克隆选择算法在求解作业车间调度问题中是非常有效的。     

基于遗传算法的数据挖掘技术在图书馆中的应用研究

图书馆作为信息的传统提供者,在长期的服务过程中积累了丰富的数据信息资源。将先进的数据挖掘技术引入图书馆行业,可以从现有数据资源中发掘有价值的信息,从而更好地优化馆藏、满足读者的需求和为图书管理人员提供决策支持。本文首先介绍数据挖掘和关联规则挖掘的概念,接着将遗传算法应用于关联规则挖掘中,最后通过实例挖掘图书馆读者和图书之间的关联规则。     

机器人足球比赛系统中的机器人任务分配方法

针对基于遗传算法的多机器人任务分配方法中,由于初始种群是随机产生不能很好地表征整个解空间,而容易陷入局部最优解的问题,提出一种新的多机器人任务分配方法。该方法根据机器人效用函数值来确定个体基因,从而产生初始种群,并引进分层遗传算法来实现具有不同最优基因的群体分开演化。仿真实验表明,该方法比传统的遗传算法有更高的寻优效率和更快的收敛速度。