In the traditional B-Method, operations are designed only by pre-conditions and a series of substitutions, and it works well. However, withthe appearance and development of the modeling by the integration of semi-for...
详细信息
All modern dynamic engineeringsystems can be characterized as mechatronic systems. the multi-domain nature of a mechatronic system makes it difficult to model using a single modeling technique over the whole system a...
详细信息
ISBN:
(纸本)9789698741051
All modern dynamic engineeringsystems can be characterized as mechatronic systems. the multi-domain nature of a mechatronic system makes it difficult to model using a single modeling technique over the whole system as varying sets of system variables are required. Bond-Graphs offer an advanced object oriented modeling and simulation technique. they are domain independent allowing straight forward and efficient model composition, classification and analysis. Bond-Graph model of the mechatronic system can be directly simulated on a digital computer using simulation softwares like 20-Sim and Modelica graphically or manipulated mathematically to yield state equations using a simplified set of power and energy variables. the simulation scheme can be augmented to synthesize designs for mechatronic systems using genetic programming as a tool for open ended search. this research paper presents results of experiments conducted to combine Bond-Graph modeling and simulation with genetic programming. A comprehensive review of the methodology is also included and the results are compared using different simulation softwares and conclusions drawn by research groups working on mechatronic systems and genetic programming internationally.
Many business services for private companies and citizens are increasingly accomplished trough the web and mobile devices. As such a scenario is characterized by high dynamism and untrustworthiness, existing technolog...
详细信息
ISBN:
(纸本)9789728865962
Many business services for private companies and citizens are increasingly accomplished trough the web and mobile devices. As such a scenario is characterized by high dynamism and untrustworthiness, existing technologies could be unsuccessful. this paper proposes an approach, inspired to the front-end trust filter paradigm, to manage data privacy in a very flexible way. Our approach has the potential to reduce the change impact due to the dynamism and to foster the reuse of strategies, and their implementations, across organizations.
the transformation from platform independent models to platform specific models is a key technology in OMG's MDA. the mapping relations between different models are the foundation and basis for the transformation....
详细信息
It is not feasible to engineer requirements for adaptable and open service-oriented systems (AOSS) by specifying stakeholders' expectations in detail during system development. Openness and adaptability allow new ...
详细信息
ISBN:
(纸本)9783540749738
It is not feasible to engineer requirements for adaptable and open service-oriented systems (AOSS) by specifying stakeholders' expectations in detail during system development. Openness and adaptability allow new services to appear at runtime so that ways in, and degrees to which the initial functional and nonfunctional requirements will be satisfied may vary at runtime. To remain relevant after deployment, the initial requirements specification ought to be continually updated to reflect such variation. Depending on the frequency of updates, this paper separates the requirements engineering (RE) of AOSS onto the RE for: individual services (Service RE), service coordination mechanisms (Coordination RE), and quality parameters and constraints guiding service composition (Client RE). To assist existing RE methodologies in dealing with Client RE, the Dynamic Requirements Adaptation Method (DRAM) is proposed. DRAM updates a requirements specification at runtime to reflect change due to adaptability and openness.
Documents written in natural languages constitute a major part of the softwareengineering lifecycle artifacts. Especially during software maintenance or reverse engineering, semantic information conveyed in these doc...
详细信息
ISBN:
(纸本)9783540733508
Documents written in natural languages constitute a major part of the softwareengineering lifecycle artifacts. Especially during software maintenance or reverse engineering, semantic information conveyed in these documents can provide important knowledge for the software engineer. In this paper, we present a text mining system capable of populating a software ontology with information detected in documents.
We present a dynamic optimization technique, thread warping, that uses a single processor on a multiprocessor system to dynamically synthesize threads into custom accelerator circuits on FPGAs (field-programmable gate...
详细信息
ISBN:
(纸本)9781595938244
We present a dynamic optimization technique, thread warping, that uses a single processor on a multiprocessor system to dynamically synthesize threads into custom accelerator circuits on FPGAs (field-programmable gate arrays). Building on dynamic synthesis for single-processor single-thread systems, known as warp processing, thread warping improves performances of multiprocessor systems by speeding up individual threads and by allowing more threads to execute concurrently. Furthermore, thread warping maintains the important separation of function from architecture, enabling portability of applications to architectures with different quantities of microprocessors and *** advantage not shared by static compilation/synthesis approaches. We introduce a framework of architecture, CAD tools, and operating system that together support thread warping. We summarize experiments on an extensive architectural simulation framework we developed, showing application speedups of 4x to 502x, averaging 130x compared to a multiprocessor system having four ARM11 microprocessors, for eight benchmark applications. Even compared to a 64-processor system, thread warping achieves 11x speedup. Copyright 2007 ACM.
the need for annotating digital image data is recognised in a variety of different medical information systems, covering both professional and educational usage of medical imaging. Due to the high recall and low preci...
详细信息
ISBN:
(纸本)9780889866485
the need for annotating digital image data is recognised in a variety of different medical information systems, covering both professional and educational usage of medical imaging. Due to the high recall and low precision attribute of keyword-based search, multimedia information search and retrieval based on textual descriptions is not always an efficient and sufficient solution, particularly for specific applications such as the medical diagnosis information systems. On the other hand, using image processing techniques to provide search on the content specific data for multimedia information is not a trivial task. In this paper we use the semantic web technologies in medical image search and retrieval process for a medical imaging information system. We employ an ontology-based knowledge representation and semantic annotation for medical image data. the proposed system defines data representation structures which are given well-defined meanings. the meanings are machine-accessible contents which could be interpreted by the software agents to find and retrieve the information based on the standard vocabularies and meaningful relationships between the data items.
Round-Robin scheduling is the most popular time triggered scheduling policy, and has been widely used in communication networks for the last decades. It is an efficient scheduling technique for integration of unrelate...
详细信息
ISBN:
(纸本)9781595938244
Round-Robin scheduling is the most popular time triggered scheduling policy, and has been widely used in communication networks for the last decades. It is an efficient scheduling technique for integration of unrelated system parts, but the worst-case timing depends on the system properties in a very complex way. the existing works on response time analysis of task scheduled under Round-Robin determine very pessimistic response time bounds, without considering in detail the interactions between tasks. this may lead to a degradation of the efficiency of Round-Robin scheduling algorithm, and becomes a practical obstacle to its application in real-time systems. In this paper we present an approach to compute much tighter best-case and worst-case response time bounds of tasks scheduled under preemptive Round-Robin, including also the effects of the scheduling algorithm. Copyright 2007 ACM.
In this paper we propose a dialogue game for agents to deliberate over a proposed action. the agents' dialogue moves are defined by a structured set of argument schemes and critical questions (CQs). thus, a dialog...
详细信息
ISBN:
(纸本)9783540752530
In this paper we propose a dialogue game for agents to deliberate over a proposed action. the agents' dialogue moves are defined by a structured set of argument schemes and critical questions (CQs). thus, a dialogue move is an instantiated scheme (i.e. an argument) or a CQ (i.e. a challenge on the argument instantiated in the scheme). the proposed dialogue game formalises the protocol based exchange of arguments defined in the ProCLAIM model. this model provides a setting for agents to deliberate over whether, given the arguments for and against, a proposed action is justified or not.
暂无评论