A family of maximal surfaces in Lorentz-Minkowski three-space

We prove the existence of an infinite family of complete spacelike maximal surfaces with singularities in Lorentz-Minkowski three-space and study their properties. These surfaces are distinguished by their number of handles and have two elliptic catenoidal ends.

     

The Recognition of Double Euler Trails in Series-Parallel Networks

Given a series-parallel network (network, for short)N, its dual networkN′ is given by interchanging the series connection and the parallel connection of networkN. We usually use a series-parallel graph to represent a network. LetG[N] andG[N′] be graph representations ofNandN′, respectively. A sequence of edgese₁, e₂,…,e_kis said to form a common trail on (G[N], G[N′]) if it is a trail on bothG[N] andG[N′]. If a common trail covers all of the edges inG[N] andG[N′], it is called adouble Euler trail.However, there are many different graph representations for a network. We say that a networkNhas a double Euler trail (DET) if there is a common Euler trail for someG[N] and someG[N′]. Finding a DET in a network is essential for optimizing the layout area of a complementary CMOS functional cell. Maziasz and Hayes (IEEE Trans. Computer-Aided Design9(1990), 708–719) gave a linear time algorithm for solving the layout problem in fixedG[N] andG[N′] and an exponential algorithm for finding the optimal cover in a network without fixing graph representations. In this paper, we study properties of subnetworks of a DET network. According to these properties, we propose an algorithm that automatically generates the rules for composition of trail cover classes. On the basis of these rules, a linear time algorithm for recognizing DET networks is presented. Furthermore, we also give a necessary and sufficient condition for the existence of a double Euler circuit in a network.     

Controllable Magnetic Focusing of Cold Atoms on a Chip

We propose a new lens scheme to focus cold atoms by using a controllable inhomogeneous magnetic field from a square current-carrying wire fabricated on a chip. The spatial distributions of the magnetic field are calculated, and the results show that the generated magnetic field is a two-dimensional （2D） quadrupole one and can be used to focus cold atoms or a cold atomic beam. The dynamic processes of cold atoms passing through our square wire layout and its focusing properties are studied by using Monte Carlo simulations. Our study shows that the atomic clouds can be focused effectively by our magnetic lens scheme, and the focal length of the atomic lens and its radius of focused spot can be continuously changed by adjusting the current in the wires.     

Determination of the boiling point distribution of sulfur compounds in light cycle oil using GC with a flame photometric detector and pyrolyzer

A method has been developed to determine the boiling point distribution of sulfur compounds in light cycle oils (LCO'S). The method chosen for this analysis was GC with a flame photometric detector (FPD) and pyrolyzer. Tests were carried out to evaluate the recovery efficiency, repeatability, and accuracy of the method. Repeatabilities within 2% were obtained. The recovery of benzothiophenes and dibenzothiophenes was close to 100%; this was important because these are the major sulfur components in LCO's. No hydrocarbon or solvent interferences were observed with the use of the pyrolyzer, even for a 95% solvent level. Comparison with results from other techniques showed that the method accurately determined the levels of sulfur compounds in the LCO boiling point range.     

硅晶片双面超精密化学机械抛光

为提高硅晶片双面超精密抛光的抛光速率,在分析双抛工艺过程基础上,采用自制大粒径二氧化硅胶体磨料配制了SIMIT8030-Ⅰ型新型纳米抛光液,在双垫双抛机台上进行抛光实验.抛光液、抛光前后厚度、平坦性能及粗糙度通过SEM、ADE-9520型晶片表面测试仪、AFM进行了表征.结果表明:与进口抛光液Nalco2350相比,SIMIT8030-Ⅰ型抛光液不仅提高抛光速率40%(14μm/h vs 10μm/h);而且表面平坦性TTV和TIR得到改善;表面粗糙度由0.4728nm降至0.2874nm,即提高抛光速率同时显著改善了抛光表面平坦性和粗糙度.     

Ubiquitous Information Services with JAIN Platform

To provide responsive information services in a ubiquitous computing environment, service software and system development are indispensable. A component-based ubiquitous information system with a JAIN (Java APIs for Integrated Networks) platform to achieve seamless transmissions and reach-everywhere communications was designed in our research. In this development, numerous ubiquitous service modules were identified: location management, roaming, mobile IP and WAP networking. These component-based network modules were constructed using a component composition language with component specification and interface definition, running on top of a distributed service architecture using a JAIN platform to distribute the ubiquitous information services to mobile users. Two applications, Wireless-Application-Protocol (WAP) Mail and Video-on-Demand (VoD) services, show that the JAIN-like platform with the developed networking components effectively fills the gap for application developers between mobile appliances and various kinds of ubiquitous information services.     

An Analog Front‐End Circuit for ISO/IEC 14443‐Compatible RFID Interrogators

An analog front‐end circuit for ISO/IEC 14443‐compatible radio frequency identification (RFID) interrogators was designed and fabricated by using a 0.25 µm double‐poly CMOS process. The fabricated chip was operated using a 3.3 Volt single‐voltage supply. The results of this work could be provided as reusable IPs in the form of hard or firm IPs for designing single‐chip ISO/IEC 14443‐compatible RFID interrogators.     

Pseudorandomness of Basic Structures in the Block Cipher KASUMI

The notion of pseudorandomness is the theoretical foundation on which to consider the soundness of a basic structure used in some block ciphers. We examine the pseudorandomness of the block cipher KASUMI, which will be used in the next‐generation cellular phones. First, we prove that the four‐round unbalanced MISTY‐type transformation is pseudorandom in order to illustrate the pseudorandomness of the inside round function FI of KASUMI under an adaptive distinguisher model. Second, we show that the three‐round KASUMI‐like structure is not pseudorandom but the four‐round KASUMI‐like structure is pseudorandom under a non‐adaptive distinguisher model.     

基于复合顺序形态变换的车牌边缘检测

边缘检测是图像分割的重要环节,边缘提取的好坏直接影响了整个图像处理的效果。数学形态学用具有一定形态结构的“结构元素”去度量图像的形态,以解决图像处理和分析问题。文章通过对多种边缘检测方法的分析比较,结合高速公路路口汽车图像噪声大的特点,提出了基于复合顺序形态变换的车牌边缘检测。该方法不但能有效地改善有噪图像边缘检测的效果,鲁棒性好,而且并行快速,便于硬件实现。     

Can Robots Manifest Personality?: An Empirical Test of Personality Recognition,Social Responses,and Social Presence in Human–Robot Interaction

Personality is an essential feature for creating socially interactive robots. Studies on this dimension will facilitate enhanced human–robot interaction (HRI). Using AIBO, a social robotic pet developed by Sony, we examined the issue of personality in HRI. In this gender-balanced 2 (AIBO personality: introvert vs. extrovert) by 2 (participant personality: introvert vs. extrovert) between-subject experiment (N = 48), we found that participants could accurately recognize a robot's personality based on its verbal and nonverbal behaviors. In addition, various complementarity attraction effects were found in HRI. Participants enjoyed interacting with a robot more when the robot's personality was complementary to their own personalities than when the robot's personality was similar to their own personalities. The same complementarity attraction effect was found in participants' evaluation of the robot's intelligence and social attraction. Participants' feelings of social presence during the interaction were a significant mediator for the complementarity attraction effects observed. Practical and theoretical implications of the current study for the design of social robots and the study of HRI were discussed.