A Unified Approach to Automatic Testing of Architectural Constraints

Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.

Identifying and implementing corridor safety improvements: a highway safety improvement process and safety analysis tools for Arizona.

Arizona Department of Transportation, Phoenix

Sociopathic knowledge bases : correct knowledge can be harmful even given unlimited computation /

"College of Engineering, UILU-ENG-89-1757."

Research and development in the U.S. Army Corps of Engineers : improving the common stock of knowledge /

Shipping list no.: 2012-0004-P.

Engineering shop practice ...

Mode of access: Internet.

Hawkins electrical guide. Questions, answers & illustrations; a progressive course of study for engineers, electricians, students and those desiring to acquire a working knowledge of electricity and its applications; a practical treatise,

"Credit is largely due to Frank D. Graham ... for the authorship of the Guides, and for the original sketches illustrating electrical principles and construction."--Pref. to no. 1.

International library of technology : a series of text books for persons engaged in the engineering professions and trades, or for those who desire information concerning them : fully illustrated and containing numerous practical examples and their solutions.

Mode of access: Internet.

Organizational, direct support and general support maintenance repair parts and special tools list for tool outfit, Hydraulic Systems Test and Repair (HSTRU), NSN 4940-01-036-5784.

"August 1980."

Digital Classics Outside the Echo-Chamber : Teaching, Knowledge Exchange and Public Engagement /

The international perspectives on these issues are especially valuable in an increasingly connected, but still institutionally and administratively diverse world. The research addressed in several chapters in this volume includes issues around technical standards bodies like EpiDoc and the TEI, engaging with ways these standards are implemented, documented, taught, used in the process of transcribing and annotating texts, and used to generate publications and as the basis for advanced textual or corpus research. Other chapters focus on various aspects of philological research and content creation, including collaborative or community driven efforts, and the issues surrounding editorial oversight, curation, maintenance and sustainability of these resources. Research into the ancient languages and linguistics, in particular Greek, and the language teaching that is a staple of our discipline, are also discussed in several chapters, in particular for ways in which advanced research methods can lead into language technologies and vice versa and ways in which the skills around teaching can be used for public engagement, and vice versa. A common thread through much of the volume is the importance of open access publication or open source development and distribution of texts, materials, tools and standards, both because of the public good provided by such models (circulating materials often already paid for out of the public purse), and the ability to reach non-standard audiences, those who cannot access rich university libraries or afford expensive print volumes. Linked Open Data is another technology that results in wide and free distribution of structured information both within and outside academic circles, and several chapters present academic work that includes ontologies and RDF, either as a direct research output or as essential part of the communication and knowledge representation. Several chapters focus not on the literary and philological side of classics, but on the study of cultural heritage, archaeology, and the material supports on which original textual and artistic material are engraved or otherwise inscribed, addressing both the capture and analysis of artefacts in both 2D and 3D, the representation of data through archaeological standards, and the importance of sharing information and expertise between the several domains both within and without academia that study, record and conserve ancient objects. Almost without exception, the authors reflect on the issues of interdisciplinarity and collaboration, the relationship between their research practice and teaching and/or communication with a wider public, and the importance of the role of the academic researcher in contemporary society and in the context of cutting edge technologies. How research is communicated in a world of instant- access blogging and 140-character micromessaging, and how our expectations of the media affect not only how we publish but how we conduct our research, are questions about which all scholars need to be aware and self-critical.

Two NextGen Air Safety Tools: An ADS-B Equipped UAV and a Wake Turbulence Estimator

Thesis (Master's)--University of Washington, 2016-06

Hybrid knowledge representation in a blackboard KBS for liquid retaining structure design

This paper highlights the importance of design expertise, for designing liquid retaining structures, including subjective judgments and professional experience. Design of liquid retaining structures has special features different from the others. Being more vulnerable to corrosion problem, they have stringent requirements against serviceability limit state of crack. It is the premise of the study to transferring expert knowledge in a computerized blackboard system. Hybrid knowledge representation schemes, including production rules, object-oriented programming, and procedural methods, are employed to express engineering heuristics and standard design knowledge during the development of the knowledge-based system (KBS) for design of liquid retaining structures. This approach renders it possible to take advantages of the characteristics of each method. The system can provide the user with advice on preliminary design, loading specification, optimized configuration selection and detailed design analysis of liquid retaining structure. It would be beneficial to the field of retaining structure design by focusing on the acquisition and organization of expert knowledge through the development of recent artificial intelligence technology. (C) 2003 Elsevier Ltd. All rights reserved.

International evaluation of current and future requirements for environmental engineering education

The field of environmental engineering is developing as a result of changing environmental requirements. In response, environmental engineering education (E3) needs to ensure that it provides students with the necessary tools to address these challenges. In this paper the current status and future development of E3 is evaluated based on a questionnaire sent to universities and potential employers of E3 graduates. With increasing demands on environmental quality, the complexity of environmental engineering problems to be solved can be expected to increase. To find solutions environmental engineers will need to work in interdisciplinary teams. Based on the questionnaire there was a broad agreement that the best way to prepare students for these future challenges is to provide them with a fundamental education in basic sciences and related engineering fields. Many exciting developments in the environmental engineering profession will be located at the interface between engineering, science, and society. Aspects of all three areas need to be included in E3 and the student needs to be exposed to the tensions associated with linking the three.

An expert system on design of liquid-retaining structures with blackboard architecture

The design of liquid-retaining structures involves many decisions to be made by the designer based on rules of thumb, heuristics, judgement, codes of practice and previous experience. Structural design problems are often ill structured and there is a need to develop programming environments that can incorporate engineering judgement along with algorithmic tools. Recent developments in artificial intelligence have made it possible to develop an expert system that can provide expert advice to the user in the selection of design criteria and design parameters. This paper introduces the development of an expert system in the design of liquid-retaining structures using blackboard architecture. An expert system shell, Visual Rule Studio, is employed to facilitate the development of this prototype system. It is a coupled system combining symbolic processing with traditional numerical processing. The expert system developed is based on British Standards Code of Practice BS8007. Explanations are made to assist inexperienced designers or civil engineering students to learn how to design liquid-retaining structures effectively and sustainably in their design practices. The use of this expert system in disseminating heuristic knowledge and experience to practitioners and engineering students is discussed.

A conceptual model of personalized virtual learning environments

The Virtual Learning Environment (VLE) is one of the fastest growing areas in educational technology research and development. In order to achieve learning effectiveness, ideal VLEs should be able to identify learning needs and customize solutions, with or without an instructor to supplement instruction. They are called Personalized VLEs (PVLEs). In order to achieve PVLEs success, comprehensive conceptual models corresponding to PVLEs are essential. Such conceptual modeling development is important because it facilitates early detection and correction of system development errors. Therefore, in order to capture the PVLEs knowledge explicitly, this paper focuses on the development of conceptual models for PVLEs, including models of knowledge primitives in terms of learner, curriculum, and situational models, models of VLEs in general pedagogical bases, and particularly, the definition of the ontology of PVLEs on the constructivist pedagogical principle. Based on those comprehensive conceptual models, a prototyped multiagent-based PVLE has been implemented. A field experiment was conducted to investigate the learning achievements by comparing personalized and non-personalized systems. The result indicates that the PVLE we developed under our comprehensive ontology successfully provides significant learning achievements. These comprehensive models also provide a solid knowledge representation framework for PVLEs development practice, guiding the analysis, design, and development of PVLEs. (c) 2005 Elsevier Ltd. All rights reserved.

Should the knowledge-based economy be a savant or a sage? Wisdom and socially intelligent innovation

Discourse about knowledge-based economies rarely moves beyond the commercialization of science and engineering, and is locked in the discursive limits of functionalism. We argue that these discourses limit the scope of what knowledge-based economies might achieve because they are uninformed by an adequate conception of knowledge. In particular, knowledge management and knowledge-based economy discourse has not included the axiological dimension of knowledge that leads to wisdom. Taking an axiological perspective, we can discuss policy frameworks aimed at producing the social structures needed to bring fully formed and fully functioning knowledge societies into being. We argue that while the dominant discourse of industrial modernity remains rationalist, functionalist, utilitarian and technocratic, knowledge-based economies will resemble a savant rather than a sage. A wisdom-based renaissance of humanistic epistemology is needed to avoid increasing social dysfunction and a lack of wisdom in complex technological societies.