秸杆材料用作草皮栽培基质的研究

本文介绍了秸杆毡的成型工艺 ,通过植物所需的水、肥料和空气三种因素对秸杆毡的化学和物理性能进行了研究 ,该材料可被用作草皮栽培基质     

Time dependent crystal-smectic transformation in perylene-containing polyimides

The crystalline conformations of perylene polyimides (PPIs), with alkyl spacers varying in length from C₃ to C₁₂ are discussed. Although modeling of single chains would suggest the possibility that those with odd number of CH₂ groups adopt a flat helical shape, X-ray diffraction suggests that the chains with odd and even spacers have the same conformation, due to the necessity to pack the perylene units. Upon annealing, the UV-vis absorption maximum red-shifts by about 10 nm, indicating enhanced π-stacking between the perylenes. Several changes in the spectra are seen with an increase in annealing time, at a given temperature. With an increase in annealing time, X-ray diffraction patterns show changes in the number of reflections, indicative of a crystal to mesogenic transition. The time required for this transition increases with a decrease in the spacer length, and annealing temperature, suggesting that the dynamics of this transition is very slow.     

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.     

Conifers and commemoration — the politics and protocol of planting

This study examines the symbolic role of trees, shrubs and flowers on 20th century battle grounds and military cemeteries. By focusing on the imagery of commemoration and on the power of horticultural symbols the paper explores the emergence of an iconography during wartime and its perpetuation in ritualized peacetime landscapes. The paper makes specific reference to the Western Front in France and Belgium, and to the consecrated ground of the Dardanelles peninsula — a commemorative terrain that is being altered by Turkish planting and memorial schemes that are bringing into sharp focus the problems of maintaining Christian burial grounds in perpetuity across the globe. The paper concludes by asking whether tree planting may have replaced memorial building in the rhetoric and culture of commemoration.