The business program at the University of Washington, Bothell has recently established a new management information systems concentration. As an integral part of the technology foundation, students are required to tak...
详细信息
The business program at the University of Washington, Bothell has recently established a new management information systems concentration. As an integral part of the technology foundation, students are required to take the typical software engineering course from the computer science department. This paper describes the motivations behind this decision, and the results of collaborative efforts between the business and computing faculty in creating a custom programming course to prepare MIS students for the software engineering course. This newly created programming course is designed to challenge students to apply and refine their basic programming and problem solving skills, and in doing so, to experience the often tedious software application development process. The implementation of the new course is based on programming the automation of popular commercial software systems. The results of our initial offering indicate success in building on the modest technical background of typical business students in designing and implementing programming solutions to moderately complex practical problems
No significant general-purpose method is currently available to mechanically transform system requirements into a provably equivalent model. The widespread use of such a method represents a necessary step toward high-...
详细信息
No significant general-purpose method is currently available to mechanically transform system requirements into a provably equivalent model. The widespread use of such a method represents a necessary step toward high-dependability system engineering for numerous application domains. Current tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" unfilled by such tools and methods is that the formal models cannot be proven to be equivalent to the requirements. We offer a method for mechanically transforming requirements into a provably equivalent formal model that can be used as the basis for code generation and other transformations. This method is unique in offering full mathematical tractability while using notations and techniques that are well known and well trusted. Finally, we describe further application areas we are investigating for use of the approach.
The production process of a refinery is a complicated process, which consists of immense units. For some units, the products are multiple, so does the feasible operation mode of products of certain units. Which kind o...
详细信息
The production process of a refinery is a complicated process, which consists of immense units. For some units, the products are multiple, so does the feasible operation mode of products of certain units. Which kind of operation mode is utilized decides the production strategy of a refinery. In this paper, how to gain reasonable production strategy is focused on due to the immense benefit it can bring to, and a production strategy optimization model based on mixed bi-level programming method is presented to solve this problem. All the units included in the production process are divided into two levels, and most of the production information of them is integrated by a database system in the model. How the optimization model can be used as a viable tool is also showed by a simple case study at Daqing refinery
Image generation, e.g., in computer tomographs, requires the use of sophisticated algorithms which are characterized (i) by a large variability to enable generation of different types of images and (ii) a strong need ...
详细信息
Image generation, e.g., in computer tomographs, requires the use of sophisticated algorithms which are characterized (i) by a large variability to enable generation of different types of images and (ii) a strong need for dynamic reconfiguration to adapt image generation, e.g., to individual patients. On the application level, such characteristics are frequently scattered all over the code of the application. This suggests the use of aspect-oriented programming (AOP) techniques to modularize such crosscutting functionality. In this paper we present an approach to automate image generation tasks using AOP and their application in the context of medical devices from Siemens AG, Germany. Concretely, we present three results: (i) a motivation why imaging software can benefit from dynamic AOP, (ii) a case study of how image generation, in particular for medical devices, can be adapted using the Arachne system for dynamic AOP in C, and (iii) a suitable aspect language and its realization within Arachne
Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code itself. This approach allows us to constr...
详细信息
Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code itself. This approach allows us to construct a program and its correctness proof hand in hand. We describe here an extension to an existing mathematics editor that supports this style of program construction. The main help that the tool provides is automatic simplification of verification conditions that are generated in the programming process. The tool shows the user a check list of those conditions that it was not able to prove automatically. The user can use this check list to complete the proof (either manually or using an interactive theorem prover) or to find errors in the program.
The study presented in this paper forms part of a larger initiative aimed at creating a generic architecture for the development of intelligent programming tutors (IPTs) in an attempt to reduce the costs associated wi...
详细信息
ISBN:
(纸本)9781595930101
The study presented in this paper forms part of a larger initiative aimed at creating a generic architecture for the development of intelligent programming tutors (IPTs) in an attempt to reduce the costs associated with building IPTs. Thus, instead of requiring the lecturer to provide solution algorithms to the programming problems that students will be tested on by the system, the generic architecture will automatically generate the solutions to these problems. This paper reports on the results of an investigation conducted to test the hypothesis that genetic programming (GP) can be used for this purpose. The paper proposes a genetic programming system for the induction of solutions to arithmetic, character and string manipulation, conditional, iterative, nested iteration, and recursive problems. The paper analyses the results of applying the proposed system to 45 randomly chosen novice procedural programming problems. Extensions made to the proposed system based on this analysis, namely, the implementation of the iterative structure-based algorithm (ISBA), are discussed.
Service robots require simple programming techniques allowing users with little or no technical expertise to integrate new tasks in a robotic platform. A promising solution for automatic acquisition of robot behaviors...
详细信息
Service robots require simple programming techniques allowing users with little or no technical expertise to integrate new tasks in a robotic platform. A promising solution for automatic acquisition of robot behaviors is the programming by demonstration (PbD) paradigm. Its aim is to let robot systems learn new behaviors from a human operator demonstration. This paper describes a virtual reality based PbD system for pick-and-place and manipulation tasks. The system recovers smooth robot trajectories from single or multiple user demonstrations, thereby overcoming sensor noise and human inconsistency problems. More specifically, we investigate the benefits of the human hand trajectory reconstruction with NURBS curves by means of a best-fit data smoothing algorithm. Some experiments involving object transportation while avoiding obstacles in the workspace show the viability and effectiveness of the approach.
The distribution of the genetic programming algorithm improves the efficiency of the search for the solution, but additional parameters of this distribution are undesirable. This paper presents the analysis of early e...
详细信息
The distribution of the genetic programming algorithm improves the efficiency of the search for the solution, but additional parameters of this distribution are undesirable. This paper presents the analysis of early experimental results of using flocking to control interactions among the distributed subpopulations so less human intervention is needed The possibility to set up migration parameters dynamically at the run time brings the distributed genetic programming algorithm to the same level of automation as standard genetic programming while keeping the increased performance of the distributed GP. The paper discusses the nature of the required additional computations of the GP algorithm when adapting flocking for migration control. The positive empirical results support the idea of mixing both search techniques together.
Automata-based approach, proposed for the programming of the virtual autonomous reactive agents control systems used in the famous "Robocode" game is extended in this paper to the creation of the control sys...
详细信息
Automata-based approach, proposed for the programming of the virtual autonomous reactive agents control systems used in the famous "Robocode" game is extended in this paper to the creation of the control systems of the reactive multiagent real-life environment agents. We demonstrate the efficiency of the proposed approach by the example of creation of transportation system, which consists of two interacting robots and is assembled from the famous "Lego Mindstorms" kit. The advantage of this approach is the formalization of the implementation process and the simplification of testing and modification.
This paper describes the modeling of a skill-based routing call center using two distinct simulation programming methods: the C language and the Arena software package. After reviewing the features of this type of cal...
详细信息
ISBN:
(纸本)9780780395190
This paper describes the modeling of a skill-based routing call center using two distinct simulation programming methods: the C language and the Arena software package. After reviewing the features of this type of call center, we describe the salient components of each method in modeling the call center. The paper concludes with a comparison of the pros and cons of using each simulation programming approach in this context.
暂无评论