Studies in Nonlinear Optical Materials: Structure of Methyl 2-(4-Ethyl-5-methyl- 2-thioxo-2,3-dihydro-l,3-thiazol- 3-yl) propionate

CIoH15NO282, Mr=245"0, orthorhombic, P21212 ~, a = 6.639 (2), b = 8.205 (2), c = 22.528(6)A, V= I227.2(6)A 3, z=4, Dm= 1.315, Dx= 1.326gem -3, MoKa, 2=0.7107A, 12= 3.63 cm -1, F(000) = 520, T= 293 K, R = 0.037 for 1115 significant reflections. The second-harmonicgeneration (SHG) efficiency of this compound is only 1/10th of the urea standard. The observed low second-order nonlinear response may be attributed to the unfavourable packing of the molecules in the crystal lattice.

Truth, Proof and Gödelian Arguments : A Defence of Tarskian Truth in Mathematics

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion.

Nonlinear analysis for the pre- and post-yield behaviour of a composite structure with the refined plastic hinge approach

The computational technique of the full ranges of the second-order inelastic behaviour evaluation of steel-concrete composite structure is not always sought forgivingly, and therefore it hinders the development and application of the performance-based design approach for the composite structure. To this end, this paper addresses of the advanced computational technique of the higher-order element with the refined plastic hinges to capture the all-ranges behaviour of an entire steel-concrete composite structure. Moreover, this paper presents the efficient and economical cross-section analysis to evaluate the element section capacity of the non-uniform and arbitrary composite section subjected to the axial and bending interaction. Based on the same single algorithm, it can accurately and effectively evaluate nearly continuous interaction capacity curve from decompression to pure bending technically, which is the important capacity range but highly nonlinear. Hence, this cross-section analysis provides the simple but unique algorithm for the design approach. In summary, the present nonlinear computational technique can simulate both material and geometric nonlinearities of the composite structure in the accurate, efficient and reliable fashion, including partial shear connection and gradual yielding at pre-yield stage, plasticity and strain-hardening effect due to axial and bending interaction at post-yield stage, loading redistribution, second-order P-δ and P-Δ effect, and also the stiffness and strength deterioration. And because of its reliable and accurate behavioural evaluation, the present technique can be extended for the design of the high-strength composite structure and potentially for the fibre-reinforced concrete structure.

Surface acoustic waves of finite amplitude excited by a monochromatic line source

A technique for obtaining a uniformly valid solution to the problem of nonlinear propagation of surface acoustic waves excited by a monochromatic line source is presented. The method of solution is an extension of the method of strained coordinates wherein both the dependent and independent variables are expanded in perturbation series. A special transformation is proposed for the independent variables so as to make the expansions uniformly valid and also to satisfy all the boundary conditions. This perturbation procedure, carried out to the second order, yields a solution containing a second harmonic surface wave whose amplitude and phase exhibit an oscillatory variation along the direction of propagation. In addition, the solution also contains a second harmonic bulk wave of constant amplitude but varying phase propagating into the medium.

Transcending “the Impossible” : From Dead End to Expansive Learning

This dissertation investigates changes in bank work and the experience of impossibility attached to these by workers at the local level from the viewpoint of work-related well-being and collective learning. A special challenge in my work is to conceptualize the experience of impossibility as related to change, and as a starting point and tool for development work. The subject of the dissertation, solving the impossible as a collective learning process, came up as a central theme in an earlier project: Work Units between the Old and the New (1997 – 1999). Its aim was to investigate how change is constructed as a long-term process, starting from the planning of the change until its final realization in everyday banking work. I studied changes taking place in the former Postipankki (Postal Bank), later called Leonia. The three-year study involved the Branch Office of Martinlaakso, and was conducted from the perspective of well-being in a change process. The sense of impossibility involved in changes turned out to be one of the most crucial factors impairing the sense of well-being. The work community that was the target of my study did not have the available tools to construct the change locally, or to deal with the change-related impossibility by solving it through a mutual process among themselves. During the last year of the project, I carried out an intervention for development in the Branch Office, as collaboration between the researchers and the workers. The purpose of the intervention was to resolve such perceived change-related impossibility as experienced repeatedly and considered by the work community as relevant to work-related well-being. The documentation of the intervention – audio records from development sessions, written assignments by workers and assessment or evaluation interviews – constitute the essential data for my dissertation. The earlier data, collected and analysed during the first two years, provides a historical perspective on the process, all the way from construction of the impossibility towards resolving and transcending it. The aim of my dissertation is to understand the progress of developmental intervention as a shared, possibly expansive learning process within a work community and thus to provide tools for perceiving and constructing local change. I chose the change-related impossibility as a starting point for development work in the work community and as a target of conceptualization. This, I feel, is the most important contribution of my dissertation. While the intervention was in progress, the concept of impossibility started emerging as a stimulating tool for development work. An understanding of such a process can be applied to development work outside banking work as well. According to my results, it is pivotal that a concept stimulating development is strongly connected with everyday experiences of and speech about changes in work activity, as well as with the theoretical framework of work development. During this process, development work on a local level became of utmost interest as a case study for managing change. Theoretically, this was conceptualized as so-called second-order work and this concept accompanies us all the way through the research process. Learning second-order work and constructing tools based on this work have proved crucial for promoting well-being in the change circumstances in a local work unit. The lack of second-order work has led to non-well-being and inability to transcend the change-related sense of impossibility in the work community. Solving the impossible, either individually or situationally, did not orient the workers towards solving problems of impossibility together as a work community. Because the experience of the impossibility and coming to terms with transcending it are the starting point and the target of conceptualization in this dissertation, the research provides a fresh viewpoint on the theoretical framework of change and developmental work. My dissertation can facilitate construction of local changes necessitated by the recent financial crisis, and thus promote fluency and well-being in work units. It can also support change-related well-being in other areas of working life.

Crystal and molecular structure of the quinoxaline antibiotic analog TANDEM (des-N-tetramethyltriostin A)

The crystal structure of TANDEM (des-N-tetramethyltriostin A), a synthetic analogue of the quinoxaline antibiotic triostin A, has been determined independently at -135 and 7 'C and refined to R values of 0.088 and 0.147, respectively. The molecule has approximate 2-fold symmetry, with the quinoxaline chromophores and the disulfide cross-bridge projecting from opposite sides of the peptide ring. The quinoxaline groups are nearly parallel to each other and separated by about 6.5 A. The peptide backbone resembles a distorted antiparallel 13 ribbon joined by intramolecular hydrogen bonds N-H(LVal)--O(L-Ala). At low temperatures, the TANDEM molecule is surrounded by a regular first- and second-order hydration sphere containing 14 independent water molecules. At room temperature, only the first-order hydration shell is maintained. Calculations of the interplanar separation of the quinoxaline groups as a function of their orientation with respect to the peptide ring support the viability of TANDEM to intercalate bifunctionally into DNA.

Oscillatory flow in an elastic tube of variable cross-section

An oscillatory flow of a viscous incompressible fluid in an elastic tube of variable cross section has been investigated at low Reynolds number. The equations governing, the flow are derived under the assumption that the variation of the cross-section is slow in the axial direction for a tethered tube. The problem is then reduced to that of solving for the excess pressure from a second order ordinary differential equation with complex valued Bessel functions as the coefficients. This equation has been solved numerically for geometries of physiological interest and a comparison is made with some of the known theoretical and experimental results.

Optical Properties of Nanocrystalline Potassium Lithium Niobate in the Glass System (100-x) TeO2-x(1.5K(2)O-Li2O-2.5Nb(2)O(5))

Optically clear glasses of various compositions in the system (100-x) TeO2-x(1.5K(2)O-Li2O-2.5Nb(2)O(5)) (2 <= x <= 12, in molar ratio) were prepared by the melt-quenching technique. The glassy nature of the as-quenched samples was established via differential scanning calorimetry (DSC). The amorphous and the crystalline nature of the as-quenched and heat-treated samples were confirmed by the X-ray powder diffraction and transmission electron microscopic (TEM) studies. Transparent glasses comprising potassium lithium niobate (K3Li2Nb5O15) microcrystallites on the surface and nanocrystallites within the glass were obtained by controlled heat-treatment of the as-quenched glasses just above the glass transition temperature (T-g). The optical transmission spectra of these glasses and glass-crystal composites of various compositions were recorded in the 200-2500 nm wavelength range. Various optical parameters such as optical band gap, Urbach energy, refractive index were determined. Second order optical non-linearity was established in the heat-treated samples by employing the Maker-Fringe method.

Finite volume TVD formulation of lattice Boltzmann simulation on unstructured mesh

A numerical scheme is presented for accurate simulation of fluid flow using the lattice Boltzmann equation (LBE) on unstructured mesh. A finite volume approach is adopted to discretize the LBE on a cell-centered, arbitrary shaped, triangular tessellation. The formulation includes a formal, second order discretization using a Total Variation Diminishing (TVD) scheme for the terms representing advection of the distribution function in physical space, due to microscopic particle motion. The advantage of the LBE approach is exploited by implementing the scheme in a new computer code to run on a parallel computing system. Performance of the new formulation is systematically investigated by simulating four benchmark flows of increasing complexity, namely (1) flow in a plane channel, (2) unsteady Couette flow, (3) flow caused by a moving lid over a 2D square cavity and (4) flow over a circular cylinder. For each of these flows, the present scheme is validated with the results from Navier-Stokes computations as well as lattice Boltzmann simulations on regular mesh. It is shown that the scheme is robust and accurate for the different test problems studied.

Identification of amino acid residues essential for enzyme activity of sheep liver 5,10-methylenetetrahydrofolate reductase

Sheep liver 5,10-methylenetetrahydrofolate reductase was subjected to specific chemical modification with phenylglyoxal, diethyl pyrocarbonate and N-bromosuccinimide. The second-order rate constants for inactivation were calculated to be 54 M-1 X min-1, 103 M-1 X min-1 and 154 M-1 X min-1 respectively. This inactivation could be prevented by incubation with substrates or products, suggesting that the residues modified, namely arginine, histidine and tryptophan, are essential for enzyme activity.

Periodic Rayleigh waves of finite amplitude on an isotropic solid

Existence of a periodic progressive wave solution to the nonlinear boundary value problem for Rayleigh surface waves of finite amplitude is demonstrated using an extension of the method of strained coordinates. The solution, obtained as a second-order perturbation of the linearized monochromatic Rayleigh wave solution, contains harmonics of all orders of the fundamental frequency. It is shown that the higher harmonic content of the wave increases with amplitude, but the slope of the waveform remains finite so long as the amplitude is less than a critical value.

On the axial vibrations of rotating bars

One of the important developments in rotary wing aeroelasticity in the recent past has been the growing awareness and acceptance of the fact that the problem is inherently non-linear and that correct treatment of aeroelastic problems requires the development of a consistent mathematical model [l]. This has led to a number of studies devoted to the derivation of a consistent set of “second order” non-linear equations, for example, those of Hodges and Dowel1 [2], of Rosen and Friedmann [3], and of Kvaternik, White and Kaza [4], each of which differs from the others on the question of the inclusion of certain terms in the equations of motion. The final form of the equations depends first upon the ordering scheme used for characterizing the displacements and upon the consistency with which this is applied in omitting terms of lower order. The ideal way of achieving this would be to derive the equations of motion with all the terms first included regardless of their relative orders of magnitude and then to apply the ordering scheme.

Proton Spin-Lattice Relaxation in Sodium Ammonium Selenate Dihydrate:NaNHaSeOa.2He0

Proton spin-lattice relaxation studies in sodium ammonium selenate dihydrate carried out in the temperature range 130 to 300 K at 10 MHz show a continuous change in T, at T, indicating a second order phase transition. This compound is a typical case of a highly hindered solid wherein the thermally activated reorientations of ammonium ions freeze well above 77 K, as seen by NMR.Untersuchimgen der Protonen-Spin-Gitter-Relaxation in Natriuni-Ammoniumselenat-Dihydrat bei 10 MHz im Temperaturbereich 130 bis 300 K zeigen eine kontinuierliche Andernng in TI bei T, und ergeben einen Phasenubergang zweiter Art. Diese Verbindung ist ein typischer Fall eines stark ,,behinderten" Festkarpers, in dein die thermisch aktivierten Reorientierungen der Ammoniumionen weit oberhalb 77 H einfrieren, wie die NMR-Ergebnisse zeigen.

Identification of active-site residues of sheep liver serine hydroxymethyltransferase

Chemical modification of amino acid residues with phenylglyoxal, N-ethylmaleimide and diethyl pyrocarbonate indicated that at least one residue each of arginine, cysteine and histidine were essential for the activity of sheep liver serine hydroxymethyltransferase. The second-order rate constants for inactivation were calculated to be 0.016 mM-1 X min-1 for phenylglyoxal, 0.52 mM-1 X min-1 for N-ethylmaleimide and 0.06 mM-1 X min-1 for diethyl pyrocarbonate. Different rates of modification of these residues in the presence and in the absence of substrates and the cofactor pyridoxal 5'-phosphate as well as the spectra of the modified protein suggested that these residues might occur at the active site of the enzyme.

Interval Data Classification under Partial Information: A Chance-Constraint Approach

This paper presents a Chance-constraint Programming approach for constructing maximum-margin classifiers which are robust to interval-valued uncertainty in training examples. The methodology ensures that uncertain examples are classified correctly with high probability by employing chance-constraints. The main contribution of the paper is to pose the resultant optimization problem as a Second Order Cone Program by using large deviation inequalities, due to Bernstein. Apart from support and mean of the uncertain examples these Bernstein based relaxations make no further assumptions on the underlying uncertainty. Classifiers built using the proposed approach are less conservative, yield higher margins and hence are expected to generalize better than existing methods. Experimental results on synthetic and real-world datasets show that the proposed classifiers are better equipped to handle interval-valued uncertainty than state-of-the-art.