水利工程造价软件需求分析

针对现行造价软件的缺点,以面向对象程序设计理论为指导思想,提出水利水电工程造价软件的设计方法。     

Managing the risks of artificial general intelligence: A human factors and ergonomics perspective

Artificial General Intelligence (AGI) is the next and forthcoming evolution of Artificial Intelligence (AI). Though there could be significant benefits to society, there are also concerns that AGI could pose an existential threat. The critical role of Human Factors and Ergonomics (HFE) in the design of safe, ethical, and usable AGI has been emphasized; however, there is little evidence to suggest that HFE is currently influencing development programs. Further, given the broad spectrum of HFE application areas, it is not clear what activities are required to fulfill this role. This article presents the perspectives of 10 researchers working in AI safety on the potential risks associated with AGI, the HFE concepts that require consideration during AGI design, and the activities required for HFE to fulfill its critical role in what could be humanity's final invention. Though a diverse set of perspectives is presented, there is broad agreement that AGI potentially poses an existential threat, and that many HFE concepts should be considered during AGI design and operation. A range of critical activities are proposed, including collaboration with AGI developers, dissemination of HFE work in other relevant disciplines, the embedment of HFE throughout the AGI lifecycle, and the application of systems HFE methods to help identify and manage risks.     

Logic programming and software maintenance

The main objective of this short paper is to describe the relationship between software maintenance and logic programming (both declarative and procedural), and to show how ideas and methods from logic programming (in particular, methods invented by M. Gelfond) can be used in software maintenance. The material presented in this paper partly appeared in (Luqi and Cooke, 1995). The main difference is that (Luqi and Cooke, 1995) is aimed mainly at software engineers, so it only briefly touches on the software engineering problems, while describing in great detail the basics of logic programming. In contrast, in this paper, we assume that the corresponding logic programming notions are well known, but describe the corresponding software engineering applications in greater detail. This revised version was published online in June 2006 with corrections to the Cover Date.     

Insecurities in FORTRAN DO-loops

Despite a long-established body of relevant computer science, lack of precise specification of certain aspects of FORTRAN and deviation from the published standards permit the construction of non-standard programs which run under different systems to give contradictory results. This paper highlights certain deviant features of DO-loops.     

Evaluating sociotechnical dynamics in a simulated remotely-piloted aircraft system: a layered dynamics approach

As coordination mechanisms change and technology failures occur, a sociotechnical system must reorganise itself across human and technological layers to maintain effectiveness. We present a study examining reorganisation across communication, controls and vehicle layers of a remotely-piloted aircraft system (RPAS) using a layered dynamics approach. Team members (pilot; navigator; photographer) performed 5 simulated RPAS missions using different operator configurations, including all-human and human-autonomy teams. Reorganization (operationally defined using entropy) time series measured the changing system reorganisation profiles under different operator configurations and following autonomy failures. Correlations between these reorganisation profiles and team effectiveness scores describe the manner in which the system had to be coordinated to maintain effectiveness under these changing conditions. Four unplanned autonomy failures were analysed to visualise system reorganisation following a technology failure. With its objective and real-time modelling and measurement capabilities, layered dynamics complements existing systems thinking tools for understanding sociotechnical complexity and enhancing system effectiveness.

Practitioner summary: A layered dynamics approach for understanding how a sociotechnical system dynamically reorganises itself is presented. The layered dynamics of RPAS were analysed under different operator configurations and following autonomy failures. Layered dynamics complements existing system-thinking tools for modelling sociotechnical system complexity and effectiveness.

Abbreviation: RPAS: remotely-piloted aircraft system; HIS: human-systems integration; EAST: event analysis of systemic teamwork; H1: hypothesis 1; H2: hypothesis 2; H3: hypothesis 3; CERTT-STE: cognitive engineering research on team tasks--synthetic task environment; AVO: air vehicle operator; PLO: payload operator; DEMPC: data exploitation, mission planning, and communications; ACT-R: adaptive control of thought-rational; sec: seconds; ANOVA: analysis of variance     

Direct Method Based Control System for an Autonomous Quadrotor

This paper proposes a real time control algorithm for autonomous operation of a quadrotor unmanned air vehicle. The quadrotor is a small agile vehicle, which as well as being a excellent test bed for advanced control techniques could also be suitable for internal surveillance, search and rescue and remote inspection. The proposed control scheme incorporates two key aspects of autonomy; trajectory planning and trajectory following. Using the differentially-flat dynamics property of the system, the trajectory optimization is posed as a non-linear constrained optimization within the output space in the virtual domain, not explicitly related to the time domain. A suitable parameterization using a virtual argument as opposed to time is applied, which ensures initial and terminal constraint satisfaction. The speed profile is optimized independently, followed by the mapping to the time domain achieved using a speed factor. Trajectory following is achieved with a standard multi-variable control technique and a digital switch is used to re-optimize the reference trajectory in the event of infeasibility or mission change. The paper includes simulations using a full dynamic model of the quadrotor demonstrating the suitability of the proposed control scheme.     

The ageing Australian firefighter: an argument for age-based recruitment and fitness standards for urban fire services

Currently, there is no enforcement of physical standards within Australian fire services post-recruitment, possibly leading to inappropriate fitness and body composition. This study evaluated the impacts of ageing on physical standards of Australian firefighters. Seventy-three firefighters from three different 10-year age groups [25–34 years (n = 27), 35–44 years (n = 27), 45–54 years (n = 19)] volunteered for physical testing using dual-energy X-ray analysis and existing fitness tests used for recruitment by an Australian fire service. Older (45–54 years) participants demonstrated significantly poorer physical standards compared with younger participants including cardiovascular fitness (p < 0.05), strength (p = 0.001) and simulated operational power testing tasks (p < 0.001). Age-related body composition changes were also observed independent of body mass index. Minimum recruitment standards and fitness programs need to account for age-related declines in physical capabilities to ensure that the minimum standard is maintained regardless of age.

Practitioner Summary: Using dual-energy X-ray analysis and established fitness testing protocols, this study aimed to gain an appreciation of the current standards of body composition and fitness of Australian firefighters and the effects of ageing on their physical abilities post-recruitment. The study demonstrated a significant decline in physical standards due to age.     

Development of a simple microsystems membrane probe card

Presented here are details of the development of a novel membrane integrated circuit (IC) probe card structure based on microsystems technology. The device design allows probing of both solder bumps and pads. A self-limiting sensor was integrated to prolong device lifetime. Comparison with and discussion of the use of modelling is made. Possible enhancements to the probing structure are discussed to improve alignment and measurements. Also shown is data using our microsystems probe card to access a simple IC device. Our device has a contact resistance of less than 0.5 Ω for a force of 0.004 N. A method to implement our probing structure for commercial application and the potential developments which can be made to improve its ease of use are then discussed.     

Automatic generation of instructional hypermedia with APHID

This research investigates the use of patterns in designing adaptable, flexible hypermedia applications. While patterns are particularly applicable to software design, they can also be used to assist designers of other types of applications. We have developed a method (APHID) that guides a hypermedia creator through the analysis and design process. The method ensures that good design principles are followed, both for the hypermedia application and for the interface that presents the hypermedia application. Our method uses a concept map, constraints, and patterns (instructional and presentation) to support partial automation for creating hypermedia applications. We also present a prototype software system that uses the APHID method to create instructional hypermedia applications semi-automatically. The applications created using APHID are tailored to specific types of learners. We conclude with a claim that this approach is applicable not just to instructional hypermedia, but to the larger problem of generating adaptable interfaces.     

An informal introduction to a high level language with applications to interval mathematics

The main problem of interval computations is as follows:given sets of possible valuesX _i for variablesx _i, and an algorithmf:R ⁿ → R, to.estimate the rangef(X ₁, ..,X _n ) of the possible values off(x ₁, ...,x _n ). In many real-life, situations setsX _i are not intervals. To handle such problems, it is desirable to add set data type and operations with sets to a programming language. it is well known that the entire mathematics can be formulated in terms of sets. So, if we already have a set as a data type, why have anything else. The main reason, is that expression in terms of sets is often clumsy. To avoid this clumsiness, it has been suggested to use not only sets, but alsobags (multisets), in which an element can have multiple occurrences. Bags are used in many areas of Computer Science, and recently, several languages have appeared that use the bag as a basic data type. In this paper, we explain the main ideas behind bag languages, and we also show:

· that bag languages are naturally parallelizable, thus leading to a parallelization of the coresponding generalized interval computations;

· and that bag languages can be also helpfully applied to traditional interval computations (where setsX _i are intervals).