Weight distribution and dual distance

Several results in coding theory (e.g. the Carlitz-Uchiyama bound) show that the weight distributions of certain algebraic codes of lengthn are concentrated aroundn/2 within a range of width n. It is proved in this article that the extreme weights of a linear binary code of sufficiently high dual distance cannot be too close ton/2, the gap being of order n. The tools used involve the Pless identities and the orthogonality properties of Krawtchouk polynomials, as well as estimates on their zeroes. As a by-product upper bounds on the minimum distance of self-dual binary codes are derived.     

Toward a formal specification of multimedia synchronization scenarios

This paper introduces time stream Pétri nets (Ts treamPn), a model for the formal specification of multimedia synchronization scenarios. This new model extends time Pétri nets to formally describe the timed behaviour of multimedia objects and streams in asynchronous distributed systems. The proposed approach uses time intervals to label the arcs exiting from the places of the net, and typed transitions to define different firing rules. This model allows a complete and accurate specification of synchronization constraints between multimedia streams and can be used at different levels of granularity.     

Ultraviolet photodetectors and readout based on a-IGZO semiconductor technology

In this work, real-time ultraviolet photodetectors are realized through metal–semiconductor–metal (MSM) structures. Amorphous indium gallium zinc oxide (a-IGZO) is used as semiconductor material and gold as metal electrodes. The readout of an individual sensor is implemented by a transimpedance amplifier (TIA) consisting of an all-enhancement a-IGZO thin-film transistor (TFT) operational amplifier and a switched capacitor (SC) as feedback resistance. The photosensor and the transimpedance amplifier are both manufactured on glass substrates. The measured photosensor possesses a high responsivity R , a low response time t _{R E S} , and a good noise equivalent power value NEP .     

High-performance MEMS shutter display with metal-oxide thin-film transistors and optimized MEMS element

Active matrix prestressed microelectromechanical shutter displays enable outstanding optical properties as well as robust operating performance. The microelectromechanical systems (MEMS) shutter elements have been optimized for higher light outcoupling efficiency with lower operation voltage and higher pixel density. The MEMS elements have been co-fabricated with self-aligned metal-oxide thin-film transistors (TFTs). Several optimizations were required to integrate MEMS process without hampering the performance of both elements. The optimized display process requires only seven photolithographic masks with ensuring proper compatibility between MEMS shutter and metal-oxide TFT process.     

Hardware Implementation of a Fixed-Point Decoder for Low-Density Lattice Codes

Journal of Signal Processing Systems - This paper describes a field-programmable gate array (FPGA) implementation of a fixed-point low-density lattice code (LDLC) decoder where the Gaussian mixture...     

Logic and Interaction: Foreword to the Special Issue

Journal of Logic, Language and Information -     

Thermal modeling in electricity assisted incremental sheet forming

A thermal model was built to account for the effects of geometrical parameters of sheet specimen, process parameters and material parameters on the temperature increase of the sheet specimen in Electricity-Assisted Incremental Sheet Forming (EISF). In the EISF, the local area of sheet specimen contacting with a forming tool is heated by direct current, which flows through the forming tool to the sheet specimen. EISF experiments of two high strength steel sheets were carried out to validate the thermal model. The thermal model can be integrated into the control program of EISF system to achieve more accurate temperature control.