蒸汽减压站自控系统的巧设计

蒸汽是石油化工装置中最重要的物料。随着石油化工工业的迅猛发展 ,蒸汽在其中扮演着越来越重要的多重角色。因此 ,对蒸汽系统的平稳控制 ,对石油化工生产装置平稳、高效地运行是至关重要的。传统的蒸汽减压站自控系统基建投资大 ,紧急情况下靠人工手动操作稳定蒸汽压力系统 ,往往造成生产的波动或大面积的停车。针对传统蒸汽减压站自控系统的弱点 ,提出蒸汽减压站自控系统的优化设计方案 ,该方案得以在大型生产装置成功应用。新方案不但节省了大量的基建投资 ,而且取得了良好的生产效益     

The five elements and chinese-american mortality.

D. P. Phillips, T. E. Ruth, and L. M. Wagner (1993) reported that 1969-1990 California mortality data show that Chinese Americans are particularly vulnerable to diseases that Chinese astrology and traditional Chinese medicine associate with their birth years. For example, because fire is associated with the heart, a Chinese person born in a fire year (such as 1937) is more likely to die of heart disease than is a Chinese person born in a nonfire year. However, many diseases were excluded from this study, some diseases that were included have ambiguous links to birth years, and the statistical tests were indirect. A more complete statistical analysis and independent California mortality data for the years 1960-1968 and 1991-2002 did not replicate the original results. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

反拍卖采购:一种新的采购模式

反拍卖采购技术以其新的理念和对信息技术的融合，能够使企业采购成本大幅度降低。通过对我国传统采购模式与反拍卖采购模式的对比分析，可以了解到反拍卖采购技术的应用前景。     

The traditional Yemeni window and natural lighting

The traditional Yemeni window is considered to be one of the most important elements that characterize the yemeni architecture. The beauty of the traditional Yemeni window comes from its four main components which combined the functions of view, lighting, ventilation, protection, and privacy. These functions can be controlled by the occupants according to their social and environmental needs. The four main components are the lower part (Taqah), the fanlight (Qamariyah), the wooden external overhang (Konnah), and the small vent (Shaquos). Since fanlights provide natural lighting during day-time, the area of the lower part can be reduced and its exterior shutters can be closed without the need for artificial lighting. The internal natural lighting that is provided by the upper and lower parts of the window was investigated to see its quality. In this investigation, there were two main goals. The first is the contribution and quality of the internal light provided by the Qamariyah when shutters are closed. The second is the effect of the internal simple white cloth curtains, in the lower part, in the internal light quality. Visual measurements were taken in a typical room of a traditional house of the Old City of Sana'a, Yemen. From the findings, it was found that the fanlights (Qamariyat) provide low and soft homogeneous internal lighting which was as low as 22 lux average. However, the occupants have the ability to increase level of lighting to as high as 600 or 700 lux. This can be done simply by deciding which shutter to open and how many of them to be opened. In this paper, the methodology and findings will be presented and discussed.     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.     

发掘传统职业道德教育资源加强高职院校职业道德教育

简述了中国传统职业道德教育思想;并就高职院校如何借鉴和发掘优秀传统职业道德教育资源,科学、合理、有效地运用优秀传统职业道德资源塑造当代新人进行了探讨。     

PROGRESS IN THE MODELLING OF AIR FLOW PATTERNS IN TIMBER KILNS

Progress in modelling air flow patterns in timber kilns using Computational Fluid Dynamics is reviewed in this work. These simulations are intended to predict the distribution of the flow in the fillet spaces between boards in a hydraulic model of a timber kiln. Here, the flow regime between the boards is transitional between laminar and turbulent flow, with Reynolds numbers of the order of 5000. Running the simulation as a transient calculation has shown few problems with convergence issues, reaching a mass residual of 0.2% of the total inflow after 40-100 iterations per time step for time steps of 0.01 s. Grid sensitivity studies have shown that non-uniform grids are necessary because of the sudden changes in flow cross section, and the flow simulations are insensitive to grid refinement for non-uniform grids with more than 300,000 cells. The best agreement between the experimentally-measured flow distributions between fillet spaces and those predicted by the simulation have been achieved for (effective) bulk viscosities between the laminar viscosity for water and ten times that value. This change in viscosity is not very large (less than an order of magnitude), given that effective turbulent viscosities are typically several orders of magnitude greater than laminar ones. This result is consistent with the transitional flows here.     

关于传统与现代设计理念的思考

中国传统的思维方式深深地影响了中国传统陶瓷艺术设计，中国传统陶瓷艺术设计的历史脉络清晰，深入到设计思维系统的深层，才有助于我们对当前的陶瓷设计作出有效的转化。现代陶瓷设计的观念是对传统陶瓷文化的延续和发展，深入挖掘传统思维方式的源头活水，才是发展中国现代陶瓷设计的关键。     

An efficient algorithm for mining frequent inter-transaction patterns

In this paper, we propose an efficient method for mining all frequent inter-transaction patterns. The method consists of two phases. First, we devise two data structures: a dat-list, which stores the item information used to find frequent inter-transaction patterns; and an ITP-tree, which stores the discovered frequent inter-transaction patterns. In the second phase, we apply an algorithm, called ITP-Miner (Inter-Transaction Patterns Miner), to mine all frequent inter-transaction patterns. By using the ITP-tree, the algorithm requires only one database scan and can localize joining, pruning, and support counting to a small number of dat-lists. The experiment results show that the ITP-Miner algorithm outperforms the FITI (First Intra Then Inter) algorithm by one order of magnitude.