一种支持历史航迹和预查询的动目标索引方法

随着目标检测技术和传感器网络技术的发展,高效的目标信息索引方法可以提高系统性能和稳定性.因此,提出了一种动目标索引方法SSTR-tree,能将历史索引和预测索引结合,实现全时态查询,具有较高的更新、查询效率;通过设置有效时间段索引,对无效时间段内信息只记录目标突变信息,提高了动目标航迹管理的效率.通过实验证明,与传统的哈希存储和3 DR-tree索引方法相比较,SSTR-tree动目标索引方法更新和查询效率更优.     

嵌入式Linux内核运行态性能可视化分析方法的设计与实现

介绍了嵌入式Linux操作系统下的一种内核运行态可视化性能分析方法.它采用Linux的字符设备驱动技术,Linux内核源代码内的探针嵌入以及内核补丁技术,基于Socket的Linux端与Windows端的TCP通信技术和Windows端的图形化显示技术,以模块化方式实现了在Windows宿主操作系统下对Linux操作系统运行时系统事件状态变化的图形化地观察手段,从而辅助软件开发人员方便地去诊断和解决嵌入式Linux系统中存在的调度问题、性能问题以及定时问题等.     

关于并发系统分支互模拟关系发散性保持的研究

带发散性说明的分支互模拟是van Glabbeek和Weijland提出的一个概念,并被用来定义等价关系.该等价关系应该是最弱的一个发散性保持的并且满足分支互模拟性质的等价关系.然而在概念提出时并没有提供这些重要性质的证明,并且我们认为在原定义的基础上这个证明是不显然的.本文通过co-induction的手段利用染色迹的概念定义了着色完全迹等价,并证明该等价关系是最弱的一个保持发散的并且满足分支互模拟性质的等价关系.然后我们证明了着色完全迹等价关系和≈_b^△是相同的,因而补充了van Glabbeek和Weijland的工作,即证明了≈_b^△是最弱的一个保持发散的并且是满足分支互模拟性质的等价关系.     

大坡降复合式水平旋流内消能泄洪洞阻塞扩散段试验研究

以两河口水电站3#导流洞改建为复合式大坡降水平旋流内消能泄洪洞为例,对大坡降水平旋流洞末端和导流洞之间的衔接方式进行了试验研究。提出了阻塞渐扩和阻塞突扩两种不同的衔接方式,并对两种旋流扩散体型局部流态及壁面压强、断面掺气浓度、旋流扩散轨迹等水力特性进行了量测与分析,得到各体型旋流扩散段流态及各项水力特性随上游水位变化的基本规律。     

Computation and the Three Worlds

Discussions about the achievements and limitations of the various approaches to the development of intelligent systems can have an essential impact on empirically based research, and with that also on the future development of computer technologies. However, such discussions are often based on vague concepts and assumptions. In this context, we claim that the proposed `three-world ontology' offers the most appropriate conceptual framework in which the basic problems concerned with cognition and computation can be suitably expressed and discussed, although the solutions of some of these problems seem to lie beyond the horizon of our current understanding. We stress the necessity to differentiate between authentic and functional cognitive abilities; although computation is not a plausible way towards authentic intelligence, we claim that computational systems do offer virtually unlimited possibilities to replicate and surpass human cognitive abilities on the functional level.     

软件功能测试用例的设计过程及实践

该文介绍了软件功能测试用例的设计过程在RMDB系统中的实践,并对测试用例进行评审和追踪,从而提高功能测试用例的设计效率。     

基于动力学分析的深海集矿机轨迹跟踪研究

分析深海集矿机轨迹跟踪的研究现状,研究集矿机的动力学模型,进行合理的简化,面向深海底采矿环境的特殊性、深海集矿机液压系统固有的强非线性、行走阻力随调节强度伴生变化等特征。基于非线性剪切力—位移关系的线性化方法和对动态阻力项引入一个前馈补偿项来消除伴生阻力方式,设计了一个基于带有前馈阻力补偿的线性反馈的控制器,较好地实现了集矿机轨迹跟踪;仿真结果验证了该算法的有效性。     

Real-time predictive zoom tracking for digital still cameras

Zoom tracking is becoming a standard feature in digital still cameras (DSCs). It involves keeping an object of interest in focus during the zooming-in or zooming-out operation. Zoom tracking is normally achieved by moving the focus motor in real-time according to the so-called trace curves in response to changes in the zoom motor position. A trace curve denotes in-focus motor positions versus zoom motor positions for a specific object distance. A zoom tracking approach is characterized by the way these trace curves are estimated and followed. In this paper, a new zoom tracking approach, named predictive zoom tracking (PZT), is introduced based on two prediction models: auto-regressive and recurrent neural network. The performance of this approach is compared with the existing zoom tracking approaches commonly used in DSCs. The real-time implementation results obtained on an actual digital camera platform indicate that the developed PZT approach not only achieves higher tracking accuracies but also effectively addresses the key challenge of zoom tracking, namely the one-to-many mapping problem.

玻璃污迹的小波识别方法研究

本文提出玻璃污迹的直方图小波包检测方法 .该方法能以不同的分辨率快速、准确地进行图像污迹程度的检测 .小波包的高低频特征及求取直方图凸包面积残差法 ,既能大大降低了图像处理的计算工作量 ,又能够消除噪声及异样污迹 (杂物 )的干扰 .文章借助污浊因子提出了一个判别洁净度的量化概念 ,并在实验中得到验证 .针对擦洗作业实际 ,文章提出背景图像人工和自动初始化的方法 ,最后给出并讨论了一个实验的结果