论嵌套制——一种安全生产管理的新方法

笔者所论述的嵌套制 ,是继现有 5种工厂管理运行机制之后的第 6种机制。通过阐述嵌套制的特征、原理、实例、理论与现有的 5种机制的区别 ,证明它是一种有效的工厂安全生产管理机制。推行嵌套制 ,对于追求更切合危险源点的潜在性与复杂性的控制方案 ,对于解决职业健康安全管理体系的路径与工厂其他各种管理途径接轨的问题 ,对于提升职业健康安全管理体系的实用性 ,对于催生具有实质效果的各级、各层次安全监督管理机制 ,对于促进安全生产管理理论的发展 ,都具有重要的作用。

Nested Transaction Concurrency Control in Parallel Real-Time Dat-abases

An integrated method for concurrency control in parallel real-time databases has been proposed in this paper. The nested transaction model has been investigated to offer more atomic execution units and finer grained control within in a transaction. Based on the classical nested locking protocol and the speculative concurrency control approach, a two-shadow adaptive concurrency control protocol, which combines the Sacrifice based Optimistic Concurrency Control (OPT-Sacrifice) and High Priority two-phase locking (HP2PL) algorithms together to support both optimistic and pessimistic shadow of each sub-transaction, has been proposed to increase the likelihood of successful timely commitment and to avoid unnecessary replication overload.

Reachability analysis of web service compositions via NWA

In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.

Insulin-like growth factor-1, IGF binding protein-3, and the risk of esophageal cancer in a nested case-control study

To assess the relationship between serum levels of insulin-like growth factor-1 (IGF1)/IGF-binding protein-3 (IGFBP3) and the risk of esophageal carcinoma.METHODSWe assessed the relationship between the serum levels of these molecules and the risk of esophageal cancer in a prospective, nested case-control study of participants from the Japan Collaborative Cohort Study. A baseline survey was conducted from 1988 to 1990. Of the 110585 enrolled participants, 35% donated blood samples. Those who had been diagnosed with esophageal cancer were considered cases for nested case-control studies. A conditional logistic model was used to estimate odds ratios for the incidence of esophageal cancer associated with serum IGF1 and IGFBP3 levels.RESULTSThirty-one cases and 86 controls were eligible for the present assessment. The molar ratio of IGF1/IGFBP3, which represents the free and active form of IGF1, was not correlated with the risk of esophageal carcinoma. A higher molar difference between IGFBP3 and IGF1, which estimates the free form of IGFBP3, was associated with a decreased risk of esophageal carcinoma (P = 0.0146), and people in the highest tertile had the lowest risk (OR = 0.107, 95%CI: 0.017-0.669). After adjustment for body mass index, tobacco use, and alcohol intake, the molar difference of IGFBP3-IGF1 was inversely correlated with the risk of esophageal carcinoma (P = 0.0150).CONCLUSIONThe free form of IGFBP3, which is estimated by this molar difference, may be inversely associated with esophageal cancer incidence.

Genetic Algorithms to the Nesting Problem in the Leather Manufacturing Industry

The nesting problem in the leather manufacturing is the problem of placing a set of irregularly shaped pieces (called stencils) on a set of irregularly shaped surfaces (called leathers sheets). This paper presents a novel and promising processing approach. After the profile of leather sheets and stencils is obtained with digitizer, the discretization makes the processing independent of the specific geometrical information. The constraints of profile are regarded thoroughly. A heuristic bottom-left placement strategy is employed to sequentially locate stencils on sheets. The optimal placement sequence and rotation are deterimined by genetic algorithms (GA). A natural concise encoding method is developed to satisfy all the possible requirements of the leather nesting problem. The experimental results show that the proposed algorithm can not only be applied to the normal two-dimensional nesting problem, but also especially suitable for the placement of multiple two-dimensional irregular stencils on multiple two-dimensional irregular sheets.

Precise Control of Highly Ordered Arrays of Nested Semiconductor/Metal Nanotubes

Lithographically defined microporous templates in conjunction with the atomic layer deposition （ALD） technique enable remarkable control of complex novel nested nanotube structures. So far three-dimensional control of physical process parameters has not been fully realized with high precision resolution, and requires optimization in order to achieve a wider range of potential applications. Furthermore, the combination of composite insulating oxide layers alternating with semiconducting layers and metals can provide various types of novel applications and eventually provide unique and advanced levels of multifunctional nanoscale devices. Semiconducting TiO2 nanotubes have potential applications in photovoltaic devices. The combination of nanostructured semiconducting materials with nested metal nanotubes has the potential to produce novel multi functional vertically-ordered three-dimensional nanodevices. Platinum growth by ALD has been explored, covering the initial stages of the thin film nucleation process and the synthesis of high aspect ratio nanotube structures. The penetration depth of the Pt into porous templates having various pore sizes and aspect ratios has been investigated. Several multi-walled nested TiO2-Pt nanotubes in series have been successfully fabricated using microporous Si templates. These innovative nested nanostructures have the potential to produce novel multifunctional vertically-ordered three-dimensional nanodevices in photovoltaic and sensing technologies.