In this paper we consider a cognitive radio (CR) communication system based on spectrum sharing schemes, where we have a secondary user (SU) link with multiple transmitting antennas and a single receiving antenna, coe...
详细信息
In this paper we consider a cognitive radio (CR) communication system based on spectrum sharing schemes, where we have a secondary user (SU) link with multiple transmitting antennas and a single receiving antenna, coexisting with a primary user (PU) link with a single receiving antenna. At the SU transmitter (SU-Tx), the channel state information (CSI) of the SU link is assumed to be perfectly known; while the interference channel from the SU-Tx to the PU receiver (PU-Rx) is not perfectly known due to less cooperation between the SU and the PU. Considering a SU transmit power constraint, our design objective is to determine the transmit covariance matrix that maximizes the SU rate, while we protect the PU by enforcing both a PU average interference constraint and a PU outage probability constraint. this problem is formulated as a non-convex optimization problem with a non-explicit probabilistic constraint, which is then approximated as a mixed binary integer programming (MBIP) problem and solved withthe Branch and Bound (BB) algorithm. the complexity of the BB algorithm is analyzed and numerical results are presented to show the performance of the CR system under consideration with our optimal solution.
the complexity of the contemporary digital circuits and systems, determines the need for higher specification abstraction and automatic circuit synthesis techniques to be adopted. A prototype high level synthesis fram...
详细信息
ISBN:
(纸本)9781612848990
the complexity of the contemporary digital circuits and systems, determines the need for higher specification abstraction and automatic circuit synthesis techniques to be adopted. A prototype high level synthesis framework is presented here, that automatically generates synthesizable RTL code from unaltered, high level programs. the framework is developed using compiler-generator and logicprogramming (thus formal) techniques, and it utilizes a patented intermediate compilation format to retain the algorithmic semantics of the source programs and allow for compiler transformations. the synthesis framework is evaluated via statistics from a number of real-life applications. the performance optimization of the compiled applications, including an MPEG engine, underlines the quality of the prototype design framework.
the ontology layer of the semantic web is now mature enough (i.e. standards like RDF, RDFs, OWL, OWL 2) and the next step is to work on a logic layer for the development of advanced reasoning capabilities for knowledg...
详细信息
the proceedings contain 35 papers. the topics discussed include: LIBOR market model simulation on an FPGA parallel machine;protection of microprocessor-based cores for FPL devices;FPGA-based smart sensor implementatio...
ISBN:
(纸本)9781424470891
the proceedings contain 35 papers. the topics discussed include: LIBOR market model simulation on an FPGA parallel machine;protection of microprocessor-based cores for FPL devices;FPGA-based smart sensor implementation with precise frequency to digital converter for flow measurement;a genetic programming based approach for efficiently exploring architectural communication design space of MPSOCS;an environment for energy consumption analysis of cache memories in SOC platforms;the development of a hardware abstraction layer generator for system-on-chip functional verification;a placement tool for a NOC-based dynamically reconfigurable system;FPGA based floating-point library for CORDIC algorithms;Montgomery modular multiplication on reconfigurable hardware: fully systolic array vs parallel implementation;decimal division: algorithms and FPGA implementations;and parallel decimal multipliers using binary multipliers.
Mathematical morphology supplies powerful tools for low level image analysis, with applications in robotic vision, visual inspection, medicine, texture analysis and many other areas. Many of the mentioned applications...
详细信息
In this paper, we investigate the axiomatic semantics of the projection temporal logicprogramming language MSVL. To this end, we employ Propositional Projection Temporal logic (PPTL) as an assertion language to speci...
In this paper, we investigate the axiomatic semantics of the projection temporal logicprogramming language MSVL. To this end, we employ Propositional Projection Temporal logic (PPTL) as an assertion language to specify the desired properties. We give a set of state axioms and state inference rules. In order to deduce a program over an interval, we also formalise a set of rules in terms of a Hoare logic-like triple. these rules enable us to deduce a program into its normal form and from the current state to the next one. they also enable us to verify properties over intervals. In this way, an axiom system for proving the correctness of MSVL programs is established. the axiom system is proved to be sound and relatively complete with respect to an operational model of MSVL, and give an example showing how the axiom system works. Finally, we employ a recently developed prototype verifier based on PVS as an example of semi-automatic verification using MSVL.
Computer-assisted interviewing systems have various benefits, as compared to paper-and-pencil surveys. the engine for processing questionnaires, however, should be reprogrammed when the questionnaire is changed since ...
详细信息
ISBN:
(纸本)9783642154690
Computer-assisted interviewing systems have various benefits, as compared to paper-and-pencil surveys. the engine for processing questionnaires, however, should be reprogrammed when the questionnaire is changed since its processing logic is hard-coded in the system. As such, the engine for processing questionnaires depends on the questionnaires. this study makes the engine for processing questionnaires independent of questionnaires using an active document model. In this model, machines can process documents with rules specified in the documents. the active questionnaire, which is an active document, is composed of questions, control logic, and a knowledgebase. Among these, control logic expresses a method of processing questions in an executable XML. In this paper, we propose a framework for processing active questionnaires and describe its implementation.
New integrated circuits technologies and the demand for more complex applications have created MultiProcessor System-on-Chip (MPSoC). MPSoC is a complex integrated circuit, which can be composed of microprocessors, bu...
详细信息
In Human Computer Interaction (HCI), the computer has to take many decisions to react in a way that human wants. As decisions in HCI are diverse, contradictory, and hard to measure it is hard to study and model them, ...
详细信息
ISBN:
(纸本)9783642162381
In Human Computer Interaction (HCI), the computer has to take many decisions to react in a way that human wants. As decisions in HCI are diverse, contradictory, and hard to measure it is hard to study and model them, e.g. finding a mapping from the users preferences to adaptions of the user interface. To ease these tasks, we developed MADL (Multi-Attribute Decision Language). this programming language, based on Multi-Attribute Decision Making (MADM), is designed to model and make hierarchical multi-attributive decisions and is based on the analysis of decisions and goals in HCI. It fosters respecting HCI specific characteristics in development, like uncertainty and risk, can be embedded easily in other applications and allows inclusion of and experimentation with different decision rules. User interface logic can also be modeled by non-programmers and more easily separated from the business logic. the applicability will been shown in three use cases.
暂无评论