A formal approach to validation and verification for knowledge-based control systems

As control systems become more complex in response to desires for greater system flexibility, performance and reliability, the promise is held out that artificial intelligence might provide the means for building such systems. An obstacle to the use of symbolic processing constructs in this domain is the need for verification and validation (V and V) of the systems. Techniques currently in use do not seem appropriate for knowledge-based software. An outline of a formal approach to V and V for knowledge-based control systems is presented

Knowledge-Based Control Systems via Internet Part I. Applications in Biotechnology

An extensive approach towards the dissemination of expert knowledge and coordination efforts to distributed points and seamless integration of control strategies applied to distributed yet identical systems is crucial to enhance overall efficiency and operational costs. Application of Knowledge-Based Control System via Internet will be very efficient especially in biotechnology, because many industrial bioprocesses, based on the same technological principles, are distributed in the whole world. Brewing industry oriented practical solutions illustrate this approach

Delivery of broadband services to SubSaharan Africa via Nigerian communications satellite

Africa is the least wired continent in the world in terms of robust telecommunications infrastructure and systems to cater for its more than one billion people. African nations are mostly still in the early stages of Information Communications Technology (ICT) development as verified by the relatively low ICT Development Index (IDI) values of all countries in the African region. In developing nations, mobile broadband subscriptions and penetration between 2000-2009 was increasingly more popular than fixed broadband subscriptions. To achieve the goal of universal access, with rapid implementation of ICT infrastructure to complement the sparsely distributed terrestrial networks in the hinterlands and leveraging the adequate submarine cables along the African coastline, African nations and their stakeholders are promoting and implementing Communication Satellite systems, particularly in Nigeria, to help bridge the digital hiatus. This paper examines the effectiveness of communication satellites in delivering broadband-based services

Validation of highly reliable, real-time knowledge-based systems

Knowledge-based systems have the potential to greatly increase the capabilities of future aircraft and spacecraft and to significantly reduce support manpower needed for the space station and other space missions. However, a credible validation methodology must be developed before knowledge-based systems can be used for life- or mission-critical applications. Experience with conventional software has shown that the use of good software engineering techniques and static analysis tools can greatly reduce the time needed for testing and simulation of a system. Since exhaustive testing is infeasible, reliability must be built into the software during the design and implementation phases. Unfortunately, many of the software engineering techniques and tools used for conventional software are of little use in the development of knowledge-based systems. Therefore, research at Langley is focused on developing a set of guidelines, methods, and prototype validation tools for building highly reliable, knowledge-based systems. The use of a comprehensive methodology for building highly reliable, knowledge-based systems should significantly decrease the time needed for testing and simulation. A proven record of delivering reliable systems at the beginning of the highly visible testing and simulation phases is crucial to the acceptance of knowledge-based systems in critical applications

The 1990 progress report and future plans

This document describes the progress and plans of the Artificial Intelligence Research Branch (RIA) at ARC in 1990. Activities span a range from basic scientific research to engineering development and to fielded NASA applications, particularly those applications that are enabled by basic research carried out at RIA. Work is conducted in-house and through collaborative partners in academia and industry. Our major focus is on a limited number of research themes with a dual commitment to technical excellence and proven applicability to NASA short, medium, and long-term problems. RIA acts as the Agency's lead organization for research aspects of artificial intelligence, working closely with a second research laboratory at JPL and AI applications groups at all NASA centers

A Novel Ramp Metering Approach Based on Machine Learning and Historical Data

The random nature of traffic conditions on freeways can cause excessive congestions and irregularities in the traffic flow. Ramp metering is a proven effective method to maintain freeway efficiency under various traffic conditions. Creating a reliable and practical ramp metering algorithm that considers both critical traffic measures and historical data is still a challenging problem. In this study we use machine learning approaches to develop a novel real-time prediction model for ramp metering. We evaluate the potentials of our approach in providing promising results by comparing it with a baseline traffic-responsive ramp metering algorithm.Comment: 5 pages, 11 figures, 2 table

Managing salespeople strategically when promoting new products—Incorporating market orientation into a sales management control framework

Salespeople play a pivotal role in promoting new products. Therefore, managers need to know what control mechanism (i.e., output-based control, behavior-based control, or knowledge-based control) can improve their salespeople’s new product sales performance. Furthermore, managers may be able to assist salespeople in performing better by having a strong market orientation. The literature has been inconsistent regarding the effects of sales management control mechanisms and has not yet incorporated market orientation into a sales management control framework. The current study surveyed 315 Taiwanese salespeople from publicly traded electronics companies with the aim of contributing to the sales management literature. The results show that sales management controls can directly affect salespeople’s innovativeness, which, in turn, affects new product sales performance. However, sales management controls cannot affect performance directly. Furthermore, market orientation can positively moderate the relationship between salespeople’s innovativeness and new product sales performance

Expert systems in the process industries

This paper gives an overview of industrial applications of real-time knowledge based expert systems (KBES's) in the process industries. After a brief overview of the features of a KBES useful in process applications, the general roles of KBES's are covered. A particular focus is diagnostic applications, one of the major applications areas. Many applications are seen as an expansion of supervisory control. The lessons learned from numerous online applications are summarized