INADA is an enhanced C++ persistent programming language, compliant with ODMG standard. INADA supports multiple-type objects facility which enables any persistent objects to obtain any type at any time the type is nee...
详细信息
ISBN:
(纸本)9781581136241
INADA is an enhanced C++ persistent programming language, compliant with ODMG standard. INADA supports multiple-type objects facility which enables any persistent objects to obtain any type at any time the type is needed, and to lose any unnecessary types dynamically. Using the facility, we can model changes in roles/aspects which a real-world entity possesses. Access to a multiple-type object needs to select one from among its own types. The selection is conventionally left to an object accessing a multiple-type object, A real-world entity is, however, flexible enough to decide its roles/aspects depending on a meeting entity whom it exchanges messages with. From the consideration, this paper proposes AccessEE Controlled Type Selection (AEE) method in which a multiple-type object selects one from among its own types depending on an object accessing it. The implementation of AEE method in INADA is also presented, which does not need any modification to the language specification and the processing system of INADA.
This paper describes an experimental stereo vision based motion planning system for humanoid robots. The goal is to automatically generate arm trajectories that avoid obstacles in unknown environments from high-level ...
详细信息
This paper describes an experimental stereo vision based motion planning system for humanoid robots. The goal is to automatically generate arm trajectories that avoid obstacles in unknown environments from high-level task commands. Our system consists of three components: 1) environment sensing using stereo vision with disparity map generation and on-line consistency checking, 2) probabilistic mesh modeling in order to accumulate continuous vision input, and 3) motion planning for the robot arm using RRTs (rapidly exploring random trees). We demonstrate results from experiments using an implementation designed for the humanoid robot H7.
This paper proposes an analytical model for a delayed reservation scheme, which can be exactly analyzed. By applying it to a server-based QoS management network, we can obtain the related blocking probability and the ...
详细信息
This paper proposes an analytical model for a delayed reservation scheme, which can be exactly analyzed. By applying it to a server-based QoS management network, we can obtain the related blocking probability and the waiting time distribution of requests, and discuss its performance by means of numerical results. The numerical results show that the delayed scheme can improve the blocking probability by about two orders of magnitude compared with the conventional reservation scheme even with a small acceptable waiting time (e.g. 20% of average flow duration). We can conclude that the delayed reservation scheme can lead to significant improvement in a server-based QoS management network performance.
Much work is being conducted in the area of business process modeling using workflow technology. HiWorD is a hierarchical workflow modeling prototype with simulation capability. It models business processes using Petr...
详细信息
Much work is being conducted in the area of business process modeling using workflow technology. HiWorD is a hierarchical workflow modeling prototype with simulation capability. It models business processes using Petri nets in a hierarchical manner and implements recovery transitions as a technique to recover from exceptions. The workflow hierarchy is created by refining places and transitions using predefined patterns. By using these patterns, it is proven that the resulting workflow will be sound.
This paper describes an experimental stereo vision based motion planning system for humanoid robots. The goal is to automatically generate arm trajectories that avoid obstacles in unknown environments from high-level ...
详细信息
As the Internet is shifting towards a reliable QoS-aware network, accurately synchronized clocks distributed in the Internet become more significant. Network Time Protocol (NTP) is broadly deployed in the Internet for...
详细信息
ISBN:
(纸本)0769514502;0769514510
As the Internet is shifting towards a reliable QoS-aware network, accurately synchronized clocks distributed in the Internet become more significant. Network Time Protocol (NTP) is broadly deployed in the Internet for clock synchronization among distributed hosts, but it is weak in asymetric paths, i.e., it cannot accurately estimate the clock offset between two hosts when the forward and backward paths between them have different one-way delays. In this paper, we focus on estimating the offset and the skew of a clock from one-way delay measurement between two hosts, and propose an idea for improvement of such estimations, which reduces estimation errors in case that the forward and backward paths have different bandwidths that is one of main factors of the asymmetric delays.
In the Internet, a statistical perspective of global traffic flows has been considered as an important key to network management. Nonetheless, it is expensive or sometime difficult to measure statistics of each flow s...
详细信息
ISBN:
(纸本)0769514472
In the Internet, a statistical perspective of global traffic flows has been considered as an important key to network management. Nonetheless, it is expensive or sometime difficult to measure statistics of each flow separately. Therefore, it is of practical importance to infer unobservable statistical characteristics of individual flows front characteristics of the aggregated-flows that are easily measured at some links (router interfaces) in the network. In this paper, we propose a new approach to such inference problems, and provide some examples of inferring unobservable arrival rates of packets on each flow front measurement of the aggregated-flows. Our method is applicable to cases not covered by the existing methods for the OD traffic matrix inference. We also show simulation results, which indicate potential of our approach.
For two-player games of perfect information such as Chess, we introduce "uniqueness" properties to describe game positions in which a winning strategy (should one exist) is forced to be unique. Depending on ...
详细信息
We study a new operator of projection onto state and the prefix operator in the extension μHDC of DC by quantifiers over state and a polyadic least fixed point operator. We give axioms and rules to enable deduction i...
详细信息
暂无评论