Issues in Managing Information Technology

This paper describes three case studies which investigated issues relating to the implementation and management of advanced information technology. The benefits derived from information technology were found to vary from one organization to another. These studies provide further evidence to support earlier research findings that senior management has an important role to play in the effective exploitation of information technology, and that the investment approach taken by an organization has a significant effect on the development of computer-based information systems. The effectiveness of a system depends not only on applying the appropriate technology, but also on how successfully technical and behavioural issues are resolved.     

赝能隙导致的YBa2(Cu1-xMx)3O7-δ(M=Co,Zn)薄膜的输运性质异常

报道了两类典型元素替代的超导Y123相体系-YBa2(Cu1-xCox)3O7-δ(x=0.01,0.02)和YBa2(Cu1-yZny)3O7-δ(y=0.005,0.010)薄膜的电阻率-温度特性(ρ(T))和Hall效应(RH (T)).研究表明,Co掺杂的Y123相体系十分类似于氧欠掺杂的情况,对Co掺杂的薄膜样品,由电阻率-温度特性定义的赝能隙打开的温度T*分别为193和225K.而Zn掺杂的样品没有观察到赝能隙打开对电阻率-温度特性的影响.由Hall效应的测量和Hall角(cotθH)定义了另一个特征温度T 0,介于Tc与T*之间,这一特征温度与核磁共振(NMR)给出的赝能隙打开温度相近,说明可能源于电子自旋自由度上的能隙打开.在室温到Tc范围内,电阻率-温度特性和Hall效应分别定义了两类不同的转变温度(T*和T 0),可能分别源于电子电荷和自旋通道上的赝能隙的打开,预示着电荷和自旋自由度分别进入某种基态.     

An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

Time-resolved imaging of latent fingerprints with nanosecond resolution

Imaging of latent fingerprints using time-resolved (TR) method offers a broader platform to eliminate the unwanted background emission. In this paper, a novel TR imaging technique is demonstrated and implemented, which facilitates the detection of latent fingerprints with nanosecond resolution. Simulated experiments were carried out with two overlapping fingerprints treated with two fluorescent powders having different lifetimes in nanosecond range. The dependence of the fluorescence emission intensity in nanosecond resolution of TR imaging is also revealed.     

Influence of preparation method on SrMoO4 impurity content and magnetotransport properties of double perovskite Sr2FeMoO6 polycrystals

The magnetic and electric properties of the Sr₂FeMoO₆ compound produced under different preparation conditions were studied. Depending on the preparation condition, a strong variation in the nonmagnetic SrMoO₄ impurity content was found, which in turn determined the metallic or semiconducting behavior of the resistivity of the Sr₂FeMoO₆ compound. There was also evidence that SrMoO₄ played a crucial role in modifying the low magnetic field intergrain tunneling magnetoresistance in Sr₂FeMoO₆. In addition, we have established a simple method to prepare the single phase Sr₂FeMoO₆ polycrystals.     

Singlewall carbon nanotubes covered with polystyrene nanoparticles by in‐situ miniemulsion polymerization

This work is to make carbon nanotubes dispersible in both water and organic solvents without oxidation and cutting nanotube threads. Polystyrene‐singlewall carbon nanotube (PS‐SWNT) composites were prepared with three different methods: miniemulsion polymerization, conventional emulsion polymerization, and mixing SWNT with PS latex. The two factors, crosslinking and surface coverage of PS are important factors for the mechanical and electrical properties, including dispersion states of SWNT in various solvents. The PS‐SWNT composite prepared via a conventional emulsion polymerization showed SWNT bundles entirely covered with PS, whereas the PS‐SWNT composite prepared via a miniemulsion polymerization showed SWNT partially covered with crosslinked PS nanoparticles. The method of mixing SWNTs with PS latex did not show the well dispersed state of carbon nanotubes because PS was not crosslinked and was dissolved in a solvent, and nanotubes separated from PS precipitated. So the PS nanoparticle‐SWNT composite had lower electrical resistance, and higher mechanical strength than the other composites made by the latter two methods. As the amount of SWNT increases, the bare surface area of SWNT increases and the electrical conductivity increases in the composite made by the miniemulsion polymerization. © 2005 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 44: 573–584, 2006