排序方式: 共有17条查询结果,搜索用时 15 毫秒
1.
Ebrahim Bushehri 《电子与电脑》2009,(7):80-81
无线营运业者的目标,是提供充分的移动能力及无缝式的漫游,以为使用者确保能永久存取宽带连接功能。目前这个目标可透过移动电话网络达成.但其涵盖率于室内和偏远地区具有局限性,这也意味着并非所有使用者都能得到想要的无缝式涵盖率。 相似文献
2.
A drain-current model for undoped symmetric double-gate MOSFETs is proposed. Channel-length modulation and drain-induced barrier lowering are modeled by using an approximate solution of the 2D Poisson equation. The new model is valid and continuous in linear and saturation regimes, as well as in weak and strong inversions. Excellent agreement was found with Silvaco-ATLAS simulations. 相似文献
3.
In this paper, we propose a method for the verification of timed properties for real-time systems featuring a preemptive scheduling
policy: the system, modeled as a scheduling time Petri net, is first translated into a linear hybrid automaton to which it
is time-bisimilar. Timed properties can then be verified using HyTech. The efficiency of this approach leans on two major points: first, the translation features a minimization of the number
of variables (clocks) of the resulting automaton, which is a critical parameter for the efficiency of the ensuing verification.
Second, the translation is performed by an over-approximating algorithm, which is based on Difference Bound Matrix and therefore
efficient, that nonetheless produces a time-bisimilar automaton despite the over-approximation. The proposed modeling and
verification method are generic enough to account for many scheduling policies. In this paper, we specifically show how to
deal with Fixed Priority and Earliest Deadline First policies, with the possibility of using Round-Robin for tasks with the
same priority. We have implemented the method and give some experimental results illustrating its efficiency.
相似文献
Olivier (H. ) RouxEmail: |
4.
Derryck Menere 《中国建筑装饰装修》2011,(5):96-105
精选理由Dariel & Arfeuillere—A Lime 388 Company在上海宣布四个新的餐饮概念室内设计项目的完工:思南公馆David Laris概念餐厅。 相似文献
5.
Claude Jard Didier Lime Olivier H. Roux Louis-Marie Traonouez 《Formal Methods in System Design》2013,43(3):493-519
We address the problem of unfolding safe parametric stopwatch time Petri nets (PSwPNs), i.e., safe time Petri nets (TPNs) possibly extended with time parameters and stopwatches. We extend the notion of branching process to account for the dates of the occurrences of events and thus define a symbolic unfolding for PSwPNs. In the case of TPNs we also propose a method based on our so-called time branching processes to compute a finite complete prefix of the symbolic unfolding. The originality of our work relies on a precise handling of direct conflicts between events, and the analysis of their effects on the constraints between the firing dates of those events. 相似文献
6.
We consider parametric reachability control problems for real-time systems. We model the plant as an extension of parametric timed automata in which the timing constraints on these clocks can make use of parameters. This extension, which we call parametric game automata (PGAs), allows for partitioning the actions in the model between two antagonistic entities: the controller and the environment. The most general problem we study then consists in synthesising both a controller and values for the parameters such that some control location of the automaton is reachable. This problem is undecidable and we therefore provide a subclass of PGA called L/U game automata for which it is decidable. We then consider a backward fixed-point semi-algorithm for solving timed games with reachability objective allowing to compute the most permissive winning strategy. We argue the relevance of this approach and demonstrate its practical usability with a small case-study. 相似文献
7.
8.
M. Jamal Deen Benjamin Iñiguez Ognian Marinov François Lime 《Journal of Materials Science: Materials in Electronics》2006,17(9):663-683
In this paper, a review of the physical properties and characterization techniques of semiconductor–dielectric interfaces,
and also of the dielectrics is presented. A good interface between the semiconductor and the dielectric with low defect density
as well as a high-quality dielectric are critical for the performance characteristics of metal-oxide-semiconductor (MOS) transistors.
While this paper is focused on silicon–silicon dioxide systems, other interfaces with novel gate dielectrics are also discussed.
The main experimental techniques that are used to obtain the density of interface states and related parameters such as capture
cross sections are described, and their advantages and disadvantages are discussed. The adaptation of these techniques to
interfaces with novel dielectrics is also discussed. Finally, a discussion of some experimental techniques used to study the
physical properties of dielectrics is presented. 相似文献
9.
Discrete Event Dynamic Systems - The synthesis of controllers for reactive systems can be done by computing winning strategies in two-player games. Timed (game) Automata are an appropriate... 相似文献
10.
Yucca坐落于思南公馆26F。思南公馆是上海时尚新地标,红瓦赭窗的老法租界小洋房别墅里留下了外国传教士、政府官员、梅兰芳、柳亚子、薛笃弼、李烈钧等上海滩各界名流的足迹。Yucca是藏匿于其中的一家摩登墨西哥餐厅。说起墨西哥风格的餐厅,仿佛 相似文献