Abstract The development of autonomous vessel has achieved tremendous interest across the world for safe navigation and economic benefits. Numerous alternatives are constructed in projects, MUNIN NYK project combined this study; these - Manned vessel, Remotely controlled Autonomous Partially remote-controlled Full vessel. As statistics UNCTAD shows that South-East Asia is a highly dense region ...

A salient feature of the manned spacecraft is the predominance of discrete information in the manual control loop of the onboard systems. Specifically, command-signaling control panels (CSCP) as a subsystem of the manual control loop are widely used in the Russian manned spacecraft. In this paper CSCP are classified into four types: a) control panels based on multichannel control; b) control pa...

To operate in civil airspace, unmanned aircraft systems (UAS) are expected to maintain safe separation from other aircraft. Self-separation and Collision Avoidance Systems (CAS) designed for unmanned aircraft are under development to meet this requirement. To maintain airspace safety, these systems must interoperate safely with CAS onboard manned aircraft. Whereas manned aircraft CAS such as TC...

This paper investigates approaches to parallelizing Bounded Model Checking (BMC) for shared memory environments as well as for clusters of workstations. We present a generic framework for parallelized BMC named Tarmo. Our framework can be used with any incremental SAT encoding for BMC but for the results in this paper we use only the current state-of-the-art encoding for full PLTL [4]. Using th...

Networks of Workstations (NOW) have become an attractive alternative platform for high performance computing. Due to the commodity nature of workstations and interconnects, the NOW environments are being gradually redeened as Heterogeneous Networks of Workstations (HNOW) environments. This paper presents a new framework to implement collective communication operations (as deened by the Message ...

Networks of Workstations (NOW) have become an attractive alternative platform for high performance computing. Due to the commodity nature of workstations and interconnects, the NOW environments are being gradually redeened as Heterogeneous Networks of Workstations (HNOW) environments. This paper presents a new framework to implement collective communication operations (as deened by the Message ...

This paper introduces a method to integrate Unmanned Aircraft Systems (UASs) into a highly functional manned/ unmanned team through the design and implementation of 3D distributed formation/flight control algorithms with the goal to act as wingmen for a manned aircraft. The proposed algorithms are designed to increase UAS autonomy, dynamically modify formations, utilize standard operating forma...

With the International Space Station being extended to 2020, there is additional emphasis in the manned spaceflight program to find more efficient and effective ways of providing the ground-based mission support. This search for improvement has led to a cross-fertilization between the advanced software development community and the manned spaceflight operations community. Many mission operation...

The Unmanned Aircraft Systems (UAS) community in the United States has identified the need for a “collision avoidance region” in which UAS Detect-and-Avoid (DAA) vertical guidance is restricted to preclude interoperability issues with manned aircraft collision avoidance system vertical resolution advisories (RAs). This paper documents the process by which the collision avoidance region was defi...

ABSTRACT: Parallel Assembly Lines with multi-line stations (PALBs) have been widely studied in recent years because PALBs can help improve the efficiency of a production system. However, need buffers has not considered PALBP literature. In this study, for first time literature, it is shown and demonstrated to consider use type line when their cycle times are different. Moreover, buffer sizing p...