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

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

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

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

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

该文介绍了软件功能测试用例的设计过程在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.

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

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

螯合态微量元素桉树专用肥对桉树的促生效果

对"中化"牌螯合态微量元素按树专用肥促进林木生长的效果进行综合评价.通过几种肥料的对比试验表明:"中化"牌螫合态微量元素按树专用肥对桉树有明显的促生作用.施用该专用肥,按树长势旺盛,成活率高,树形整齐,树干通直匀称.螯合态微量元素桉树专用肥是理想的按树专用肥,值得在桉树上推广使用.     

常规火焰原子吸收光谱法测定水中的痕量砷

利用砷、镉在 2 2 8.8nm波长处重叠谱线的光谱干扰效应 ,研究了砷、镉共存体系的干扰特点 ,采用均匀设计 ,数学方法和计算机技术进行数据处理 ,实现了用常规火焰原子吸收光谱法同时测定痕量砷和镉 ,其中测定砷的灵敏度可达 10ng/ml,利用该方法分析了水中的痕量砷 ,其结果令人满意。     

Chemical amplification — A novel approach to ultratrace analysis

The lowest concentration that can be estimated with 100% error in chemical analysis by instrumental technique is referred to as detection limit. It is equal to the ratio of twice the background signal to the magnitude of analytical signal corresponding to a concentration of unity. Detection limit (dl) could be improved if the analytical signal alone could be selectively amplified without affecting the background. It is shown that this could be achieved by chemical amplification. Atomic amplification of two or three orders of magnitude could be obtained by combining two chemical amplifications in series. It is demonstrated that by using heteropoly acid formation as the first amplification reaction and determining molybdenum in the heteropoly acid by catalyticdc polarographic wave, a detection limit for the hetero atom of less than a ppb can be obtained. It is pointed out that the approach of selectively amplifying analytical signals by tandem chemical amplification reactions makes it possible to perform ultratrace analysis (ppb level) with classical instrumental analytical techniques which havedl at ppm level.