Microcomputer software for creating statistics from population census microdata for GIS planning applications (with a description of the REDATAM software)

Includes bibliography

Analysis of head response to torso acceleration. Volume II - description of data retrieval, analysis and display software. Final report.

Transportation Systems Center, Cambridge, Mass.

A numerical model for the description of the nonlinear behaviour of multi-leaf masonry walls

A nonlinear finite element model was developed to simulate the nonlinear response of three-leaf masonry specimens, which were subjected to laboratory tests with the aim of investigating the mechanical behaviour of multiple-leaf stone masonry walls up to failure. The specimens consisted of two external leaves made of stone bricks and mortar joints, and an internal leaf in mortar and stone aggregate. Different loading conditions, typologies of the collar joints, and stone types were taken into account. The constitutive law implemented in the model is characterized by a damage tensor, which allows the damage-induced anisotropy accompanying the cracking process to be described. To follow the post-peak behaviour of the specimens with sufficient accuracy it was necessary to make the damage model non-local, to avoid mesh-dependency effects related to the strain-softening behaviour of the material. Comparisons between the predicted and measured failure loads are quite satisfactory in most of the studied cases. (c) 2007 Elsevier Ltd. All rights reserved.

Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.

Description of epidemics of coffee rust with neural networks

The objective of this paper was to evaluate the potential of neural networks (NN) as an alternative method to the basic epidemiological approach to describe epidemics of coffee rust. The NN was developed from the intensities of coffee (Coffea arabica) rust along with the climatic variables collected in Lavras-MG between 13 February 1998 and 20 April 2001. The NN was built with climatic variables that were either selected in a stepwise regression analysis or by the Braincel® system, software for NN building. Fifty-nine networks and 26 regression models were tested. The best models were selected based on small values of the mean square deviation (MSD) and of the mean prediction error (MPE). For the regression models, the highest coefficients of determination (R²) were used. The best model developed with neural networks had an MSD of 4.36 and an MPE of 2.43%. This model used the variables of minimum temperature, production, relative humidity of the air, and irradiance 30 days before the evaluation of disease. The best regression model was developed from 29 selected climatic variables in the network. The summary statistics for this model were: MPE=6.58%, MSE=4.36, and R²=0.80. The elaborated neural networks from a time series also were evaluated to describe the epidemic. The incidence of coffee rust at four previous fortnights resulted in a model with MPE=4.72% and an MSD=3.95.

Morphoquantitative description of bovine digital cushion

Abstract The digital cushion is characterized as a modified subcutaneous tissue that absorbs the shock during gait, assists venous return of the hoof and supports a considerable part of body weight. Digital cushions have particular importance in the pathogenesis of the hoof, since they need to properly work in order to prevent compression and traumas in soft tissues. This study aimed to measure and determine how is the arrangement of these structures, and for this it was established the proportions of connective, adipose, vascular tissues and collagen fibers and collagen types found in palmar and plantar digital cushion of bovine using fore and hindlimbs of twelve adult zebu cattle of both sexes, 11 male and one female, with 269kg average carcass weight and without limb disorders. Fragments of cushions were subjected to conventional histology, cut to a thickness of 4µm and stained with Red Picrosirius. With digital optical microscope, the quantification of the connective tissue and differentiation of types of collagen used the Image Pro Plus® software, and of adipose and vascular tissue, the test point system. The mean and standard error were estimated with the GraphPad Prism 5.0 software, and then data were subjected to Kolmogorov-Smirnov normality test and Student's t-test with significance level set at 5% for determining the amount of different tissues between fore and hindlimbs of studied animals. In forelimbs the mean and standard error of the connective tissue proportion was 50.10%+1.54, of the adipose tissue was 21.34%+1.44, and of vascular tissue was 3.43%+0.28. Hindlimbs presented a proportion of connective tissue of 61.61%+1.47, 20.66%+1.53 of adipose tissue, and 3.06%+0.20 of vascular tissue. A significant difference (p<0.001) was detected in the connective tissue proportion between fore and hindlimbs. Types I and II collagen fibers have presented, respectively, a proportion of 31.89% and 3.9% in forelimbs and 34.05% and 1.78% in hindlimbs. According to the used methodology, digital cushions had a clear differentiation relative to adipose tissue between fore and hindlimbs.

SubCM: A tool for improved visibility of software change in an industrial setting

Software Configuration Management is the discipline of managing large collections of software development artefacts from which software products are built. Software configuration management tools typically deal with artefacts at fine levels of granularity - such as individual source code files - and assist with coordination of changes to such artefacts. This paper describes a lightweight tool, designed to be used on top of a traditional file-based configuration management system. The add-on tool support enables users to flexibly define new hierarchical views of product structure, independent of the underlying artefact-repository structure. The tool extracts configuration and change data with respect to the user-defined hierarchy, leading to improved visibility of how individual subsystems have changed. The approach yields a range of new capabilities for build managers, and verification and validation teams. The paper includes a description of our experience using the tool in an organization that builds large embedded software systems.

Development of a quasi-chemical viscosity model for fully liquid slags in the Al2O3-CaO-'FeO'-MgO-SiO2 system. Part 1. Description of the model and its application to the MgO, MgO-SiO2, Al2O3-MgO and CaO-MgO sub-systems

A structurally-based quasi-chemical viscosity model for fully liquid slags in the Al2O3 CaO-'FeO'-MgO-SiO2 system has been developed. The model links the slag viscosities to the internal structures of the melts through the concentrations of various Si0.5O, Me2/nn+O and Me1/nn+Si0.25O viscous flow structural units. The concentrations of these structural units are derived from a quasi-chemical thermodynamic model of the system. The model described in this series of papers enables the viscosities of liquid slags to be predicted within experimental uncertainties over the whole range of temperatures and compositions in the Al2O3 CaOMgO-SiO2 system.

About Ontology Application to the Description of Syllabus

Publication describes the experience in application of ontology technique to structuring of educational materials. Several topics of physics were formalized by means of Protégé software tool. Some principal problems in building of knowledge structure were found, so the discussion may interest not only ontology users, but also the developers of ontology tools.

Generalized Nets Model of an E-Learning System Software Architecture

The paper has been presented at the International Conference Pioneers of Bulgarian Mathematics, Dedicated to Nikola Obreshko ff and Lubomir Tschakaloff , Sofi a, July, 2006.

An integrated framework for ensuring the quality of software design

Software development is an extremely complex process, during which human errors are introduced and result in faulty software systems. It is highly desirable and important that these errors can be prevented and detected as early as possible. Software architecture design is a high-level system description, which embodies many system features and properties that are eventually implemented in the final operational system. Therefore, methods for modeling and analyzing software architecture descriptions can help prevent and reveal human errors and thus improve software quality. Furthermore, if an analyzed software architecture description can be used to derive a partial software implementation, especially when the derivation can be automated, significant benefits can be gained with regard to both the system quality and productivity. This dissertation proposes a framework for an integrated analysis on both of the design and implementation. To ensure the desirable properties of the architecture model, we apply formal verification by using the model checking technique. To ensure the desirable properties of the implementation, we develop a methodology and the associated tool to translate an architecture specification into an implementation written in the combination of Arch-Java/Java/AspectJ programming languages. The translation is semi-automatic so that many manual programming errors can be prevented. Furthermore, the translation inserting monitoring code into the implementation such that runtime verification can be performed, this provides additional assurance for the quality of the implementation. Moreover, validations for the translations from architecture model to program are provided. Finally, several case studies are experimented and presented.

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic.^ This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.^

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic. This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.

Morphological description of Dipturus mennii (Chondrichthyes: Elasmobranchii: Rajidae) and its differentiation from Dipturus trachyderma

Squamation patterns and skeletal anatomy (neurocranium, visceral arches, synarcual cartilage, scapulocoracoid, puboischiadic bar, and mixopterigium) of Dipturus mennii Gomes & Paragó, 2001 are described as a contribution to our limited knowledge of the anatomy of species of Dipturus Rafinesque, 1810. The hyoid and branchial arches, as well as the synarcual cartilage, are described for the first time in this species. We provide morphological comparisons of this species with Dipturus trachyderma (Krefft & Stehmann, 1975), a species that may be confused with D. mennii; we further corroborate, through anatomical features, that these species warrant separate taxonomic recognition. The main differences between D. mennii and D. trachyderma were found in squamation of the nuchal and middisc region, neurocranium, pectoral girdle, and principally the clasper skeleton. The morphology of the pelvic girdle is similar in both species. Dipturus is characterized by having the ventral terminal cartilage J-shaped (as opposed to the Z-shaped ventral terminal cartilage in Zearaja, whose species were, until recently, placed in Dipturus). Additional characters that may be derived for Dipturus include the anterior rostral groove and elevated rostral proportions