一种基于Spark的不确定数据集频繁模式挖掘算法

如何在海量不确定数据集中提高频繁模式挖掘性能是目前研究的热点.传统算法大多是以期望、概率或者权重等单一指标为数据项集支持度，在大数据背景下，同时考虑概率和权重支持度的算法难以兼顾其执行效率.为此，本文提出一种基于Spark的不确定数据集频繁模式挖掘算法（UWEFP），首先，为了同时兼顾数据项的概率和权重，计算一项集的最大概率权重值并进行剪枝；然后，为了减少对数据集的多次扫描，结合Spark框架的优点，设计了一种具有FP-tree特征的新颖的UWEFP-tree结构进行模式树的构建及挖掘；最后在Spark环境下，以UCI数据集进行实验验证.实验结果表明本文的方法在保证挖掘结果的同时，提高了效率.     

A Relational Model of Workplace Victimization: Social Roles and Patterns of Victimization in Dyadic Relationships.

This article proposes a model of the ways in which dyadic interactions between employees who occupy 1 of 4 archetypal social roles in organizations can lead to either episodic or institutionalized patterns of victimization. The model shows how the occurrence of victimization involving these 4 role types is influenced by organizational variables such as power differences, culture, and access to social capital. The model integrates behavioral and social structural antecedents of victimization to develop a relational perspective on the dynamics of harmful behavior in the workplace. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

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

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

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.     

再生骨料绿化混凝土的研究

本文主要介绍了绿化混凝土的概念、分类,绿化混凝土构筑适合于植物生长环境的措施。通过对再生骨料绿化混凝土的原材料和配合比试验以及物理力学性能及耐久性能试验,为进一步的工程应用提供了可靠的依据。     

浅谈城市道路立交的概念性方案设计

通过南昌市某快速路的设计实例，认识到搞好快速路沿线各交叉口的方案设计是快速路规划设计的关键内容。道路交叉口设计应注重交通功能分析，满足路口交通需求，同时也不能忽视立交的景观要求。     

加速水保草业建设 提高生态经济效益

水保种草有山地治理、改土开发、松林改造、封禁培育四种类型，是水土保持主要植物措施之一，见效快，效果好，效益显著。要提高认识，建立基地。做好草的转化利用．