L~∞（0，1）上一个WeakL~P（0，1）有关的格半范数

本文引进一个定义在Ｌ~∞（０，１）上格半范数ρｐ与一个熟知的格半范数ρ０关系，证明了在Ｌ~∞（０，１）中的序区间上，ρ０－拓扑与ρｐ－拓扑等价，从而证明了（Ｌ~∞（０，１），ρｐ）′的闭单位球是（Ｌ~∞（０，１），ρｐ）′的某个子集的弱－闭包，本文还证明了（Ｌ~∞（０，１），ρｐ）′可看作ＷｅａｋＬｐ（０，１）对偶空间的奇异部一个理想，而且这奇异部可由（Ｌ~∞（０，１），ρｐ）′与一算子族生成．（ｆ）ａｌｌ（ｌ．＼ｎ，ｏｏ（ｊ．）＝ｈｉｌｌｓｉｌｌ）ｔ￣．，ｉｆｆ￣＊（ｔ）ｒｅｓｐｅｃｔｉｖｅｌｙａｌｌ＇ｌ，Ｌ（ｑ，１）ｉｓｔｈｅｐｒｅｄｌｓｌａｌｏｆｔｙｒｅａｋＬＩ＇，ａｌｌｌｌｈ，ｒｌｌｏｌｌ－－ａｔ（，ｌｌｌｉ（＇ｌｌｌｅａｓｌｌｒｅａｌｇａ（ｌ￣ｓ，ａｒｅｐｒｅｓｅｌｌｔａ＇ｔｉｏｌｌｔｌｌｅｏｒｅｎｌｆｆ，ｒｅｌｅｌｌｌｅｌｌｔｓｉｌｌＳａｃ，ａｌｌ（ｌＳ，，．ｉｓｏｆ）ｔａｉｌｌｅ（ｌ．Ｈｏｗｅｖｅｒ，ｉｌｌ［２］，ｉｔｉｓｓｌｌｄｗｎｔｈａｔｔｉｌｅｒｅｐｒｅｓｅｌｌｔａｔｉｏｌｌｔｉｌｅｓｆ）ｒｅｌｌｌｏｆ）ｔａｉｌｌｅ（ｌｉｌｌ［．５］ｉｓｉｌｌ（ｔｏｒｒｅ（？ｔ．Ｉｎｔｈｉｓｎｏｔｅ，ｗｅｄｅ     

Analysis of run-in process for PC manufacturing

This paper gives a review of the methodology used to tune the run-in process of a PC manufacturing line. It shows in some detail the analysis carried-out on the test data gathered on the manufacturing line and presents a clear picture of the run-in process in order to choose the best compromise between process efficiency and costs.     

An anti-plane crack perpendicular to the weak/micro-discontinuous interface in a bi-FGM structure with exponential and linear non-homogeneities

Treated was an anti-plane crack perpendicular to the interface of an exponential-type FGM strip bonded to another linear-type FGM substrate with infinite thickness. Through Fourier integral transform, the problem was reduced as a Cauchy singular integral equation, which was further solved numerically by the Lobatto–Chebyshev collocation method. Based on the numerical solution, the effects of the geometrical and physical parameters on the stress intensity factor (SIF) were analyzed and the following conclusions were obtained: (a) A notable discrepancy between the interface-perpendicular crack and the interfacial one is that, to reduce the weak-discontinuity of interface or to make the interface micro-discontinuous will not necessarily decrease the SIF of the former, but will surely decrease that of the latter. (b) When a crack tip is situated very near to the interface (or free surface), its SIF will be high and totally dominated by the interface (or free surface). (c) To increase the stiffness of the FGM on one side of the interface is beneficial to preventing the crack on the other side from growing toward the interface. Besides, some practical suggestions were further given for material design in the field of composites.     

外磁场激励下管道弱磁应力内检测特性研究

弱磁应力检测技术支持非接触在线应力损伤检测,在长输油气管道应力内检测技术领域具有巨大的应用潜力。但弱磁信号微弱,易受外界环境干扰,检测结果易出现偏差。为加强弱磁信号的检测能力,基于铁磁材料的微观特性,建立了外磁场弱磁应力检测模型,获得了弱磁信号强度随外磁场强度与施加应力的变化规律,描述了外磁场对弱磁应力检测信号的激励特性,并进行了系统的实验研究。结果表明,弱磁信号的切向峰值与法向零点均位于应力集中区的中心位置,且不随应力与外磁场的变化而发生波动;弱磁信号切向峰值与法向峰峰值随外磁场与应力的增加而增大;外磁场对弱磁应力检测信号的激励作用随外磁场的增加先增大后减小。     

A general transformation from KP-ABE to searchable encryption

Users are inclined to share sensitive data in a remote server if no strong security mechanism is in place. Searchable encryption satisfies the need of users to execute a search encrypted data. Previous searchable encryption methods such as “public key encryption with keyword search (PEKS)” restricted the data access to certain users, because only the assigned users were able to search the encrypted data. In this paper we will discuss the relation between Attribute Based Encryption (ABE) and searchable encryption and define a weak anonymity of the ABE scheme, named “attribute privacy”. With this weak anonymity, we propose a general transformation from ABE to Attribute Based Encryption with Keyword Search (ABEKS) and a concrete attribute private key-policy ABE (KP-ABE) scheme. We present an ABEKS scheme based on this KP-ABE scheme and permit multi-users to execute a flexible search on the remote encrypted data.     

涵洞工程软弱地基处理中松木桩的应用

介绍赤天化纸业公司涵洞工程软弱地基的处理,针对软弱地基的不同构成需采取不同的处理方法,结合工程实践,对特殊环境下采用松木桩处理软弱地基的问题作了一些探讨。     

渤海油田弱凝胶与泡沫复合调驱体系优化

采用流变、常规量筒法、扫描电镜及显微镜,研究了优选出的3种弱凝胶与SD发泡剂的复配体系的起泡性能、黏度、稳定性以及微观结构。结果表明,起泡剂与弱凝胶复配之后,体系的各项性能得到明显改善。复配体系半衰期增大,泡沫黏度增大,稳定性增强,明显优于单一体系。在弱凝胶与泡沫复合调驱体系中,凝胶易在气泡表面形成吸附膜,将泡沫包裹在内部,增强了气液界面的黏度,使得泡沫不容易发生聚并破裂,从而增强了泡沫的稳定性以及黏度,使得其半衰期也增大。     

Emerging From the Cocoon? Revisiting the Tele‐Cocooning Hypothesis in the Smartphone Era

The tele‐cocooning hypothesis posits that mobile communication increases interaction with communication rich ties, while simultaneously weakening interaction with communication weak ties. In this study, we demonstrate how smartphones can be used to mitigate tele‐cocooning behavior by stimulating interaction with communication weak ties. Using a smartphone application to collect non‐identifying mobile communication log data, we conducted a field experiment with 193 Japanese participants. The treatment consisted of onscreen reminders designed to stimulate interaction with communication weak ties. The results indicate that the treatment promoted the activation of communication weak ties and the acquisition of information through those ties, suggesting that smartphones can be utilized to promote access to social capital.     

基于策略的高校自调节无线网络安全模型研究

本文先简要阐述无线网络的定义、安全隐患及一般安全技术。为了确保无线网络的安全,详细介绍了无线网络的802．11系列安全机制,并介绍了增强的安全机制802．1X。在对数据传输的研究中,对WEP加密解密算法进行深入研究,并在对RC4算法的分析中,发现弱密钥的安全隐患,同时提出了改进策略。     

Ready to preorder: The case of weak process semantics

Recently, Aceto, Fokkink and Ingólfsdóttir proposed an algorithm to turn any sound and ground-complete axiomatisation of any preorder listed in the linear time-branching time spectrum at least as coarse as the ready simulation preorder, into a sound and ground-complete axiomatisation of the corresponding equivalence—its kernel. Moreover, if the former axiomatisation is ω-complete, so is the latter. Subsequently, de Frutos Escrig, Gregorio Rodríguez and Palomino generalised this result, so that the algorithm is applicable to any preorder at least as coarse as the ready simulation preorder, provided it is initials preserving. The current paper shows that the same algorithm applies equally well to weak semantics: the proviso of initials preserving can be replaced by other conditions, such as weak initials preserving and satisfying the second τ-law. This makes it applicable to all 87 preorders surveyed in “the linear time-branching time spectrum II” that are at least as coarse as the ready simulation preorder. We also extend the scope of the algorithm to infinite processes, by adding recursion constants. As an application of both extensions, we provide a ground-complete axiomatisation of the CSP failures equivalence for BCCS processes with divergence.