Optimal levels of preventive maintenance performed on any system ensures cost-effective and reliable operation of the system. In this paper a component with deterioration and random failure is modeled using Markov pro...
详细信息
ISBN:
(纸本)0976131919
Optimal levels of preventive maintenance performed on any system ensures cost-effective and reliable operation of the system. In this paper a component with deterioration and random failure is modeled using Markov processes while incorporating the concept of minor and major preventive maintenance. the optimal mean times to preventive maintenance (both minor and major) of the component is determined by maximizing its availability with respect to mean time to preventive maintenance. Mathematical optimization programs Maple 7 and Lingo 7 are used to find the optimal solution, which is illustrated using a numerical example. Further, an optimal maintenance policy is obtained using Markov Decision Processes (MDPs). Linear programming (LP) is utilized to implement the MDP problem.
the proceedings contain 30 papers. the topics discussed include: object-oriented reengineering patterns - an overview;certifiable program generation;efficient code generation for a domain specific language;Bossa Nova:...
详细信息
ISBN:
(纸本)3540291385
the proceedings contain 30 papers. the topics discussed include: object-oriented reengineering patterns - an overview;certifiable program generation;efficient code generation for a domain specific language;Bossa Nova: introducing modularity into the Bossa domain-specific language;model compiler construction based on aspect-oriented mechanisms;shadow programming: reasoning about programs using Lexical join point information;generalized type-based disambiguation of meta programs with concrete object syntax;semi-inversion of guarded equations;a generativeprogramming approach to interactive information retrieval: insights and experiences;and optimizing marshalling by run-time program generation.
this paper discusses the attempts to combine classical enterprise information systems development methodologies withcomponent-based approach. It argues to use component-oriented paradigm for the development of system...
详细信息
this paper discusses the attempts to combine classical enterprise information systems development methodologies withcomponent-based approach. It argues to use component-oriented paradigm for the development of systems at all three layers of enterprise. the paper presents principles and concepts of this paradigm in enterprise engineering context, proposes component abstraction as realization technique of most general engineering principles which can reduce the complexity of integrated enterprise information system development and maintenance the integrated enterprise information system components and their types are discussed
the proceedings contain 65 papers. the topics discussed include: decision table based analysis of trading models;a three-layer model for software engineering metrics;design phase analysis of software qualities using a...
详细信息
ISBN:
(纸本)076952611X
the proceedings contain 65 papers. the topics discussed include: decision table based analysis of trading models;a three-layer model for software engineering metrics;design phase analysis of software qualities using aspect-oriented programming;applying dynamic change impact analysis in component-based architecture design;transforming linear terms of algebraic specifications into extended pomsets;an extension of robustness slicing algorithm based on dynamic array;text classification by combining different distance functions with weights;network intrusion detection through genetic feature selection;minimizing multicast communication latency in WAN-based environment;a software tool for network traffic analysis;topology control and mobility management in mobile Ad Hoc Networks;approximation algorithm for maximum lifetime in wireless sensor networks with data aggregation;and a survey of software estimation techniques and project planning practices.
Object-Oriented Methods, Formal Specification Languages, component-Based Software Production... this is just a very short list of technologies proposed to solve a very old and, at the same time, very well-known proble...
详细信息
ISBN:
(纸本)3540378715
Object-Oriented Methods, Formal Specification Languages, component-Based Software Production... this is just a very short list of technologies proposed to solve a very old and, at the same time, very well-known problem: how to produce software of quality. programming has been the key task during the last 40 years, and the results have not been successful yet. this work will explore the need of facing a sound software production process from a different perspective: the non-programming perspective, where by non-programming we mainly mean modeling. Instead of talking about Extreme programming, we will introduce a Extreme Non-programming (Extreme Modeling-Oriented) approach. We will base our ideas on the intensive work done during the last years, oriented to the objective of generating code from a higher-level system specification, normally represented as a Conceptual Schema. Nowadays, though, the hip around MDA has given a new push to these strategies. New methods propose sound model transformations which cover all the different steps of a sound software production process from an Information Systems engineering point of view. this must include Organizational Modeling, Requirements engineering, Conceptual Modeling and Model-Based Code Generation techniques. In this context, it seems that the time of Model Transformation Technologies is finally here...
Interactive grammar based design systems (IGBDS) are capable of generating large numbers of alternative designs. Prior to the application of IGBDS, a set of rules should be defined based on the theoretical theories an...
详细信息
Interactive grammar based design systems (IGBDS) are capable of generating large numbers of alternative designs. Prior to the application of IGBDS, a set of rules should be defined based on the theoretical theories and practical experiences in designing the objects, or by analysing the existing sets of objects. However, due to the time constraints in developing theoretical theories, gaining the practical skills of experts is of qualitative in nature and stylistically inconsistent designs to be analysed, it is difficult to systematically derive a set of shape grammar rules in generating designs which fulfils specific requirements. To address this problem, this paper presents an IGBDS enhanced by evolutionary computing to evolve a set of grammar rules for product form design. In this research, the forms of a product are analysed to derive shape features in the form of shape grammar (SG) rules. the rules are then encoded as the code scripts of a genetic algorithm (GA) representation in order to generate new shape grammar rules. the parameters in GA representation are modified by genetic programming (GP) which is regulated by control planning strategies named "GP-GA-SG". the "GP-GA-SG" control planning strategy first defines ways on how the control variables in GP should modify the variables in GA representation. the "GP-GA-SG" control planning strategy then defines ways on how the control variables in GA should modify the variables in SG representation. the SG rules modified by the GA variables define a new combination of shape features for alternative designs. In this way, traditional shape grammar is extended to an interactive context in which generative and evolutionary computing methods are combined. Both product component design as well as product configuration are supported in this framework. In this paper, we describe how this framework is formulated and discuss its potentials in supporting product design, with initial examples showing how the system is intended
the Imperial College e-Science Networked Infrastructure (ICENI) has been developed by the London e-Science Centre for over four years. ICENI has prototyped many novel ideas for providing an end to end Grid middleware....
详细信息
ISBN:
(纸本)3540343830
the Imperial College e-Science Networked Infrastructure (ICENI) has been developed by the London e-Science Centre for over four years. ICENI has prototyped many novel ideas for providing an end to end Grid middleware. this has included: service-oriented architecture, componentprogramming model, retaining and using meta-data collected throughout the life-cycle of an application, and scheduling algorithms which are aware of workflow and performance data. In this paper we describe the workflow pipeline and deployment process of ICENI II. this allows the user to specify their workflow at an abstract level which is fed through the pipeline in order to successfully deploy it over the Grid. the tool sets, which make up the stages of the ICENI II pipeline, are designed to be composable in an a-la-carte fashion. thus allowing Grid developers to select only those components which are relevant for their work. When these tool sets are composed together they form the higher level services required to make the Grid useful to the end user.
Modern software codebases are frequently large, heterogeneous, and constantly evolving. the languages and tools for software construction, including code builds and configuration management, have not been well-studied...
详细信息
ISBN:
(纸本)3540330933
Modern software codebases are frequently large, heterogeneous, and constantly evolving. the languages and tools for software construction, including code builds and configuration management, have not been well-studied. Developers are often faced with using 1) older tools (like make) that do not scale well, 2) custom build scripts that tend to be fragile, or 3) proprietary tools that are not portable. In this paper, we study the build issue as a domain-specific programming problem. there are a number of challenges that are unique to the domain of build systems. We argue that a central goal is compositionality-that is, it should be possible to specify a software component in isolation and add it to a project with an assurance that the global specification will not be compromised. the next important goal is to cover the full range of complexity-from allowing very concise specifications for the most common cases to providing the flexibility to encompass projects with unusual needs. Dependency analysis, which is a prerequisite for incremental builds, must be automated in order to achieve compositionality an reliability;it also spans the full range of complexity. We develop a language for describing software builds and configuration. We also develop an implementation (called Omake), that addresses all the above challenges efficiently and portably. It also provides a number of features that help streamline the edit/compile development cycle. OMake is freely available under the GNU General Public License, and is actively being used in several large projects.
Interactive grammar based design systems (IGBDS) are capable of generating large numbers of alternative designs. Prior to the application of IGBDS, a set of rules should be defined based on the theoretical theories an...
详细信息
Interactive grammar based design systems (IGBDS) are capable of generating large numbers of alternative designs. Prior to the application of IGBDS, a set of rules should be defined based on the theoretical theories and practical experiences in designing the objects, or by analysing the existing sets of objects. However, due to the time constraints in developing theoretical theories, gaining the practical skills of experts is of qualitative in nature and stylistically inconsistent designs to be analysed, it is difficult to systematically derive a set of shape grammar rules in generating designs which fulfil specific requirements. To address this problem, this paper presents an IGBDS enhanced by evolutionary computing to evolve a set of grammar rules for product form design. In this research, the forms of a product are analysed to derive shape features in the form of shape grammar (SG) rules. the rules are then encoded as the code scripts of a genetic algorithm (GA) representation in order to generate new shape grammar rules. the parameters in GA representation are modified by genetic programming (GP) which is regulated by control planning strategies named "GP-GA-SG". the "GP-GA-SG" control planning strategy first defines ways on how the control variables in GP should modify the variables in GA representation. the "GP-GA-SG" control planning strategy then defines ways on how the control variables in GA should modify the variables in SG representation. the SG rules modified by the GA variables define a new combination of shape features for alternative designs. In this way, traditional shape grammar is extended to an interactive context in which generative and evolutionary computing methods are combined. Both product component design as well as product configuration are supported in this framework. In this paper, we describe how this framework is formulated and discuss its potentials in supporting product design, with initial examples showing how the system is intended
In this paper we describe a type system for a generative mechanism that generalizes the concept of generic types by combining it with a controlled form of reflection. this mechanism makes many code generation tasks po...
详细信息
ISBN:
(纸本)3540291385
In this paper we describe a type system for a generative mechanism that generalizes the concept of generic types by combining it with a controlled form of reflection. this mechanism makes many code generation tasks possible for which generic types alone would be insufficient. the power of code generation features are carefully balanced withtheir safety, so that we axe able to perform static type checks on generator code. this leads to a generalized notion of type safety for generators.
暂无评论