The authors define a software development environment kernel called MARVEL. Implementing several prototypes and small environments has uncovered some significant flaws and revealed open design problems. Problems conne...
详细信息
The authors define a software development environment kernel called MARVEL. Implementing several prototypes and small environments has uncovered some significant flaws and revealed open design problems. Problems connected with the construction and debugging of a process model, with envelope construction, and with support of multiple users are considered. The authors note that they have investigated only a small fraction of the potential for rule-based process modeling and controlled automation. They observe that they do not yet fully understand how rule-based process modeling or controlled automation works and whether the combination is indeed a solid foundation for a software-development environment architecture.< >
A methodology is presented to build colored Petri nets (CPN) describing assembly tasks performed by robot cells. The approach consists mainly of a catalog of CPN modules modeling the cell operations and a set of rules...
详细信息
A methodology is presented to build colored Petri nets (CPN) describing assembly tasks performed by robot cells. The approach consists mainly of a catalog of CPN modules modeling the cell operations and a set of rules for module mating and reduction. It is pointed out that CPN can be used as a knowledge-representation tool for qualitative tasks plans. A modeling example of an assembly task performed by a two-robot cell is included.< >
Modeling the behavior of an information transport port (ITP) on the basis of formal grammar is discussed. ITPs are objects designated for serving blocks of applicational programs in the distributed software configurat...
详细信息
Modeling the behavior of an information transport port (ITP) on the basis of formal grammar is discussed. ITPs are objects designated for serving blocks of applicational programs in the distributed software configurations. The method can be used for both design and debugging. The modeling approach is discussed using the example of the expanded version of the semiduplex alternating bit protocol with bufferization and broadcasting exchanges. automatic construction of the port control module is discussed.< >
The current applications of programmable controllers in the discrete manufacturing and process industries are reviewed. Anticipated trends in programmable controller and industrial automation, including factory automa...
详细信息
The current applications of programmable controllers in the discrete manufacturing and process industries are reviewed. Anticipated trends in programmable controller and industrial automation, including factory automation networks, programming software, automation equipment, and artificial intelligence and diagnostics, are discussed. The commercial computer influence on manufacturing is briefly described.< >
Several concepts which are the focus of software technology at the US Air Force Avionics Laboratory are discussed: automatic programming, software fault tolerance, reusable software, expert code modification, common A...
详细信息
Several concepts which are the focus of software technology at the US Air Force Avionics Laboratory are discussed: automatic programming, software fault tolerance, reusable software, expert code modification, common Ada run-time systems, and modular embedded software for distributed systems. These concepts apply to three phases of avionics systems life: conceptual, developmental, and operational. It is noted that breakthroughs in any one of these concepts will result in an order-of-magnitude improvement in the operations, performance, and maintenance of avionics in tactical weapon systems.< >
The problem of teleoperation in the presence of feedback delays is addressed. A novel combination of computer graphics and manipulator programming is proposed to solve the problem by allowing the operator to kinesthet...
详细信息
The problem of teleoperation in the presence of feedback delays is addressed. A novel combination of computer graphics and manipulator programming is proposed to solve the problem by allowing the operator to kinesthetically interact with a graphical simulation of the remote environment and to interactively (online) teleprogram the remote manipulator through a sequence of elementary symbolic instructions, which are generated automatically by the operator's station software. The slave robot executes these symbolic commands delayed in time and, should an error occur, reports the relevant information back to the operator's station, where the master environment is reset back to the error state. The hardware architecture of the experimental system is described.< >
The authors discuss the capability of graphical representations to ease the prototyping process and reduce the problem of information overload. The application of information-hiding and multiple views, coupled with en...
详细信息
The authors discuss the capability of graphical representations to ease the prototyping process and reduce the problem of information overload. The application of information-hiding and multiple views, coupled with ensuring consistency and automatic programming, can improve user productivity. The development of a graphical editor for performing hierarchical decomposition of composite PSDL (prototype system description language) operators for CAPS (computer aided prototyping system) is also discussed. Research on the graphical editor, as it relates to PSDL, indicates that a prototype design can be developed with much greater ease using the graphical editor than with only the syntax-directed editor. The graphical editor will also enhance prototype modification, presentation, and documentation.< >
For pt.I see ISCAI p.232-237, Los Angeles, USA, (August 1985). Phi NIX is an automatic programming system for writing programs which interact with external devices through temporally-ordered streams of values. Abstrac...
详细信息
ISBN:
(纸本)0897912586
For pt.I see ISCAI p.232-237, Los Angeles, USA, (August 1985). Phi NIX is an automatic programming system for writing programs which interact with external devices through temporally-ordered streams of values. Abstract specifications are stated in terms of constrains on the values of input and output streams. The target language is the Stream Machine, a language which includes concurrently executing processes communicating and synchronizing through streams. Phi NIX produces programs by repeatedly transforming abstract specifications through successively more concrete forms until concrete Stream Machine programs are produced. An example which Phi NIX has successfully implemented involves three major steps: transforming the specification into an applicative expression, transforming the applicative expression into three imperative processes, and merging the processes into a single process. Each major step involves several other transformation steps that reformulate and simplify intermediate expressions.< >
This paper presents the development of a simulation tool to assist the modeler of prelaunch countdown sequences define the problem and then automatically write the corresponding code in the target simulation language ...
详细信息
This paper presents the development of a simulation tool to assist the modeler of prelaunch countdown sequences define the problem and then automatically write the corresponding code in the target simulation language GPSS/PC. Included in this paper are a description of the automatic Network programming System (ANPS) and a sample problem using ANPS.
Four visual programming languages are discussed as examples of the efforts directed at four different areas of interest: command language, algorithmic language, graphical extension, and automatic programming. A new st...
详细信息
Four visual programming languages are discussed as examples of the efforts directed at four different areas of interest: command language, algorithmic language, graphical extension, and automatic programming. A new style of programming that captures not only the spirit of visual programming languages, but also the benefits of automating many data processing applications, is discussed.< >
暂无评论