Performance of a transverse feedback system with a simple 2-tap FIR filter was experimentally studied in TRISTAN AR. The 2-tap FIR filter eliminates DC components and change the amount of necessary phase shift by the tapposition. An ADC, a 2-tap FIR filter logic and a DAC are packaged in a single-width CAMAC module, which is also equipped with large-size memory, where the bunch oscillations ove...

State-of-the-art baggage handling systems transport luggage in an automated way using destination coded vehicles (DCVs). These vehicles transport the bags at high speeds on a “mini” railway network. Currently, the networks are simple, with only a few junctions, since otherwise bottlenecks would be created at the junctions. This makes the system inefficient. In the research we conduct, more comp...

One of the most widespread framework for the management of access-control policies is Administrative Role Based Access Control (ARBAC). Several automated analysis techniques have been proposed to help maintaining desirable security properties of ARBAC policies. One limitation of many available techniques is that the sets of users and roles are bounded. In this paper, we propose a symbolic frame...

Traditional testing techniques often reach their limits when employed for the assessment of critical Machine Control Systems as they contain a large amount of random and unpredictable components. The probabilistic analysis approach can assist in their evaluation by providing a subjective evidence of their safety and reliability. The synergy of probabilistic analysis and expressiveness of higher...

dna sequence determination is a tremendous human achievement. dna sequencing includes several methods and technologies in use for determining the order of the nucleotide bases (adenine, guanine, cytosine, and thymine) in a molecule of dna. knowledge of dna sequences has become indispensable for basic biological research, other research branches utilizing dna sequencing, and in numerous applied ...

Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands correspondingly strong automated reasoning techniques for understanding and debugging them. The need for these techniques is even more pressing given the rich and dynamic nature of the environments in which these policies e...

The Active Mobile Objects Control System (AMO CS) is the main object of an investigation in the proposed paper. An integrated structure and dynamic models of AMO CS functioning, and combined methods and algorithms of planning and scheduling in the system, are developed. The general advantage of suggested models methods and algorithms is related with comprehensive consideration main constraints ...

Beam Commissioning for the damping ring of the KEK accelerator test facility (ATF) has been started since January 1997. Control system of the ATF accelerator i s based on the CAMAC-enhanced byte-serial highways handled by the Open-VMS Cluster system. Control software is integrated by using a commercial database application for process control. In this paper we present the status of the ATF cont...