On the Consistency of the Normalized Eight-Point Algorithm

A recently proposed argument to explain the improved performance of the eight-point algorithm that results from using normalized data (Chojnacki, W., et al. in IEEE Trans. Pattern Anal. Mach. Intell. 25(9):1172–1177, 2003) relies upon adoption of a certain model for statistical data distribution. Under this model, the cost function that underlies the algorithm operating on the normalized data is statistically more advantageous than the cost function that underpins the algorithm using unnormalized data. Here we extend this explanation by introducing a more refined, structured model for data distribution. Under the extended model, the normalized eight-point algorithm turns out to be approximately consistent in a statistical sense. The proposed extension provides a link between the existing statistical rationalization of the normalized eight-point algorithm and the approach of Mühlich and Mester for enhancing total least squares estimation methods via equilibration. The paper forms part of a wider effort to rationalize and interrelate foundational methods in vision parameter estimation.     

基于Delphi开发的POS系统的研究

零售业是生活中常见的行业，在零售业中引入了电子收款机系统（Point of Sells，POS）即进销存管理系统，是商店经营中的最热门的话题之一。这种进销存管理系统一般是现在比较常见的客户端／服务器模式也即C／S模式。文章介绍了采用INSPRISE公司的DELPHI7.0开发工具结合SQL SERVER2000数据库服务器。首先在短时间内建立系统应用原型，然后，对初始原型系统进行需求更迭，不断修正和改进，直到形成用户满意的可行系统。     

用于麦克风阵列的阵元筛选方法研究

在使用TDOA算法进行被动声定向时,为精确获取麦克风阵列阵元之间接收声源信号的时间差,进而计算目标的方位角,麦克风阵元之间必须保持较高的相位一致性。而从论文与专利检索来看,目前还没有有效方法筛选出符合要求的麦克风阵元。针对此问题,本文基于麦克风阵列阵元相位一致性的指标,设计出麦克风阵元筛选系统,通过实测数据分析表明:一致性较高的麦克风更适合组建麦克风阵列。     

Consistency retention method for CNC machine tool digital twin model

Computer Numerical Control Machine Tool (CNCMT) Digital Twin (DT) model is a carrier for complex, time-varying, coupled data of CNCMT, which can theoretically provide a time-varying high-fidelity model. However, there are still many difficulties in its implementation process. And the key issue is how to realize the updated DT model with performance attenuation and validate it. In order to solve this problem, a model consistency retention method for CNCMT DT model is studied and proposed in this paper. Firstly, the framework of consistency retention method for DT model is designed including both digital space and physical space. The principles of data management and performance attenuation update in digital space are elaborated. Then, the implementation method for consistency retention of CNCMT DT model is studied in terms of performance attenuation update workflow for wear and other damage separately. Finally, a case study for the establishment and application of high-fidelity test bench DT model that focusing on rolling guide-rail is carried out to show the implementation flow of the proposed method and verify its operability and effectiveness.     

Dynamics of the wet-end section in paper mills

A model representing the wet-end section of a paper mill has been developed to characterize its dynamic behavior during the grade change. The model is based on the mass balance relationships written for the simplified wetend white water network. From the linearization of the dynamic model, higher-order Laplace transfer functions were obtained followed by the reduction procedure to give simple lower-order models in the form of 1^st-order or 2^nd-order plus dead times. The dynamic response of the wet-end is influenced both by the white water volume and by the level of wire retention. Effects of key manipulated variables such as the thick stock flow rate, the ash flow rate and the retention aid flow rate on the major controlled variables were analyzed by numerical simulations. The simple dynamic model developed in the present study can be effectively used in the operation and control. This paper is dedicated to Professor Se Ki Moon on the occasion of his retirement from Hanyang University.     

Effect of scraped-surface tube cooler temperatures on the physical properties of palm oil margarine

The effects of scraped-surface tube cooler temperatures on the isothermal solid fat content (SFC) of palm oil margarine during processing and on margarine consistency (yield value, g/cm²), SFC, and polymorphic changes in storage were studied. SFC was measured in the mixing tank after leaving the tube cooler and the pin worker. The SFC at the tube cooler exit was proportional to the amount of cooling; a higher SFC was produced by more extreme cooling treatment. The SFC of all margarines were reduced in the pin worker, and the reduction was related to the initial SFC profile of palm oil. Margarine samples were stored at 28°C for 28 d and tested daily. Margarine processed at 25°C in the tube cooler had the highest consistency and the least change in SFC, but by the second week crystals had transformed into the β form. Uniform product consistency and SFC were observed in margarines processed at 20 and 15°C. These margarines retained the β′ crystal form for 3 and 4 wk, respectively. The best palm oil margarine was obtained with a tube cooler temperature of 15°C and a residence time of 1.8 min.     

Harmonizing architectural decisions with component view models using reusable architectural knowledge transformations and constraints

Architectural design decisions (ADDs) have been used in recent years for capturing design rationale and documenting architectural knowledge (AK). However, various architectural design views still provide the most common means for describing and communicating architectural design. The evolution of software systems requires that both ADDs and architectural design views are documented and maintained, which is a tedious and time-consuming task in the long run. Also, in lack of a systematic and automated support for bridging between ADDs and architectural design views, decisions and designs tend to become inconsistent over time. In our proposal, we introduce a reusable AK transformation language for supporting the automated transformation of reusable AK knowledge to component-and-connector models, the architectural design view used most commonly today. In addition, reusable consistency checking rules verify the consistency between decisions and designs. We evaluate our approach in an industrial case study and show that it offers high reusability, provides automation, and can, in principle, deal with large numbers of recurring decisions.     

飞腾平台中硬件数据压缩的驱动设计与实现

数据压缩是有效处理大数据的关键技术,在飞腾处理器平台上基于zlib库的数据压缩通常采用软件的方式实现,在数据处理量大而且实时性要求较高的情况下,已经难以满足需求。针对这个问题,通过研究zlib编程函数库,结合飞腾处理器的特性,完成了飞腾平台中硬件数据压缩的驱动设计与实现,其中提出了双向DMA传输技术和基于一致性内存的命令环机制,从而进一步提高了基于硬件的数据压缩的效率。通过实验证实了飞腾平台中采用硬件数据压缩改进的有效性。     

UML模型和Java代码之间的一致性检测方法

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的.