ppxscal/embedding_network huggingface dataset:
Recurrent Neural Network Based On-line Fault Diagnosis Approach for Power Electronic Devices
Authors: Xiang Xu, Ruqing Chen
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 02 (2007)

294 fault patterns of 12-pulse waveform controlled rectifier circuit (CRC) are studied firstly; a special fault classification method according to the rectifier aberrant voltage waveforms is put forward then. 12- dimension fault patterns and the corresponding fault codes are obtained through logic pre-processing of the fault rectifier voltage waveforms. A recurrent neural network (RNN) with deviation error units is used to construct a fault mapping. The fault patterns are used as the input of the network, after being calculated by the neural network the 12-dimension fault codes are obtained to indicate the fault state of the system. Simulation and experiment study demonstrate that the proposed technique is low time consuming with high fault identification rate, it improves the performance of the existing neural network based on-line fault diagnosis methods effectively. The proposed method is suitable for the fault diagnosis of complex power electronic devices or systems.
Thermal-Aware 3D IC Placement Via Transformation
Authors: Jason Cong, Guojie Luo, Jie Wei, Yan Zhang
Venue: Proceedings of the 2007 Asia and South Pacific Design Automation Conference (2007)

3D IC technologies can help to improve circuit performance and lower power consumption by reducing wirelength. Also, 3D IC technology can be used to realize heterogeneous system-on-chip design, by integrating different modules together with less interference with each other. In this paper, we propose a novel thermal-aware 3D cell placement approach, named T3Place, based on transforming a 2D placement with good wirelength to a 3D placement, with the objectives of half-perimeter wirelength, through-the-silicon (TS) via number and temperature. T3Place is composed of two steps, transformation from a 2D placement to a 3D placement and the refinement of the resulting 3D placement. We proposed and compared several different transformation techniques, including local stacking transformation (LST), folding-2, folding-4 and window-based stacking/folding transformation, and concluded that (i) LST can generate 3D placements with the least wirelength, (ii) the folding-based transformations result in 3D placements with the fewest TS vias, and (iii) the window-based stacking/folding transformations provide good TS via number and wirelength tradeoffs. For example, with four device layers, LST can reduce the wirelength by over 2x compared to the initial 2D placement, while window-based stacking/folding can provide over l0x variation in terms of the TS via number, thus adaptive to different manufacturing ability for TS via density. Moreover, we proposed a novel relaxed conflict-net (RCN) graph-based layer assignment method to further refine the 3D placements.
A Robust Device Hybrid Scheme to Improve System Performance in Gigabit Ethernet Networks
Authors: Xiaolin Chang, Jogesh K. Muppala, Pengcheng Zou, Xiangkai Li
Venue: Proceedings of the 32nd IEEE Conference on Local Computer Networks (2007)

Studies of the performance of interrupt-driven operating systems in high-speed networks have brought forth the problem of receive livelock. Device hybrid interrupt-polling and interrupt coalescing are two common techniques used in general-purpose operating systems to mitigate this problem. Adaptive schemes based on local knowledge have been proposed for each technique above. However, all the schemes proposed so far are designed using heuristics. In addition, the capabilities of the proposed schemes have not been systematically compared. In this paper, we first analyze the capabilities of these schemes by investigating the relationship between key system parameters and system goodput in different packet protocol processing modes under heavy traffic load. Then we propose a robust device hybrid interrupt-polling (RHIP) scheme which achieves high system goodput, low packet loss and good latency with low consumption of CPU cycles, compared to other schemes. The key idea of RHIP is to use the recipient's buffer information to adjust the interrupt rate and the protocol processing time. We validate our analysis and design through several experiments.
Applying Wireless Sensor Networks to Context-Awareness in Ubiquitous Learning
Authors: Mingfei Wang, Linlin Ci, Ping Zhan, Yongjun Xu
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 05 (2007)

Context aware ubiquitous learning is pervasive and persistent, allowing learners to access education calmly, flexibly and seamlessly. The objective of context aware ubiquitous learning is to move e- learning and mobile learning a step further from learning at anytime anywhere to be at the right time and right place with right learning resources and right learning peers. In recent years, wireless sensor networks have become an evolving technology that has a wide range of potential applications in ubiquitous computing. We introduced an image of context- awareness in ubiquitous learning based on wireless sensor networks. We showed the architecture of context-awareness in ubiquitous learning in general, introduced the components of a sensor node and protocol stack of wireless sensor networks, and pointed out conclusions and open research issues with regard to context aware ubiquitous learning.
CRM Method for Power Supply Enterprises Based on Analysis of Utility and Customers_ Credit and Multistage Fuzzy Evaluation
Authors: Yuansheng Huang, Ning Zhang, Lei Yu
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 03 (2007)

As the major customers can choose power supply enterprises independently in electric power marketplace, the enterprises are forced to have to implement CRM, abbreviation for customer relationship management which is an important method of controlling the major customers to prevent their loss. While, in order to making the implementation of CRM more effectively, a problem on how to make a choice of the stimulation method depending on the need of electricity customers needs to be resolved by electricity power supply enterprises. This paper is on the basis of utility theory and multistage fuzzy evaluation, classifying major customers by analyzing and evaluating the level of the customers' credit and the utility of different stimulation methods on different electricity customers, and putting forward the stimulation method for the electricity power supply enterprises to implement CRM. At the end of this paper, this method is confirmed to be reasonable with a simulation example.
Chaos and Graphics: Carrying surfaces for return maps of averaged logistic maps
Authors: Richard Bedient, Michael Frame
Venue: Computers and Graphics (2007)

We analyze the average of two iterated logistic maps in both the uncoupled and coupled cases and show that the resulting sequence can be seen as lying on the graph of a function of two variables which we call a carrying surface. Experimenting with different graphical representations of the data led us to discover this surface.
A Temporal Logic Based Grid Workflow Model and Scheduling Scheme
Authors: Yu-E Zheng, Huadong Ma, Lejun Zhang
Venue: Proceedings of the Sixth International Conference on Grid and Cooperative Computing (2007)

Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the grid computing. By the virtue of the dynamic and heterogeneous nature of grid environment, grid workflow system requires a resource evaluation and utilization enhancing mechanism to satisfy all kinds of grid resource requirements from workflow instances and ease to build billing system. Motivated by this, we present a novel Extended Temporal Logic based Workflow Specification (ETLWS) model to meet with the requirements above. The ETLWS extends temporal logic based workflow specification model by injecting resource requirement descriptor. Then, we propose a dynamic workflow scheduling scheme to improve the stability and efficiency of grid workflow system. In particular, we implement a system prototype and present a case study. The experimental results demonstrate the effectiveness of the ETLWS model and its corresponding scheduling scheme.
SA2: languages for safety-critical software: issues and assessment
Authors: Ben Brosgol
Venue: Proceedings of the 2007 ACM international conference on SIGAda annual international conference (2007)

This intermediate-level tutorial is aimed at people with a technical background in software development. No previous experience with safety-critical standards is required. Some familiarity with one or more of C, C++, Ada, or Java would be useful. Safety-critical systems (whose anomalous behavior could cause catastrophic or major failure involving loss of life) are becoming increasingly prevalent. Standards such as DO-178B, originally developed for commercial avionics, are attracting attention in other segments. The requirement to comply with such standards imposes constraints (on quality assurance, traceability, etc. ) much beyond what is typical for Commercial-Off-The-Shelf Software. One of the major decisions that affects safety certification is the choice of programming language(s). Specific language features, either by their presence of absence, may make certification easier or harder. (Practicalities such as tool support and programmer experience are of course also important but are outside the scope of the tutorial). This tutorial first summarizes existing safety standards, with a focus on DO-178B, and explains how they affect the requirements on a programming language. It specifically addresses the challenges imposed by Object-Oriented Technology and summarizes the work currently underway on DO-178C. The tutorial then assesses three language technologies -- C (including C++), Ada, and Java - with respect to suitability for meeting these requirements through appropriate subsetting. MISRA C, SPARK, and the in-progress Safety-Critical Java Technology are specifically identified and reviewed.
Hardware-Related Software Errors: Measurement and Analysis
Authors: R. K. Iyer
Venue: IEEE Transactions on Software Engineering (1985)

This paper describes an analysis of hardware-related software (HW/SW) errors on an MVS/SP operating system at Stanford University. The analysis procedure demonstrates a methodology for evaluating the interaction between hardware and software as it relates to system reliability. The paper examines the operating system's handling of HW/SW errors and also the effectiveness of recovery management. Nearly 35 percent of all observed software failures were found to be hareware-related. The analysis shows that the operating system is seldom able to diagnose that a software error may be hardware-related. The impact of HW/SW errors on the system is evaluated by measuring the effectiveness of system recovery in containing the propagation of HW/SW errors. The system failure probability for HW/SW errors is close to three times that for software errors in general. The observed HW/SW errors are seen to have a specific pattern, suggesting the possibility of the use of such error patterns for intelligent error prediction and recovery.
Successful Collaborative Software Projects for Medical Devices in an FDA Regulated Environment: Myth or Reality?
Authors: Subita Sudershana, Abel Villca-Roque, Jonathan Baldanza
Venue: Proceedings of the International Conference on Global Software Engineering (2007)

The significance of executing a successful collaborative distributed software project in a regulated medical device industry is often recognized but such projects are never perfectly achieved. There expectations of standard software being delivered "bug-free, on time and on budget'. In addition, FDA regulations impose a high standard on such medical device software by mandating the adherence to strict processes on software development. These processes include verification and validation of the software to assure the safety and effectiveness of the medical device. In such a regulated global software development environment, questions regarding miscommunication and lack of appropriate knowledge transfer are often raised, discussed and projected as being the main reason why collaborative projects either fail or are delayed. The requirements hold not only for the software that becomes part of the product but also for software used in its development. In this paper we analyze the nature of the global software development collaborative environment and identify several challenges in such projects for internally used software. These challenges include the burden of providing to the FDA a set of traceable documentation as evidence of following a specific process from software conception to software validation. We also discuss the human motivations that, when faced with these challenges, can affect success. We present two case studies of such globally distributed software development projects with entirely different focuses and study the underlying challenges and success factors. Finally we also discuss the driving factors for successful collaborative efforts and draw upon the incentives from our individual experiences in a real-world FDA regulated global medical device industry environment
Visual Inspection System Design
Authors: G. B. ,  III Porter
Venue: Computer (1980)

Any visual inspection system must incorporate process control, part handling, sensing, image processing, and flaw analysis. This general model shows how these functions are implemented.
Formal Methods for MPI Programs
Authors: Ganesh Gopalakrishnan, Robert M. Kirby
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2007)

High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters running the Message Passing Interface (MPI) library. MPI has become the de facto standard in high performance computing (HPC). Our research addresses the need to avoid bugs in MPI programs through a combination of techniques ranging from the use of formal specifications to the use of in-situ model checking techniques. This paper details an assessment of the efficacy of these techniques, as well as our future work plans.
Designing Cooperation Strategy in a 3D Hunting Game Using Swarm Intelligence
Authors: E. G. Castro, M. S. G. Tsuzuki
Venue: Proceedings of the Seventh International Conference on Intelligent Systems Design and Applications (2007)

Systems of distributed artificial intelligence can be pow- erful tools in a wide variety of practical applications. The predator prey pursuit problem is used to confirm our hy- pothesis that complex surrounding behavior may emerge from simple, implicit defined interactions among the preda- tor agents. The emergent behavior, is also the most answer- able for the difficulty in projecting these systems. This work proposes a tool capable to generate individual strategies for the elements of a multi agent system and thereof provid- ing simple mechanism of implicit interaction and no explicit communications among the predator agents. A synthesis of system strategies was implemented of which internal mech- anism involves the integration between simulators by Parti- cle Swarm Optimization algorithm (PSO), a Swarm Intelli- gence technique. The system had been tested in several sim- ulation settings and it was capable to synthesize automat- ically successful hunting strategies, substantiating that the developed tool can provide, as long as it works with well- elaborated patterns, satisfactory solutions for problems of complex nature and of difficult resolution starting from an- alytical approaches.
A proposal of ubiquitous fuzzy computing for Ambient Intelligence
Authors: Giovanni Acampora, Vincenzo Loia
Venue: Information Sciences: an International Journal (2008)

Ambient Intelligence is considered as the composition of three emergent technologies: Ubiquitous Computing, Ubiquitous Communication and Intelligent User Interfaces. The aim of integration of aforesaid technologies is to make wider the interaction between human beings and information technology equipment through the usage of an invisible network of ubiquitous computing devices composing dynamic computational-ecosystems capable of satisfy the users requirements. Many works focus the attention on the interaction from users to devices in order to allow an universal and immediate access to available content and services provided by the environment. This paper, vice versa, focuses on the reverse interactions, from devices to users, in order to realize a collection of autonomous control services able to minimize the human effort. In particular, by merging computational intelligence methodologies with standard Web technologies we show how ubiquitous devices will be able to find the suitable set of intelligent services in a transparent way.
The design of a representation and analysis method for modular self-reconfigurable robots
Authors: H. Y. K. Lau, A. W. Y. Ko, T. L. Lau
Venue: Robotics and Computer-Integrated Manufacturing (2008)

For Modular Self-Reconfigurable (MSR) robots to successfully reconfigure themselves, the control system must have the robot's topological structure before, during and after the reconfiguration process. Therefore, the module's docking status such as the docking orientation and the availability of docking ports must be ascertained before self-configuration takes place. This paper presents a representation method, based on labelled planar graphs and incidence matrices to represent the topologic structure of a group of connected modules. Essential information such as the orientations of the docked joints and docking ports are obtained from the labelled graph for reconfiguration. An innovative Hardware Orientation Detecting System (HODS) is proposed for detecting the orientation between two docking ports, which can be applied to all multi-orientation docking systems. An analytical method is also presented to determine whether a structure has enough degrees-of-freedom to perform self-reconfiguration.
Rescuing Tit-for-Tat with Source Coding
Authors: Thomas Locher, Stefan Schmid, Roger Wattenhofer
Venue: Proceedings of the Seventh IEEE International Conference on Peer-to-Peer Computing (2007)

Tit-for-tat is widely believed to be the most effective strategy to enforce collaboration among selfish users. However, it has been shown that its usefulness for decentralized and dynamic environments such as peer-topeer networks is marginal, as peers can rapidly end up in a deadlock situation. Many proposed solutions to this problem are either less resilient to freeloading behavior or induce a computational overhead that cannot be sustained by regular peers. In contrast, we retain tit-fortat, but enhance the system with a novel form of source coding and an effective scheme to prevent peers from freeloading from seeding peers. We show that our system performs well without the risk of peer starvation and without sacrificing fairness. The proposed solution has a reasonably low overhead, and may hence be suitable for fully distributed content distribution applications in real networks.
Low-Cost Rotating Memories: Status and Future
Authors: A. J. Kolk
Venue: Computer (1976)

The first six years of the seventies have been a period of rapid developments in the field of rotating memory. Innovation has dominated the gamut of disk drive applications. For example, substantial inroads have been made by flexible disks into the low-entry-cost area where rotating memory was previously not competitive. Cartridge disk drives have gained dramatically in capacity and performance while prices have remained relatively steady. The announcement of the IBM 3340, Winchester, brought to the marketplace the concept of a pack with its own captive heads in order to obtain large capacity at modest cost by increased surface storage density. The IBM System 32 brought the concept of the "disk enclosure" which treats a substantial part of a disk system as a field replaceable component. Independent disk manufacturers have responded to the latter two IBM developments with their versions of modest-cost, high-capacity, replaceable media drives and with very low cost, fixed-disk systems.
Script and Language Identification in Noisy and Degraded Document Images
Authors: Lu Shijian, Chew Lim Tan
Venue: IEEE Transactions on Pattern Analysis and Machine Intelligence (2008)

This paper reports an identification technique that detects scripts and languages of noisy and degraded document images. In the proposed technique, scripts and languages are identified through the document vectorization, which converts each document image into a document vector that characterizes the shape and frequency of the conta ned character or word images. Document images are vectorized by using vertical component cuts and character extremum points, which are both tolerant to the variation in text fonts and styles, noise, and various types of document degradation. For each script or language under study, a script or language template is first constructed through a training process. Scripts and languages of document images are then determined according to the distances between converted document vectors and the pre-constructed script and language templates. Experimental results show that the proposed technique is accurate, easy for extension, and tolerant to noise and various types of document degradation.
A planning and monitoring system for dynamic environments
Authors: Oscar Sapena, Eva Onaindía
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (2002)

SimPlanner is an integrated tool for planning and execution-monitoring which allows to interleave planning and execution. In this paper we present the on-line planner incorporated in SimPlanner. This is a domain-independent planner for STRIPS domains. SimPlanner participated in the IPC 2002, obtaining very competitive results.
Hos-Miner: a system for detecting outlyting subspaces of high-dimensional data
Authors: Ji Zhang, Meng Lou, Tok Wang Ling, Hai Wang
Venue: Proceedings of the Thirtieth international conference on Very large data bases - Volume 30 (2004)

We identify a new and interesting high-dimensional outlier detection problem in this paper, that is, detecting the subspaces in which given data points are outliers. We call the subspaces in which a data point is an outlier as its Outlying Subspaces. In this paper, we will propose the prototype of a dynamic subspace search system, called HOS-Miner (HOS stands for High-dimensional Outlying Subspaces), that utilizes a sample-based learning process to effectively identify the outlying subspaces of a given point.
Increasing Capabilities in Interactive Computer Graphics Terminals
Authors: C. W. Rosenthal
Venue: Computer (1972)

The earliest interactive computer graphics terminals were closely coupled to their central computers and placed heavy loads upon them for resource allocation. Two marked trends in the evolution of terminals have been a reduction of central computer load and exploitation of the increasing performance/cost ratio for terminal equipment. The trends have led to graphics terminals that operate on a stand-alone basis. The history of these trends is traced and particularly illustrated by the cases of the fully interactive, refreshed CRT GRAPHIC 21 and the simply interactive, storage CRT GRAPHIC 101 terminals.