An accurate analytical I-V model for sub-90-nm MOSFETs and its application to read static noise margin modeling

We propose an accurate model to describe the I-V characteristics of a sub-90-nm metal-oxide-semiconductor field-effect transistor(MOSFET) in the linear and saturation regions for fast analytical calculation of the current.The model is based on the BSIM3v3 model.Instead of using constant threshold voltage and early voltage,as is assumed in the BSIM3v3 model,we define these voltages as functions of the gate-source voltage.The accuracy of the model is verified by comparison with HSPICE for the 90-,65-,45-,and 32-nm CMOS technologies.The model shows better accuracy than the nth-power and BSIM3v3 models.Then,we use the proposed I-V model to calculate the read static noise margin(SNM) of nano-scale conventional 6T static random-access memory(SRAM) cells with high accuracy.We calculate the read SNM by approximating the inverter transfer voltage characteristic of the cell in the regions where vertices of the maximum square of the butterfly curves are placed.The results for the SNM are also in excellent agreement with those of the HSPICE simulation for 90-,65-,45-,and 32-nm technologies.Verification in the presence of process variations and negative bias temperature instability(NBTI) shows that the model can accurately predict the minimum supply voltage required for a target yield.     

Spatial Data Mining to Support Environmental Management and Decision Making--A Case Study in Brazil

The growth of geo-technologies and the development of methods for spatial data collection have resulted in large spatial data repositories that require techniques for spatial information extraction, in order to transform raw data into useful previously unknown information. However, due to the high complexity of spatial data mining, the need for spatial relationship comprehension and its characteristics, efforts have been directed towards improving algorithms in order to provide an increase of performance and quality of results. Likewise, several issues have been addressed to spatial data mining, including environmental management, which is the focus of this paper. The main original contribution of this work is the demonstration of spatial data mining using a novel algorithm with a multi-relational approach that was applied to a database related to water resource from a certain region of S~o Paulo State, Brazil, and the discussion about obtained results. Some characteristics involving the location of water resources and the profile of who is administering the water exploration were discovered and discussed.     

A fault-tolerant routing scheme in dynamic networks

In dynamic networks,links and nodes will be deleted or added regularly.It is very essential for the routing scheme to have the ability of fault-tolerance.The method to achieve such a goal is to generate ore than one path for a given set of source and destination.In this paper,the idea of inderval routing is used to construct a new scheme(Multi-Node Label Interval Routing Scheme,or MNILIR scheme)to realizee fault-tolerance.Interval routing is a space-efficinet routing method for netwroks ,but the method is static and determinative,and it cannot realize faulttoloerance.In MNLIR scheme some nodes will have more than one label,thus some parirs of destination and source will have more than one path;the pairs of nodes, which have inheritance relation,will have the shortest path.Using this character,MNLIR scheme has better overall routing performance than the former interval routing scheme,which can be proven by simulations.The common problem concerning the insertion and deletion of nodes and links is considered in this paper.So if the networks have some changes in topology,MNLIR scheme may find alternative path for certain paris of nodes.In this way,fault-tolerance can be realized with only a little space added to store the multi-node labels.     

Preface

It is our great pleasure to announce the publication of this special section in JCST,Selected I/O Technologies for High-Performance Computing and Data Analytics.With the explosive grow th of colossal data from various academic and industrial sectors,many High-Performance Computing(HPC)and data analytics systems have been developed to meet the needs of data collection,processing and analysis.Accordingly,many research groups around the world have explored unconventional and cut ting-edge ideas for the management of storage and I/O.     

The Global Crisis and Academic Communication： The Challenge of Social Networks in Research

The global economic crisis is seriously affecting academic research. The situation is provoking some big changes and an urgent need to seek alternatives to traditional models. It is as if the academic community was reinventing itself; and this reinvention is happening online. Faced with a lack of funding, researchers have determined to help each other develop their projects and they are doing so on social knowledge networks that they have created for this mission. The purpose of this paper is to analyze different social networks designed for academic online research. To this end, we have made a selection of these networks and established the parameters for their study in order to determine what they consist of, what tools they make use of, what advantages they offer and the degree to which they are bringing about a revolution in how research is carried out. This analysis is conducted from both a qualitative and a quantitative perspective, allowing us to identify the percentage of these networks that approach what would be the ideal social knowledge network. As we will be able to confirm, the closer they are to this ideal, the more effective they will be and the better future they will have, which will also depend on the commitment of users to participation and the quality of their contributions.     

Affinity-Based Network Interfaces for Efficient Communication on Multicore Architectures

Improving the network interface performance is needed by the demand of applications with high communication requirements (for example, some multimedia, real-time, and high-performance computing applications), and the availability of network links providing multiple gigabits per second bandwidths that could require many processor cycles for communication tasks. Multicore architectures, the current trend in the microprocessor development to cope with the difficulties to further increase clock frequencies and microarchitecture efficiencies, provide new opportunities to exploit the parallelism available in the nodes for designing efficient communication architectures. Nevertheless, although present OS network stacks include multiple threads that make it possible to execute network tasks concurrently in the kernel, the implementations of packet-based or connection-based parallelism are not trivial as they have to take into account issues related with the cost of synchronization in the access to shared resources and the efficient use of caches. Therefore, a common trend in many recent researches on this topic is to assign network interrupts and the corresponding protocol and network application processing to the same core, as with this affinity scheduling it would be possible to reduce the contention for shared resources and the cache misses. In this paper we propose and analyze several configurations to distribute the network interface among the different cores available in the server. These alternatives have been devised according to the affinity of the corresponding communication tasks with the location (proximity to the memories where the different data structures are stored) and characteristics of the processing core. As this approach uses several cores to accelerate the communication path of a given connection, it can be seen as complementary to those that consider several cores to simultaneously process packets belonging to either the same or different connections. Message passing interface (MPI) workloads and dynamic web servers have been considered as applications to evaluate and compare the communication performance of these alternatives. In our experiments, performed by full-system simulation, improvements of up to 35% in the throughput and up to 23% in the latency have been observed in MPI workloads, and up to 100% in the throughput, up to 500% in the response time, and up to 82% in the requests attended per second have been measured in dynamic web servers.     

Design of a fault diagnosis scheme for a class of singular nonlinear systems

A new fault detection and diagnosis approach is developed in this paper for a class of singular nonlinear systems via the use of adaptive updating rules. Both detection and diagnostic observers are established, where Lyapunov stability theory is used to obtain the required adaptive tuning rules for the estimation of the process faults. This has led to stable observation error systems for both fault detection and diagnosis. A simulated numerical example is included to demonstrate the use of the proposed approach and encouraging results have been obtained.     

Service Oriented Approach State of the Art

For many years, computer systems have emerged; they now occupy an important place in our daily lives. The growing needs and ever increasing use of computer systems have made application development more and more complicated, The complexity of these applications poses problems such as reuse, installation, administration and evolution of applications. The development of applications is related to the evolution of paradigms and approaches to developing them. This paper presents different approaches and paradigms of development starting with the procedural approach, coming up for service, through the component and object-oriented approaches. Also, for each of the approaches we determine the advantages and limitations.     

Online Optimization in Power Systems With High Penetration of Renewable Generation: Advances and Prospects

Traditionally,offline optimization of power systems is acceptable due to the largely predictable loads and reliable generation.The increasing penetration of fluctuating renewable generation and internet-of-things devices allowing for fine-grained controllability of loads have led to the diminishing applicability of offline optimization in the power systems domain,and have redirected attention to online optimization methods.However,online optimization is a broad topic that can be applied in and m...     

Comparative Evaluation of Model Transformation Specification Approaches

Model transformations have become a key element of model-driven software development, being used to transform platform-independent models to platform-specific models, to improve model quality, to introduce design patterns and refactorings, and to map models from one language to another. A large number of model transformation notations and tools exist. However, there are no guidelines on how to select appropriate notations for particular model transformation tasks, and no comprehensive comparisons of the relative merits of particular approaches. In this paper we provide a unified semantic treatment of model transformations, and show how correctness properties of model transformations can be defined using this semantics. We evaluate several approaches which have been developed for model transformation specification, with respect to their expressivity, complexity and support for verification, and make recommendations for resolving the outstanding problems concerning model transformation specification.     

Techno-economic analysis and empirical study of network broadband investment: The case of backbone upgrading

The paper introduces the basic problems of investment in new technologies in an operator telecommunication network. Investment in technologies for delivering broadband services at the metropolitan and backbone levels from technical and economic point of view are evaluated and assessed. In particular, the paper deals with an empirical study and a techno-economic analysis of two key broadband technologies used for upgrading metropolitan and backbone networks: SDH and WDM. The study is based on two basic measures, i.e., CAPEX and OPEX, while the financial assessment of the overall technology deployment uses two economic evaluation measures, i.e., Net Present Value and the Internal Rate of Return. The study is focused on the network of Telekom Slovenije, the incumbent operator in Slovenia. The data used in the study was supplied by the operator. The study showed that in long-term WDM appears to be a more economic solution than the SDH technology. The study pointed out also that any techno-economic evaluation in the area of telecommunication network backbone upgrading should be always based on calculation of several indexes as none of the known indexes taken individually is capable to provide complete picture of the required investment cost and the benefits arising from the used solution.

LIGA activity in Taiwan

This paper describes activities and development of the LIGA technology in Taiwan. The third-generation synchrotron at SRRC, providing the radiation covering an energy range from VUV to soft X-ray, is fully optimized for the wide-range applications in science and technology. In its five-year plan started from 1995, SRRC has identified deep X-ray lithography and related LIGA technology as one of the main focuses of the applied research programs. To integrate a multiple discipline research, SRRC also seeks collaboration with the following organizations in Taiwan: Industrial Technology Research Institute, National Nano Device Laboratory, Chung-Shan Institute of Science and Technology, Universities and Textile Industry. In the near future, LIGA technology will be used to fabricate the microstructures for the scientific and industrial applications, such as zone plate, nozzle, sensor and heat transfer layer for VLSI. During the past year, I had many valuable discussions with professor W. Menz, Dr. H. Lehr and Dr. J. Mohr who inspired and assisted in shaping the present LIGA program. I would like to thank all of our German friends. I would like to extend special thanks to professor A. C.-M. Yang at Tsing-Hua university for the preparation of the thick film photo resist. He developed a brand new method to produce the thick resist without polymerization process. My appreciation also extends to professor C.-L. Kuo at Yunlin institute of technology for the preparation of the Ta stencil mask by EDM machining. For the multiple exposure-development process, I want to thank Dr. M.-C. Jiang, the only full time staff in the LIGA program at present. In writing this paper, I have received a lot of support from the SRRC staff for providing me with the most current data and drawings of TLS. For that, I thank Dr. Ch. Wang, Dr. C.-C. Kuo, Dr. K.-K. Lin, Mr. Z.-I. Cheng and Mr. Z.-C. Chen.     

Development of a methodology for the extraction of BSIM3v3.2.2 parameters of Ge-channel MOSFETs and estimation of analog circuit performance

We have developed an algorithm which utilizes model equations for MOSFETs to extract BSIM3v3.2.2 MOSFET model parameters of Ge-channel transistors. The model represents the entire transfer characteristics from sub-threshold to strong inversion regions and the output characteristics from linear to saturation regions thus capturing all the operating bias conditions of gate to source voltage V_GS and drain to source voltage V_DS. For extraction of various BSIM parameters, the model equations are fitted with reported experimental characteristics, and some with TCAD simulation data of Ge MOSFETs for various geometrical dimensions over a wide range of bias conditions. The algorithm used for extracting BSIM3V3.2.2 parameters by fitting BSIM3v3.2.2 model equations with experimental or simulation data is written in MATLAB code. The extracted BSIM model parameters are employed in ADS circuit simulator to reproduce the transfer characteristics of Ge MOSFETs with the same channel length and channel width of 80 nm for both high and low body bias conditions. The characteristics obtained from ADS match well with those obtained from TCAD simulation using SILVACOATLAS thereby ensuring the accuracy of our extraction methodology. The extracted set of BSIM3V3.2.2 parameters is used to generate transfer and output characteristics of Ge channel pMOSFETs at channel length of 70 nm. The extracted value of threshold voltage, bulk mobility and saturation velocity are −0.2 V, 0.18 m²/V.s and 1.2 × 10⁶ m/s, respectively. Our study reveals that various device parameters such as transconductance, intrinsic voltage gain, and cut-off frequency show a maximum value of 677 μS/μm, 2.7, and 63 GHz, respectively.

     

Mechanical behavior of aluminum foils as micro structural material under low velocity impact loading

 If many works consist in describing the static behavior of micro materials, not one concerns impact loading. Therefore, the proposed work aims to analyze the dynamic behavior of micro material items under low velocity impact loading, with an application for aluminum foils as micro structural material. The purpose of this experimental study is also to establish the feasibility and the performance of an impact testing machine for micro materials. In comparison of quasi-static reference curves, the structural responses of dynamically loading micro plates underline the specificity and so the necessity of impact tests. The material strength repartition exhibiting a few scattering data allows to validate the drop-weight set-up, confirms the differences statistically and authorizes some future investigation. Received: 22 August 2001/Accepted: 8 January 2002 The authors wish to acknowledge the contribution of both Prof. Y. Higo and Prof. K. Takashima of the Precision and Intelligence Laboratory (Tokyo Institute of Technology) and Toyotechnica Corporation for the realization of the micro indentation tests. This paper was presented at the conference of Micro System Technologies 2001 in March 2001.     

A Higher-Order Unification Algorithm for Inductive Types and Dependent Types

is paper presents a method to define a set of mutually recursive inductive types,and develops a higher-order unification algorithm for λП∑ extended with inductive types.The algorithm is an extension of Elliott‘s algorithm for λП∑.The notaiton of normal forms plays a vital role in higher-order unification.The weak head normal forms in the extended type theory is defined to reveal the ultimate “top level structures”of the fully normalized terms and types.Unification transformation rules are designed to deal with inductive types,a recursive operator and its reduction rule.The algorithm can construct recursive functions automatically.     

Scheduling real-time requests in on-demand data broadcast environments

On-demand broadcast is an attractive data dissemination method for mobile and wireless computing. In this paper, we propose a new online preemptive scheduling algorithm, called PRDS that incorporates urgency, data size and number of pending requests for real-time on-demand broadcast system. Furthermore, we use pyramid preemption to optimize performance and reduce overhead. A series of simulation experiments have been performed to evaluate the real-time performance of our algorithm as compared with other previously proposed methods. The experimental results show that our algorithm substantially outperforms other algorithms over a wide range of workloads and parameter settings. The work described in this paper was partially supported by grants from CityU (Project No. 7001841) and RGC CERG Grant No. HKBU 2174/03E. This paper is an extended version of the paper “A preemptive scheduling algorithm for wireless real-time on-demand data broadcast” that appeared in the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. Victor C. S. Lee received his Ph.D. degree in Computer Science from the City University of Hong Kong in 1997. He is now an Assistant Professor in the Department of Computer Science of the City University of Hong Kong. Dr. Lee is a member of the ACM, the IEEE and the IEEE Computer Society. He is currently the Chairman of the IEEE, Hong Kong Section, Computer Chapter. His research interests include real-time data management, mobile computing, and transaction processing. Xiao Wu received the B.Eng. and M.S. degrees in computer science from Yunnan University, Kunming, China, in 1999 and 2002, respectively. He is currently a Ph.D. candidate in the Department of Computer Science at the City University of Hong Kong. He was with the Institute of Software, Chinese Academy of Sciences, Beijing, China, between January 2001 and July 2002. From 2003 to 2004, he was with the Department of Computer Science of the City University of Hong Kong, Hong Kong, as a Research Assistant. His research interests include multimedia information retrieval, video computing and mobile computing. Joseph Kee-Yin NG received a B.Sc. in Mathematics and Computer Science, a M.Sc. in Computer Science, and a Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign in the years 1986, 1988, and 1993, respectively. Prof. Ng is currently a professor in the Department of Computer Science at Hong Kong Baptist University. His current research interests include Real-Time Networks, Multimedia Communications, Ubiquitous/Pervasive Computing, Mobile and Location- aware Computing, Performance Evaluation, Parallel and Distributed Computing. Prof. Ng is the Technical Program Chair for TENCON 2006, General Co-Chair for The 11th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), Program Vice Chair for The 11th International Conference on Parallel and Distributed Systems (ICPADS 2005), Program Area-Chair for The 18th & 19th International Conference on Advanced Information Networking and Applications (AINA 2004 & AINA 2005), General Co-Chair for The International Computer Congress 1999 & 2001 (ICC’99 & ICC’01), Program Co-Chair for The Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA’99) and General Co-Chair for The 1999 and 2001 International Computer Science Conference (ICSC’99 & ICSC’01). Prof. Ng is a member of the Editorial Board of Journal of Pervasive Computing and Communications, Journal of Ubiquitous Computing and Intelligence, Journal of Embedded Computing, and Journal of Microprocessors and Microsystems. He is the Associate Editor of Real-Time Systems Journal and Journal of Mobile Multimedia. He is also a guest editor of International Journal of Wireless and Mobile Computing for a special issue on Applications, Services, and Infrastructures for Wireless and Mobile Computing. Prof. Ng is currently the Region 10 Coordinator for the Chapter Activities Board of the IEEE Computer Society, and is the Coordinator of the IEEE Computer Society Distinguished Visitors Program (Asia/Pacific). He is a senior member of the IEEE and has been a member of the IEEE Computer Society since 1991. Prof. Ng has been an Exco-member (1993–95), General Secretary (1995–1997), Vice-Chair (1997–1999), Chair (1999–2001) and the Past Chair of the IEEE, Hong Kong Section, Computer Chapter. Prof. Ng received the Certificate of Appreciation for Services and Contribution (2004) from IEEE Hong Kong Section, the Certificate of Appreciation for Leadership and Service (2000–2001) from IEEE Region 10 and the IEEE Meritorious Service Award from IEEE Computer Society at 2004. He is also a member of the IEEE Communication Society, ACM and the Founding Member for the Internet Society (ISOC)-Hong Kong Chapter.     

Number is Form and Form is Number

On November 11 and 13, 2003, Robert Kirkbride interviewed Anne Tyng, Fellow of the American Institute of Architects and a member of the National Academy of the Arts on the potentials of geometry and number in architectural practice. Through such examples as Pascal’s Triangle and her “Super Pythagorean Theorem,” Dr. Tyng asserts that geometry is not only a metaphor for thought and the creative process, it is a spatial demonstration of how the mind generates associations by the combination, or layering, of pattern and chance.     

CALPHAD XXXII 2003 conference proceedings

The thirty-second annual CALPHAD meeting was held at La Malbaie, Quebec, Canada, on May 25–30, 2003. The local organizing committee consisted of Prof. Arthur Pelton, Prof. Christopher Bale, Dr. Patrice Chartrand, Dr. Sergei Degterov, Dr. Jacques Melançon, Eve Bélisle, Marie-Pierre Paquin, and Marie Piché.There were 145 delegates and 18 accompanying guests attending the CALPHAD XXXII meeting, who presented 106 oral lectures and 46 posters. The conference opened with a welcome by Arthur Pelton and Christopher Bale. The scientific topics were presented in the following schemes: First Principles calculations, Alloy Systems—Experiments and Computation, Aqueous Systems, Non-Metallic Systems, Diffusional Kinetics, Solders, Semiconductor Systems, Software Developments, Industrial Applications and Geological Systems.