Support Tool to the Validation Process of Functional Requirements

The activity of validating identified requirements for an information system helps to improve the quality of a requirements specification document and, consequently, the success of a project. Although various different support tools to requirements engineering exist in the market, there is still a lack of automated support for validation activity. In this context, the purpose of this paper is to make up for that deficiency, with the use of an automated tool, to provide the resources for the execution of an adequate validation activity. The contribution of this study is to enable an agile and effective follow-up of the scope established for the requirements, so as to lead the development to a solution which would satisfy the real necessities of the users, as well as to supply project managers with relevant information about the maturity of the analysts involved in requirements specification.

Effect of bituminous impregnation on nonwoven geotextiles tensile and permeability properties

Geosynthetics interlayer systems are effective techniques to control reflective cracking in damaged pavements. It comprises the inclusion of nonwoven geotextiles between the damaged layer and the new overlay of the pavement to reduce the propagation of cracks and to extend pavement life. However, the success of this technique depends directly on the understanding of the geotextile`s behavior when impregnated with asphalt This paper evaluates different nonwoven geotextiles frequently used in anti-reflective cracking systems, focusing on initial stiffness gain and permeability reduction after asphalt impregnation. Fresh and impregnated samples of polyester and polypropylene nonwoven geotextiles were tested. Cationic rapid setting emulsified asphalt was used as asphalt binder. Wide-width tensile tests were carried out based on the specification of ABNT - NBR 12824 (1993). Water vapor transmission tests were conducted according to ASTM E 96M (2005). Results of tensile tests on impregnated geotextiles showed a significant increase on tensile strength values, probably due to the inter contact of the fibers. Results also showed high increase in strength values at strain levels less than 0.05% and decrease on stiffness gains with increase of strains. Water vapor transmission tests demonstrated that cationic asphalt emulsion applied on nonwoven geotextiles allows a drastic reduction in permeability values to turn nonwoven geotextiles into a low permeability barrier. (C) 2010 Elsevier Ltd. All rights reserved.

Reducing Urban Transport Energy Dependence: A New Urban Development Framework and GIS-Based Tool

High urban transport energy consumption is directly influenced by transport energy dependence. Dramatic reductions in urban transport energy dependence or consumption are not yet being widely observed despite the variety of urban planning tools currently available. A new urban development framework is presented to tackle this issue that makes use of a recently developed and successfully trialed GIS-based tool, the Transport Energy Specification (TES). The TES was simulated on a neighborhood in Sao Carlos, Brazil. In the simulation, energy dependence was reduced by a factor of 8 through activity location or infrastructure modifications to the built environment.

Modeling of Distributed Control Systems in Intelligent Building based on Colored Petri Nets

Distributed control systems consist of sensors, actuators and controllers, interconnected by communication networks and are characterized by a high number of concurrent process. This work presents a proposal for a procedure to model and analyze communication networks for distributed control systems in intelligent building. The approach considered for this purpose is based on the characterization of the control system as a discrete event system and application of coloured Petri net as a formal method for specification, analysis and verification of control solutions. With this approach, we develop the models that compose the communication networks for the control systems of intelligent building, which are considered the relationships between the various buildings systems. This procedure provides a structured development of models, facilitating the process of specifying the control algorithm. An application example is presented in order to illustrate the main features of this approach.

Whirlwind: a new cryptographic hash function

A new cryptographic hash function Whirlwind is presented. We give the full specification and explain the design rationale. We show how the hash function can be implemented efficiently in software and give first performance numbers. A detailed analysis of the security against state-of-the-art cryptanalysis methods is also provided. In comparison to the algorithms submitted to the SHA-3 competition, Whirlwind takes recent developments in cryptanalysis into account by design. Even though software performance is not outstanding, it compares favourably with the 512-bit versions of SHA-3 candidates such as LANE or the original CubeHash proposal and is about on par with ECHO and MD6.

Fretting fatigue in overhead conductors: Rig design and failure analysis of a Grosbeak aluminium cable steel reinforced conductor

The performance optimisation of overhead conductors depends on the systematic investigation of the fretting fatigue mechanisms in the conductor/clamping system. As a consequence, a fretting fatigue rig was designed and a limited range of fatigue tests was carried out at the middle high cycle fatigue regime in order to access an exploratory S-N curve for a Grosbeak conductor, which was mounted on a mono-articulated aluminium clamping system. Subsequent to these preliminary fatigue tests, the components of the conductor/clamping system, such as ACSR conductor, upper and lower clamps, bolt and nuts, were subjected to a failure analysis procedure in order to investigate the metallurgical free variables interfering on the fatigue test results, aiming at the optimisation of the testing reproducibility. The results indicated that the rupture of the planar fracture surfaces observed in the external At strands of the conductor tested under lower bending amplitude (0.9 mm) occurred by fatigue cracking (I mm deep), followed by shear overload. The V-type fracture surfaces observed in some At strands of the conductor tested under higher bending amplitude (1.3 mm) were also produced by fatigue cracking (approximately 400 mu m deep), followed by shear overload. Shear overload fracture (45 degrees fracture surface) was also observed on the remaining At wires of the conductor tested under higher bending amplitude (1.3 mm). Additionally, the upper and lower Al-cast clamps presented microstructure-sensitive cracking, which was folowed by particle detachment and formation of abrasive debris on the clamp/conductor tribo-interface, promoting even further the fretting mechanism. The detrimental formation of abrasive debris might be inhibited by the selection of a more suitable class of as-cast At alloy for the production of clamps. Finally, the bolt/nut system showed intense degradation of the carbon steel nut (fabricated in ferritic-pearlitic carbon steel, featuring machined threads with 190 HV), with intense plastic deformation and loss of material. Proper selection of both the bolt and nut materials and the finishing processing might prevent the loss in the clamping pressure during the fretting testing. It is important to control the specification of these components (clamps, bolt and nuts) prior to the start of large scale fretting fatigue testing of the overhead conductors in order to increase the reproducibility of this assessment. (c) 2008 Elsevier Ltd. All rights reserved.

On the basic reproduction number and the topological properties of the contact network: An epidemiological study in mainly locally connected cellular automata

We study the spreading of contagious diseases in a population of constant size using susceptible-infective-recovered (SIR) models described in terms of ordinary differential equations (ODEs) and probabilistic cellular automata (PCA). In the PCA model, each individual (represented by a cell in the lattice) is mainly locally connected to others. We investigate how the topological properties of the random network representing contacts among individuals influence the transient behavior and the permanent regime of the epidemiological system described by ODE and PCA. Our main conclusions are: (1) the basic reproduction number (commonly called R(0)) related to a disease propagation in a population cannot be uniquely determined from some features of transient behavior of the infective group; (2) R(0) cannot be associated to a unique combination of clustering coefficient and average shortest path length characterizing the contact network. We discuss how these results can embarrass the specification of control strategies for combating disease propagations. (C) 2009 Elsevier B.V. All rights reserved.

The meeting place problem: Salience and search.

The notion of salience was developed by Schelling in the context of the meeting-place problem of locating a partner in the absence of a pre-agreed meeting place. In this paper, we argue that a realistic specification of the meeting place problem involves allowing a strategy of active search over a range of possible meeting places. We solve this extended problem, allowing for extensions such as repeated play, search costs and asymmetric payoffs. The result is a considerably richer, but more complex, notion of salience. (C) 1998 Elsevier Science B.V.

Formal derivation of finite state machines for class testing

Previous work on generating state machines for the purpose of class testing has not been formally based. There has also been work on deriving state machines from formal specifications for testing non-object-oriented software. We build on this work by presenting a method for deriving a state machine for testing purposes from a formal specification of the class under test. We also show how the resulting state machine can be used as the basis for a test suite developed and executed using an existing framework for class testing. To derive the state machine, we identify the states and possible interactions of the operations of the class under test. The Test Template Framework is used to formally derive the states from the Object-Z specification of the class under test. The transitions of the finite state machine are calculated from the derived states and the class's operations. The formally derived finite state machine is transformed to a ClassBench testgraph, which is used as input to the ClassBench framework to test a C++ implementation of the class. The method is illustrated using a simple bounded queue example.

Central projections of Drosophila sensory neurons in the transition from embryo to larva

Sensory axons of different sensory modalities project into typical domains within insect ganglia. Tactile and gustatory axons project into a ventral layer of neuropil and proprioceptive afferents, including chordotonal axone, into an intermediate or dorsal layer. Here, we describe the central projections of sensory neurons in the first instar Drosophila larva, relating them to the projection of the same sensory afferents in the embryo and to sensory afferents of similar type in other insects. Several neurons show marked morphologic changes in their axon terminals in the transition between the embryo and larva. During a short morphogenetic period late in embryogenesis, the axon terminals of the dorsal bipolar dendrite stretch receptor change their shape and their distribution within the neuromere. In the larva, external sense organ neurons (es) project their axons into a ventral layer of neuropil. Chordotonal sensory neurons (ch) project into a slightly more dorsal region that is comparable to their projection in adults. The multiple dendrite (md) neurons show two distinctive classes of projection. One group of md neurons projects into the ventral-most neuropil region, the same region into which es neurons project. Members of this group are related by lineage to es neurons or share a requirement for expression of the same proneural gene during development. Other md neurons project into a more dorsal region. Sensory receptors projecting into dorsal neuropil possibly provide proprioceptive feedback from the periphery to central motorneurons and are candidates for future genetic and cellular analysis of simple neural circuitry. J. Comp. Neurol. 425:34-44, 2000. (C) 2000 Wiley-Liss, Inc.

ICT AND PRODUCTIVITY IN DEVELOPING COUNTRIES: NEW FIRM-LEVEL EVIDENCE FROM BRAZIL AND INDIA

This paper uses a unique new data set on manufacturing firms in Brazil and India to estimate production functions, augmented by information and communications technology (ICT). We find a strong positive association between ICT capital and productivity in both countries that is robust to several different specification tests. The paper also breaks new ground when using the Indian data to investigate the effect of the institutional and policy environment on ICT capital investment and productivity. We find that poorer infrastructure quality and labor market policy are associated with lower levels of ICT adoption, while poorer infrastructure is also associated with lower returns to investment.

Assessing the ex ante economic impacts of transportation infrastructure policies in Brazil

This paper uses a fully operational inter-regional computable general equilibrium (CGE) model implemented for the Brazilian economy, based on previous work by Haddad and Hewings, in order to assess the likely economic effects of road transportation policy changes in Brazil. Among the features embedded in this framework, modelling of external scale economies and transportation costs provides an innovative way of dealing explicitly with theoretical issues related to integrated regional systems. The model is calibrated for 109 regions. The explicit modelling of transportation costs built into the inter-regional CGE model, based on origin-destination flows, which takes into account the spatial structure of the Brazilian economy, creates the capability of integrating the inter-regional CGE model with a geo-coded transportation network model enhancing the potential of the framework in understanding the role of infrastructure on regional development. The transportation model used is the so-called Highway Development and Management, developed by the World Bank, implemented using the software TransCAD. Further extensions of the current model specification for integrating other features of transport planning in a continental industrialising country like Brazil are discussed, with the goal of building a bridge between conventional transport planning practices and the innovative use of CGE models. In order to illustrate the analytical power of the integrated system, the authors present a set of simulations, which evaluate the ex ante economic impacts of physical/qualitative changes in the Brazilian road network (for example, a highway improvement), in accordance with recent policy developments in Brazil. Rather than providing a critical evaluation of this debate, they intend to emphasise the likely structural impacts of such policies. They expect that the results will reinforce the need to better specifying spatial interactions in inter-regional CGE models.

The Australian Universities Teaching Committee project in 'Learning Outcomes and Curriculum Development in Psychology'

The Australian Universities Teaching Committee (AUTC) funds projects intended to improve the quality of teaching and learning in specific disciplinary areas. The project brief for 'Learning Outcomes and Curriculum Development in Psychology' for 2004/2005 was to 'produce an evaluative overview of courses ... with a focus on the specification and assessment of learning outcomes and ... identify strategic directions for universities to enhance teaching and learning'. This project was awarded to a consortium from The University of Queensland, University of Tasmania, and Southern Cross University. The starting point for this project is an analysis of the scientist-practitioner model and its role in curriculum design, a review of current challenges at a conceptual level, and consideration of the implications of recent changes to universities relating to such things as intemationalisation of programs and technological advances. The project will seek to bring together stakeholders from around the country in order to survey the widest possible range of perspectives on the project brief requirements. It is hoped also to establish mechanisms for fiiture scholarly discussion of these issues, including the establishment of an Australian Society for the Teaching of Psychology and an annual conference.

Insights into the organization of dorsal spinal cord pathways from an evolutionarily conserved raldh2 intronic enhancer

Comparative studies of the tetrapod raldh2 (aldh1a2) gene, which encodes a retinoic acid (RA) synthesis enzyme, have led to the identification of a dorsal spinal cord enhancer. Enhancer activity is directed dorsally to the roof plate and dorsal-most (dl1) interneurons through predicted Tcf- and Cdx-homeodomain binding sites and is repressed ventrally via predicted Tgif homeobox and ventral Lim-homeodomain binding sites. Raldh2 and Math1/Cath1 expression in mouse and chicken highlights a novel, transient, endogenous Raldh2 expression domain in dl1 interneurons, which give rise to ascending circuits and intraspinal commissural interneurons, suggesting roles for RA in the ontogeny of spinocerebellar and intraspinal proprioceptive circuits. Consistent with expression of raldh2 in the dorsal interneurons of tetrapods, we also found that raldh2 is expressed in dorsal interneurons throughout the agnathan spinal cord, suggesting ancestral roles for RA signaling in the ontogenesis of intraspinal proprioception.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.