By Topic

Systems, 2007. ICONS '07. Second International Conference on

Date 22-28 April 2007

Filter Results

Displaying Results 1 - 25 of 59
  • Second International Conference on Systems - Cover

    Page(s): c1
    Save to Project icon | Request Permissions | PDF file iconPDF (2202 KB)  
    Freely Available from IEEE
  • Second International Conference on Systems - Title page

    Page(s): i
    Save to Project icon | Request Permissions | PDF file iconPDF (2202 KB)  
    Freely Available from IEEE
  • Second International Conference on Systems - Copyright

    Page(s): iv
    Save to Project icon | Request Permissions | PDF file iconPDF (49 KB)  
    Freely Available from IEEE
  • Second International Conference on Systems - Table of contents

    Page(s): v - xvii
    Save to Project icon | Request Permissions | PDF file iconPDF (75 KB)  
    Freely Available from IEEE
  • Preface

    Page(s): xviii
    Save to Project icon | Request Permissions | PDF file iconPDF (75 KB)  
    Freely Available from IEEE
  • Formal Specs Reuse with Embedded Systems Design Behavioral and Architectural Specifications in Real-Time Application Domains

    Page(s): 1
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (177 KB) |  | HTML iconHTML  

    This paper deals with reuse of architectural and behavioral specifications of embedded systems employing finite-state and timed automata. The contribution proposes not only how to represent a system's formal specification as an application pattern structure of specification fragments, but also how to measure similarity of formal specifications for retrieval with case-based reasoning support. The paper provides also an insight into case-based reasoning support as applied to formal specification reuse by application patterns built on finite-state and timed automata. Those application patterns create a base for a pattern language supporting reuse-oriented design process for a class of real-time embedded systems. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DB2 performance enhancements using Materialized Query Table for LUW

    Page(s): 2
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (159 KB) |  | HTML iconHTML  

    Performance of an application has become the need of the hour. There have been lots of challenges in achieving the desired rate of throughput in terms of application tuning and database tuning. Materialized query table (MQT) is one such efficient tool used in enhancing the performance of OLTP/OLAP applications. This presentation is targeted to bring out the importance of MQT and its associated technologies used in DB2 UDB, an IBM Database Product. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Self-Balanced and Self-Adaptive Routes in Unstructured P2P Networks

    Page(s): 3
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (445 KB) |  | HTML iconHTML  

    A simple strategy for routing and load balancing in unstructured P2P network based on ant-like agents is presented. In [Unger, Wulff], the authors present an algorithm, which enables to build a sorted structure on top of a P2P Network in order to support searching in such systems and to reduce maintenance times. Based on this structure, a routing mechanism that allows the user to send messages between two peers in finite time will be provided The current work adopts ant systems as introduced by Dorigo, Maniezzo and Colorini and looks for alternative paths near to the optimal route in case of congestion conditions. Although ANTs take advantage of collaborative behavior and sign the closest paths, it is also possible to rapidly saturate the communication channels between source and target nodes. Therefore, a load balancing criterion is considered, as well. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Pure Current-Mode Frequency Filter for Signal Processing in High-Speed Data Communication

    Page(s): 4
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (319 KB) |  | HTML iconHTML  

    Although the amount of equipment working in digital form is growing, it is still necessary to use analog circuits as an interface between the real world and the digitized one. Because the frequency of processed signals in the digital part increases constantly, the analog part must also be able to work in higher frequency bands. In this paper circuits working in the current-mode are described, which fulfill the conditions of new telecommunication technologies. A third-order low-pass frequency filter is described, which can be used for signal processing in industrial data networks or data buses working in the current-mode developed for automotive industry or for medical equipment. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Active Filter with Current Operational Amplifiers for High-Speed Data Communications

    Page(s): 5
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (233 KB) |  | HTML iconHTML  

    A high-speed active filter derived from the passive ladder structure is presented. It is based on integrators employing current operational amplifiers. These building blocks provide high bandwidth, low supply voltage and good noise immunity, which are necessary in modern communication systems. The proper operation of the filter is proved by computer simulation. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design of High-Frequency Filters Working in the Pure Current Mode with CMI

    Page(s): 6
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (283 KB) |  | HTML iconHTML  

    In this paper the process of designing frequency filters with a new pure current element is shown. In the design, generalized active circuit elements are used, to which a full admittance network is connected. For the chosen number of admittances a few possible connections of autonomous circuits are obtained. An illustration of the filter design is given. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Method for Designing Frequency Filters Using BOTA

    Page(s): 7
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (549 KB) |  | HTML iconHTML  

    In this paper the design of filters with a new active element BOTA is shown. A general feedback network was designed around the BOTA element. Step by step simpler autonomous circuits were picked out from this general arrangement, which serve as an initial circuit in designing different types of frequency filters. The selected circuit was subjected to an AC analysis, dynamic optimization, sensitivity analysis and measurement. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Gradient Coils Temperature Controller in a Gradient System for MR Tomography

    Page(s): 8
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (990 KB) |  | HTML iconHTML  

    A simple gradient coils temperature controller for a gradient magnetic field system has been developed. In the application of modern fast magnetic resonance experiments it can maintain the temperature of gradient coils at a value of 21.2degC with a precision of 0.5degC and protect the gradient system against overloading by excessive short-circuit power. When the temperature and the maximum power are exceeded, it will disconnect all gradients and, simultaneously, signal this state to the operator. A gradient system complemented like this has been experimentally verified on a home-built 200 MHz magnetic resonance (MR) tomography system with a 120 mm bore (with room temperature) in the Institute of Scientific Instruments, Academy of Sciences of the Czech Republic. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Research on Theoretical System and Technology Frame of New Generation Productivity Based on the Network Cooperation

    Page(s): 9
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (229 KB) |  | HTML iconHTML  

    There exists many problems in network society. The information is inundant, lack of pertinence, not visual and hard to understand. These problems can lead to difficult network cooperation of affairs and directly affect the productivity level of a city. This paper conducts an analysis upon the features and developing trend of productivity, and sets up the theoretical system of the new generation productivity, on which basis furthermore the paper analyzes the technology frame to develop the new generation productivity. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • State Space Multiple Leaves Representations of Complex Systems: The basic properties of system theory.

    Page(s): 10
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (689 KB) |  | HTML iconHTML  

    The purpose of this paper is to provide a reasonable comprehensive transition from the linear time- invariant systems to the linear time-varying systems at a level comparable on the state space multiple leaves representation. In this regard, the preliminary works are dedicated to the on-line identification procedures of a class of complex system. This class of systems is represented by a mechatronic point of view, i.e. communication, calculation, monitoring, linking and state-plan trajectories mapping. For the case in which both calculation and monitoring processes are used, these identification procedures show which type of state-plan is more attractive on Kc , or KR parameters. To complete the on-line identification procedures with a controller tuning of the model parameters, it was necessary to extend the sliding mode's theorem to the case of multiple leaves state-plan, allowing limitation of short-time instability analysis. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Entity Driven Task Software Framework for EIS

    Page(s): 11
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (226 KB) |  | HTML iconHTML  

    Enterprise information systems are usually reappearance of enterprise business actions. However, surprisingly little research has been done on partition rules and implementation methods of enterprise business in enterprise systems. This paper begins with our presentation that enterprise information system can be abstracted to a scenario in which users could schedule the task suites of controlled entities under enterprise security mechanism. Then a novel framework for enterprise information system, named EDTSF (Entity Driven Task Software Framework), was proposed by means of updating some information system engineering methodology and technologies. The EDTSF can clearly implements enterprise business partition, and can also reduce coupling between data objects and task objects. At the same time, the EDTSF increases flexibility and expansibility of enterprise information systems by expanding service function of data object and reusing the scheduling mechanism at system level. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Advanced access control system for multi-tier server applications

    Page(s): 12
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (348 KB) |  | HTML iconHTML  

    Server applications are one of the most important components of applications which use multi-tire architecture. These servers need to handle access of users. Access control logic is usually implemented directly inside an object which is responsible for performing required operations over the data. The object verifies access to its methods and permits or denies the operation. But systems usually consist of many such objects with different missions. All of these objects require similar access control system. This makes a greater overhead because access control verification must be coded inside all those objects. If in this approach a programmer forgets to verify some of required rights in the code then the system may encounter a forbidden data access. This article deals with that topic and designs a unified database layer working over relation databases. Benefits of this layer are strong simplification of the access control system and impossibility to access data without permissions. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed Information Measurement and Control System for Research and Education in Physics

    Page(s): 13
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (617 KB)  

    The present paper is devoted to the distributed information measurement and control system for support of research and education with remote access to informational and instrumental resources within the Intranet/Internet networks. The authors created the software and hardware of remote access and control described herein. This system is characterized by the network integration of computer-based research equipment for the natural sciences. It provides multiple access to such resources in the networks functioning on the basis of TCP/IP protocol stack. The access to physical equipment is realized through the interface servers (CAMAC, GPIB), the server providing access to MCS-196 microcontrollers, Ethernet device server, and the communication server, which integrates the equipment servers into uniform information system. The system is used for making research task solutions in optical spectroscopy, as well as for supporting educational process at the Department of Physics and Engineering of Petrozavodsk State University. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • (m,k) firm Scheduling of Real-Time Transactions with Concurrency Control

    Page(s): 14
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (440 KB) |  | HTML iconHTML  

    This paper presents a multi-class scheduling algorithm for real-time transactions combining scheduling and concurrency control. The proposed algorithm, DBP_CC (distance based priority and concurrency control) offers service differentiation and QoS guarantees by specifying several (m,k) firm constraints giving the degree of missed deadlines that the system can tolerate for each class. When extracting a transaction, DBP_CC takes into account resource availability so that the execution of the concurrency control algorithm doesn't change the transactions schedule. Simulation results show that DBP_CC can achieve a significant performance even in overload situations. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Efficient Classification System Based on Binary Search Trees for Data Streams Mining

    Page(s): 15
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (490 KB) |  | HTML iconHTML  

    Decision tree construction is a well-studied problem in data mining. Recently, there has been much interest in mining data streams. Domingos and Hulten have presented a one-pass algorithm for decision tree constructions. Their system using Hoeffding inequality to achieve a probabilistic bound on the accuracy of the tree constructed. In this paper, we revisit this problem and propose a decision tree classifier system that uses binary search trees to handle numerical attributes. The proposed system is based on the most successful VFDT, and it achieves excellent performance. The most relevant property of our system is an average large reduction in processing time, while keeps the same tree size and accuracy. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A 3D Notice Board Metaphor for Visualizing,Categorizing, and Sharing Learning Objects

    Page(s): 16
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (342 KB) |  | HTML iconHTML  

    This paper illustrates a new metaphor for publishing and sharing Learning Objects Metadata (LOM) across P2P search environments. The metaphor allows the learners to publish a group of Learning Objects (LO) with certain tags. The shared information is augmented by the presentation and organization style. The style communicates both the individual user's perception and insights about a collection of LOM information. The prototype focuses not only on sharing the LOMs under certain user mapped tags but it also addresses the sharing of a user's view and perception about a set of multimedia resources. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Health Maintenance Embedded Systems in Home Care Applications

    Page(s): 17
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (253 KB) |  | HTML iconHTML  

    In this article there are described applications of embedded systems for diagnostic and maintenance planning in healthcare applications. During the recent years, there was a rapid growth in the development of maintenance telemedicine systems and monitoring devices for patients with chronic diseases and those requiring continuous telemonitoring treatments. However most of these systems only provide telemonitoring services or basic information about the health condition of the patients. For this reason an intelligent home health care embedded system that can provide to the patients with diagnosis their health status at home is developed. As a result different types of pluggable medical transducers for patients with different illnesses can be flexibly connected to the interface of the embedded system. The home care systems are possible to use as predictive diagnostic systems. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Space-Time Trade-offs in SW Evaluation of Boolean Functions

    Page(s): 18
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (231 KB) |  | HTML iconHTML  

    Fast evaluation of multiple-output Boolean functions with the smallest memory footprint is often required in embedded systems. The paper describes a novel method of linked tables for representation and evaluation of Boolean functions and compares it with traditional methods; PLAs from the MCS-51 microcontroller are used for comparison. Traditional methods use masks to emulate PLA one way or another. The suggested method of linked tables is based on iterative disjunctive decomposition and leads only to a series of table look-ups. Linked tables are also shown to be equivalent to specific "in-line" decision diagrams. They proved to be most flexible in making trade-offs between performance and memory space. The method of linked tables may be quite useful for embedded microprocessor or microcontroller software as well as for digital system simulation. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Programmable Hardware and the New Analog Capacity

    Page(s): 19
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (403 KB) |  | HTML iconHTML  

    This paper will explore the evolutionary development of programmable devices and the emergent capacity to configure programmable analog devices. The architectures, research, current trends and a simulated example will be included in this investigation of programmable hardware. In the near future there will be one device that will be an all around programmable piece of hardware that will allow the user to implement analog as well as digital signal processing. The progressive enhancements of programmable devices that are making it possible to produce field programmable analog arrays (FPAA) and field programmable mixed signal arrays (FPMA) are also discussed. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scheduling of Transactions under Resource Constraint Based on Extended Preemptive Time Petri Nets for SoC System-Level Test-Case Generation

    Page(s): 20
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (341 KB) |  | HTML iconHTML  

    The transaction-based verification method and the effective scheduling of transactions have a great potential for SoC functional verification. Petri nets have proven to be a promising technique for solving scheduling problem. This paper aims at presenting a extended preemptive time Petri net (EPTPN) based approach to the scheduling of transactions under TAM resource constraint generated by a transaction test-case generator. Firstly, the short term of 'scheduling of transactions problem' is formulated by means of an EPTPN. Secondly, transactions scheduling algorithm based on EPTPN is given. Finally, cases are studied to show the method effective. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.