580 Result(s)
within
Ying**g Zhang
Computer Science
-
Chapter and Conference Paper
Specification and verification of constraint-based dynamic systems
Constraint satisfaction can be seen as a dynamic process that approaches the solution set of the given constraints asymptotically
-
Chapter and Conference Paper
Synthesis of hybrid constraint-based controllers
A robot is an integrated system, with a controller embedded in its plant. We take a robotic system to be the coupling of a robot to its environment. Robotic systems are, in general, hybrid dynamic systems, con...
-
Chapter and Conference Paper
Specification and verification of hybrid dynamic systems with Timed ∀-automata
The advent of computer-controlled embedded systems coupled to physical environments requires the development of new theories of dynamic system modeling, specification and verification. We present Timed ∀-autom...
-
Chapter and Conference Paper
SvPablo: A Multi-language Performance Analysis System
SvPablo is a language independent performance analysis and visualization system that supports analysis of applications written in a variety of languages and executing on both sequential and parallel systems. I...
-
Chapter
Modeling and Analysis of Hybrid Control Systems
We propose a formal approach to the modeling and analysis of hybrid control systems. The approach consists of the interleaved phases of hybrid dynamic system modeling, requirements specification, hybrid contro...
-
Article
Characterizations and algorithms of extensions for CADL and QDL
Recently, Giordano and Martelli (1994) proposed two new cumulative variants of Reiter’s default logic (DL): Commitment to Assumptions Default Logic (CADL) and Quasi-Default Logic (QDL). They have only given qu...
-
Article
Recognition of Symmetrical Images Using Affine Moment Invariants in both Frequency and Spatial Domains
: In this paper, a new set of affine moment invariants is proposed in the frequency domain. By thresholding the magnitude of the Discrete Fourier Transform (DFT) of affine transformation-related images, new im...
-
Chapter
Adaptive Checkpointing with Dynamic Voltage Scaling in Embedded Real-Time Systems
We present an integrated approach that provides fault tolerance and dynamic power management for a real-time task executing in an embedded system. Fault tolerance is achieved through an adaptive checkpointing ...
-
Chapter and Conference Paper
Monitoring Agents Using Declarative Planning
We present an agent monitoring approach, which aims at refuting from (possibly incomplete) information at hand that a multi-agent system (MAS) is implemented properly. In this approach, agent collaboration is abs...
-
Article
A Formal Approach to Agent Design: An Overview of Constraint-Based Agents
Formal models for agent design are important for both practical and theoretical reasons. The Constraint-Based Agent (CBA) design approach includes two formal models: Constraint Nets and Timed ∀-automata. A con...
-
Chapter and Conference Paper
Smart Routing with Learning-Based QoS-Aware Meta-strategies
Conventional Quality of Service (QoS) routing cannot be applied easily to wireless ad-hoc sensor networks due to the unreliable and dynamic nature of such networks. For these networks, we have proposed a frame...
-
Chapter and Conference Paper
Retrospect and Prospect of Formal Methods Education in China
Formal methods can enhance the security and reliability of software and benefit software developers in comprehending systems. The progress of formal methods, however, will strongly depend on formal methods edu...
-
Chapter and Conference Paper
CSCW in Design on the Semantic Web
Computer-Supported Cooperative Work (CSCW) in Design explores the potential of computer technologies to help cooperative design. It requires more efficient technologies of communications and reusing knowledge ...
-
Chapter and Conference Paper
Impulsive Robust Control of Interval Hopfield Neural Networks
This paper discusses impulsive control and synchronization of interval Hopfield neural networks (HNN for short). Based on the matrix measure and new comparison theorem, this paper presents an impulsive robust ...
-
Chapter and Conference Paper
Clock Synchronization State Graphs Based on Clock Precision Difference
Consistent and stable global states of clock synchronization are very important in distributed and parallel systems. This paper presents an innovative strategy and method to obtain stable global clock synchron...
-
Chapter and Conference Paper
A Logic Analysis Model About Complex Systems’ Stability: Enlightenment from Nature
A logic model for analyzing complex systems’ stability is very useful to many areas of sciences. In the real world, we are enlightened from some natural phenomena such as “biosphere”, “food chain”, “ecological...
-
Chapter and Conference Paper
Removing of Metal Highlight Spots Based on Total Variation Inpainting with Multi-sources-flashing
The removing of specular highlight spots has been the hotspot in the field of computer vision. A variety of methods have been designed to remove the specular on the surface of the objects. Unfortunately few pa...
-
Chapter and Conference Paper
Extended Application of Scalable Video Coding Methods
SP(Synchronization-Predictive) frame coding, which enables high efficiency of switching between two video bitstreams with different qualities, is supported by H.264/AVC. And FGS(Fine-Granular-Scalability) codi...
-
Chapter and Conference Paper
A System for Detecting and Tracking Internet News Event
News event detection is the task of discovering relevant, yet previously unreported real-life events and reporting it to users in human-readable form, while event tracking aims to automatically assign event la...
-
Chapter and Conference Paper
Failure Detection Method Based on Fuzzy Comprehensive Evaluation for Integrated Navigation System
A failure detection method based on fuzzy comprehensive evaluation for integrated navigation systems was presented in this paper. By using fuzzy comprehensive evaluation, this method judged the measured data o...
