ATSP:时态网络可视化的自适应时间片划分方法

现有的时态网络可视化方法大多采用等量时间片来可视化网络的演变，不利于时态模式的快速挖掘和发现。为此，根据时态网络固有的特征提出自适应时间片划分方法（Adaptive Time Slice Partition method，ATSP）。在时态网络的两种表示方式（基于事件的表示方式和基于快照的表示方式）的基础上，构建了ATSP的基础模型，同时提出了一种改进模型用来描述事件间隔时间服从长尾分布的时态网络。为了实现时间片的不等量划分，针对探索任务的不同提出了基于时态模式的ATSP规则和基于中心节点的ATSP规则，并提出了实现算法--层次划分算法（Hierarchical Partition algorithm，HP）和增量划分算法（Incremental Partition algorithm，IP）。实验结果表明，ATSP方法比传统的时间片划分方法更能准确地表示网络的时态特征，且该方法应用于可视化时，能有效归纳并展示网络的特征，明显提高了视觉分析的效率。     

User activities and the heterogeneity of urban space:The case of Dahiyat Al Hussein park

Urban researchers have maintained a constant interest in the complexity and continuity of urban space usage. Some have applied actor–network theory (ANT) to investigate the heterogeneity of spaces and present them through the networks of their users’ activities. However, these accounts are predominantly limited in examining the extent to which these spaces may be heterogeneous when exploring such networks. This paper draws on recent ANT scholarship, which employs an ethnographic research conducted in a main park in a housing project at Dahiyat Al Hussein in Amman, Jordan. The findings describe the complex and unpredictable negotiations that occur within spaces by documenting the varieties and interrelations among user activity networks within this common and shared urban space. This research reveals the extent to which spaces, parks in this case, may be heterogeneous by unpacking their usage. The conclusions and insights assert the necessity of paying attention to design detail and creating designs that are responsive to evolving user activities.     

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

Interfacial Dipoles and Radiated Energy

Electric dipoles radiate an electromagnetic field into their surroundings. The electric and magnetic fields from a point source or from linear dipoles have components parallel to a spherical surface but also a radial component. In most investigations on radiated fields, only the part of the electric field that is parallel to a spherical surface is taken into account. The argument is that only that component contributes to the radiated energy. Here we show that the phase front in the lower half space is not a spherical surface and hence, the radial components contribute to radiated energy. We show differences in radiation patterns for point electric dipoles and linear dipoles, either modeled as perfectly conducting wires or as resistively loaded wires. Our primary interest lies with improving image resolution through processing of Ground-Penetrating Radar data. Here the emphasis lies with understanding the radiation characteristics of linear dipoles that can be incorporated with image processing algorithms. The model uses a thin-wire approximation for the transmitter antenna. The solution to the discrete system of equations is solved, incorporating interaction between the interface, using a CGFFT scheme including symmetrization and a newly developed preconditioning operator. We look at the electric and magnetic fields as well as the time-averaged Poynting vector radiation patterns in the E-plane and H-plane of the transmitting antenna. The results show that the radial component of the radiated electric and magnetic field is not negligible, even at distances more than seven wavelengths away from the antennas.     

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.     

三体磨料塑变磨损中磨粒运动方式的研究

对三体磨料磨损中磨粒的运动方式做了进一步的理论分析，基于三体磨料磨损中塑变疲劳磨损起主要作用，为突出塑变疲劳磨损的作用，选择圆形磨料进行研究，分析了圆整磨料在三体磨料磨损界面中滚动、滑动的判定，提出了相对滑动界面的判定。