一种基于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)     

LW-601喷水织机长丝织物松紧档疵点的成因及对策

松紧档疵点是喷水织机长丝织物织造过程中常见病疵之一。通过分析LW -60 1喷水织机的送经和卷取装置的工作原理 ,从机械调整与维护、生产过程管理及工艺优化等方面探讨了其产生的原因 ,并针对性提出了实用对策     

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.     

云纹图象计算机处理技术的进展及其应用

本文对１９８７年至今国内外光测力学条纹图，主要是云纹图象的计算机采集，处理和力学量提取技术的进展进行了回顾，包括利用通用图象处理程序，直接利用灰度，用付利叶变换对条纹图进行分析，引入相移技术提高灵敏度，利用采色编码提取力学量。以及建立在云纹图特点基础上的新的图象处理技术等；分析了它们各自的优缺点，适用范围和存在的问题，讨论了它们在科究和工程测试中的应用前景。     

测井现场绘图软件的面向对象设计与实现

在面向对象的软件设计中,多态性是一种非常重要的概念,文章论述用封装、继承和多态性来实现测井绘图软件的设计和开发,实现不同测井图像连续绘制。测井绘图软件能够对不同的测井图像实现动态兼容,提高了软件系统整体的扩展性。