Transformers 2

A 44 minute introduction to the concepts of equivalent circuits, voltage regulation and per unit notation by Prof Jan Sykulski of the University of Southampton.

Intro to Matlab for Oceanography: Micro-lectures

This is a collection of 12 micro-lectures, to be used by students in advance of practical sessions. Durations range for 3 min to 10 min. Topics include: ****** 1. Introduction ****** 2. Data classes ****** 3. Matrices ****** 4. Getting help ****** 5. Index notation ****** 6. 1- and 2-dimensional data ****** 7. 3-dimensional data ****** 8. Booleans (True/False) ****** 9. Designing a programme (Algorithms) ****** 10. Flow control: If-then statements ****** 11. Flow control: For-do loops ****** 12. Making nicer figures ******

Desarrollo de sistemas groupware basado en modelos : integración con el Proceso de Desarrollo de Software.

Resumen basado en el de la publicación

Formulació matricial de la teoria de pertorbacions de Rayleigh-Schrödringer: monodimensional

Es repassa la formulació de la Teoria de Pertorbacions en notació matricial i s'exposa una aplicació senzilla com és la solució del problema de la partícula sotmesa a un potencial d'atracció dins la caixa quàntica monodimensional

Funcions densitat i semblança molecular quàntica: nous desenvolupaments i aplicacions

La present tesi, tot i que emmarcada dins de la teoria de les Mesures Semblança Molecular Quántica (MQSM), es deriva en tres àmbits clarament definits: - La creació de Contorns Moleculars de IsoDensitat Electrònica (MIDCOs, de l'anglès Molecular IsoDensity COntours) a partir de densitats electròniques ajustades. - El desenvolupament d'un mètode de sobreposició molecular, alternatiu a la regla de la màxima semblança. - Relacions Quantitatives Estructura-Activitat (QSAR, de l'anglès Quantitative Structure-Activity Relationships). L'objectiu en el camp dels MIDCOs és l'aplicació de funcions densitat ajustades, ideades inicialment per a abaratir els càlculs de MQSM, per a l'obtenció de MIDCOs. Així, es realitza un estudi gràfic comparatiu entre diferents funcions densitat ajustades a diferents bases amb densitats obtingudes de càlculs duts a terme a nivells ab initio. D'aquesta manera, l'analogia visual entre les funcions ajustades i les ab initio obtinguda en el ventall de representacions de densitat obtingudes, i juntament amb els valors de les mesures de semblança obtinguts prèviament, totalment comparables, fonamenta l'ús d'aquestes funcions ajustades. Més enllà del propòsit inicial, es van realitzar dos estudis complementaris a la simple representació de densitats, i són l'anàlisi de curvatura i l'extensió a macromolècules. La primera observació correspon a comprovar no només la semblança dels MIDCOs, sinó la coherència del seu comportament a nivell de curvatura, podent-se així observar punts d'inflexió en la representació de densitats i veure gràficament aquelles zones on la densitat és còncava o convexa. Aquest primer estudi revela que tant les densitats ajustades com les calculades a nivell ab initio es comporten de manera totalment anàloga. En la segona part d'aquest treball es va poder estendre el mètode a molècules més grans, de fins uns 2500 àtoms. Finalment, s'aplica part de la filosofia del MEDLA. Sabent que la densitat electrònica decau ràpidament al allunyar-se dels nuclis, el càlcul d'aquesta pot ser obviat a distàncies grans d'aquests. D'aquesta manera es va proposar particionar l'espai, i calcular tan sols les funcions ajustades de cada àtom tan sols en una regió petita, envoltant l'àtom en qüestió. Duent a terme aquest procés, es disminueix el temps de càlcul i el procés esdevé lineal amb nombre d'àtoms presents en la molècula tractada. En el tema dedicat a la sobreposició molecular es tracta la creació d'un algorisme, així com la seva implementació en forma de programa, batejat Topo-Geometrical Superposition Algorithm (TGSA), d'un mètode que proporcionés aquells alineaments que coincideixen amb la intuïció química. El resultat és un programa informàtic, codificat en Fortran 90, el qual alinea les molècules per parelles considerant tan sols nombres i distàncies atòmiques. La total absència de paràmetres teòrics permet desenvolupar un mètode de sobreposició molecular general, que proporcioni una sobreposició intuïtiva, i també de forma rellevant, de manera ràpida i amb poca intervenció de l'usuari. L'ús màxim del TGSA s'ha dedicat a calcular semblances per al seu ús posterior en QSAR, les quals majoritàriament no corresponen al valor que s'obtindria d'emprar la regla de la màxima semblança, sobretot si hi ha àtoms pesats en joc. Finalment, en l'últim tema, dedicat a la Semblança Quàntica en el marc del QSAR, es tracten tres aspectes diferents: - Ús de matrius de semblança. Aquí intervé l'anomenada matriu de semblança, calculada a partir de les semblances per parelles d'entre un conjunt de molècules. Aquesta matriu és emprada posteriorment, degudament tractada, com a font de descriptors moleculars per a estudis QSAR. Dins d'aquest àmbit s'han fet diversos estudis de correlació d'interès farmacològic, toxicològic, així com de diverses propietats físiques. - Aplicació de l'energia d'interacció electró-electró, assimilat com a una forma d'autosemblança. Aquesta modesta contribució consisteix breument en prendre el valor d'aquesta magnitud, i per analogia amb la notació de l'autosemblança molecular quàntica, assimilar-la com a cas particular de d'aquesta mesura. Aquesta energia d'interacció s'obté fàcilment a partir de programari mecanoquàntic, i esdevé ideal per a fer un primer estudi preliminar de correlació, on s'utilitza aquesta magnitud com a únic descriptor. - Càlcul d'autosemblances, on la densitat ha estat modificada per a augmentar el paper d'un substituent. Treballs previs amb densitats de fragments, tot i donar molt bons resultats, manquen de cert rigor conceptual en aïllar un fragment, suposadament responsable de l'activitat molecular, de la totalitat de l'estructura molecular, tot i que les densitats associades a aquest fragment ja difereixen degut a pertànyer a esquelets amb diferents substitucions. Un procediment per a omplir aquest buit que deixa la simple separació del fragment, considerant així la totalitat de la molècula (calcular-ne l'autosemblança), però evitant al mateix temps valors d'autosemblança no desitjats provocats per àtoms pesats, és l'ús de densitats de Forats de fermi, els quals es troben definits al voltant del fragment d'interès. Aquest procediment modifica la densitat de manera que es troba majoritàriament concentrada a la regió d'interès, però alhora permet obtenir una funció densitat, la qual es comporta matemàticament igual que la densitat electrònica regular, podent-se així incorporar dins del marc de la semblança molecular. Les autosemblances calculades amb aquesta metodologia han portat a bones correlacions amb àcids aromàtics substituïts, podent així donar una explicació al seu comportament. Des d'un altre punt de vista, també s'han fet contribucions conceptuals. S'ha implementat una nova mesura de semblança, la d'energia cinètica, la qual consisteix en prendre la recentment desenvolupada funció densitat d'energia cinètica, la qual al comportar-se matemàticament igual a les densitats electròniques regulars, s'ha incorporat en el marc de la semblança. A partir d'aquesta mesura s'han obtingut models QSAR satisfactoris per diferents conjunts moleculars. Dins de l'aspecte del tractament de les matrius de semblança s'ha implementat l'anomenada transformació estocàstica com a alternativa a l'ús de l'índex Carbó. Aquesta transformació de la matriu de semblança permet obtenir una nova matriu no simètrica, la qual pot ser posteriorment tractada per a construir models QSAR.

A pattern language for goals

Previous work has established the value of goal-oriented approaches to requirements engineering. Achieving clarity and agreement about stakeholders’ goals and assumptions is critical for building successful software systems and managing their subsequent evolution. In general, this decision-making process requires stakeholders to understand the implications of decisions outside the domains of their own expertise. Hence it is important to support goal negotiation and decision making with description languages that are both precise and expressive, yet easy to grasp. This paper presents work in progress to develop a pattern language for describing goal refinement graphs. The language has a simple graphical notation, which is supported by a prototype editor tool, and a symbolic notation based on modal logic.

General derivative relations for anharmonic force fields

The brace notation, introduced by Allen and Csaszar (1993, J. chem. Phys., 98, 2983), provides a simple and compact way to deal with derivatives of arbitrary non-tensorial quantities. One of its main advantages is that it builds the permutational symmetry of the derivatives directly into the formalism. The brace notation is applied to formulate the general nth-order Cartesian derivatives of internal coordinates, and to provide closed forms for general, nth-order transformation equations of anharmonic force fields, expressed as Taylor series, from internal to Cartesian or normal coordinate spaces.

Vibrations in the B-4 rhombic structure

A double minimum six-dimensional Potential energy surface (PES) is determined in symmetry coordinates for the most stable rhombic (D-2h) B-4 isomer in its (1)A(g) electronic ground state by fitting to energies calculated ab initio. The PES exhibits a barrier to the D-4h square structure of 255 cm(-1). The vibrational levels (J=0) are calculated variationally using an approach which involves the Watson kinetic energy operator expressed in normal coordinates. The pattern of about 65 vibrational levels up to 1600 cm-1 for all stable isotopomers is analyzed. Analogous to the inversion in ammonia-like molecules, the rhombus rearrangements lead to splittings of the vibrational levels. In B-4 it is the B-1g (D-4h mode which distorts the square molecule to its planar rhombic form. The anharmonic fundamental vibrational transitions of B-11(4) are calculated to be (splittings in parentheses): G(O) = 2352(22) cm(-1), v(1)(A(1g)) - 1136(24) cm(-1,) v(2)(B-1g)=209(144) cm(-1) v(3)(B-2g)=1198(19)cm(-1), v(4)(B-2u) = 271(24) cm(-1), and v(5) (E-u) = 1030( 166) cm(-1) (D-4h notation). Their variations in all stable isotoporners were investigated. Due to the presence of strong anharmonic resonances between the B-1g in-plane distortion and the B-2u, out-of-plane bending modes. the hiaher overtones and combination levels are difficult to assign unequivocally. (C) 2005 American Institute of Physics.

Watching the words: drama and poems

Some poems are inherently dramatic due to their narrative content or the events, characters, places and emotions that are their subject. Others have the potential for dramatisation because of some aural or visual quality of their poetic form. However, if dramatising poems is to be meaningful and effective children need to be taught something about the art form of drama rather than just being left to their own devices. This chapter explores the learning potential of considering the printed text of a poem as a notation of sound, movement, gesture and use of space. The chapter recognises a progression from simple nursery rhymes to the sophisticated use of poetic language in different types of literature that is mirrored in the journey from infants’ clapping games to the dramatic juxtaposition of aural and visual images in theatre and the performing arts.

The capability-affordance model: a method for analysis and modelling of capabilities and affordances

Existing capability models lack qualitative and quantitative means to compare business capabilities. This paper extends previous work and uses affordance theories to consistently model and analyse capabilities. We use the concept of objective and subjective affordances to model capability as a tuple of a set of resource affordance system mechanisms and action paths, dependent on one or more critical affordance factors. We identify an affordance chain of subjective affordances by which affordances work together to enable an action and an affordance path that links action affordances to create a capability system. We define the mechanism and path underlying capability. We show how affordance modelling notation, AMN, can represent affordances comprising a capability. We propose a method to quantitatively and qualitatively compare capabilities using efficiency, effectiveness and quality metrics. The method is demonstrated by a medical example comparing the capability of syringe and needless anaesthetic systems.

Asymptotic Skewness in Exponential Family Nonlinear Models

In this article, we give an asymptotic formula of order n(-1/2), where n is the sample size, for the skewness of the distributions of the maximum likelihood estimates of the parameters in exponencial family nonlinear models. We generalize the result by Cordeiro and Cordeiro ( 2001). The formula is given in matrix notation and is very suitable for computer implementation and to obtain closed form expressions for a great variety of models. Some special cases and two applications are discussed.

SPECIAL CHARACTERIZATIONS OF STANDARD DISCRETE MODELS

This article presents important properties of standard discrete distributions and its conjugate densities. The Bernoulli and Poisson processes are described as generators of such discrete models. A characterization of distributions by mixtures is also introduced. This article adopts a novel singular notation and representation. Singular representations are unusual in statistical texts. Nevertheless, the singular notation makes it simpler to extend and generalize theoretical results and greatly facilitates numerical and computational implementation.

Systemutveckling för riskbaserad tillsyn : Hur verksamhetsanalys på praktikteoretisk grund kan användas för kravfångst

Denna studie har utförts vid en myndighet som bedriver statlig tillsyn över det svenska järnvägssystemet. När myndigheten beslutade att deras tillsyn skulle vara riskbaserad uppstod behov att se över och eventuellt förändra myndighetens verksamhetsprocesser utifrån ett riskbaserat synsätt. Arbetet med denna licentiatavhandling, som har skett i form av praktikforskning, har sin grund i två förändringsprojekt som var starkt påverkade av den bärande idén om riskbaserad tillsyn. Av denna anledning fanns ett behov att karaktärisera riskbaserad tillsyn. Detta skedde med hjälp av verksamhetsanalys på praktikteoretisk grund vars resultat formulerades i en verksamhetsteori för riskbaserad tillsyn. På ett övergripande plan handlar riskbaserad tillsyn om att integrera riskhantering i myndighetens tillsynsprocesser. Denna licentiatavhandling är skriven inom ämnet informationssystemsutveckling och det problem som undersöks är hur man kan fånga kraven på ett verksamhetsstödjande informationssystem med hjälp av en verksamhetsanalys på praktikteoretisk grund. Tesen för arbetet är att de krav som identifieras i en verksamhetsanalys på praktikteoretisk grund bör kunna användas i det fortsatta kravarbetet. Därför är spårbarhet mellan verksamhetsanalysens dokumentation och den fortsatta kravhanteringen i ett systemutvecklingsprojekt en viktig egenskap. Spårbarheten undersöks genom att två av myndighetens utvecklingsprojekt som var inriktade på att utveckla både verksamheten och nya informationssystem analyseras. Att uppnå spårbarhet är en del av tillvägagångssättet när informationssystem utvecklas. I denna licentiatavhandling beskrivs tillvägagångssättet utifrån tre metodegenskaper: arbetssätt (vilka frågor som ställs), notation (hur kraven dokumenteras) och arbetsformer (vilka tekniker för datainsamling som används). Det är alltså inte bara spårbarhet (som ingår i metodegenskapen notation) som är intressant att studera närmare utan hela tillvägagångssättet i verksamhetsanalysen. Studien har bedrivits i form av praktikforskning och det innebär att tre bidrag har producerats: 1) ett bidrag till den lokala praktiken, dvs. till myndigheten; 2) ett bidrag till den generella praktiken, dvs. till andra verksamheter som bedriver statlig tillsyn men även praktiker som arbetar med verksamhets- respektive systemutveckling inkluderas i den generella praktiken; samt 3) ett bidrag till akademin. Bidraget till den lokala praktiken är genomförandet av utvecklingsprojekten och deras resultat. Bidraget till den generella praktiken inom verksamhetsutveckling är verksamhetsanalysen som resulterar i en verksamhetsteori för riskbaserad tillsyn. Bidraget till praktiker inom systemutveckling är kravanalysen som visar hur en verksamhetsanalys på praktikteoretisk grund kan användas för att fånga krav på ett verksamhetsstödjande informationssystem. Kravanalysen öppnar även för möjligheter att söka efter krav på ett informationssystem utan att verksamhetsanalysen fokuserar informationssystemet. Bidraget till akademin består också av kravanalysen som med hjälp av fyra kravkategorier härleder spårbarhet mellan verksamhetsteorin för riskbaserad tillsyn och kravdokumentation från de studerade projekten. Det andra bidraget till akademin är ett önskvärt tillvägagångssätt för att genomföra en praktikteoretisk verksamhetsanalys för riskbaserad tillsyn.

A Compositional Semantics of UML-RSDS

This paper provides a semantics for the UML-RSDS (Reactive System Development Support) subset of UML, using the real-time action logic (RAL) formalism. We show how this semantics can be used to resolve some ambiguities and omissions in UML semantics, and to support reasoning about specifications using the B formal method and tools. We use `semantic profiles' to provide precise semantics for different semantic variation points of UML. We also show how RAL can be used to give a semantics to notations for real-time specification in UML. Unlike other approaches to UML semantics, which concentrate on the class diagram notation, our semantic representation has behaviour as a central element, and can be used to define semantics for use cases, state machines and interactions, in addition to class diagrams.