161 Result(s)
-
Chapter and Conference Paper
Deadlock Prevention in the Æthereal Protocol
The Æthereal protocol enables both guaranteed and best effort communication in an on-chip packet switching network. We discuss a formal specification of Æthereal and its underlying network in terms of the PVS spe...
-
Chapter and Conference Paper
INELASTIC ELECTRON TUNNELLING SPECTROSCOPY (IETS) STUDY OF HIGH-K DIELECTRICS
Inelastic electron tunnelling spectroscopy (IETS) will be shown to be a simple and powerful technique 1 to study microstructures and defects in Metal-Insulator-Semiconductor (MIS) systems where the insulator i...
-
Chapter and Conference Paper
Universal Adaptor: A Novel Approach to Supporting Multi-protocol Service Discovery in Pervasive Computing
Service discovery is an important and challenging issue in pervasive computing. To date, many service discovery protocols have been proposed and new ones are under development. However, pervasive computing inv...
-
Chapter and Conference Paper
Ordering Grids to Identify the Clustering Structure
Almost all of the well-known clustering algorithms require input parameters while these parameters may be difficult to be determined. OPTICS (Ordering Points To Identify the Clustering Structure Cluster Struct...
-
Chapter and Conference Paper
Optimal Sizing of Energy Storage System in Solar Energy Electric Vehicle Using Genetic Algorithm and Neural Network
Owing to sun’s rays distributing randomly and discontinuously and load fluctuation, energy storage system is very important in Solar Energy Electric Vehicle (SEEV). The combinatorial optimization by genetic al...
-
Chapter and Conference Paper
Distributed Processing in Wireless Sensor Networks for Structural Health Monitoring
Wireless Sensor Networks (WSNs) have found many applications in a variety of ubiquitous computing environments. One of the key applications is Structural Health Monitoring (SHM) which seeks to monitor the func...
-
Chapter and Conference Paper
A Generic Distributed Monitor Construct for Programming Process Synchronization in Distributed Systems
The monitor construct has been implemented in several concurrent and/or parallel programming languages for shared-memory system environments, Extensions of the monitor to support process synchronization in dis...
-
Chapter and Conference Paper
Verification of Linear Duration Invariants by Model Checking CTL Properties
Linear duration invariants (LDI) are important safety properties of real-time systems. They can be easily formulated in terms of a class of chop-free formulas in the Duration Calculus (DC). Compared to other t...
-
Chapter and Conference Paper
A Large Margin Classifier with Additional Features
We consider the problem of learning classifiers from samples which have additional features that are absent due to noise or corruption of measurement. The common approach for handling missing features in discr...
-
Chapter and Conference Paper
A Max-Margin Learning Algorithm with Additional Features
This paper investigates the problem of learning classifiers from samples which have additional features and some of these additional features are absent due to noise or corruption of measurement. The common ap...
-
Chapter and Conference Paper
A New Particle Swarm Optimization Algorithm and Its Numerical Analysis
The speed equation of particle swarm optimization is improved by using a convex combination of the current best position of a particle and the current best position which the whole particle swarm as well as th...
-
Chapter and Conference Paper
GA-Based Integral Sliding Mode Control for AGC
This paper addresses an integral sliding mode control approach for automatic generation control (AGC) of a single area power system. Genetic algorithm (GA) is employed to search the parameters of the sliding s...
-
Chapter and Conference Paper
Model Checking Linear Duration Invariants of Networks of Automata
Linear duration invariants (LDIs) are important safety properties of real-time systems. In this paper, we reduce the problem of verification of a network of timed automata against an LDI to an equivalent probl...
-
Chapter and Conference Paper
Specular Surface Recovery from Reflections of a Planar Pattern Undergoing an Unknown Pure Translation
This paper addresses the problem of specular surface recovery, and proposes a novel solution based on observing the reflections of a translating planar pattern. Previous works have demonstrated that a specular...
-
Chapter and Conference Paper
H ∞ Control for Inverted Pendulum: Input Time Delay Considered
In this paper, H ∞ control for single linear inverted pendulum with input time delay is studied, which is an unavoidable factor influencing the stability of inverted pendulum system. An H ∞ feedback controller ...
-
Chapter and Conference Paper
Asymmetric Information Game Analysis of the Energy-Saving Building Market and the Policy
Aiming at the problem of “market failure” in the domain of energy efficiency buildings, the principle of asymmetric information is discussed through the economic theory. Then an adverse selection game model of...
-
Chapter and Conference Paper
Micro-Mechanical Behavior of Inclusions in Advanced Steels
Inclusions are unavoidable even in super-clean advanced steels because of the necessary melting process. The effect of two kinds of typical inclusions such as TiN and AlN have been studied by means of speciall...
-
Chapter and Conference Paper
Perspective Two-Frame-Theory for Shape Recovery under Turntable Motion
This paper addresses the problem of shape from shadings under perspective projection and turntable motion.Two-Frame-Theory is a newly proposed method for 3D shape recovery. It estimates shape by solving a first o...
-
Chapter and Conference Paper
Protocol to Compute Polygon Intersection in STC Model
Intersection and union of convex polygons are basic issues in computational geometry, they can settle lots of matters such as economy and military affairs. To solve the problem that traditional method of makin...
-
Chapter and Conference Paper
The Study of Electricity Market Reform and Its Prospective in China
Based on the market principle of economics and the operational rules of power system with its particularities, we introduce the basic characteristics of the electricity market, its development and reforms proc...