The graphical front-ends of large scale operator training simulators traditionally consist of hundreds of thousands of lines of code. Given the undiminished and expanding demand for increased graphical complexity, thi...
详细信息
The graphical front-ends of large scale operator training simulators traditionally consist of hundreds of thousands of lines of code. Given the undiminished and expanding demand for increased graphical complexity, this figure is set to approach or exceed tens of millions of lines of code by the end of this decade,The scale of this trend is such that the conventional development of training simulators using procedural code will become disproportionately costly, difficult to update and ultimately unmanageable. To counteract the implications of increasing code length and program complexity, graphical interfaces can now be developed using object-oriented programming methods. To produce cost effective operator training, advantage may also be taken from other recent developments in computing technology, notably the rise in power of the personal computer (PC) combined with a decrease in its cost. This paper explores currently available simulation based operator training platforms and the extent to which PCs can be used for the provision of low cost dynamic operator training. The example involves the use of a novel object-orientated programming method for the front-end which has then been linked to a dynamic simulation package executing either on a networked workstation or on a PC.
Software reuse is inhibited by the many different ways in which equivalent data can be represented, We describe methods by which views can be constructed semi-automatically to describe how application data types corre...
详细信息
Software reuse is inhibited by the many different ways in which equivalent data can be represented, We describe methods by which views can be constructed semi-automatically to describe how application data types correspond to the abstract types that are used in numerical generic algorithms, Given such views, specialized versions of the generic algorithms that operate directly on the application data can be produced by compilation. This enables reuse of the generic algorithms for an application with minimal effort. Graphical user interfaces allow views to be specified easily and rapidly. Algorithms are presented for deriving, by symbolic algebra, equations that relate the variables used in the application data to the variables needed for the generic algorithms, Arbitrary application data structures are allowed, Units of measurement are converted as needed, These techniques allow reuse of a single version of a generic algorithm for a variety of possible data representations and programming languages. These techniques can also be applied in data conversion and in object-oriented, functional, and transformational programming.
This paper introduces a model-based environment and its application in the parallel signal processing domain. The key concepts of the approach are the domain-specific model-based programming environment and the automa...
详细信息
This paper introduces a model-based environment and its application in the parallel signal processing domain. The key concepts of the approach are the domain-specific model-based programming environment and the automatic software synthesis technique enabling non-software engineers to build complex applications. Graphical model building, multiple aspects, hierarchy, and multiple views help manage the complexity of the application. The configurable model builder and the unified run-time support make the use of the same core technology in different domains possible. In the parallel signal processing domain, the signal flow graph, the hardware topology and resources, and the assignment constraints are modelled. A macro dataflow graph is generated from the signal flow model, then partitioned and mapped onto the processor network satisfying the assignment constraints. The required makefiles, message routing maps, and network loader configuration files are also automatically generated. Different system engineering tools provide hardware topology verification and performance prediction based on information extracted from the models.
The slow industrial take-up of formal methods is partly due to their high cost when considered on a per-system basis. Formal methods are best employed either on relatively small and strictly bounded sub-problems withi...
详细信息
The slow industrial take-up of formal methods is partly due to their high cost when considered on a per-system basis. Formal methods are best employed either on relatively small and strictly bounded sub-problems within a project, or on the qualification of components and tools that are used on successive projects. One class of tools that are becoming more commonly used are graphical specification editors that provide an automatic code generation facility. There are a number of advantages that arise if such tools are used for production quality code. Not least of these is the potential for reducing the risk and cost of software development, by reducing the potential for the introduction of errors, and increasing the speed with which software can be produced. The magnitude of these advantages is increased where the risk and cost of software production is higher, such as in the case of high-integrity systems development. In order to derive these benefits, it is vitally important to ensure that the generated code is functionally faithful to its specification. The British Aerospace Dependable Computing Systems Centre is looking at how formal techniques can be employed to ensure that an automatic code generator produces code that is faithful to its specification. The use of formal techniques is important to this process, since it is only through these that the high level of assurance required can be attained.
The software package "AVS/Express" provides tools for the visualization of complex scientific data however also allows researchers to create experimental data representations. Field data interpretation appli...
详细信息
The software package "AVS/Express" provides tools for the visualization of complex scientific data however also allows researchers to create experimental data representations. Field data interpretation applications are constructed using a visual programming environment, and includes graphical user interface tools (GUI). AVS/Express presents a screen giving overall control of the operating paradigm. Called the "network editor", it contains iconic representations of programme modules. Coloured lines connecting the modules represent data and control relationships in the application. Unlike other programming environments, no distinction is made between library components and running versions of these components, and dynamic changes of the running programme is allowed. The modules in the network editor are managed by the system provided object manager. Control, messages, and shared data areas are managed by the object manager. The objects defined in the system, as well as the visual programming system and the object manager, are based on object oriented concepts. How the system behaves with regards to a traditional C++ program development environment is summarised.
Data mining is the extraction of useful information or knowledge from bodies of data. Data mining is also sometimes referred to as knowledge discovery in databases. Clementine is a comprehensive, integrated toolkit wh...
详细信息
Data mining is the extraction of useful information or knowledge from bodies of data. Data mining is also sometimes referred to as knowledge discovery in databases. Clementine is a comprehensive, integrated toolkit which provides active support for data mining in the form of neural network and rule induction learning techniques, passive support in the form of visualisation, statistical and browsing facilities, and peripheral support for data access and manipulation. Clementine's visual programming interface provides an environment which is easy to use for technological experts and non-experts alike, and provides a convenient organising framework for any data mining technique. Clementine makes machine learning accessible to non-experts. Clementine also goes beyond simple organisational advantages because it reduces the time taken to perform data mining experiments by one to two orders of magnitude. This means that experiments which would previously have been impractical in any realistic project are made possible by Clementine, effectively opening up new areas of exploration. The first commercial version of Clementine is currently on the market and is attracting a great deal of interest. Future versions will extend the machine learning facilities and provide many other new features. The utility of Clementine will continue to grow, and to provide new possibilities for data mining.
The concept of statistical strategy is introduced and used to develop a structured graphical user interface for guiding data analysis. The interface visually represents statistical strategies that are designed by expe...
详细信息
It is widely accepted that visual programming techniques can offer increased productivity and reduced costs during the programming stage of real-time systems development and to a lesser extent at other phases in the s...
详细信息
It is widely accepted that visual programming techniques can offer increased productivity and reduced costs during the programming stage of real-time systems development, and to a lesser extent at other phases in the ...
详细信息
It is widely accepted that visual programming techniques can offer increased productivity and reduced costs during the programming stage of real-time systems development, and to a lesser extent at other phases in the system development life cycle. It is this author's belief, however, that while visual programming languages have much to recommend them, their current usage is erroneous. Current trends will prevent visual programming languages from being successfully applied to complex real-time systems, and in the development of correct systems. We present a case for visual methods of real-time system development, that recognize visual programming as a single component of a more complex development method; we conclude by briefly describing one such method.
A programming language which supports the adequate specification of both parallel and sequential aspects of a program establishes the optimal basis for a parallel programming methodology. Parallel languages that are e...
详细信息
A programming language which supports the adequate specification of both parallel and sequential aspects of a program establishes the optimal basis for a parallel programming methodology. Parallel languages that are entirely based on textual representations are not the best choice for describing paralellism. The main drawbacks stem from the fact that the sequential order of textual representations hides the parallel structure of a program. We propose a new programming methodology and language (called Meander), integrating textual and graphical descriptions, which is much better suited for parallel programming. Parallel aspects are formulated by means of a specification graph which is annotated by sequential code. Program design, coding and visualization can then be performed in one single formalism which is suitable for all phases.
暂无评论