Stabilization of 6H-Hexagonal SrMnO3 Polymorph by Al2O3 insertion

We demonstrate the structural evolution of polymorphic phases in Al₂O₃-inserted SrMnO₃ ceramics synthesized by solid state reaction. While the 4H-hexagonal phase is predominant in pure SrMnO₃ ceramics, a small amount of 6H-hexagonal polymorph is identified in addition to the primary 4H-hexagonal SrMnO₃ and the secondary hexagonal SrAl₂O₄ phases in the as-sintered ceramics, evidenced by x-ray diffraction and subsequent Rietveld refinement analyses. The existence of the 6H-hexagonal SrMnO₃ phase is corroborated using Raman spectroscopy. The chemical compositions and electronic structures of the Al₂O₃-inserted SrMnO₃ compounds are also examined using energy dispersive spectroscopy and x-ray photoelectron spectroscopy, respectively. The first-principles calculations reveal that there is no clear difference between the total energies of 4H- and 6H-hexagonal polymorphs regardless of the presence/absence of Sr and oxygen vacancies. Possible origins are discussed with the estimation of actual strain based on the refined lattice parameter of 6H SrMnO₃.     

A 1 GHz CMOS analog front-end for a generalized PRML read channel

A 1 GHz CMOS analog front-end for general partial response maximum likelihood (GPRML) read channel in hard disk drive application has been implemented in 0.35 /spl mu/m CMOS. A continuous time analog filter fulfills the relaxed equalization for GPRML detection and can save up to 35% power consumption for the whole read channel. An analog DFE-based timing recovery loop is implemented to avoid the extremely long latency in the digital signal processing path (Viterbi decoder). The measured performances is 1.1 dB off simulations at 800 MHz and 1.6 dB off at 1GHz. The chip draws 240 mW from a 3.3 V supply at 800MHz clock and 380 mW from a 3.6 V supply at 1 GHz clock.     

Analysis of conduction heat transfer problems in steady, 2D regions with circular holes using a special boundary integral method

A special boundary integral method developed for two-dimensional regions containing circular holes is used to calculate temperature and heat transfer on the boundaries of several selected regions. The geometrical configuration of the region is arbitrary and convective boundary conditions are assumed. An important feature of the method is analytic representation of temperature and its normal derivative on the interior circular holes in the form of a harmonic series. This makes the application of the boundary integral method convenient and free from conditioning problems associated with small interior boundaries. Heat transfer from circular isothermal interior holes are calculated for several illustrative examples using three terms of the harmonic series representation for heat transfer at each of the circular boundaries. The results are presented and discussed.     

A Cost-Effective Thickness Measurement Technique for Engine Propellers

This paper describes the design and development of a precision calliper system to measure the surface profile of an outboard marine engine propeller blade. Several instruments that are commonly used for measuring the surface profile of a propeller blade are reviewed in this paper. These include the pitch meter, the profilometer and the computer numerical control coordinate-measuring machine (CNC-CMM). However, the operating practices and availability of different facilities in industry necessitate a more cost-effective approach. An alternative method using a precision calliper system is therefore proposed. Details of the design criteria, principles of operation and the testing and verification of the system are presented. The paper concludes that the precision calliper system is a cost-effective method for measuring the surface profile of a propeller.     

Finite-time coordination in multiagent systems using sliding mode control approach

Finite-time stability in dynamical systems theory involves systems whose trajectories converge to an equilibrium state in finite time. In this paper, we use the notion of finite-time stability to apply it to the problem of coordinated motion in multiagent systems. Specifically, we consider a group of agents described by fully actuated Euler–Lagrange dynamics along with a leader agent with an objective to reach and maintain a desired formation characterized by steady-state distances between the neighboring agents in finite time. We use graph theoretic notions to characterize communication topology in the network determined by the information flow directions and captured by the graph Laplacian matrix. Furthermore, using sliding mode control approach, we design decentralized control inputs for individual agents that use only data from the neighboring agents which directly communicate their state information to the current agent in order to drive the current agent to the desired steady state. Sliding mode control is known to drive the system states to the sliding surface in finite time. The key feature of our approach is in the design of non-smooth sliding surfaces such that, while on the sliding surface, the error states converge to the origin in finite time, thus ensuring finite-time coordination among the agents in the network. In addition, we discuss the case of switching communication topologies in multiagent systems. Finally, we show the efficacy of our theoretical results using an example of a multiagent system involving planar double integrator agents.     

Exploring album structure for face recognition in online social networks

In this paper, we propose an album-oriented face-recognition model that exploits the album structure for face recognition in online social networks. Albums, usually associated with pictures of a small group of people at a certain event or occasion, provide vital information that can be used to effectively reduce the possible list of candidate labels. We show how this intuition can be formalized into a model that expresses a prior on how albums tend to have many pictures of a small number of people. We also show how it can be extended to include other information available in a social network. Using two real-world datasets independently drawn from Facebook, we show that this model is broadly applicable and can significantly improve recognition rates.     

Eco-friendly electronics,based on nanocomposites of biopolyester reinforced with carbon nanotubes: a review

ABSTRACT

Fabrication of electronic materials from nanocomposite of biopolyesters reinforced with carbon nanotubes can be regarded as the effective alternative for conventional nanocomposites consisting of non-biodegradable polymers. Commercial availability of biopolyester-based nanocomposites is limited because of their high cost compared to other polymers, but the factor of their compostable nature is worthless for environmental protection. Such nanocomposites have potential applications in biodegradable sensors, EMI materials, etc. In this review, the current progress of biopolyester/CNTs nanocomposites in the field of biodegradable electronics is reviewed and also the impact of CNTs dispersion on electrical, thermal and mechanical properties of eco composites is stipulated.     

3D Simulation Research on Urea-SCR DeNO<em>x Catalyst for Diesel Engine

In order to reduce oxides of nitrogen (NOx) emanated from a diesel eng ine, a comprehensive urea selective catalyst reduction (SCR) DeNOx catalys t was modeled in which numerical simulations were used as a complementary tool f or the experimental investigations to make the design decisions, and hence short en the development process. In this approach, relevant conversion reactions were studied in 1D model, and the parameters obtained in this way were transferred t o 3D simulations. According to the results ...     

直觉线性μ-演算

线性mu-演算(μTL)是线性时序逻辑(LTL)的不动点扩展.LTL是一个便于规范和论证反应式系统的方法.μTL作为比LTL表达能力更强的逻辑,用LTL表示的性质度可由μTL表示.类似于LTL的直觉线性时序逻辑(ILTL),提出一种基于直觉解释的μTL,称为直觉μTL(IμTL).确立了IμTL和ILTL的关系,比较了它们之间的表达能力.讨论了使用IμTL与安全性质和活性描述的关系以及描述"假设-保证"规范的问题.     

直觉线性μ-演算中的合成推理

讨论了以基于前缀封闭集合的Heyting代数的直觉解释的线性μ-演算(IμTL)作为描述“假设-保证”的逻辑基础的问题,提出了一个基于IμTL的“假设-保证”规则.该规则比往常应用线性时序逻辑(LTL)作为规范语言的那些规则具有更好的表达能力,扩展了对形如“always ?”等安全性质的“假设-保证”的范围,具备更一般的“假设-保证”推理能力及对循环推理的支持.