High quality 3D reconstruction based on fusion of polarization imaging and binocular stereo vision

Polarization imaging can retrieve inaccurate objects’ 3D shapes with fine textures, whereas coarse but accurate depths can be provided by binocular stereo vision. To take full advantage of these two complementary techniques, we investigate a novel 3D reconstruction method based on the fusion of polarization imaging and binocular stereo vision for high quality 3D reconstruction. We first generate the polarization surface by correcting the azimuth angle errors on the basis of registered binocular depth, to solve the azimuthal ambiguity in the polarization imaging. Then we propose a joint 3D reconstruction model for depth fusion, including a data fitting term and a robust low-rank matrix factorization constraint. The former is to transfer textures from the polarization surface to the fused depth by assuming their relationship linear, whereas the latter is to utilize the low-frequency part of binocular depth to improve the accuracy of the fused depth considering the influences of missing-entries and outliers. To solve the optimization problem in the proposed model, we adopt an efficient solution based on the alternating direction method of multipliers. Extensive experiments have been conducted to demonstrate the efficiency of the proposed method in comparison with state-of-the-art methods and to exhibit its wide application prospects in 3D reconstruction.     

基于PBFT区块链技术的电网企业仓储系统

提出了一种基于实用拜占庭容错(PBFT)算法的区块链技术,首先对传统的实用拜占庭容错算法原理进行了阐述,该传统算法包含前期、需求、预准备、准备、确认、答复6个阶段,但传统算法具有实时性差、缺乏惩罚机制、带宽高的缺点。针对出现的这些问题,又对传统算法进行了改进,具体涉及记账节点、共识过程以及视图切换过程。通过测试进一步证明了该改进算法的实用性,并将该算法应用于电网企业中,构建的虚拟仓库实现了联储联备,降低了库存资金的耗费,并且提高了电网企业库存管理的效率。     

机载通信电台通电老炼检测系统设计与实现

为保证航材备件的完好率，解决仓储机载通信电台长期不通电导致的装备性能下降甚至出现故障的问题，综合运用自动测试、虚拟仪器、面向信号设计等技术，以计算机为核心，以PXI仪器、GPIB仪器为依托，以多种总线接口为纽带，构建了一种可靠性高、通用性好、操作简便、可扩展性强的自动化通电老炼平台。通过在航材仓库中使用，证明该电台老炼检测系统降低了仓储通信电台的失效率，提高了仓储电台的完好率。     

从数据库到数据仓库——广电未来的制胜武器

在目前数据爆炸、信息匮乏的情况下，需要利用数据仓库系统集成1个或多个独立传统数据库数据，通过分析海量数据发现市场潜在规律，获取商业信息以支持商业决策，这将是广电未来的制胜武器。     

基于数据挖掘的OLAP分析技术及应用

数据仓库和数据挖掘技术是目前信息技术研究的热点问题之一,介绍了数据挖掘(data mining)、数据仓库(datawarehouse)及联机分析处理(OLAP)技术。并以零售业决策支持系统为例,介绍了该系统的体系结构、数据仓库的设计、系统实现关键技术及各子系统功能,着重论述了如何利用OLAP技术实现企业决策支持系统。     

Generation of Technology-Independent Retargetable Analog Blocks

This paper introduces a complete methodology for retargeting of analog cells to different sets of specifications. This methodology is technology-independent, thus allowing the migration, from one technology to another, of the circuit under retargeting. Careful integration of the device sizing and layout generation tasks via the incorporation of layout constraints during the sizing process allows to generate fully functional designs in a few minutes. The methodology is illustrated via the retargeting of a fully-differential Miller-compensated two-stage operational amplifier for a new set of specifications and two different technological processes.An erratum to this article can be found at     

Automating application software generation

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper.     

An automated coding and classification system with supporting database for effective design of manufacturing systems

The philosophy of group technology (GT) is an important concept in the design of flexible manufacturing systems and manufacturing cells. Group technology is a manufacturing philosophy that identifies similar parts and groups them into families. Beside assigning unique codes to these parts, group technology developers intend to take advantage of part similarities during design and manufacturing processes. GT is not the answer to all manufacturing problems, but it is a good management technique with which to standardize efforts and eliminate duplication. Group technology classifies parts by assigning them to different families based on their similarities in: (1) design attributes (physical shape and size), and/or (2) manufacturing attributes (processing sequence). The manufacturing industry today is process focused; departments and sub units are no longer independent but are interdependent. If the product development process is to be optimized, engineering and manufacturing cannot remain independent any more: they must be coordinated. Each sub-system is a critical component within an integrated manufacturing framework. The coding and classification system is the basis of CAPP and the functioning and reliability of CAPP depends on the robustness of the coding system. The proposed coding system is considered superior to the previously proposed coding systems, in that it has the capability to migrate into multiple manufacturing environments. This article presents the design of a coding and classification system and the supporting database for manufacturing processes based on both design and manufacturing attributes of parts. An interface with the spreadsheet will calculate the machine operation costs for various processes. This menu-driven interactive package is implemented using dBASE-IV. Part Family formation is achieved using a KAMCELL package developed in TURBO Pascal.     

The problem of definition expansion and contraction

This article is the fourth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research focuses on finding criteria that would enable an automated reasoning program to expand or contract definitions wisely. For evaluating a proposed solution to this research problem, we include suggestions concerning possible test problems.This work was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38.