36 resultados para mu-calculus


Relevância:

20.00% 20.00%

Publicador:

Resumo:

PtSi/Si Schottky junctions, fabricated using a conventional technique of Pt deposition with a subsequent thermal anneal, are examined using X-ray diffraction, atomic force microscopy and a novel prism/gap/sample optical coupling system. With the aid of X-ray diffraction and atomic farce microscopy it is shown that a post-anneal etch in aqua regia is essential for the removal of an unreacted, rough surface layer of Pt, to leave a much smoother PtSi film. The prism/gap/sample or Otto coupling rig is mounted in a small UHV chamber and has facilities for remote variation of the gap (by virtue of a piezoactuator system) and variation of the temperature in the range of similar to 300 K - 85 K. The system is used to excite surface plasmon polaritons on the outer surface of the PtSi and thus produce sensitive optical characterisation as a function of temperature. This is performed in order to yield an understanding of the temperature dependence of phonon and interface scattering of carriers in the PtSi.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Situation calculus has been applied widely in arti?cial intelligence to model and reason about actions and changes in dynamic systems. Since actions carried out by agents will cause constant changes of the agents’ beliefs, how to manage
these changes is a very important issue. Shapiro et al. [22] is one of the studies that considered this issue. However, in this framework, the problem of noisy sensing, which often presents in real-world applications, is not considered. As a
consequence, noisy sensing actions in this framework will lead to an agent facing inconsistent situation and subsequently the agent cannot proceed further. In this paper, we investigate how noisy sensing actions can be handled in iterated
belief change within the situation calculus formalism. We extend the framework proposed in [22] with the capability of managing noisy sensings. We demonstrate that an agent can still detect the actual situation when the ratio of noisy sensing actions vs. accurate sensing actions is limited. We prove that our framework subsumes the iterated belief change strategy in [22] when all sensing actions are accurate. Furthermore, we prove that our framework can adequately handle belief introspection, mistaken beliefs, belief revision and belief update even with noisy sensing, as done in [22] with accurate sensing actions only.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper, we study the achievable ergodic sum-rate of multiuser multiple-input multiple-output downlink systems in Rician fading channels. We first derive a lower bound on the average signal-to-leakage-and-noise ratio by using the Mullen’s inequality, and then use it to analyze the effect of channel mean information on the achievable ergodic sum-rate. A novel statistical-eigenmode space-division multiple-access (SESDMA) downlink transmission scheme is then proposed. For this scheme, we derive an exact analytical closed-form expression for the achievable ergodic rate and present tractable tight upper and lower bounds. Based on our analysis, we gain valuable insights into the system parameters, such as the number of transmit antennas, the signal-to-noise ratio (SNR) and Rician K-factor on the system sum-rate. Results show that the sum-rate converges to a saturation value in the high SNR regime and tends to a lower limit for the low Rician K-factor case. In addition, we compare the achievable ergodic sum-rate between SE-SDMA and zeroforcing beamforming with perfect channel state information at the base station. Our results reveal that the rate gap tends to zero in the high Rician K-factor regime. Finally, numerical results are presented to validate our analysis.