Controllability of Volterra-Fredholm type systems in Banach spaces

We show the results in Chalishajar [Controllability of mixed Volterra-Fredholm-type integro-differential systems in Banach space, J. Franklin Inst. 344(1) (2007) 12-21] and Chang and Chalishajar [Controllability of mixed Volterra-Fredholm type integro-differential systems in Banach space, J. Franklin Inst., doi:10.1016/j. jfranklin.2008.02.002] are only valid for ordinary differential control systems. As a result the examples provided cannot be recovered as applications of the abstract results. (C) 2008 The Franklin Institute. Published by Elsevier Ltd. All rights reserved.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Studies on the Synthesis and Transformations of A Few Dibenzoylalkene – Type Systems

The aim of the study is to synthesise several dibenzoylakene-type systems such as acenaphthenone-2-ylidene ketones 47 and phenanthrenone-9-ylidene ketones 48 by the condensation reaction of acenaphthenequinone and phenanthrenequinone with methyl ketones. Here studies the thermal and photochemical transformations of acenaphthaenone-2-ylidene ketones 3a-c.These acenaphthenone –2-ylidene ketones underwent extensive decomposition on heating. The objectives of present study is to synthesise acenaphthenone-2-ylidene ketones by the Claisen-Schmidt condensation of acenaphthenequinone and methyl ketones, it is to synthesise phenanthrenone –9-ylidene ketones by the Claisen-Schmidt condensation of phenanthrequinone and methyl ketones, thermal studies on acenaphthenone-2-ylidene ketones and phenanthrenone-9-ylidene ketones, photochemical studies on acenaphthenone-2-ylidene ketones and phenanthrenone –9-ylidene ketones to establish the generality of dibenzoyalkene rearrangement. Cyclic voltammetric studies on these dibezoyalkenes to compare their redox behaviour with that of the cis and trans isomers of dibenzoyl-ethylene, dibenzoylstilbene. These results should provide some information about their reactivity, and to assess and exploit the potential of these systems as quinonemethides. This study conclude that a number of new dibenzolalkene-type systems have been synthesized by the Claisen-Schmidt condensation of 1,2-diketones such as phenanthequinone and acenaphthenequinone with methyl ketones. Some of these compounds have been shown to undergo interesting photochemical transformations. Based on the results it is conclude that phenanthjrenone-9-ylidene ketones are excellent Michael acceptors. Methanol adds to these to yield the corresponding furanols. These furanols are unstable and are slowly converted to phenanthro-2 (3H)-furanones.

Studies on the Synthesis and Transformations of a Few Dibenzoylalkene-type Systems

The aim of the study is to synthesise several dibenzoylakene-type systems such as acenaphthenone-2-ylidene ketones 47 and phenanthrenone-9-ylidene ketones 48 by the condensation reaction of acenaphthenequinone and phenanthrenequinone with methyl ketones. Here studies the thermal and photochemical transformations of acenaphthaenone-2-ylidene ketones 3a-c.These acenaphthenone –2-ylidene ketones underwent extensive decomposition on heating. The objectives of present study is to synthesise acenaphthenone-2-ylidene ketones by the Claisen-Schmidt condensation of acenaphthenequinone and methyl ketones, it is to synthesise phenanthrenone –9-ylidene ketones by the Claisen-Schmidt condensation of phenanthrequinone and methyl ketones, thermal studies on acenaphthenone-2-ylidene ketones and phenanthrenone-9-ylidene ketones, photochemical studies on acenaphthenone-2-ylidene ketones and phenanthrenone –9-ylidene ketones to establish the generality of dibenzoyalkene rearrangement. Cyclic voltammetric studies on these dibezoyalkenes to compare their redox behaviour with that of the cis and trans isomers of dibenzoyl-ethylene, dibenzoylstilbene. These results should provide some information about their reactivity, and to assess and exploit the potential of these systems as quinonemethides. This study conclude that a number of new dibenzolalkene-type systems have been synthesized by the Claisen-Schmidt condensation of 1,2-diketones such as phenanthequinone and acenaphthenequinone with methyl ketones. Some of these compounds have been shown to undergo interesting photochemical transformations. Based on the results it is conclude that phenanthjrenone-9-ylidene ketones are excellent Michael acceptors. Methanol adds to these to yield the corresponding furanols. These furanols are unstable and are slowly converted to phenanthro-2 (3H)-furanones

Selective N-monomethylation of aniline over Zn1-xNixFe2O4 (x=0, 0.2, 0.5, 0.8 and 1) type systems

The reaction of aniline with methanol was carried out over Zn1-xNixFe2O4 (x= 0, 0.2, 0.5, 0.8 and 1) type systems in a fixed-bed down-flow reactor. It was observed that systems possessing low ``x'' values are highly selective and active for mono N-alkylation of aniline leading to N-methyl aniline. Selectivity for N-methyl aniline over ZnFe2O4 was more than 99% under the optimized reaction conditions. Even at methanol to aniline molar ratio of 2, the yield of N-methyl aniline was nearly 55.5%, whereas its yield exceeded 67% at the molar ratio of 7. The Lewis acid sites of the catalysts are mainly responsible for the good catalytic performance. Cation distribution in the spinel lattice influences their acido-basic properties, and hence, these factors have been considered as helpful to evaluate the activity and stability of the systems.

Selective N-monomethylation of aniline using Zn1-x CoxFe2O4( x=0, 0.2, 0.5, 0.8 and 1.0)type systems

A series of ferrites having the general formula Zn1-xCoxFe2O4 (x=0, 0.2, 0.5, 0.8 and 1.0)were prepared by soft chemical route. The materials were characterized by adopting various physico-chemical methods. The reaction of aniline with methanol was studied in a fixed-bed reactor system as a potential source for the production of various methyl anilines. It was observed that systems possessing low ‘ x’ values are highly selective and active for N-monoalkylation of aniline leading to N-methylaniline. Reaction parameters were properly varied to optimize the reaction conditions for obtaining N-methylaniline selectively and in better yield. Among the systems Zn0.8Co0.2Fe2O4 is remarkable due to its very high activity and excellent stability. Under the optimized conditions N-methylaniline selectivity exceeded 98%. Even at a methanol to aniline molar ratio of 2, the yield of N-methylaniline was nearly 50%, whereas its yield exceeded 71% at the molar ratio of 5. ZnFe2O4, though executed better conversion than Zn0.8Co0.2Fe2O4 in the initial period of the run, deactivates quickly as the reaction proceeds. The Lewis acidity of the catalysts is mainly responsible for the good performance. Cation distribution in the spinel lattice influences their acido-basic properties and, hence, these factors have been considered as helpful parameters to evaluate the activity of the systems.

Type Systems for Distributed Programs: Components and Sessions

Modern software systems, in particular distributed ones, are everywhere around us and are at the basis of our everyday activities. Hence, guaranteeing their cor- rectness, consistency and safety is of paramount importance. Their complexity makes the verification of such properties a very challenging task. It is natural to expect that these systems are reliable and above all usable. i) In order to be reliable, compositional models of software systems need to account for consistent dynamic reconfiguration, i.e., changing at runtime the communication patterns of a program. ii) In order to be useful, compositional models of software systems need to account for interaction, which can be seen as communication patterns among components which collaborate together to achieve a common task. The aim of the Ph.D. was to develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems appeared to be an adequate methodology, considering their success in guaranteeing not only basic safety properties, but also more sophisticated ones like, deadlock or livelock freedom in a concurrent setting. The main contributions of this dissertation are twofold. i) On the components side: we design types and a type system for a concurrent object-oriented calculus to statically ensure consistency of dynamic reconfigurations related to modifications of communication patterns in a program during execution time. ii) On the communication side: we study advanced safety properties related to communication in complex distributed systems like deadlock-freedom, livelock- freedom and progress. Most importantly, we exploit an encoding of types and terms of a typical distributed language, session π-calculus, into the standard typed π- calculus, in order to understand their expressive power.

Studies on the Synthesis and Transformations of a Few 2(3H)- and 3(2H)-Furanones

The thesis entitled studies on the synthesis and transformations of a few 2(3H)- and 3(2H)- furanones. Furanones represent an interesting class of heterocyclic compounds, which constitute the central ring system of many natural products. The derivatives of furan is divided, depending on their structure 2(3H)-furanones(I), 2(5H)-furanones(II), and 3(2H)-furanones(III). Systems I&II are unsatured gama lactones known as ‘butenolides’. Compounds of this type also known as ‘crotonolactones’ based on the parent crotonic acid. In conclusion a number of 2(3H)-and 3(2H)- furanones were synthesized from dibenzoylalkene precursors and were characterized on the basis of spectral analytical and X-ray data. On direct irradiation 3,3-bis(4-chloropheneyl)-5-aryl-3H-furan -2-ones underwent decarbonylation to yield the corresponding alpha, beta- unsaturated carbonyl compounds and upon sensitized irradiation they underwent dimersation arising through a 2+2 cycloaddition reaction. Our studies on 3(2H)-furanones revealed that these compounds are thermally stable, while they undergo extensive decomposition to intractable mixtures under the influence of light. Similarly, the novel dibenzoylalkenes- type systems containing hetroatomatic rings synthesized by us also underwent extensive decomposition under the influence of heat. Some of the 3(2H)-furanones synthesized by us exhibit remarkable anti-proliferative activity.

SOLITON SOLUTIONS TO SYSTEMS OF COUPLED SCHRODINGER EQUATIONS OF HAMILTONIAN TYPE

We study the existence of positive solutions of Hamiltonian-type systems of second-order elliptic PDE in the whole space. The systems depend on a small parameter and involve a potential having a global well structure. We use dual variational methods, a mountain-pass type approach and Fourier analysis to prove positive solutions exist for sufficiently small values of the parameter.

Modelling liquid–liquid equilibria for island type ternary systems

Closed miscibility gaps in ternary liquid mixtures, at constant temperature and pressure, are obtained if phase separations occur only in the ternary region, whilst all binary mixtures involved in the system are completely miscible. This type of behaviour, although not very frequent, has been observed for a certain number of systems. Nevertheless, we have found no information about the applicability of the common activity coefficient models, as NRTL and UNIQUAC, for these types of ternary systems. Moreover, any of the island type systems published in the most common liquid–liquid equilibrium data collections, are correlated with any model. In this paper, the applicability of the NRTL equation to model the LLE of island type systems is assessed using topological concepts related to the Gibbs stability test. A first attempt to correlate experimental LLE data for two island type ternary systems is also presented.

Type System for the ComponentJ Programming Language

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.

A type system for access control in an object-oriented language

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Type inference for conversation types

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática