The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
A communication network with a fixed number of sub-channels and several transmitter-receiver pairs under unit power constraint is considered. The achievable throughput of this network in the case of decentralized single-hop and one-shot game is investigated. It is assumed the number of links, N, as well as the number of sub-channels, M, are the common information among users. Moreover, direct channel...
Simulink is one of the most widely used industrial tools to design embedded systems. Applying formal methods sooner in the cycle of development is an important industrial challenge in order to reduce the cost of bug fixing. In this article, we introduce a new method, called abstract simulation and based on abstract interpretation of Simulink models. Abstract simulation uses several numerical domains...
We define a number of original encodings, called regular encodings, that map Max-CSP instances into Partial Max-SAT instances. First, we obtain new direct and (minimal)support encodings by modelling the at-least-one and at-most-one conditions using a regular signed encoding. This way, we obtain encodings in which the hard part is more compact. Second, even when we need to introduce auxiliary variables...
The conventional multi-beam forming is performed at the element or subarray level. With the former it is not feasible for cost and complexity reasons to process all array element outputs individually. With the latter it is perfect to form singular beam but not perfect for multi-beam. In this paper combining pattern synthesis with spatial interpolation a multi-beam forming method is proposed, The new...
We have experimentally evaluated the coherent addition technique, and revealed that the coherent addition can enhance detected data intensity and realize clear three-level data retrieving. Moreover, we have achieved great improvements in the multiplexed performance, which are the SNR gain of +3.5 dB and the data density increase with the factor of 2. We consider that this technique will strongly contribute...
High resolution radar using linear frequency modulation (LFM) and non-linear frequency modulation (NLFM) transmit a wideband pulse to achieve a narrow range resolution. We consider digital multi-rate implementation of LFM and NLFM pulse compression. For the LFM case, we consider short-length fixed-point fast Fourier transform (FFT) within the multi-rate structure as a way to increase speed and reduce...
This paper presents two new methods for fast computation of phase-only weights for forming large sector nulls with phased array antennas. Both methods are faster than a previously described method. An example case demonstrates that the computation time can be reduced by a factor of 10 or 100 with the new methods over the previous method. No restrictions are placed on array geometry, element spacing,...
The best choice problem is an important class of the theory of optimal stopping rules. In this article, we present the cross-entropy method for solving the multiple best choice problem with the minimal expected ranks of selected objects. Computational results showed that the cross-entropy method is producing high-quality solution.
Under limited channel state information at the transmitter the communication suffers from the outage events produced by a data rate selection not supported by the current channel realization. Automatic repeat request (ARQ) protocols are a useful tool to deal with those outage events in delay-tolerant services. This work looks into how automatic repeat request (ARQ) protocols are applied to the half-duplex...
This paper describes a micro power amplifier for neural signal recording. We describe an amplifier using a differential pair as input stage. Given that neural amplifiers must include differential input pair to achieve a high common-mode rejection ratio (CMRR). The amplifier has been designed in the AMS 0.35 mum, 3-metal, 2-poly, n-well standard CMOS process. The amplifier current consumption is 4...
Several optimalization algorithms have been proposed for the solution the minimal and the multiterminal minimal path of a network having cost (distance) function. In this paper we present these algorithms in a special network in which on the edges a gain function is given. On the edge (x,y) of the network a t(x,y) transportation cost is defined. In the course of the transportation on the edge (x,y)...
This paper proposes an optimal soft fusion scheme for cooperative spectrum sensing in cognitive radio (CR) network. Multiple cooperative secondary users (SUs) simply serve as relay nodes in the network to provide space diversity for spectrum sensing. An optimal soft fusion scheme of the relayed sensing observations is derived in Neyman-Pearson framework, on the basis of maximizing the deflection coefficient...
In this paper, distributed power allocation schemes are studied for amplify-and-forward (AF) cooperative relay networks, where only partial channel state information (CSI) is available at the source and relays. Aiming at minimizing the total transmit power while providing a target outage probability, a scheme is first investigated in which the source decides transmit power and a relay-forwarding threshold,...
In recent years new and efficient symbolic model checking algorithms have been developed. One technique, bounded model checking or BMC, has been particularly promising. BMC models the system being verified as a boolean formula whose satisfying assignments provide counterexamples for properties verified. BMC unrolls the system in its multiple iterations. Because of this the structure of the formula...
Multipath propagation effect usually degrades the wireless system performances. Regarding the antenna element, this degradation implies the variation of some important parameters, such as the gain, input impedance and efficiency. Instead of being deterministic quantities, those parameters are rather random, according to the stochastic nature of multipath and the variability of the environment. Therefore,...
In this paper, we introduce the concept of the research-practice gap as it is perceived in the field of software requirements engineering. An analysis of this gap has shown that two key causes for the research-practice gap are lack of effective communication and the relatively light coverage of requirements engineering material in University programmes. We discuss the design and delivery of a masters...
In this paper, we study optimum SNR threshold based partial decode-and-forward (PDF) schemes where relays may choose to forward the demodulated symbols in form of distributed space-time coding (DSTC) or to remain silent according to instantaneous link qualities of the source to relays. Considering the possible error of Maximum likelihood decoding at intermediate relays, we model a general noise in...
We present a model for the certification of trust in multi-agent systems based on encryption. The objective is to raise the level of efficiency that client agents have when contracting specialized service agents. We make three hypotheses: (i) client agents are able to measure and inform the quality of a service they receive from a service agent; (ii) distributed certificate control is possible because...
In this paper, we reveal new findings about the generated musical noise in minimum mean-square error short-time spectral amplitude (MMSE STSA) processing. Recently we have proposed a objective metric of musical noise based on kurtosis change ratio on spectral subtraction (SS). Also we found an interesting relationship among the degree of generated musical noise, the shapes of signal-s probability...
Optimized opportunistic multicast scheduling (OMS) has been studied previously by the authors for homogeneous cellular networks, where the problem of efficiently transmitting a common set of data from a single base station to multiple users that have identical channel statistics was examined. It has been demonstrated that OMS can achieve significant performance improvement by exploiting the optimal...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.