Loading [MathJax]/extensions/MathZoom.js
IEEE Xplore Search Results

Showing 1-25 of 5,831 resultsfor

Filter Results

Show

Results

As a specific example of network coding, the butterfly network often represents the networks with bottlenecks. In this paper, we propose a typical butterfly quantum network coding scheme based on remote state preparation of arbitrary two-qubit states with the assistance of GHZ channels. Firstly, in a butterfly network, each source node simultaneously performs two appropriate projective measurement...Show More
This paper addresses the problem of maximum likelihood sequence estimation (MLSE) based on a hidden reciprocal chain (HRC) as the underlying target model. HRCs are non-causal, discrete-time finite-state stochastic processes which can be regarded as the one-dimensional version of a Markov random field, although they are not in general Markov processes. This paper describes a procedure for evaluatin...Show More
We consider the prediction of a target's destination and simultaneously recover its filtered trajectory. Two novel models for trajectories with known destinations are presented using reciprocal stochastic processes and stochastic context-free grammars. We present a destination-aware syntactic tracker which uses conventional state-space estimates from a legacy tracker to perform prediction and traj...Show More
In this paper, we propose an energy-efficient on-demand multicast routing protocol (EMP) for wireless ad hoc and sensor networks. The design objective is to prolong the network lifetime of such networks. For this purpose, EMP introduces the strategy of energy critical avoidance in the process of on-demand construction of multicast routing trees. That is, those energy-critical nodes in the network ...Show More
It is challenging for non-IT engineers to build new computer systems using information technology, such as the Internet of Things (IoT), due to budget and technology limitations. In response to these problems, an information system that corporate engineers can introduce based on the company-specific way of thinking is useful. If a company can construct an information system based on the company-sp...Show More
Goal-guided behavior and destination-directed motion appear in a wide range of human activities and physical processes. Taking advantage of such predictive information can produce better system models and state estimates. This paper focuses on modeling and filtering issues of linear dynamic systems with linear destination constraints. We examine deficiencies of the existing destination constrained...Show More
The dynamic origin-destination (O-D) pattern representing time-dependent trip demands from one place (origin) to another (destination) is amongst the most essential input data for most traffic operational analyses. Historical studies assumed that the transition matrix is known or at least approximately known, which is unrealistic for a real world network. Due to the fact that the number of trips t...Show More
the purpose of this paper is to promote a butterfly quantum network coding scheme for remote state preparation of multi-qudit states. Firstly, we perform channel preparation and amplitude modulation; secondly, each sender simultaneously performs projection measurement; thirdly, both senders send measurement results as precoding information and auxiliary information to the intermediate node and the...Show More
The problem of state estimation using a destination constraint with uncertainty is investigated. The existing state estimation method with destination constraints assume that the destination is deterministic and known a priori. However in practical applications, the destination may not always be accurate. When the destination is contaminated by noise, the direct incorporation of the destination co...Show More
Product Families are gaining interest because of the increasing demand for customizable products. However, testing a Product Family is a difficult task, in special, for dependable products, in which the exception handling must also be well tested. Model-based testing (MBT) can be useful for testing Product Families, in which a behavior model can be obtained from the requirements, this model being ...Show More
In some target tracking scenarios, tracking performance can be improved by the incorporation of a constraint imposed by a preset trajectory. When the complete information about the trajectory is known, the constraint can be formulated in an explicit way. However, in practical applications, only partial information about the trajectory may be available. This article deals with the modeling of impli...Show More
In this paper, we consider the problem of calculating the stability region of a two-user cognitive shared channel where the secondary (lower priority) user, whose channel is modeled as a two-state Gilbert-Elliott channel, utilizes the channel state information to adapt its transmission probabilities accordingly. The analysis also takes into account the compound effects of multipacket reception at ...Show More
Conventional studies assumed that the transition matrix is known or at (east approximately known, which is unrealistic for a real world network. Due to the fact that traffic counts at a site, y, is easy to obtain and the O-D variable, x (path flow based in this research), is not easily observable, a Gaussian state space model is formulated to describe the relationships of x and y, observation equa...Show More
This paper presents reachability results for a class of discrete event systems modelled by industry-standard N-squared diagrams. These diagrams represent state transition charts using Boolean variables and functions, and form the basis for the design of hierarchical discrete event controllers used to operate, monitor and protect complex servomechanism systems. The presence of Boolean variables is ...Show More
This paper presents a mathematical discrete event state space model for plants and controllers that is amenable to classical state space control theory. The model is based upon industry-standard N-squared diagrams which are shown to readily translate into a state space matrix form. A hierarchical structure is defined that allows the design to scale in dimension and remain tractable. The motivation...Show More
In this paper we describe a Sequential Monte Carlo (SMC) sampler that performs joint tracking and destination estimation of a target traveling along a known road network, as its journey progresses. The destination estimation is based on a simplistic model of driver intent, which assumes no prior knowledge of the history of visited destinations. The proposed algorithm is capable of refining the dis...Show More
In this paper, we propose a novel driver-vehicle interface for individuals with severe neuromuscular disabilities to use intelligent vehicles by using P300 and steady-state visual evoked potential (SSVEP) brain-computer interfaces (BCIs) to select a destination and test its performance in the laboratory and real driving conditions. The proposed interface consists of two components: the selection c...Show More
This paper examines the dynamic fault behavior of asynchronous sequential machines, specifically identifying the faults which cause critical races and hazards, and presents a state assignment technique leading to a machine that enters one of a small set of error states whenever a fault occurs. Entry into an error state can be checked by very simple check circuits; a self-testing check circuit and ...Show More
This paper presents a systematic, power-efficient design methodology for the complex finite state machine (FSM) implementation of H.264/AVC decoding. The proposed FSM orchestrates the decoding steps and predicts the type of incoming codeword based on current FSM states and input symbols. The VLSI realization shows a gate count reduction of 14% and an average power reduction of 37.6% in real-time v...Show More
In this paper, we proposed a method to estimate the destination of walking persons from their walking patterns, for avoidance of collision accidents between pedestrians and robots in a human-robot coexistence environment. We adopted the hidden Markov model (HMM) as a model to represent walking patterns. We constructed a model for each movement pattern. A movement pattern was defined with a departu...Show More
A method to estimate/track the state of a high-speed target that can be modeled as a feedback control system in three-dimensional (3-D) space is presented in this paper. The target's lateral acceleration input is not known, but it is known that the target will probably reach a destination position at a future time. The trajectory may involve random maneuvers. If the parameters of the modeled contr...Show More
Static analysis is an essential way to find code smells and bugs because it checks the source code without execution. Moreover, static analysis can help in software engineering comprehensively, since static analysis can be used for the validation of code style, evaluate software complexity and execute code refactorings, as well. Symbolic execution is a static analysis method where the variables ar...Show More
Scan testing requires long test application time and a large hardware overhead. To avoid these disadvantages, design-for-testability methods at register transfer level based on non-scan testing are important. We assume that controllers and data paths in register transfer level circuits are isolated from each other at testing. We focus on test generation for controllers which are represented by fin...Show More
UML modelling tools provide poor support for composite state machine code generation. Generated code is typically complex and large, especially for composite state machines. Existing approaches either do not handle this case at all or handle it by flattening the composite state machine into a simple one with a combinatorial explosion of states, and excessive generated code. This paper presents a n...Show More
The Software-Defined Networking (SDN) technology is a network management method that allows dynamic, programmatically efficient network planning to improve its performance and monitoring. Given that SDN at each passing day becomes more prominent, a framework that can ensure reliable communication and a global state among devices become more important. We propose a state consistency framework that ...Show More