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)     

利用废旧塑料生产阻燃建筑装饰材料探讨

本文介绍了一种综合利用废旧热塑性塑料和锯末粉通过加入阻燃剂改性 ,生产防火阻燃型建筑装饰材料的方法。所生产的产品 ,其阻燃性能均达到国家标准 (GB5464 - 85)中规定的不燃性材料的要求。     

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.