Anodic dissolution of spongy titanium in ethanol solution for preparation of nano-sized TiO2 powder

Nano-sized TiO₂ powder was prepared by electrochemical dissolution of spongy titanium in an ethanol solution following direct hydrolysis of the electrolyte solution. Characterization of the electrochemical product revealed that Ti(OEt)₄ was formed by anodic dissolution of spongy titanium in ethanol solution. X-ray diffraction and transmission electron microscope were, respectively, used to investigate the structure of TiO₂. This study showed that nano-sized TiO₂ prepared by this method has a structural and thermal stability with a narrow size distribution of 5-10 nm. The optimum electrochemical operating conditions established were a temperature of 333-343 K, current density of 400 A m⁻² and faradaic efficiency of 86%. Experiments showed that this process might be recommended as a promising technique for synthesis of nano-sized powder.     

孔隙水压力与恒定时间对砂岩变形的实验研究

探讨三峡库水位在145-175 m之间涨落及蓄水时水压对岩（石）体的变形特性影响。以实验为基础,进行了不同轴向应力（1σ=55.54,34.18和12.82 MPa）条件下,周期孔隙水压力（Pmin=2 MPa,Pmax=6 MPa）与上、下限恒定时间（ΔT=120和240 s）作用下砂岩的变形特性实验。通过分析1ε-T与p-T关系曲线和p-1ε滞回曲线,可知：1ε-T砂岩曲线呈连续正弦波形演化,当孔隙水压力加载时,应变减小;上限恒定时,应变持续减小到谷值;卸载时,应变逐渐增大;下限恒定时,应变持续增大到峰值。砂岩p-1ε滞回曲线的2个阶段变化,一是微孔隙压密阶段,未形成明显的滞回曲线;二是孔隙水压力耦合阶段,形成了稳定的滞回曲线,表现形式由疏变密,并且稳定的滞回曲线呈逆时针演化。还对比了不同轴向应力和不同恒定时间条件下,每个p-1ε滞回曲线的四区段（加载段、卸载段、上限恒定段和下限恒定段）的Δε-n关系曲线。     

Near infrared light-induced disassembly of polymeric micelles based on methylene blue conjugated polyethylene glycol

Light-sensitive drug delivery systems are considered ideal for applications in the biomedical fields for their ability to release the payload in an on-demand spatiotemporal controlled manner through the manipulation of the light source. Among the broad radiation spectrum, near infrared (NIR) light is considered advantageous compared to UV and visible light, due to its inherently lower photodamage to normal tissues and deeper penetration to lesion areas. In this study, we report a successful synthesis of a polymer capable of undergoing partial degradation upon irradiation with NIR light by conjugating 10-N-carbamoyl linkage methylene blue (MB) moiety, a NIR photocleavable ligand, with polyethylene glycol (PEG). Through effective coupling of MB, a hydrophobic moiety, to the hydrophilic PEG molecule, an amphiphilic polymer was synthesized, as demonstrated by a lowered surface tension (55 mN/m at 0.1% wt/vol). Subsequently, photo-induced reversal of surface activity associated with self-assembled structure disruption, was displayed by surface tension measurements, size distribution analysis, and burst release profile of paclitaxel (PTX) from polymeric micelles upon the exposure to NIR irradiation.     

Micro cam system driven by electrostatic comb-drive actuators based on SOI-MEMS technology

Microsystem Technologies - This paper reports a design and fabrication process of a micro cam system (MCS) with a flat-faced translating follower. The cam rim with cover diameter of 2.4 mm...     

基于抽象和组合方法的网络协议验证

由于模型检测存在状态爆炸问题,多主体的网络协议组合模型检测往往难以进行。为了缓解该问题,分析了通信主体数量增加对状态数量的影响,提出了组合式的抽象验证方法。首先根据所需验证的LTL性质,建立各个通信主体的Kripke结构,再对该Kripke结构进行抽象;然后组合抽象模型;最后运用Spin对组合抽象模型进行检验。为验证该方法的有效性,对NSPK协议进行了检测,结果表明,该方法所需的状态空间向量长度、搜索深度、存贮和遍历的状态数都有明显减少,有利于缓解状态爆炸问题。     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

Tuning user profiles based on analyzing dynamic preference in document retrieval systems

Modeling users’ preferences and needs is one of the most important personalization tasks in information retrieval domain. In this paper a model for user profile tuning in document retrieval systems is considered. Methods for tuning the user profile based on analysis of user preferences dynamics are experimentally evaluated to check whether with growing history of user activity the created user profile can converge to his preferences. As the statistical analysis of series of simulations has shown, proposed methods of user profile actualization are effective in the sense that the distance between user preferences and his profile becomes smaller and smaller along with time.     

From big smartphone data to worldwide research: The Mobile Data Challenge

This paper presents an overview of the Mobile Data Challenge (MDC), a large-scale research initiative aimed at generating innovations around smartphone-based research, as well as community-based evaluation of mobile data analysis methodologies. First, we review the Lausanne Data Collection Campaign (LDCC), an initiative to collect unique longitudinal smartphone dataset for the MDC. Then, we introduce the Open and Dedicated Tracks of the MDC, describe the specific datasets used in each of them, discuss the key design and implementation aspects introduced in order to generate privacy-preserving and scientifically relevant mobile data resources for wider use by the research community, and summarize the main research trends found among the 100+ challenge submissions. We finalize by discussing the main lessons learned from the participation of several hundred researchers worldwide in the MDC Tracks.