The third logic: Adolf Hitler and abductive logic. A thesis in history of consciousness.

Ph.D. Thesis

Damage assessment of structures with uncertainty by using mode-shape curvatures and fuzzy logic

Uncertainties associated with the structural model and measured vibration data may lead to unreliable damage detection. In this paper, we show that geometric and measurement uncertainty cause considerable problem in damage assessment which can be alleviated by using a fuzzy logic-based approach for damage detection. Curvature damage factor (CDF) of a tapered cantilever beam are used as damage indicators. Monte Carlo simulation (MCS) is used to study the changes in the damage indicator due to uncertainty in the geometric properties of the beam. Variation in these CDF measures due to randomness in structural parameter, further contaminated with measurement noise, are used for developing and testing a fuzzy logic system (FLS). Results show that the method correctly identifies both single and multiple damages in the structure. For example, the FLS detects damage with an average accuracy of about 95 percent in a beam having geometric uncertainty of 1 percent COV and measurement noise of 10 percent in single damage scenario. For multiple damage case, the FLS identifies damages in the beam with an average accuracy of about 94 percent in the presence of above mentioned uncertainties. The paper brings together the disparate areas of probabilistic analysis and fuzzy logic to address uncertainty in structural damage detection.

Enzyme molecular choreography : studies on soluble inorganic pyrophosphatases

Inorganic pyrophosphatases (PPases, EC 3.6.1.1) hydrolyse pyrophosphate in a reaction that provides the thermodynamic 'push' for many reactions in the cell, including DNA and protein synthesis. Soluble PPases can be classified into two families that differ completely in both sequence and structure. While Family I PPases are found in all kingdoms, family II PPases occur only in certain prokaryotes. The enzyme from baker's yeast (Saccharomyces cerevisiae) is very well characterised both kinetically and structurally, but the exact mechanism has remained elusive. The enzyme uses divalent cations as cofactors; in vivo the metal is magnesium. Two metals are permanently bound to the enzyme, while two come with the substrate. The reaction cycle involves the activation of the nucleophilic oxygen and allows different pathways for product release. In this thesis I have solved the crystal structures of wild type yeast PPase and seven active site variants in the presence of the native cofactor magnesium. These structures explain the effects of the mutations and have allowed me to describe each intermediate along the catalytic pathway with a structure. Although establishing the ʻchoreographyʼ of the heavy atoms is an important step in understanding the mechanism, hydrogen atoms are crucial for the mechanism. The most unambiguous method to determine the positions of these hydrogen atoms is neutron crystallography. In order to determine the neutron structure of yeast PPase I perdeuterated the enzyme and grew large crystals of it. Since the crystals were not stable at ambient temperature, a cooling device was developed to allow neutron data collection. In order to investigate the structural changes during the reaction in real time by time-resolved crystallography a photolysable substrate precursor is needed. I synthesised a candidate molecule and characterised its photolysis kinetics, but unfortunately it is hydrolysed by both yeast and Thermotoga maritima PPases. The mechanism of Family II PPases is subtly different from Family I. The native metal cofactor is manganese instead of magnesium, but the metal activation is more complex because the metal ions that arrive with the substrate are magnesium different from those permanently bound to the enzyme. I determined the crystal structures of wild type Bacillus subtilis PPase with the inhibitor imidodiphosphate and an inactive H98Q variant with the substrate pyrophosphate. These structures revealed a new trimetal site that activates the nucleophile. I also determined that the metal ion sites were partially occupied by manganese and iron using anomalous X- ray scattering.

Studies on an enzyme reacting with isoniazid fromMycobacterium tuberculosis H37Rv

Mycobacterium tuberculosis H37Rv possesses an enzyme (referred to as ‘Y enzyme’) which catalyses in the presence of INH and NAD, the formation of a product, which turns yellow on acidification. The requirements for the reaction, such as enzyme concentration, INH concentration, etc., have been standardized. The substrate specificity of the enzyme with respect to INH and NAD has been determined. The reaction is specific for the INH-sensitive strain and is totally absent in INH-resistant strains. Furthermore, the ‘Y enzyme’ shows some characteristic features of a peroxidase in its requirement for oxygen and sensitivity to inhibition by various reagents. The requirements of this enzyme which is involved in the action of isoniazid inM. tuberculosis H37Rv is described for the first time.

Studies on nucleotidases in plants - Reversible denaturation of the crystalline mung bean nucleotide pyrophosphatase and the effect of adenylates on the native and renatured enzyme

The crystalline mung bean nucleotide pyrophosphatase was inhibited nonlinearly by AMP, one of the products of the reaction. The partially inactive enzyme was specifically reactivated by ADP, and V at maximal activation was the same as that of the native enzyme. ATP was a linear, noncompetitive inhibitor. The kinetic evidence suggested that ADP and ATP might not be reacting at the same site as AMP. The electrophoretic mobility of the enzyme was increased by AMP, whereas ADP and ATP were without effect. The enzyme was denatured on treatment with urea or guanidine hydrochloride. The renatured and the native enzyme had the same pH (9.4) and temperature (49 °C) optimum. The Km (0.2 m ) and V (3.2) of the native enzyme increased on renaturation to 1.8 m and 8.0, respectively. In addition, renaturation resulted in desensitization of the enzyme to inhibition by low concentrations of AMP. Renaturation did not affect the reactivation of the apoenzyme by Zn2+.

Studies on Plant Aspartate Transcarbamylase Purification and Properties of the Enzyme from Mung-Bean (Phaseolus aureus) Seedlings

Aspartate transcarbamylase is purified from mung bean seedlings by a series of steps involving manganous sulphate treatment, ammonium sulphate fractionation, DEAE-cellulose chromatography, followed by a second ammonium sulphate fractionation and finally gel filtration on Sephadex-G 100. The enzyme is homogeneous on ultracentrifugation and on polyacrylamide gel electrophoresis. It functions optimally at 55°C. It has two pH optima, one at 8.0 and the other at 10.2. The enzyme follows Michaelis-Menten kinetics with l-aspartate as the variable substrate. However, it exhibits sigmoid saturation curves at both the pH optima when the concentration of carbamyl phosphate is varied. The enzyme is allosterically inhibited by UMP at both the pH optima. Increasing phosphorylation of the uridine nucleotide decreases the inhibitory effect. The enzyme is desensitized to inhibition by UMP on treatment with p-hydroxymercuribenzoate, gel electrophoresis indicating that the enzyme is dissociated by this treatment; the dissociated enzyme can be reassociated by treatment with 2-mercaptoethanol. The properties of the mung bean enzyme are compared with the enzyme from other sources.

Prediction of Intrinsic kinetics in diffusion disguised immobilized enzyme systems

When immobilized enzyme kinetics are disguised by inter- and intraparticle diffusion effects, an approximate mathematical procedure is indicated whereby experimental data obtained in the limiting ranges of first- and zeroth-order Michaelis-Menten kinetics could be used for the prediction of the kinetic constants.

Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

Studies on Aspergillus niger glutamine synthetase: Regulation of enzyme levels by nitrogen sources and identification of active site residues

The specific activity of glutamine synthetase (L-glutamate: ammonia ligase, EC 6.3.1.2) in surface grown Aspergillus niger was increased 3-5 fold when grown on L-glutamate or potassium nitrate, compared to the activity obtained on ammonium chloride. The levels of glutamine synthetase was regulated by the availability of nitrogen source like NH4 + , and further, the enzyme is repressed by increasing concentrations of NH4 +. In contrast to other micro-organisms, the Aspergillus niger enzyme was neither specifically inactivated by NH4+ or L-glutamine nor regulated by covalent modification.Glutamine synthetase from Aspergillus niger was purified to homogenity. The native enzyme is octameric with a molecular weight of 385,000±25,000. The enzyme also catalyses Mn2+ or Mg2+-dependent synthetase and Mn2+-dependent transferase activity.Aspergillus niger glutamine synthetase was completely inactivated by two mol of phenylglyoxal and one mol of N-ethylmaleimide with second order rate constants of 3·8 M–1 min–1 and 760 M–1 min–1 respectively. Ligands like Mg. ATP, Mg. ADP, Mg. AMP, L-glutamate NH4+, Mn2+ protected the enzyme against inactivation. The pattern of inactivation and protection afforded by different ligands against N-ethylamaleimide and phenylglyoxal was remarkably similar. These results suggest that metal ATP complex acts as a substrate and interacts with an arginine ressidue at the active site. Further, the metal ion and the free nucleotide probably interact at other sites on the enzyme affecting the catalytic activity.

Static RAM cell for ternary logic

A novel CMOS static RAM cell for ternary logic systems is described. This cell is based on the lambda diode. The operation of the cell has been simulated using the SPICE 2G program. The results of the simulation are given.

Microbial L-phenylalanine ammonia-lyase. Purification, subunit structure and kinetic properties of the enzyme from Rhizoctonia solani

Phenylalanine ammonia-lyase (EC 4.3.1.5) was purified to homogeneity from the acetone-dried powders of the mycelial felts of the plant pathogenic fungus Rhizoctonia solani. 2. A useful modification in protamine sulphate treatment to get substantial purification of the enzyme in a single-step is described. 3. The purified enzyme shows bisubstrate activity towards L-phenylalanine and L-tyrosine. 4. It is sensitive to carbonyl reagents and the inhibition is not reversed by gel filtration. 5. The molecular weight of the enzyme as determined by Sephadex G-200 chromatography and sucrose-density-gradient centrifugation is around 330000. 6. The enzyme is made up of two pairs of unidentical subunits, with a molecular weight of 70000 (alpha) and 90000 (beta) respectively. 7. Studies on initial velocity versus substrate concentration have shown significant deviations from Michaelis-Menten kinetics. 8. The double-reciprocal plots are biphasic (concave downwards) and Hofstee plots show a curvilinear pattern. 9. The apparent Km value increases from 0.18 mM to as high as 5.0 mM with the increase in the concentration of the substrate and during this process the Vmax, increases by 2-2.5-fold. 10. The value of Hill coefficient is 0.5. 11. Steady-state rates of phenylalanine ammonia-lyase reaction in the presence of inhibitors like D-phenylalanine, cinnamic, p-coumaric, caffeic, dihydrocaffeic and phenylpyruvic acid have shown that only one molecule of each type of inhibitor binds to a molecule of the enzyme. These observations suggest the involvement of negative homotropic interactions in phenylalanine ammonia-lyase. 12. The enzyme could not be desensitized by treatment with HgCl2, p-chloromercuribenzoic acid or by repeated freezing and thawing.

A Note on Easily Testable Realizations for Logic Functions

It is shown that at most, n + 3 tests are required to detect any single stuck-at fault in an AND gate or a single faulty EXCLUSIVE OR (EOR) gate in a Reed-Muller canonical form realization of a switching function.