The realisation of JSD specifications in object oriented languages

Jackson System Development (JSD) is an operational software development method which addresses most of the software lifecycle either directly or by providing a framework into which more specialised techniques can fit. The method has two major phases: first an abstract specification is derived that is in principle executable; second the specification is implemented using a variety of transformations. The object oriented paradigm is based on data abstraction and encapsulation coupled to an inheritance architecture that is able to support software reuse. Its claims of improved programmer productivity and easier program maintenance make it an important technology to be considered for building complex software systems. The mapping of JSD specifications into procedural languages typified by Cobol, Ada, etc., involves techniques such as inversion and state vector separation to produce executable systems of acceptable performance. However, at present, no strategy exists to map JSD specifications into object oriented languages. The aim of this research is to investigate the relationship between JSD and the object oriented paradigm, and to identify and implement transformations capable of mapping JSD specifications into an object oriented language typified by Smalltalk-80. The direction which the transformational strategy follows is one whereby the concurrency of a specification is removed. Two approaches implementing inversion - an architectural transformation resulting in a simulated coroutine mechanism being generated - are described in detail. The first approach directly realises inversions by manipulating Smalltalk-80 system contexts. This is possible in Smalltalk-80 because contexts are first class objects and are accessible to the user like any other system object. However, problems associated with this approach are expounded. The second approach realises coroutine-like behaviour in a structure called a `followmap'. A followmap is the results of a transformation on a JSD process in which a collection of followsets is generated. Each followset represents all possible state transitions a process can undergo from the current state of the process. Followsets, together with exploitation of the class/instance mechanism for implementing state vector separation, form the basis for mapping JSD specifications into Smalltalk-80. A tool, which is also built in Smalltalk-80, supports these derived transformations and enables a user to generate Smalltalk-80 prototypes of JSD specifications.

The transformational implementation of JSD process specifications via finite automata representation

Conventional structured methods of software engineering are often based on the use of functional decomposition coupled with the Waterfall development process model. This approach is argued to be inadequate for coping with the evolutionary nature of large software systems. Alternative development paradigms, including the operational paradigm and the transformational paradigm, have been proposed to address the inadequacies of this conventional view of software developement, and these are reviewed. JSD is presented as an example of an operational approach to software engineering, and is contrasted with other well documented examples. The thesis shows how aspects of JSD can be characterised with reference to formal language theory and automata theory. In particular, it is noted that Jackson structure diagrams are equivalent to regular expressions and can be thought of as specifying corresponding finite automata. The thesis discusses the automatic transformation of structure diagrams into finite automata using an algorithm adapted from compiler theory, and then extends the technique to deal with areas of JSD which are not strictly formalisable in terms of regular languages. In particular, an elegant and novel method for dealing with so called recognition (or parsing) difficulties is described,. Various applications of the extended technique are described. They include a new method of automatically implementing the dismemberment transformation; an efficient way of implementing inversion in languages lacking a goto-statement; and a new in-the-large implementation strategy.

Geological reference standards (JLK-1,JSD-1, JSD-2, JSD-3,JMS-1, JMS-2) measured by Itrax-XRF core scanner in different exposure times

X-ray fluorescence (XRF) core-scanning is a fast and nondestructive technique to assess elemental variations of unprocessed sediments. However, although the exposure time of XRF-scanning directly affects the scanning counts and total measurement time, only a few studies have considered the influence of exposure time during the scan. How to select an optimal exposure time to achieve reliable results and reduce the total measurement time is an important issue. To address this question, six geological reference materials from the Geological Survey of Japan (JLK-1, JMS-1, JMS-2, JSD-1, JSD-2, and JSD-3) were scanned by the Itrax-XRF core scanner using the Mo- and the Cr-tube with different exposure times to allow a comparison of scanning counts with absolute concentrations. The regression lines and correlation coefficients of elements that are generally used in paleoenvironmental studies were examined for the different exposure times and X-ray tubes. The results show that for those elements with relatively high concentrations or high detectability, the correlation coefficients are higher than 0.90 for all exposure times. In contrast, for the low detectability or low concentration elements, the correlation coefficients are relatively low, and improve little with increased exposure time. Therefore, we suggest that the influence of different exposure times is insignificant for the accuracy of the measurements. Thus, caution must be taken when interpreting the results of elements with low detectability, even when the exposure times are long and scanning counts are reasonably high.

Investigating the link between transit oriented development and sustainable travel behavior in Brisbane : a case-control study

The purpose of this research is to empirically test the prevailing view that transit oriented development enhances the use of more sustainable modes of transport using Brisbane, Australia as a case. Transit oriented development has been adopted as a new policy tool to reduce car-based travel worldwide. Despite being a billion dollar investment, the impacts of transit oriented development on promoting sustainable travel behavior is not conclusive. The research uses a case-control approach to empirically investigate this relationship based on travel behavior data collected from 88 individuals living in two contrasting neighborhoods in Brisbane: Kelvin Grove Urban Village – a transit oriented development, and Annerley – a traditional suburb (non-transit oriented development). A comparative investigation of travel behavior was subsequently conducted using distance travelled by modes and purposes between the neighborhoods. Results show that the availability of opportunity and services located within the transit oriented development reduces the car use by 5% and increases the use of active transport by 4%. The findings in this research support the implementation of TOD policies in Brisbane.

Brain fiber architecture, genetics, and intelligence: a high angular resolution diffusion imaging (HARDI) study

We developed an analysis pipeline enabling population studies of HARDI data, and applied it to map genetic influences on fiber architecture in 90 twin subjects. We applied tensor-driven 3D fluid registration to HARDI, resampling the spherical fiber orientation distribution functions (ODFs) in appropriate Riemannian manifolds, after ODF regularization and sharpening. Fitting structural equation models (SEM) from quantitative genetics, we evaluated genetic influences on the Jensen-Shannon divergence (JSD), a novel measure of fiber spatial coherence, and on the generalized fiber anisotropy (GFA) a measure of fiber integrity. With random-effects regression, we mapped regions where diffusion profiles were highly correlated with subjects' intelligence quotient (IQ). Fiber complexity was predominantly under genetic control, and higher in more highly anisotropic regions; the proportion of genetic versus environmental control varied spatially. Our methods show promise for discovering genes affecting fiber connectivity in the brain.

Mapping genetic influences on brain fiber architecture with high angular resolution diffusion imaging (HARDI)

We report the first 3D maps of genetic effects on brain fiber complexity. We analyzed HARDI brain imaging data from 90 young adult twins using an information-theoretic measure, the Jensen-Shannon divergence (JSD), to gauge the regional complexity of the white matter fiber orientation distribution functions (ODF). HARDI data were fluidly registered using Karcher means and ODF square-roots for interpol ation; each subject's JSD map was computed from the spatial coherence of the ODFs in each voxel's neighborhood. We evaluated the genetic influences on generalized fiber anisotropy (GFA) and complexity (JSD) using structural equation models (SEM). At each voxel, genetic and environmental components of data variation were estimated, and their goodness of fit tested by permutation. Color-coded maps revealed that the optimal models varied for different brain regions. Fiber complexity was predominantly under genetic control, and was higher in more highly anisotropic regions. These methods show promise for discovering factors affecting fiber connectivity in the brain.

24-timmars myndigheten, säkerhet, design och definition

Via Internet kan vi sköta många av våra dagliga rutiner. Vi kan handla, betala räkningar, beställa biljetter till diverse evenemang, resor med mera. Även den offentliga sektorn erbjuder alltfler av sina tjänster elektroniskt. Det största hindret för utvecklingen av elektroniska tjänster är den höga säkerhet som måste ställas på exempelvis identifiering och signering. För denna säkerhet kan med fördel PKI, Public Key Infrastructure, användas. Det är en säkerhetsmetod som innebär att man använder privata och publika nycklar. PKI-tekniken skyddar bra mot avlyssning eftersom identifieringen bygger på att ett slumptal krypteras, och att resultatet därför ser olika ut från gång till gång.Socialtjänsten på Borlänge Kommun har påbörjat utvecklingen av en elektronisk tjänst som kommer att innebära att personer som beviljats ekonomiskt bistånd, ska kunna förnya sin ansökan via Internet. Personen i fråga ska även kunna se de uppgifter som Socialtjänsten har ifrån övriga inblandade myndigheter, samt vika utbetalningar som Socialtjänsten gjort och ska göra till personen. I och med detta exjobb kan Borlänge Kommun visa upp en prototyp som fungerar i stort sett som de vill att den skarpa tjänsten ska göraSverige är en av pionjärerna i världen att öppna förvaltningen på Internet, och Borlänge kommun har som en av de första kommunerna i Sverige startat utvecklingen av en tjänst i enlighet med "24-timmars myndigheten".

Potential use of polyacrylamide for soil erosion control in Brazil

Since soil erosion is currently a worldwide threat, its control has become a necessity. The performance and effectiveness of synthetic organic polymers such polyacrylamide (PAM), have been intensively studied, especially for erosion control in temperate climate conditions. In tropical regions, however, where climatic conditions are usually severe, very little research has been conducted. The Brazilian region is a good example, where few papers on this subject exist. In addition to the severe climatic conditions, careless land use has been prevalent for many years. The use of PAM for erosion control in Brazilian soils may be a good option to minimize the impacts of the soil degradation process, but more research is required to optimize its application.

Application of laser-induced plasma spectroscopy to the measurement of transition probabilities of Ca I

We present improved experimental transition probabilities for the optical Ca I 4s4p-4s4d and 4s4p-4p2multiplets. The values were determined with an absolute uncertainty of 10%. Transition probabilities have been determined by the branching ratios from the measurement of relative line intensities emitted by laser-induced plasma (LIP). The line intensities were obtained with the target (leadcalcium) placed in argon atmosphere at 6 Torr, recorded at a 2.5 µs delay from the laser pulse, which provides appropriate measurement conditions, and analysed between 350.0 and 550.0 nm. They are measured when the plasma reaches local thermodynamic equilibrium (LTE). The plasma is characterized by electron temperature (T) of 11400 K and an electron number density (Ne) of 1.1 x 1016 cm-3. The influence self-absorption has been estimated for every line, and plasma homogeneity has been checked. The values obtained were compared with previous experimental values in the literature. The method for measurement of transition probabilities using laser-induced plasma as spectroscopic source has been checked.

Determination and analysis of plasma radiative properties for numerical simulations of laboratory radiative blast waves launched in xenon clusters

Radiative shock waves play a pivotal role in the transport energy into the stellar medium. This fact has led to many efforts to scale the astrophysical phenomena to accessible laboratory conditions and their study has been highlighted as an area requiring further experimental investigations. Low density material with high atomic mass is suitable to achieve radiative regime, and, therefore, low density xenon plasmas are commonly used for the medium in which the radiative shocks propagate. The knowledge of the plasma radiative properties is crucial for the correct understanding and for the hydrodynamic simulations of radiative shocks. In this work, we perform an analysis of the radiative properties of xenon plasmas in a range of matter densities and electron temperatures typically found in laboratory experiments of radiative shocks launched in xenon plasmas. Furthermore, for a particular experiment, our analysis is applied to make a diagnostics of the electron temperatures of the radiative shocks since they could not be experimentally measured

An operational approach to object-oriented software development

The traditional waterfall software life cycle model has several weaknesses. One problem is that a working version of a system is unavailable until a late stage in the development; any omissions and mistakes in the specification undetected until that stage can be costly to maintain. The operational approach which emphasises the construction of executable specifications can help to remedy this problem. An operational specification may be exercised to generate the behaviours of the specified system, thereby serving as a prototype to facilitate early validation of the system's functional requirements. Recent ideas have centred on using an existing operational method such as JSD in the specification phase of object-oriented development. An explicit transformation phase following specification is necessary in this approach because differences in abstractions between the two domains need to be bridged. This research explores an alternative approach of developing an operational specification method specifically for object-oriented development. By incorporating object-oriented concepts in operational specifications, the specifications have the advantage of directly facilitating implementation in an object-oriented language without requiring further significant transformations. In addition, object-oriented concepts can help the developer manage the complexity of the problem domain specification, whilst providing the user with a specification that closely reflects the real world and so the specification and its execution can be readily understood and validated. A graphical notation has been developed for the specification method which can capture the dynamic properties of an object-oriented system. A tool has also been implemented comprising an editor to facilitate the input of specifications, and an interpreter which can execute the specifications and graphically animate the behaviours of the specified systems.

An Exploration of parametric software cost estimating models for Jackson Systems Development

Most parametric software cost estimation models used today evolved in the late 70's and early 80's. At that time, the dominant software development techniques being used were the early 'structured methods'. Since then, several new systems development paradigms and methods have emerged, one being Jackson Systems Development (JSD). As current cost estimating methods do not take account of these developments, their non-universality means they cannot provide adequate estimates of effort and hence cost. In order to address these shortcomings two new estimation methods have been developed for JSD projects. One of these methods JSD-FPA, is a top-down estimating method, based on the existing MKII function point method. The other method, JSD-COCOMO, is a sizing technique which sizes a project, in terms of lines of code, from the process structure diagrams and thus provides an input to the traditional COCOMO method.The JSD-FPA method allows JSD projects in both the real-time and scientific application areas to be costed, as well as the commercial information systems applications to which FPA is usually applied. The method is based upon a three-dimensional view of a system specification as opposed to the largely data-oriented view traditionally used by FPA. The method uses counts of various attributes of a JSD specification to develop a metric which provides an indication of the size of the system to be developed. This size metric is then transformed into an estimate of effort by calculating past project productivity and utilising this figure to predict the effort and hence cost of a future project. The effort estimates produced were validated by comparing them against the effort figures for six actual projects.The JSD-COCOMO method uses counts of the levels in a process structure chart as the input to an empirically derived model which transforms them into an estimate of delivered source code instructions.

Modelação de juntas adesivas por modelos de dano coesivo utilizando o método direto

A utilização de adesivos hoje em dia encontra-se de tal forma disseminada que é transversal a diversos setores do mercado, como a indústria aeroespacial, aeronáutica, automóvel e do desporto. De facto, o uso de ligações adesivas em estruturas mecânicas tem vindo a crescer, na medida em que estes têm substituído os métodos de ligação convencionais, tais como brasagem, rebitagem, ligações aparafusadas e soldadura. No geral, as ligações adesivas apresentam diversas vantagens, desde a diminuição do peso, redução da concentração de tensões, facilidade de fabrico, bom comportamento a solicitações cíclicas e capacidade de unir materiais dissimilares. O crescente interesse da indústria nas ligações adesivas tem por base o aumento da confiabilidade nos métodos de previsão de resistência de estruturas adesivas. Neste contexto surgem os Modelos de Dano Coesivo, que permitem simular o crescimento do dano em estruturas, após introdução das leis coesivas previamente estimadas nos modelos numéricos. Uma das fases mais importantes neste método de previsão é a estimativa das leis coesivas em tração e corte, pelo que se torna de grande relevância a existência e validação de métodos precisos para a obtenção destas leis. Este trabalho visa a validação de leis coesivas em tração e corte, estimadas pela aplicação do método direto, na previsão da resistência de juntas com geometria de solicitação mista. Neste âmbito, ensaiaram-se JSS e JSD com diferentes comprimentos de sobreposição e com adesivos de diferente ductilidade. Foram considerados os adesivos Araldite® AV138, de elevada resistência e baixa ductilidade, o Araldite® 2015, de moderada ductilidade e resistência intermédia, e o SikaForce® 7752, de baixa resistência e elevada ductilidade. As leis coesivas em modo puro serviram de base para a criação de leis simplificadas triangulares, trapezoidais e linearesexponenciais, que foram testadas para cada um dos adesivos. A validação das mesmas consumou-se por comparação das previsões numéricas com os resultados experimentais. Procedeu-se também a uma análise de tensões de arrancamento e de corte no adesivo, de modo a compreender a influência das tensões na resistência das juntas. A utilização do método direto permitiu obter previsões de resistência bastante precisas, indicando as formas de leis coesivas mais adequadas para cada conjunto adesivo/geometria de junta. Para além disso, para as condições geométricas e materiais consideradas, este estudo permitiu concluir que não se cometem erros significativos na escolha de uma lei menos adequada.