Modelling of the lignin peroxidase LIII of Phlebia radiata: use of a sequence template generated from a 3-D structure

A model of the lignin peroxidase LIII of Phlebia radiata wasconstructed on the basis of the structure of cytochrome c peroxidase(CCP). Because of the low percentage of amino acid identitybetween the CCP and the lignin peroxidase LIII of Phlebia radiata,alignment of the sequences was based on the generation of atemplate from a knowledge of the 3-D structure of CCP and consensussequences of lignin peroxidases. This approach gave an alignmentin which all the insertions in the lignin peroxidase were placedat loop regions of CCP, with a 21.1% identity for these twoproteins. The model was constructed using this alignment andthe computer program COMPOSER, which assembles the model asa series of rigid fragments derived from CCP and other proteins.Manual intervention was required for some of the longer loopregions. The -helices forming the structural framework, andespecially the haem environment of CCP, are conserved in theLIII model and the core is close packed without holes. A possiblesite of the substrate oxidation at the haem edge of LIII isdiscussed.     

Conceptual modelling of web sites for end-users

Internet and the WWW more and more play an important role in our information society. It is now one of the major sources of information in every rank of our society. The overwhelming accessibility to data, on a global scale, does not necessarily translate to widespread utility of data. We often find that we are drowning in data, with few tools to help managing relevant data for our various activities. In this paper, we argue that the WWW and its end-users could benefit from the existence of a conceptual web site schema. We propose such a conceptual web site schema that describes what information is available in a web site and how this information is structured into pages and links. To allow to communicate this information through the web, we developed an XML Document Type Definition (DTD) for this conceptual web site schema. We also illustrate the feasibility of the approach by a simple application program developed using the XML Document Object Model (DOM). This revised version was published online in August 2006 with corrections to the Cover Date.     

Rubber-assisted embossing of polymer thin films using molds with through-thickness microchannels

A flexible microfluidic chip is difficult to fabricate using the standard hot embossing technology. In this study, rubber-assisted embossing of polymer thin films using molds with through-thickness microchannels was investigated. The polymer film was thermoformed into the microchannels by rubber as a soft counter-tool. Different processing conditions, as well as material selections, affecting the thickness uniformity and replicated depth were examined. Results indicated that smoother surfaces on the embossed articles were created, and the thickness uniformity and the depth of the embossed channel were significantly affected by the embossing temperature, the embossing pressure, and the rubber hardness. The embossed film was sealed on one side with a layer of transparent adhesive film to form closed microchannels, and desired 3-D flow characteristics were obtained with this flexible microfluidic chip.     

Factorization of multipliers in passivity and IQC analysis

Multipliers are often used to find conditions for the absolute stability of Lur’e systems. They can be used either in conjunction with passivity theory or within the more recent framework of integral quadratic constraints (IQCs). We compare the use of multipliers in both approaches. Passivity theory requires that the multipliers have a canonical factorization and it has been suggested in the literature that this represents an advantage of the IQC theory. We consider sufficient conditions on the nonlinearity class for the associated multipliers to have a canonical factorization.     

Supervisory control synthesis of discrete-event systems using a coordination scheme

Supervisory control of distributed DES with a global specification and local supervisors is a difficult problem. For global specifications, the equivalent conditions for local control synthesis to equal global control synthesis may not be met. This paper formulates and solves a control synthesis problem for a generator with a global specification and with a combination of a coordinator and local controllers. Conditional controllability is proven to be an equivalent condition for the existence of such a coordinated controller. A procedure to compute the least restrictive solution within our coordination control architecture is provided and conditions under which the result coincides with the supremal controllable sublanguage are stated.     

A note on controllability of deterministic context-free systems

In this paper, we prove that the most important concept of supervisory control of discrete-event systems, the controllability property, is undecidable for two deterministic context-free languages $K$ and $L$, where $L$ is prefix closed, even though $K$ is a subset of $L$. If $K$ is not a subset of $L$, the undecidability follows from the work by Sreenivas. However, the case where $K$ is a subset of $L$ does not follow from that work because it is decidable whether $K$ and $L$ are equivalent as shown by Sénizergues. Thus, our result completes this study. The problem is also mentioned as open in the Ph.D. thesis by Griffin, who extended the supervisory control framework so that the specification language is modeled as a deterministic context-free language (compared to the classical approach where the specification is regular) and the plant language is regular. This approach is of interest because it brings an opportunity for more concise representations of the specification (as discussed, e.g., in the work by Geffert et al.) and, therefore, in some sense it treats the most interesting problem of current supervisory control theory, the state-space explosion problem.     

Channel Adaptive Quantization for Limited Feedback MIMO Beamforming Systems

Multiple-input multiple-output (MIMO) wireless systems can achieve significant diversity and array gain by using transmit beamforming and receive combining techniques. In the absence of full channel knowledge at the transmitter, the transmit beamforming vector can be quantized at the receiver and sent to the transmitter using a low-rate feedback channel. In the literature, quantization algorithms for the beamforming vector are designed and optimized for a particular channel distribution, commonly the uncorrelated Rayleigh distribution. When the channel is not uncorrelated Rayleigh, however, these quantization strategies result in a degradation of the receive signal-to-noise ratio (SNR). In this paper, switched codebook quantization is proposed where the codebook is dynamically chosen based on the channel distribution. The codebook adaptation enables the quantization to exploit the spatial and temporal correlation inherent in the channel. The convergence properties of the codebook selection algorithm are studied assuming a block-stationary model for the channel. In the case of a nonstationary channel, it is shown using simulations that the selected codebook tracks the distribution of the channel resulting in improvements in SNR. Simulation results show that in the case of correlated channels, the SNR performance of the link can be significantly improved by adaptation, compared with nonadaptive quantization strategies designed for uncorrelated Rayleigh-fading channels     

设计与制造之间的界面优化

分辨率增强技术（RET）设计流程中聚集了各式各样的点工具和方法。当前对深亚波长可制造性（DFM）设计的要求迫使设计与制造行业必须建立十分密切的合作关系。同时也促使EDA行业提供一种平台，以促进这些行业间的密切交流。合理利用这一平台将会对产能和品质产生直接的影响。