Longitudinal space charge (LSC) force can be a main effect driving the microbunching instability in the linac for an x-ray free-electron laser (FEL). In this paper, the LSC-induced beam modulation is studied using an integral equation approach that takes into account the transverse (radial) variation of LSC field for both the coasting beam limit and bunched beam. Changes of beam energy and the transverse beam size can be also incorporated. We discuss the validity of this approach and compare it with other analyses as well as numerical simulations.
An operator of FE-closure is introduced on the set of functions of a multivalued logicbased on the systems of functional equations. It is proved that, for every k ? 2, the FE-closure operator generates a finite classification on the set P k of functions of k-valued logic. The least class in this classification is shown to be the class H k of all homogeneous functions. Also a series of corollaries are obtained concerning the finite FE-generating sets in the FE-closed classes.
We address the problem of propositional logic-based abduction, i.e., the problem of searching for a best explanation for a given propositional observation according to a given propositional knowledge base. We give a general algorithm, based on the notion of projection; then we study restrictions over the representations of the knowledge base and of the query, and find new polynomial classes of abduction problems.
This paper describes the implementations of a fuzzy logicbased self-tuned controller to improve the stability of electric power systems. The stabilizing signal is computed using the standard fuzzy membership function depending on the speed/acceleration state of the generator in the phase plane. The performance of the proposed stabilizer is demonstrated by practical implementation using a digital signal processor mounted on a PC-AT. Results of the experimental tests on a physical model of a power system are presented.
The imaging analytical capabilities of laser scanning cytometer (LSC) have been used to assess morphological features considered to be typical of the senescent phenotype. The characteristic “flattening”...Full Text Available
An approach for classification of transmission line faults is presented. The approach is based on fuzzy logic and requires the consideration of the samples of three phase currents at one end of transmission line. To illustrate the effectiveness of the proposed approach extensive simulation studies, using EMTP and MATLAB, have been carried out for different types of fault considering wide variations in the operating conditions. (author)
This study sought to quantitate lidocaine's interaction with alpha-1-acid glycoprotein (AAG), human serum albumin (HSA), and AAG in the presence of HSA, and to determine the extent of displacement of lidocaine from its binding site(s) by selected cardiovascular drugs (dipyridamole, disopyramide and quinidine). Since the limited experimental work reported in this area has involved the use of a single lidocaine concentration, this study involved the evaluation of a range of lidocaine concentrations. Lidocaine interaction with plasma proteins (AAG and HSA) was studied at 37/sup 0/C using an isothermal equilibrium dialysis system and /sup 14/C-lidocaine HCl. A dialysis membrane (M.W. cutoff 12,000 to 14,000) separated the two chambers of each dialysis cell. The extent of /sup 14/C-lidocaine dialysis was studied with respect to both drug and protein concentrations. Aliquots of each chamber of each of the cells were subjected to liquid scintillation counting ...
This paper deals with dynamic reliability of embedded systems. It presents a method for deriving feared scenarios (which might lead the system to a critical situation) in Petri nets. A classical way to obtain scenarios in Petri nets is to generate the reachability graph. However, for complex systems, it leads to the state space explosion. To avoid this problem, in our approach, Petri net reachability is translated into provability of linear logic sequents. Linear logicbases are introduced and used to formally define scenarios and minimality of scenarios. These definitions allow the method to produce only pertinent scenarios. The steps of the method are described and illustrated through a landing-gear system example.
A computer software system, CLEO, is used to assist in the planning and performance of the reactor refueling operations at the Fast Flux Test Facility (FFTF). It is a recently developed application of artificial intelligence software with both expert systems and automated reasoning aspects. CLEO, an acronym for Cloned LEO, is a logic-based computer program written in Pascal. It imitates the processes that the refueling expert for FFTF performs in organizing the refueling of FFTF. The computer assistant seeks to organize the sequence of core component movements according to the rules and logic used by the expert. In this form, CLEO has aspects that tie it to both the expert systems and automated reasoning areas within the artificial intelligence field.
This paper describes research and development presently being conducted on oil-fired space and tap water heating systems by the Advanced Combustion Technology Group, CCRL/ERL/CANMET, in Ottawa, Canada. The presentation will focus on R&D activities at CCRL in support of the Canadian Oil Heat Association (COHA) and of the energy policy initiatives of Natural Resources Canada. Progress will be reported on activities to develop suitable oil-fired integrated systems to satisfy the low energy demands of new homes. The utilization of fuzzy logic-based control heating systems including fan coils for a complete range of old and new North American housing will be discussed. Additional activities to be discussed in the presentation will relate to the development of appropriate seasonal efficiency standards for complex integrated space/water heating systems, as well as an evaluation of alternative sidewall venting technologies and their implications for seasonal energy ...
High-resolution sequence stratigraphy has been applied widely in the petroleum exploration and development, many achievements have been achieved. However, it is in the beginning stage that high-resolution sequence stratigraphy is applied to explore the sandstone-type uranium deposits in Erlian Basin. By applying principles of high-resolution sequence stratigraphy and taking typical boreholes as an example, sedimentary cycles of Saihan Formation, the ore-bearing formation in Baiyinwula area are divided and correlated through cross sections. One long-term cycle (LSC_1), two middle-term cycles (MSC_1, MSC_2) have been identified in this study. Based on this and combined with the mineralization character of sandstone uranium deposits in this area, it is presented that the interlayer oxidation zone is developed mainly in the rising hemicycle of MSC_1 and uranium ore bodies predominantly in channel sand bodies that were developed in the system tract with low ...
Purpose: Measurement of the oscillating CSF flow in the spinal canal (SC) of healthy volunteers and in patients with post-traumatic syringomyelia (PTS) using an optimized MRI protocol as well as to determine whether stenosis induced velocity changes are detectable using MRI. Methods: In 68 healthy volunteers quantitative studies of CSF flow in the cervical, thoracic, and lumbar regions were performed. First, an optimized sequence was developed and tested in 19 volunteers using four different flow-encoding velocities (4, 8, 12, 16 cm/s). Secondly, the optimized sequence was employed in 49 volunteers to measure the different CSF patterns in the cervical, thoracic, and lumbar spinal canals (CSC, TSC, LSC). Part three of the study, in which patients with PTS are being examined is still underway. We measured the maximum velocity (cm/s), the pixel area (mm{sup 2}), and the stroke volume (ml/s). Using a flow model the velocities prior to and after compression with 5 ...
The peak evaluation in alpha liquid scintillation is known to be easy, mostly due to the gaussian shape of the peaks. However, we often observed a high-energy tail in addition to a pure gaussian function. This effect is only detectable with a high resolution {alpha} liquid scintillation spectrometer such as the PERALS trademark system. Indeed, its intrinsic resolution (180 keV for a 4 MeV {alpha} particle) is better than that obtained for conventional LSC spectrometers. The peak asymmetry was quantified using the Fisher's coefficient {gamma}{sub 1} (symmetry factor). We show that the main effect responsible for the asymmetry is internal conversion. Indeed, most of the even-even nuclides have low {alpha} intensity transitions leading to excited levels of their daughter nuclides. The internal conversion is almost equal to 100% and consequently produces a sum peak at higher energy. No generalization is possible for odd-even nuclides, but the knowledge of ...
Tritium occurs in nature in trace amounts, but its concentration is changing due to natural and artificial sources. Studies focusing on natural tritium have to take into account the effect of artificial sources. Also, the impact of tritium is an important issue in environmental protection, e.g. in connection with the emissions from nuclear power plants. The present work focuses on the rain washout of tritium emitted from the Paks nuclear power plant in Hungary. Rainwater collectors were placed around the plant and after a period of precipitation, rainwater was collected and analysed for tritium content. Samples were analysed using low-level liquid scintillation counting, with some also subject to the more accurate "3He ingrowth method. The results clearly show the trace of the tritium plume emitted from the plant; however, values are only about one order of magnitude higher than environmental background levels. A washout model was devised to estimate the distribution of tritium around ...