with the increasing pressure on non-function attributes (security, safety and reliability) requirements of an operation system, high–confidence operation system is becoming more important. Formal verification is the only known way to guarantee that a system is free of programming errors. We research on formal verification of operation system kernel in system code level and take theorem proving ...

In This paper, we focus on the need for compares the organic production, operation and management patterns between paddy rice production base of Zhongliangmeiyu Ltd (Meiyu for short) and organic vegetable production base of company A, and adopt the SWOT approach to analyze the strengths, weaknesses as well as external opportunities and threats of the two patterns. The conclusion can be briefed ...

Due to technology limitations as well as stringent operating conditions that are imposed, the design of fully integrated analog RF front-end circuits is aimed at the edge of the required performances. Such an approach implies that each dB of power or noise is of high importance, as it directly determines the range of operation of a system. Accordingly, a design trajectory that offers certain po...

DiffServ is the basis of contemporary QoS-enabled networks. Setting up DiffServ QoS requires extensive engineering effort in dimensioning and provisioning, especially for adjacent networks under different administrations linked in a “federated” hierarchy. The bandwidth broker is an entity that is responsible for the management of the resources and the QoS service operation in an automated way. ...

One hundred and ten patients presented with Crohn's disease confined to the terminal ileum, and indications for their surgical treatment are reviewed. Treatment was either by ileo-transverse side-to-side bypass (21 patients) or primary excision and end-to-end ileo-colic anastomosis (89 patients). In a long follow up (mean 13.8 years) the date and indications for the second major operative inter...

The next generation wireless networks (i.e. 5G and beyond), which would be extremely dynamic and complex due to the ultra-dense deployment of heterogeneous networks (HetNets), poses many critical challenges for network planning, operation, management and troubleshooting. At the same time, generation and consumption of wireless data are becoming increasingly distributed with ongoing paradigm shi...

Determinations of serum thyroxine concentrations were made before induction of anaesthesia, after 20 minutes and 40 minutes of anaesthesia before operation, during operation, and after the end of operation in 36 patients. After 40 minutes of anaesthesia with diethyl ether and halothane there were significantly increased endogenous serum thyroxine concentrations, but thiopentone, nitrous oxide a...

In this experimental trial , 133 patients with single long bone fracture requiring surgery, admitted in Shahid Mohammadi Hospital (Bandar Abbas/Iran) from June 2002 to April 2003, were randomly devided into two groups. In the first group (72 individuals), after the completion of the operation a single hemovac drain was inserted, while in the second group (61 patients) no drain was used. The two...