We propose that double broadcast services can be overlaid over high-speed point-to-point downlink data in a WDM-PON with source-free optical network units (ONUs). In the optical line terminal (OLT), a set of single-dr...
详细信息
This paper presents the design and implementation of the naming mechanism (NAME), a resource discovery and service location approach for Delay/Disruption-Tolerant Network (DTN). First discuss the architecture of NAME ...
详细信息
ISBN:
(纸本)9783319009506
This paper presents the design and implementation of the naming mechanism (NAME), a resource discovery and service location approach for Delay/Disruption-Tolerant Network (DTN). First discuss the architecture of NAME mainly including Name Knowledge Base, Name Dissemination, Name Resolution and Name-based Routing. In the design and implementation of NAME, we introduce the simple name-specifiers to describe name, the name-tree for name storage and the efficient predicate-based routing algorithm. Future work is finally discussed for completing NAME and providing APIs for abundant applications.
Symbolic model checking tries to reduce the state explosion problem by implicit construction of the state space. The major limiting factor is the size of the symbolic representation mostly stored in huge binary decisi...
详细信息
Symbolic model checking tries to reduce the state explosion problem by implicit construction of the state space. The major limiting factor is the size of the symbolic representation mostly stored in huge binary decision diagrams. A new approach to symbolic model checking of Petri nets and related models of computation is presented, outperforming the conventional one and avoiding some of its drawbacks. Our approach is based on a novel, efficient form of representation for multi-valued functions called interval decision diagram (IDD) and the corresponding image computation technique using interval mapping diagrams (IMDs). IDDs and IMDs are introduced, their properties are described, and the feasibility of the new approach is shown with some experimental results.
We investigate link-state advertising in multi-domain networks with dynamic traffic. A novel triggering scheme is proposed to monitor a subset of domain links, and thereby achieve a balance between salability and accu...
详细信息
This paper studies human sensorimotor learning and control using the stochastic robust adaptive dynamic programming (RADP) theory. The obtained result provides a unified framework that can take into account several re...
详细信息
ISBN:
(纸本)9781467384155
This paper studies human sensorimotor learning and control using the stochastic robust adaptive dynamic programming (RADP) theory. The obtained result provides a unified framework that can take into account several recently discovered phenomena, including the active regulation of motor variability, the presence of suboptimal inference, and the model-free learning, and explains how these factors may promote the sensorimotor learning. We apply our learning framework to a model of sensorimotor system, and discover remarkable consistency with different experimental observations. Moreover, a novel feature of the RADP algorithm in our learning framework is that the knowledge of a stabilizing initial control policy is not needed. All these observations further confirm our hypothesis that RADP is a sound computational principle for sensorimotor control.
Nowadays energy-awareness represents a big challenge for cloud computing infrastructures as the adoption of cloud computing become a certain fact and together with the increasing costs for energy, calls for energy-awa...
详细信息
Feature subset selection, as a special case of the general subset selection problem, attracted a lot of research attention due to the growing importance of data-mining applications. However, since finding the optimal ...
详细信息
ISBN:
(纸本)9781479903573
Feature subset selection, as a special case of the general subset selection problem, attracted a lot of research attention due to the growing importance of data-mining applications. However, since finding the optimal subset is an NP-hard problem, very different heuristic search methods have been suggested to approximate it. Here we propose a new second-order cone programming based search strategy to efficiently solve the feature subset selection for large-scale problems. Experimentally, it is shown that its performance is almost always better than the greedy search methods especially when the features are strongly dependent.
Cooperative software engineering typically involves many actors and resources that cooperate in a complex distributed and heterogeneous world. In the DIPS (Distributed Integrated Process Services) project, a 3D model ...
详细信息
Cooperative software engineering typically involves many actors and resources that cooperate in a complex distributed and heterogeneous world. In the DIPS (Distributed Integrated Process Services) project, a 3D model is used for the definition, enactment and tracing of software development processes, which expresses both the structure and evolution of such processes. This paper discusses how an optimal architecture was evaluated to implement the process model in a process support framework. Process-specific and general requirements are identified, and expected usage patterns of a DIPS-based environment are analyzed. A set of potential architecture variants is proposed, and implications of the requirements and usage patterns on the variants are discussed qualitatively. An evaluation of the architecture alternatives leads to the design of a hybrid DIPS architecture based on distributed heterogeneous objects. The prototype DIPS implementation is briefly outlined.
The thesis also puts forward a fast handoff method based on RSSI and LQI, which makes improvements on preset parameters, subnet selection, decision standards and reparation of switching failure. The new method which c...
详细信息
暂无评论