The aditi deductive database system

Deductive databases generalize relational databases by providing support for recursive views and non-atomic data. Aditi is a deductive system based on the client-server model; it is inherently multi-user and capable of exploiting parallelism on shared-memory multiprocessors. The back-end uses relational technology for efficiency in the management of disk-based data and uses optimization algorithms especially developed for the bottom-up evaluation of logical queries involving recursion. The front-end interacts with the user in a logical language that has more expressive power than relational query languages. We present the structure of Aditi, discuss its components in some detail, and present performance figures.     

Recombination-induced variants of Clostridium acetobutylicum ATCC 824 with increased solvent production

Three sporulation-specific genes (orfA, sigE, sigG) from clostridium acetobutylicum ATCC 824 are arranged in a cluster, encoding the putative sigma E-processing enzyme, sigma E, and sigma sigma G respectively. When they were transformed into Clostridium acetobutylicum while on a plasmid functional in this organism, transformants did not survive. Three kinds of recombinations were then attempted with nonreplicative plasmids: duplication of orfA and sigE, replacement of all of the three genes, and inactivation of orfA. While the wild-type strain ceased to grow and produce solvents in batch cultures after approximately 24 h, mutant strains were isolated that showed sustained growth for a much longer time and produced a threefold increase in acetone and butanol in test tube cultures. In addition, one of the derived strains showed a significantly higher growth rate. Features of the restriction maps of the recombinants did not correlate with expected maps, indicating possible complications occurring during the recombination events.     

Konzept zur Maßstabsübertragung beim Suspendieren im Rührbehälter

Concept for Scale-up on Suspension in a Stirred Tank. The relationships derived for the suspension of solids in a propeller loop can be applied to corresponding processes in a stirred tank by means of analogy considerations. Accordingly, the ratio of stirrer power to slip power of laminar flow state is inversely proportional to the vessel diameter. In contrast, the power ratio remains constant in turbulent flow. There is a pronounced transition range between these two limiting states. The author's own experimental studies performed over a wide range of Re numbers for the recycling flow confirm this relationship. The observations presented explain why numerous authors have determined scale-up rules lying between these two extremes. The experiments shows that the power input for suspension is always significantly greater than the slip power. Under otherwise identical conditions, the necessary stirrer power is smaller by a factor of three for a propeller stirrer than for a disk impeller. The suspension of small solids concentrations can also be approximated by the flow model presented. The somewhat different physical relations valid in this case are substantiated by the author's experiments. The model also provided information relevant to scale-up when the particle properties are unknown. This is demontrated for an example in a 21 m³ vessel.     

The effect of the length of a malarial epitope on its antigenicity and immunogenicity in an epitope presentation system using the Pseudomonas aeruginosa outer membrane protein OprF as the carrier

The phenotypic characteristics of three Serpulina pilosicoli strains isolated from humans with diarrhoea (WesB, Kar, Hrm7) and two porcine S. pilosicoli strains isolated from pigs with intestinal spirochaetosis (1648, 3295), were compared with the type strain of the species P43/6/78T (T = type strain) and other intestinal spirochaetes within the genus Serpulina. All S. pilosicoli strains had a characteristic ultrastructural appearance, displayed similar growth rates, hydrolysed hippurate, lacked beta-glucosidase activity, utilised D-ribose as a growth substrate, and had similar sensitivities to rifampicin and spiramycin. The only consistent phenotypic characteristic that differentiated human strains from porcine strains of S. pilosicoli was that the human strains all utilised the pentose sugar D-xylose. These distinguishing phenotypic traits appear useful for identifying S. pilosicoli.     

Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

Wear in check valves due to flow induced motion

Experiments showing the frequency and amplitude of the flow induced motion of the gate for a 2- and a 4-in. swing check valve have been performed. The gate motion is due to turbulence in approach flow. We have found the dominant turbulent frequency of the approach flow is about half the natural frequency of the valves. The valves appear to be almost critically damped. Because of this, the valves respond almost as they would to a static force of the magnitude characteristic of the turbulent fluctuation in the flow. Both the dimensionless exciting force and the damping ratio have been found to be independent of valve size so the above statements are true for larger valves also. The recommended valve oscillation amplitudes and frequencies are used to calculate the wear at the shaft and at the stop. For an unpegged check valve, such as one of the 10-in. valves which was used at the San Onofre Nuclear Generation Station, it was found that shaft bearing wear would amount to 0.27 in.³/year and stop wear to 0.03 in.³/year.     

Delta-doped AlGaN/AlN/GaN microwave HFETs grown by metalorganicchemical vapour deposition

The performance of an innovative delta-doped AlGaN/AlN/GaN heterojunction field-effect transistor (HFET) structure is reported. The epitaxial heterostructures were grown on semi-insulating SiC substrates by low-pressure metalorganic chemical vapour deposition. These structures exhibit a maximum carrier mobility of 1058 cm²/V s and a sheet carrier density of 2.35×10¹³ cm^-2 at room temperature, corresponding to a large n_s μ_n product of 2.49×10¹⁶ V s. HFET devices with 0.25 μm gate length were fabricated and exhibited a maximum current density as high as 1.5 A/mm (at V_G=+1 V) and a peak transconductance of g_m=240 mS/mm. High-frequency device measurements yielded a cutoff frequency of f_t≃50 GHz and maximum oscillation frequency f_max≃130 GHz     

Scheduling railway traffic at a construction site

We consider the problem of rescheduling trains in the case where one track of a railway section consisting of two tracks in opposing directions is closed due to construction activities. After presenting an appropriate model for this situation we derive a polynomial algorithm for the subproblem of finding an optimal schedule with minimal latenesss if the subsequences of trains for both directions outside the construction site are fixed. Based on this algorithm we propose a local search procedure for the general problem of finding good schedules and report test results for some real world instances. Received: December 8, 1999 / Accepted: May 2, 2001