pessimistic predicate/transform model for long running business processes

Many business processes in enterprise applications are both long running and transactional in nature. However, no current transaction model can provide full transaction support for such long running business processes. This paper proposes a new transaction model, the pessimistic predicate/transform (PP/T) model, which can provide full transaction support for long running business processes. A framework was proposed on the enterprise JavaBeans platform to implement the PP/T model. The framework enables application developers to focus on the business logic, with the underlying platform providing the required transactional semantics. The development and maintenance effort are therefore greatly reduced. Simulations show that the model has a sound concurrency management ability for long running business processes.

PCBs and OCPs in human milk and selected foods from Luqiao and Pingqiao in Zhejiang, China

This study was conducted to measure the levels of 23 PCB congeners and 6 organochlorine pesticides (OCPs) in human milk and three food types collected from Luqiao and Pingqiao in Zhejiang Province, China. An effort was also made to explore the potential health risk for the mothers and breast-fed infants living in these two localities. Luqiao was selected as the sampling site because it is the largest place for the disassembly of obsolete transformers and electrical waste in China. Pingqiao, located 100 kin NW of Luqiao, is not known to be a place for any electronic or electrical waste and hence was chosen as the control site. Both localities are important agricultural places in the province. The organochlorines were measured in the samples using the GC-PECD technique. Micro-EROD bioassay method was also used as a complement of the chemical analysis to estimate the TEQ levels of dioxin-like PCBs in human milk. The data showed that the human milk, rice, hen egg, and fish samples from Luqiao were more heavily contaminated with PCBs than those from Pingqiao, suggesting that the mothers and their breast-fed infants in Luqiao tended to receive greater exposure to PCBs than those living in Pingqiao. The OCP levels in the two localities were found comparable, suggesting that the major source of contamination with these pesticides was from their agricultural uses. Significant correlation (R-2 = 0.87, P < 0.001) of PCB TEQs was found between the bioassay and chemical analysis method, suggesting that micro-EROD is an effective method for comprehensive determination of TEQ levels in human milk. Comparison with literature data showed that the PCB levels in milk samples from Luqiao were significantly higher than those from localities in other Chinese provinces and comparable to those in developed or industrialized countries. (c) 2007 Published by Elsevier B.V.

Prenatal exposures to persistent organic pollutants as measured in cord blood and meconium from three localities of Zhejiang, China

Prenatal exposures to persistent organic pollutants were assessed using the levels of PCBs and organochlorine pesticides (OCPs) measured in cord blood and meconium samples from Luqiao and two other localities of the Zhejiang province in China. Luqiao is a town with the largest site for disassembly of PCB-containing obsolete transformers and electrical waste in China. The other two localities Pingqiao (100 km NW of Luqiao) and Lin'an (500 km NW of Luqiao) are towns without known electronic or electrical waste sites. A total of 23 PCB congeners (including 12 dioxin-like) and 6 OCPs were measured using the traditional GC-mu ECD technique. Micro-EROD bioassay was additionally used to measure TCDD-based TEQ levels of the 12 dioxin-like PCBs. Significant correlations were found between the TEQs measured by the two methods, supporting the application of micro-EROD as a practical toot for complementing the chemical analysis. The data showed that beta-HCH, p,p'-DDE, and 6 PCB congeners (101, 138 153, 180, 183, and 187) were the predominant pollutants, with PCB 138 being the best indicator (predictor) for total PCB levels. Cord blood and meconium from Luqiao have higher levels of PCBs than those from the other two localities, suggesting that a disassembly site for electronic and electric waste would provide an environment for greater exposure to these chemicals. The cord blood or meconium levels of beta-HCH, though likewise considerably high, were comparable in the three localities. Similar findings were observed for p,p'-DDE. Pollution by these OCPs might have come from past use of agricultural pesticides in the three localities. (c) 2007 Published by Elsevier B.V.

Biotransfer of persistent organic pollutants from a large site in China used for the disassembly of electronic and electrical waste

Samples of groundwater, river water, river sediment, paddy soil, rice seeds, hen eggs, fish, umbilical cord blood, and newborn meconium were collected from October 2002 to October 2003 near a large site in China used for the disassembly of obsolete transformers and other electronic or electrical waste. Six indicator PCB congeners, three non-ortho dioxin-like PCB congeners, and six organochlorine pesticides were determined in the samples by GC with electron capture detector. The results demonstrated that the local environment and edible foods had been seriously polluted by toxic PCBs and organochlorine pesticides. The actual daily intakes (ADIs) of these pollutants were estimated for local residents living in the area. The intake data showed that the contents of PCBs in these local residents were substantial, as the ADI estimates greatly exceed the reference doses set by the World Health Organization and the United States Agency for Toxic Substances and Disease Registry. The presence of the indicator PCB congeners in the cord blood and the meconium samples, as well as significant correlations (r(2) > 0.80, p < 0.05) between these levels, suggests a potential biotransfer of these indicators from mothers to their newborns. This preliminary study showed that obsolete transformers and other electronic or electrical waste can be an important source for the emission of persistent organic pollutants into the local environment, such as through leakage, evaporation, runoff, and leaching. Contamination from this source appears to have reached the level considered to be a serious threat to environmental and human health around the disassembly site.

Progress of Si-based nanocrystalline luminescent materials

Si-based nanomaterials are some new photoeletronic and informational materials developed rapidly in recent years, and they have potential applications in the light emitting devices, e. g. Si light emitting diode, Si laser and integrated Si-based photoelectronics. Among them are nano-scale porous silicon (ps), Si nanocrystalline embedded SiO2 (SiOx, x < 2.0) matrices, Si nanoquantum dot and Si/SiO2 superlattice, etc. At present, there are various indications that if these materials can achieve efficient and stable luminescence, which are photoluminescence (PL) and electroluminescence (EL), it is possible for them to lead to a new informational revolution in the early days of the 21st century. In this article, we will mainly review the progress of study on Si-based nanomaterials in the past ten years. The involved contents are the fabricated methods, structural characterizations and light emitting properties. Finally, we predicate the developed tendency of this field in the following ten years.

reducing symmetries to generate easier sat instances

Finding countermodels is an effective way of disproving false conjectures. In first-order predicate logic, model finding is an undecidable problem. But if a finite model exists, it can be found by exhaustive search. The finite model generation problem in the first-order logic can also be translated to the satisfiability problem in the propositional logic. But a direct translation may not be very efficient. This paper discusses how to take the symmetries into account so as to make the resulting problem easier. A static method for adding constraints is presented, which can be thought of as an approximation of the least number heuristic (LNH). Also described is a dynamic method, which asks a model searcher like SEM to generate a set of partial models, and then gives each partial model to a propositional prover. The two methods are analyzed, and compared with each other.

传值系统的互模拟与谓词等式系

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office

带复杂数据结构的模型检测工具

模型检测是近二十几年来最成功的自动验证技术之一,而模型检测工具的开发是将模型检测和实际相结合的关键.为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻辑公式的语义模型来实现模型检测工具的工作,特别是将复杂数据结构引入传值进程定义语言和带赋值符号迁移图.同时结合实际例子说明模型检测工具的有效性.

谓词μ演算和模态图的语义一致性

模态图是谓词μ演算的一种有效的图形表示形式。证明了谓词μ演算和模态图的语义一致性，详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系，并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法。

面向传值进程的谓词μ-演算与FO(HML)的完备推演系统

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office