Cross toolkits (assembler, linker, debugger, simulator, profiler) play a key role in the development cycle of embedded systems. Early creation of cross toolkits and possibility to quickly adapt them allows using them ...
详细信息
ISBN:
(纸本)9783642114854
Cross toolkits (assembler, linker, debugger, simulator, profiler) play a key role in the development cycle of embedded systems. Early creation of cross toolkits and possibility to quickly adapt them allows using them as early as at the hardware/software codesign stage, which shortens time-to-market and becomes an important success factor for the entire project. Challenging issues for cross toolkits development is efficiency of simulation and ability to adapt to CPU instruction set ongoing changes at the design phase. Developing cross toolkits in C/C++ produces highly efficient tools but requires extensive rework to keep up with instruction set;changes. Approaches based on automatic toolkit generation from some top level specifications in Architecture Description Languages (ADLs) are less sensitive to this problem but they produce inefficient tools, especially simulators. this paper introduces a new approach to cross toolkit development that combines the flexibility of ADL and efficiency of C/C++ based approaches. this approach was implemented in the MetalDSP framework, which was successfully applied in several industrial projects.
With China's degree of dependence upon overseas oil increase every year, the supply of oil resources impacts country's economic development and social stability directly. However, overseas oil imports exists s...
详细信息
ISBN:
(纸本)9781424464852;9781424464876
With China's degree of dependence upon overseas oil increase every year, the supply of oil resources impacts country's economic development and social stability directly. However, overseas oil imports exists such as piracy attacks, line accident and other risk during transportation, so a reasonable choice of transportation paths can control cost, reduce risk. A multi-objective transportation problem which considering distance and risk in the supply of oil import is presented. then a mathematic model of this transportation problem is established. Based on a fuzzy programming algorithm distributing in the partial big-scale parabola, and then solving the model by a distance-risk matrix for a optimal compromise solution, finally withthe actual data about China's crude oil imports in 2006 for the model verification, in order to provide policy suggest for china to choosing reasonable transportation paths.
this paper presents a constraint-based approach for video event recognition with probabilistic reasoning for handling uncertainty. the main advantage of constraint-based approaches is the possibility for human expert ...
详细信息
this paper presents a constraint-based approach for video event recognition with probabilistic reasoning for handling uncertainty. the main advantage of constraint-based approaches is the possibility for human expert to model composite events with complex temporal constraints. But the approaches are usually deterministic and do not enable the convenient mechanism of probability reasoning to handle the uncertainty. the first advantage of the proposed approach is the ability to model and recognize composite events with complex temporal constraints. the second advantage is that probability theory provides a consistent framework for dealing with uncertain knowledge for a robust and reliable recognition of complex event. this approach is evaluated with 4 real healthcare videos and a public video ETISEO'06. the results are compared with state of the art method. the comparison shows that the proposed approach improves significantly the process of recognition and characterizes the likelihood of the recognized events.
Software metrics provide essential means for software practitioners to assess its quality. However, to assess software quality, it is important to assess its UML models because of UML wide and recent usage as an objec...
详细信息
ISBN:
(纸本)9781424458288;9789774033964
Software metrics provide essential means for software practitioners to assess its quality. However, to assess software quality, it is important to assess its UML models because of UML wide and recent usage as an object-oriented modeling language. But the issue is which type of software metrics can be utilized on UML models. One of the most important software metrics suite is Chidamber and Kemerer metrics suite, known by CK suite. In the current work, an automated tool is developed to compute the six CK metrics by gathering the required information from class diagrams, activity diagrams, and sequence diagrams. In addition, extra information is collected from system designer, such as the relation between methods and their corresponding activity diagrams and which attributes they use. the proposed automated tool operates on XMI standard file format to provide independence from a specific UML tool. To evaluate the applicability and quality of this tool, it has been applied to two examples: an online registration system and one of the bioinformatics Microarray tools (MIDAS).
A perennial problem with running modern e-business systems is to manage supply chains cost-effectively. To get the maximum efficiency a higher degree of automation is required. this research intends a preliminary step...
详细信息
ISBN:
(纸本)9781424464852;9781424464876
A perennial problem with running modern e-business systems is to manage supply chains cost-effectively. To get the maximum efficiency a higher degree of automation is required. this research intends a preliminary step towards automated supply chain integration and optimization through a research prototype that models supply chain management scenarios. It will show under such an approach potential cost and timesavings, as well as an optimization strategy that could be delivered in a real-time fashion. Additionally an empirical study using the prototype will be undertaken to show the difference between combinatorial and heuristically guided optimization rules in optimization of supply chains. the prototype will use Service Oriented Architecture (SOA) techniques to initialize, coordinate and monitor the supply chains.
Various forms of pervasive computing environments are being deployed in an increasing number of areas including hospitals, homes and military settings. Entities in this environment provide rich functionalities (i.e. s...
详细信息
Various forms of pervasive computing environments are being deployed in an increasing number of areas including hospitals, homes and military settings. Entities in this environment provide rich functionalities (i.e. services). How to organize these heterogeneous and distributed entities to deliver user-defined services is challenging. Pantagruel is an approach to integrate a taxonomical description of a pervasive computing environment into a visual programming language. A taxonomy describes the relevant entities of a given pervasive computing area and serves as a parameter to a sensor-controller-actuator development paradigm. the orchestration of area-specific entities is supported by high-level constructs, customized with respect to taxonomical information. Pantagruel is also a language that describes and manages services. Further more, Pantagruel can be viewed as a high level service contract between the service designer and the program implementer. this paper presents a formalization of Pantagruel, both its syntax and semantics. Four kinds of static properties are stated based on the formalization. Predicate abstraction based algorithms are designed to verify the properties.
Floating-Gate-MOS Transistor (FGMOSFET) has several applications on analog circuit design; in some cases FGMOSFET simplifies high-complexity circuits because of its inherent properties. On the other side, working with...
详细信息
Floating-Gate-MOS Transistor (FGMOSFET) has several applications on analog circuit design; in some cases FGMOSFET simplifies high-complexity circuits because of its inherent properties. On the other side, working with FGMOSFET on subthreshold regime has allowed non-linear function implementation such as exponential and natural logarithm functions. Moreover, working on subthreshold regime is one of the most useful techniques for low-power designs. Taking advantage of FGMOSFET's properties, this work shows an analog CMOS circuit that finds the best solution of the combinatorial task of assignments in terms of Lagrange multipliers. this is in contrast to the Hopfield paradigm, which is often VLSI-costly. the building block in this circuit uses FGMOSFET transistors, has low silicon complexity and exhibits good electrical performance according to PSpice simulations. Final simulations were developed for a 0.5μm CMOS technology and the output currents reach an optimal solution in all cases. It might include threshold voltage programming circuits for reducing mismatch effects.
logicprogramming has been used as a natural framework to automate deduction in the logic of order-of-magnitude reasoning. Specifically, we introduce a Prolog implementation of the Rasiowa-Sikorski proof system associ...
详细信息
logicprogramming has been used as a natural framework to automate deduction in the logic of order-of-magnitude reasoning. Specifically, we introduce a Prolog implementation of the Rasiowa-Sikorski proof system associated withthe relational translation Re(OM) of the multi-modal logic of order-of-magnitude qualitative reasoning OM.
In most styles of music, composition is governed by a set of rules. We demonstrate that approaching the automation and analysis of composition declaratively, by expressing these rules in a suitable logical language, p...
详细信息
ISBN:
(纸本)9783642042379
In most styles of music, composition is governed by a set of rules. We demonstrate that approaching the automation and analysis of composition declaratively, by expressing these rules in a suitable logical language, powerful and expressive intelligent composition tools can easily be built. this paper describes the use of answer set programming to construct an automated system, named ANTON, that can compose both melodic and harmonic music, dignose errors in human compositions and serve is a computer-aided composition tool.
logicprogramming has been used as a natural framework to automate deduction in the logic of order-of-magnitude reasoning. Specifically, we introduce a Prolog implementation of the Rasiowa-Sikorski proof system associ...
详细信息
logicprogramming has been used as a natural framework to automate deduction in the logic of order-of-magnitude reasoning. Specifically, we introduce a Prolog implementation of the Rasiowa-Sikorski proof system associated withthe relational translation Re(OM) of the multi-modal logic of order-of-magnitude qualitative reasoning OM.
暂无评论