CEO观点：在新兴市场中，微型蜂窝基站制造业者须保持弹性!

无线营运业者的目标，是提供充分的移动能力及无缝式的漫游，以为使用者确保能永久存取宽带连接功能。目前这个目标可透过移动电话网络达成．但其涵盖率于室内和偏远地区具有局限性，这也意味着并非所有使用者都能得到想要的无缝式涵盖率。     

A Quasi-Two-Dimensional Compact Drain–Current Model for Undoped Symmetric Double-Gate MOSFETs Including Short-Channel Effects

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.     

Formal verification of real-time systems with preemptive scheduling

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.

思南公馆David Laris概念餐厅

精选理由Dariel & Arfeuillere—A Lime 388 Company在上海宣布四个新的餐饮概念室内设计项目的完工:思南公馆David Laris概念餐厅。     

Symbolic unfolding of parametric stopwatch Petri nets

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.     

A game approach to the parametric control of real-time systems

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.     

Altivar系列变频器在罗茨风机上的应用

介绍了Altivar系列变频器的原理和优点以及在天铁活性石灰车间罗茨风相上应用的情况和效果。     

Electrical studies of semiconductor–dielectric interfaces

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.     

Logical time control of concurrent DES

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...     

Yucca,所谓风情

Yucca坐落于思南公馆26F。思南公馆是上海时尚新地标,红瓦赭窗的老法租界小洋房别墅里留下了外国传教士、政府官员、梅兰芳、柳亚子、薛笃弼、李烈钧等上海滩各界名流的足迹。Yucca是藏匿于其中的一家摩登墨西哥餐厅。说起墨西哥风格的餐厅,仿佛