Spectral purity of fractional-N frequency synthesisers is affected by a set of discrete spurious components. The paper investigates how the intermodulation effects in fractional-N frequency synthesizers contribute to ...
详细信息
Spectral purity of fractional-N frequency synthesisers is affected by a set of discrete spurious components. The paper investigates how the intermodulation effects in fractional-N frequency synthesizers contribute to these spurious components. The intermodulation mechanism has been investigated. The predictions of the distribution of intermodulation-born spurs are proven by a set of simulations. Potential approaches to suppress intermodulation-born spurs are also discussed.
Autonomic computing is central to the success of IT infrastructure deployment as its complexity and pervasiveness grows. This paper addresses one aspect of policy-based autonomic computing - the issue of identifying d...
详细信息
Autonomic computing is central to the success of IT infrastructure deployment as its complexity and pervasiveness grows. This paper addresses one aspect of policy-based autonomic computing - the issue of identifying dependencies between policies, knowledge of which is useful to the policymaker while defining or updating policies. These dependencies are determined via assesment of the impact of a policy on the sensors (measurable entities at runtime). Our approach uses a simple pragmatic model over the measured runtime information from the recent past. Both static and runtime information is combined to provide effective feedback.
Web service composition enables the creation of new and more valuable services to combine and link existing services. However, the treatment of user constraints (as user demands) is important to provide users with a m...
详细信息
Web service composition enables the creation of new and more valuable services to combine and link existing services. However, the treatment of user constraints (as user demands) is important to provide users with a more intelligent service. It is difficult for existing services to fully satisfy' users' constraints, as user demands change dynamically, depending on user preference or environment. We have produced an intelligent infrastructure that can deal with dynamic user constraints for Web service planning and composition. To realize this intelligent system, we analyzed the pattern of exceptions to manage the user constraints that can occur during planning through the creation of a scenario, and then we extracted important ideas for the detection and improvement of the exceptions. We also considered the system architecture using exceptional patterns and situation calculus theory in the first-order logic-language to deduce the planning procedure. Our simple prototype used IndiGolog, which is a high-level programming language for robot, and applied situation calculus theory. Using this intelligent infrastructure enabled us to easily design a complex plan.
Programmable systems on chip provide powerful capabilities to designers, including reconfigurable logic as well as embedded processors. Such devices can enhance computer engineering education by exposing students to a...
详细信息
Programmable systems on chip provide powerful capabilities to designers, including reconfigurable logic as well as embedded processors. Such devices can enhance computer engineering education by exposing students to advanced technologies while streamlining the costs and time for laboratory preparation, maintenance, and pedagogy.
The area of field programmable gate array (FPGA) design is evolving at a rapid pace. Advancements in the complexity of the FPGA's architecture mean that now it can be used in far more applications than before. Thi...
详细信息
The area of field programmable gate array (FPGA) design is evolving at a rapid pace. Advancements in the complexity of the FPGA's architecture mean that now it can be used in far more applications than before. This paper presents synthesis process, synthesis algorithm requirements and various other design improvements which in a true sense enhance the digital system performance with respect to area and delay trade offs. It also covers a number of timing issues that are important in basic digital system design. The issues are normally observed while working with Xilinx FPGAs. Some established techniques are reviewed relative to these criteria to understand their applicability and the potential for further research in these specialized areas
The paper deals with the partial automation of cars for safety purposes. We have tried to automate the car to prevent the danger (obstacles around the car) in the best possible way by incorporating intelligence to it ...
详细信息
The paper deals with the partial automation of cars for safety purposes. We have tried to automate the car to prevent the danger (obstacles around the car) in the best possible way by incorporating intelligence to it with the help of microcontrollers and interfacing them with the basic structures of the braking, steering and the acceleration systems of the car. The actions required are taken only if the driver is not able to steer the car out of danger even after he is alerted. We have given preference to a particular direction with respect to other directions in the most practical way and in a particular sequence so that only one system (i.e. braking, steering and the acceleration) works at a given instant of time. The proposed system can be implanted in a manually driven car at a very low cost
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the primary abstractions from which applications are built, while methods contain the actual program logic. T...
详细信息
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the primary abstractions from which applications are built, while methods contain the actual program logic. The main problem of this task is to quickly grasp the purpose and inner structure of a class. To achieve this goal, one must be able to overview multiple methods at once. In this paper, we present microprints, pixel-based representations of methods enriched with semantic information. We present three specialized microprints each dealing with a specific aspect we want to understand of methods: (1) state access, (2) control flow, and (3) invocation relationship
Abduction in logic programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer S...
详细信息
At the heart of autonomic computing (AC) and on demand services (ODS), business rules play a vital role because they can help 'gluing' managed resources, software components, and e-services together in accorda...
详细信息
At the heart of autonomic computing (AC) and on demand services (ODS), business rules play a vital role because they can help 'gluing' managed resources, software components, and e-services together in accordance with business goals. logic programming, the theoretic basis of rule engines, has gradually gained maturity in academia during past decades. From the practical point of view, however, existing rule engines are not useable enough in business applications, which in turn stalls further development of both logic programming and information technologies in industry. We need a straightforward way to utilize rules in a variety of domains. This paper presents a new paradigm in integrating rule engine technologies into on demand services and their management. We propose a Java semantic mapping schema and are implementing a dynamic knowledge-base builder based on well-defined ODS ontologies.
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.
暂无评论