Exploring the impact of software requirements on system-wide goals: a method using satisfaction arguments and i* goal modelling

This paper describes the application of requirements engineering concepts to support the analysis of the impact of new software systems on system-wide goals. Requirements on a new or revised software component of a socio-technical system not only have implications on the goals of the subsystem itself, but they also impact upon the goals of the existing integrated system. In industries such as air traffic management and healthcare, impacts need to be identified and demonstrated in order to assess concerns such as risk, safety, and accuracy. A method called PiLGRIM was developed which integrates means-end relationships within goal modelling with knowledge associated with the application domain. The relationship between domain knowledge and requirements, as described in a satisfaction argument, adds traceability rationale to help determine the impacts of new requirements across a network of heterogeneous actors. We report procedures that human analysts follow to use the concepts of satisfaction arguments in a software tool for i* goal modelling. Results were demonstrated using models and arguments developed in two case studies, each featuring a distinct socio-technical system??a new controlled airspace infringement detection tool for NATS (the UK??s air navigation service provider), and a new version of the UK??s HIV/AIDS patient reporting system. Results provided evidence towards our claims that the conceptual integration of i* and satisfaction arguments is usable and useful to human analysts, and that the PiLGRIM impact analysis procedures and tool support are effective and scalable to model and analyse large and complex socio-technical systems.     

Digital techniques for ULF wave polarization analysis

Digital power spectral and wave polarization analysis are powerful techniques for studying Ulf waves in the earth’s Magnetosphere. Four different techniques for using the spectral matrix to perform such an analysis have been presented in the literature. Three of these techniques are similar in that they require transformation of the spectral matrix to the principal axis system prior to performing the polarization analysis. The differences in the three techniques lie in the manner in which determine this transformation. A comparative study of these three techniques using both simulated and real data has shown them to be approximately equal in quality of performance. The fourth technique does not require transformation of the spectral matrix. Rather, it uses the measured spectral matrix and state vectors for a desired wave type to design a polarization detector function in the frequency domain. The design of various detector functions and their application to both simulated and real data will be presented.     

A Note on EMP Safety Hazards

The character of transient electric fields induced in spherical homogeneous tissue models of man and animals by incident electromagnetic fields similar to that originating from lightning and EMP generators has been theoretically determined. The magnitude of the induced fields is found to be approximately proportional to the time rate of change of the incident field and independent of the pulsewidth. It was also found that maximum EMP induced field in spherical shaped bodies is nearly proportional to the radius of the body. Therefore, for EMP safety standards, more consideration should be given to the time rate of change of the incident field rather than to the pulsewidth, and when laboratory animal data are used as a guide they should be extrapolated to account for body size.     

Overview of a Modal-Based Condition Assessment Procedure

Condition assessment is a term that is used to describe the process of characterizing the physical condition of constructed systems. This paper summarizes a condition assessment (CA) procedure based on a complete system of field-testing, finite element (FE) modeling, and load rating. Experimental techniques, including both modal testing and truckload testing, are used to collect measurements of the constructed systems. The basic mechanism and procedure of the FE modeling and calibration are presented. Different physical parameters of FE models are adjusted during the calibration process using both static and dynamic responses as criteria to achieve convergence between experimental measurements and analytical results using carefully developed objective functions. Finally, a bridge load rating is completed on the basis of the calibrated model. These developments are described and illustrated using a representative bridge as an example.     

Rational Approach to Shear Design in Fiber-Reinforced Polymer-Prestressed Concrete Structures

The use of plasticity-based shear design methods for fiber-reinforced polymer (FRP) reinforced and prestressed concrete, as they are used at present, is inappropriate in the long term. In particular, the use of a plasticity-based truss model for shear behavior seems to be unsound, as reliance is placed on a predominantly elastic zone to redistribute stresses. A better approach to shear design would be to employ a model incorporating force equilibrium and compatibility of strains so that the elastic properties of the FRP could be included rationally. This would help to develop a real understanding and form a basis on which new guides and codes could be founded. In tandem with a more rational analytical approach, new configurations and types of FRP reinforcement need to be developed and researched so that these materials can be used more efficiently. An analytical approach to investigate the shear response of FRP-reinforced and -prestressed concrete has been developed, based on equilibrium and compatibility across a shear discontinuity. The analytical model presented here was developed in conjunction with an experimental program. Correlation between the analytical and experimental results is good and more accurate than the current guideline provisions for concrete beams containing FRP reinforcement.     

低水平电离辐射致癌效应剂量响应关系的评论性再评估

数十年来，为了辐射防护目的，通常假定辐射诱发癌的总危险是随着剂量呈线性无阈函数增加。现有的资料并不排除有阈存在，然而，剂量响应关系的变化是依赖于所论及的癌症类型，剂量，剂量率，以及辐射的LET，受照个体的年龄、性别和生理状态，以及其他因素，其中包括在低剂量条件下的适应性响应和旁观者效应的潜在影响。所以，根据不断发展的科学知识，下列机构定期对低水平辐射的剂量响应关系进行再评估，这些机构是：美国国家辐射防护与测量委员会(NCRP)，国际放射防护委员会(ICRP)，联合国原子辐射效应科学委员会(UNSCEAR)，美国国家科学院(USNAS)以及其他机构。近来这些评论普遍发现的重要证据认为，作为癌症前体的损伤(例如突变和染色体畸变)，以及某些类型癌症，其发生率在低剂量范围内将随着剂量线性增加。在此基础上，可以得出以下结论：对于低水平辐射的致癌效应，尽管不排除有其他剂量响应关系，但没有什么模式比线性无阈模式更能被接受。     

Parent-Infant Synchrony and the Social-Emotional Development of Triplets.

To study the social-emotional development of triplets, 23 sets of triplets, 23 sets of twins, and 23 singleton infants (N=138) were followed from birth to 2 years. Maternal depression and social support were assessed in the postpartum period, mother-infant and father-infant interaction and the home environment were observed at 3 months, a separation-reunion episode and a maternal interview were conducted at 12 months, and infant behavior problems were evaluated at 24 months. Lower parent-infant synchrony was observed for triplets. Triplets showed less distress during maternal separation and less approach at reunion. Mothers reported lower adjustment and differentiation among siblings for triplets than for twins. Higher internalizing problems were reported for triplets, and the triplet with intrauterine growth retardation showed the poorest outcomes. Behavior problems were predicted by medical risk, maternal depression, parent-infant synchrony, infant approach, and mother adjustment. Discussion focuses on developmental risk when the exclusivity of the parent-infant relationship is compromised. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Performance Comparison of Four Fiber-Reinforced Polymer Deck Panels

In an effort to assess the constructability and performance of bridges with fiber-reinforced polymer (FRP) composite decks, the short-term and long-term responses of a 207 m, five-span bridge retrofitted with four different FRP panel systems were monitored. The overall aspects of the panel systems, connection details, and construction techniques are presented prior to presentation of the observed and measured responses. Key design parameters (impact factors, girder distribution factors, and level of composite action) for FRP and reinforced concrete decks are evaluated. This paper demonstrates that FRP replacement decks are a viable alternative to reinforced concrete decks and identifies the differences in performances of various FRP deck systems. Two of the FRP panel systems were found to perform considerably better than the other deck systems. Issues that may reduce the service life of FRP deck systems are presented and discussed.     

Exact solutions for vibration and buckling of an SS-C-SS-C rectangular plate loaded by linearly varying in-plane stresses

Exact solutions are presented for the free vibration and buckling of rectangular plates having two opposite edges (x=0 and a) simply supported and the other two (y=0 and b) clamped, with the simply supported edges subjected to a linearly varying normal stress σ_x=−N₀[1−α(y/b)]/h, where h is the plate thickness. By assuming the transverse displacement (w) to vary as sin(mπx/a), the governing partial differential equation of motion is reduced to an ordinary differential equation in y with variable coefficients, for which an exact solution is obtained as a power series (the method of Frobenius). Applying the clamped boundary conditions at y=0 and b yields the frequency determinant. Buckling loads arise as the frequencies approach zero. A careful study of the convergence of the power series is made. Buckling loads are determined for loading parameters α=0,0.5,1,1.5,2, for which α=2 is a pure in-plane bending moment. Comparisons are made with published buckling loads for α=0,1,2 obtained by the method of integration of the differential equation (α=0) or the method of energy (α=1,2). Novel results are presented for the free vibration frequencies of rectangular plates with aspect ratios a/b=0.5,1,2 subjected to three types of loadings (α=0,1,2), with load intensities N₀/N_cr=0,0.5,0.8,0.95,1, where N_cr is the critical buckling load of the plate. Contour plots of buckling and free vibration mode shapes are also shown.