Considers the problem of synthesizing systems modeled by condition systems into microcontrollers. A condition system, a discrete event system model, can be naturally programmed into microcontrollers. Directly using an...
详细信息
ISBN:
(纸本)0780376978
Considers the problem of synthesizing systems modeled by condition systems into microcontrollers. A condition system, a discrete event system model, can be naturally programmed into microcontrollers. Directly using an incidence matrix and state equation to implement condition systems is not a good method for low-cost microcontrollers because of the lack of certain instructions and limited memory of the microcontrollers. An alternate logic algebra based method is presented and an example condition system is illustrated. By using this method, the corresponding assembly code will be easily created in a systematic way.
Web services are becoming the dominant paradigm for distributed computing and electronic business. This has raised the opportunity for service providers and application developers to create value added services by com...
详细信息
Web services are becoming the dominant paradigm for distributed computing and electronic business. This has raised the opportunity for service providers and application developers to create value added services by combining Web services. Several Web service composition solutions have been proposed, e.g. BPEL4WS. However, these approaches are either not flexible or too complicated as they lack proper support for modularity and reusability. Motivated by the demand of a light-weighted tool of service composition, we developed ServiceCom, a tool for service composition specification, construction and execution. In this paper we discuss how ServiceCom supports reusable Web service composition specification, combination, and execution.
The complexity of todays hardware systems steadily increases. Due to this fact new ways of efficiently describing systems are investigated. A very promising approach in this area is SystemC which is a C++-library. To ...
详细信息
The complexity of todays hardware systems steadily increases. Due to this fact new ways of efficiently describing systems are investigated. A very promising approach in this area is SystemC which is a C++-library. To take advantage of SystemC in the multi-valued domain, the concept of multi-valued logic has to be embedded in SystemC In this paper such a concept is introduced and details of the implementation are given. This creates a powerful development environment to model and efficiently simulate complex multi-valued circuits and systems. Due to C++-concepts, like operator overloading and templates, the task of modeling circuits becomes very convenient and handling of multi-valued signals is elegant. This gives the opportunity to design large circuits that can be mapped onto physically multi-valued gates. A scalable arithmetic logic unit is studied and experimental results are given.
We proposed a new temporal reasoning based approach to recognise arrhythmias in real time. Arrhythmias are depicted by chronicle models consisting of a set of events linked by temporal constraints restricting the rang...
详细信息
ISBN:
(纸本)078037925X
We proposed a new temporal reasoning based approach to recognise arrhythmias in real time. Arrhythmias are depicted by chronicle models consisting of a set of events linked by temporal constraints restricting the range of the relative delay between their occurrence time. The temporal reasoner, called a chronicle recognition system, achieves arrhythmia by detecting instances of these chronicle models on the input ECG signal previously transformed into a series of symbolic events. Experimental results demonstrate that the approach is a good complement for the existing methods based on complex QRS classification.
OO software engineering (OOSE) has been a popular methodology for years; however, there are still some issues remaining unsolved: a generic mechanism for checking consistency of designs is still lacking; software has ...
详细信息
OO software engineering (OOSE) has been a popular methodology for years; however, there are still some issues remaining unsolved: a generic mechanism for checking consistency of designs is still lacking; software has some problems resulting from process issue; and imperative engineer have a huge gap to adopt OOSE. These three issues intersect in the early analysis phase, therefore we represent a new methodology that provides a complete global view of OO software system that solves issues we identified, and uses requirements document and some analysis documents as foundation. Rules and a case study are also presented to exemplify the result of applying our methodology on both OOSE and imperative software engineering.
Final group projects are an integral part of the graduate mechatronics course, "Introduction to Mechatronics", in the Woodruff School of Mechanical Engineering at Georgia Tech. Students are able to develop b...
详细信息
Final group projects are an integral part of the graduate mechatronics course, "Introduction to Mechatronics", in the Woodruff School of Mechanical Engineering at Georgia Tech. Students are able to develop both practical and theoretical understanding of mechatronics while working on their final group projects. They also develop interpersonal and communication skills necessary to work in a multi-disciplinary field. To assist students, a framework has been developed to help them realize goals they propose for their final group project. It helps them to work effectively within a team environment and present their projects utilizing different media outlets, such as writing technical reports, developing web pages for their final group projects, and making oral presentations. This framework includes lecture topics covered in class, project requirements, grading methods, material resources, and support from graduate teaching assistants, electronic, and machine shop. In this paper, the framework and example projects demonstrating its effectiveness will be presented.
This paper presents a novel partial assignment technique (PAT) that decides which tasks should be assigned to the same resource without explicitly defining assignment of these tasks to a particular resource. Our metho...
详细信息
ISBN:
(纸本)9781581136883
This paper presents a novel partial assignment technique (PAT) that decides which tasks should be assigned to the same resource without explicitly defining assignment of these tasks to a particular resource. Our method simplifies the assignment and scheduling steps while imposing a small or no penalty on the final solution quality. This technique is specially suited for problems which have different resources constraints. Our method does not cluster tasks into a new task, as typical clustering techniques do, but specifies which tasks need to be executed on the same processor. Our experiments have shown that PAT, which may produce nonlinear groups of tasks, gives better results than linear clustering when multi-resource constraints are present. Linear clustering was proved to be optimal comparing to all other clusterings for problems with timing constraints only. In this paper, we show that, if used for multi-resource synthesis problem, as it is often used nowadays, linear clustering will produce inferior solutions.
A major obstacle to fully integrated deployment of many data mining algorithms is the assumption that data sits in a single table, even though most real-world databases have complex relational structures. We propose a...
详细信息
A major obstacle to fully integrated deployment of many data mining algorithms is the assumption that data sits in a single table, even though most real-world databases have complex relational structures. We propose an integrated approach to statistical modelling from relational databases. We structure the search space based on "refinement graphs", which are widely used in inductive logic programming for learning logic descriptions. The use of statistics allows us to extend the search space to include richer set of features, including many which are not Boolean. Search and model selection are integrated into a single process, allowing information criteria native to the statistical model, for example logistic regression, to make feature selection decisions in a step-wise manner. We present experimental results for the task of predicting where scientific papers will be published based on relational data taken from CiteSeer. Our approach results in classification accuracies superior to those achieved when using classical "flat" features. The resulting classifier can be used to recommend where to publish articles.
In this paper we consider the superstructure optimization of chemical process networks. The objective of the superstructure optimization is to minimize the total cost of the process. First we present the mathematical ...
详细信息
ISBN:
(纸本)0780383524
In this paper we consider the superstructure optimization of chemical process networks. The objective of the superstructure optimization is to minimize the total cost of the process. First we present the mathematical modeling framework for the process networks, where the selection of different process is made by discrete choices. Generalized disjunctive programming (GDP) model and mixed-integer nonlinear programming (MINLP) model are used for the formulation of the process networks. The optimization algorithm for these discrete/continuous optimization models is applied and the optimal solution has lower cost than the base case solution. The industrial applications are shown with monomer reaction process and olefin separation process.
暂无评论