以ARM为核心的嵌入式体感遥控器设计

介绍一种以ARM为核心的嵌入式服务机器人体感遥控器的设计。硬件上,本遥控器采用具有ARM Cortex—M3内核的STM32F103C8T6作为核心处理器,选用ST公司的iNEMO惯性导航模块进行手部姿态的识别,同时还具有LCD显示模块、无线收发模块和电源模块;软件上,采用嵌入式操作系统μC／OS—Ⅱ实现多任务的调度和外围设备的管理。经实验验证,本遥控器具有高稳定性、高实时性、高可靠性、低误码率等优点。     

通用可靠的串口/以太网网关设计

介绍了一种串口/以太网嵌入式网关的设计方案,详细讨论了串口可靠通信的实现方法,并在开源操作系统RT-Thread和微处理器S3C2440开发板的软硬件平台上实现。网关实际应用于一个无线传感器网络项目,实验表明该网关能实现可靠的数据通信。     

Arnold置乱在零水印中的二次复用

为了提高水印的鲁棒性和减小对应版权信息的大小,本文提出了一种基于Arnold变换、DWT和SVD的零水印算法。该算法将载体图像进行DWT变换,对低频子带进行分块SVD;比较置乱后的最大奇异值的大小,若大于则对应位为1,否则为0;将结果与预处理过的水印做异或运算,得密钥矩阵。该矩阵为检测水印提供密钥。实验证明,本算法对图像压缩、滤波、模糊、噪声及脏图具有良好的鲁棒性。     

Gain‐scheduled dynamic output feedback control for discrete‐time LPV systems

This paper presents synthesis conditions for the design of gain‐scheduled dynamic output feedback controllers for discrete‐time linear parameter‐varying systems. The state‐space matrix representation of the plant and of the controller can have a homogeneous polynomial dependency of arbitrary degree on the scheduling parameter. As an immediate extension, conditions for the synthesis of a multiobjective ??_∞ and ??₂ gain‐scheduled dynamic feedback controller are also provided. The scheduling parameters vary inside a polytope and are assumed to be a priori unknown, but measured in real‐time. If bounds on the rate of parameter variation are known, they can be taken into account, providing less conservative results. The geometric properties of the uncertainty domain are exploited to derive finite sets of linear matrix inequalities based on the existence of a homogeneous polynomially parameter‐dependent Lyapunov function. An application of the control design to a realistic engineering problem illustrates the benefits of the proposed approach. Copyright © 2011 John Wiley & Sons, Ltd.     

Contrast‐enhanced wide‐angle high‐speed polarization modulator for active‐retarder 3‐D displays

Abstract— A contrast‐enhanced wide‐angle high‐speed polarization modulator for active‐retarder 3‐D displays is proposed. By using a double liquid‐crystal‐cell structure together with a dedicated driving scheme and an external quarter‐wave retarder, a high‐performance modulator can be realized, resulting in minimized brightness loss and low cross‐talk levels in fast‐refresh time‐multiplexed 3‐D displays.     

IETM技术在便携式工卡系统中的应用研究

从飞机制造的角度出发,以IETM技术为基础,以带Windows 7操作系统的便携式终端为硬件平台,研究开发应用于某机机载机电设备装配指导的交互式电子工卡系统。文中主要介绍了系统设计的背景知识、开发架构和软硬件实现方法,结合XML和SQL数据库技术创作符合GJB6600标准的应用系统。该系统的成功研制和投入使用可将电子信息技术的最新研究成果用于生产实践,既可有效地减轻生产一线工作人员的劳动强度,又能极大地提高飞机数字化制造效率。     

基于IEC61131-3标准的PLC编辑模块设计与实现

基于IEC61131-3标准设计一个可编程逻辑控制器（PLC）编辑模块,并给出了主要数据结构和算法的设计。通过测试表明用户界面友好,操作简单,对后续开发具指导意义。     

A copper/polyimide Metal-base packaging technology

A unique substrate MCPM (Mitsubishi Copper Polyimide Metal-base) technology has been developed by applying our basic copper/polyimide technology.¹ This new substrate technology MCPM is suited for a high-density, multi-layer, multi-chip, high-power module/package, such as used for a computer. The new MCPM was processed using a copper metal base (110 × 110 mm), full copper system (all layers) with 50-μm fine lines. As for pad metallizations for the IC assembly, we evaluated both Ni/Au for chip and wire ICs and solder for TAB ICs. The total number of assembled ICs is 25. To improve the thermal dispersion, copper thermal vias are simultaneously formed by electro-plating. This thermal via is located between the IC chip and copper metal base, and promotes heat dispersion. We employed one large thermal via (4.5 mm^?) and four small vias (1.0 mm^?) for each IC pad. The effect of thermal vias and/or base metal is simulated by a computer analysis and compared with an alumina base substrate. The results show that the thermal vias are effective at lowering the temperature difference between the IC and base substrate, and also lowering the temperature rise of the IC chip. We also evaluated the substrate’s reliability by adhesion test, pressure cooker test, etc.     

Solid-liquid phase equilibria of benzene + 2-methyl-2-propanol system under high pressures

Solid-liquid phase equilibria of the benzene + 2-methyl-2-propanol system have been investigated at temperatures from 278 to 323 K and pressures up to 300 MPa using a high-pressure optical vessel. The uncertainties of the measurements of temperature, pressure and composition are within ±0.1 K, ±0.5 MPa, and ±0.001 mole fraction, respectively. The freezing pressure at a constant composition increases monotonously with pressure. The eutectic point shifts to a higher temperature and benzene-rich composition with increasing pressure. In order to describe the pressure-temperature-composition relation of high-pressure solid-liquid phase equilibria, a new simple equation has been proposed as follows:

Mechanical procedure for proof construction via closed terms in typed λ calculus

In this paper is presented an algorithm for constructing natural deduction proofs in the propositional intuitionistic and classical logics according to the analogy relating intuitionistic propositional formulas and natural deduction proofs, respectively, to types and terms of simple type theory. Proofs are constructed as closed terms in the simple typed calculus. The soundness and completeness of this method are proved.