基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

Effect of additive length and chemistry on the morphology of blends of conjugated thiophenes and fullerene derivative acceptor molecules

Small molecule additives have been shown to increase the device efficiency of conjugated polymer (donor) and fullerene derivative (acceptor) based organic solar cells by modifying the morphology of the device active layer. In this paper we conduct a systematic study of how additives affect the donor‐acceptor morphology using molecular dynamics simulations of blends of thiophene‐based oligomers, mimicking poly(3‐dodecylthiophene) (P3DDT) or poly(2,2′:5′,2”‐3,3”‐didocyl‐terthiophene) (PTTT), and fullerene derivatives with additives of varying length and chemical functionalization, mimicking experimentally used additives like methyl ester additives, diiodooctane, and alkanedithiols. We find that functionalization of additives with end groups that are attracted to acceptor molecules are necessary to induce increased donor‐acceptor macrophase separation. In blends where acceptors intercalate between oligomer alkyl side chains, functionalized additives decrease acceptor intercalation. Functionalized additives with shorter alkyl segments increase acceptor macrophase separation more than additives with same chemical functionalization but longer alkyl segments. © 2015 Wiley Periodicals, Inc. J. Polym. Sci., Part B: Polym. Phys. 2015 , 53, 1046–1057     

新宁县可持续发展能力评价

为了评价新宁县可持续发展能力,根据县情建立了由经济发展、资源利用、生态建设与环境保护4个子系统组成的可持续发展能力评价指标体系,并采用全排列多边形综合图示法评价了2007–2014年的可持续发展现状以及2020的可持续发展水平。研究结果表明:2007–2012年,新宁县可持续发展综合指数均低于0.250,处于Ⅳ级较差水平;2013–2014年处于Ⅲ级一般水平;2020年达到0.945,进入Ⅰ级水平,可持续发展能力优良;当前新宁县可持续发展能力距离规划目标仍有很大差距。     

The Cauchy problem for a spin-liquid model in three space dimensions

In this paper, we study the Cauchy problem for magnetic fluid of spin-liquid type with Mermin-Ho relation in the three-dimensional space and prove global existence and uniqueness of solutions. The proof is based on the equivalence relation between smooth solutions of the spin-liquid model and the systems of Schrödinger equations with Abelian gauge field. The Sobolev spaces with fractional derivatives are also used in our estimates.     

Measured and Predicted Solubility Phase Diagrams of Quaternary Systems LiBr-NaBr-MgBr2-H2O and LiBr-KBr-MgBr2-H2O at 298.15 K

The stable phase equilibria of quaternary systems LiBr-NaBr-MgBr₂-H₂O and LiBr-KBr-MgBr₂-H₂O at 298.15 K were studied by both experimental measurement(isothermal solution saturation method) and theoretical prediction(Pitzer model). The solubilities of the saturated solution have been determined experimentally and two stable phase diagrams and relevant water diagrams of the two quaternary systems were obtained. Results show that quaternary system LiBr-NaBr-MgBr₂-H₂O is hydrate II type as NaBr and NaBr·2H₂O coexistence. Its phase diagram consists of only one invariant point, four univariant curves, and five crystallization fields. The quaternary system LiBr-KBr-MgBr₂-H₂O is a complex type as the double salt KBr·MgBr₂·6H₂O formed. In addition to this double salt, the three single salts LiBr·2H₂O, KBr and MgBr₂·6H₂O also crystallize. In this paper, the solubilities of phase equilibria in above quaternary systems were also calculated by the Pitzer's electrolyte solution model. All the needed parameters can be obtained from the literature or be fitted by experimental data. On the Basis of the experimental and calculated results, the phase diagram of the quaternary system was plotted for comparison. It shows that the calculation results are consistent with the experimental ones.     

Comparative absorption kinetics of seven active ingredients of Eucommia ulmoides extracts by intestinal in situ circulatory perfusion in normal and spontaneous hypertensive rats

Eucommia ulmoides Oliv. (E. ulmoides) is a valuable and nourishing medicinal herb in China that has been used in the treatment of hypertension. Given the fact that most traditional Chinese medicine is mainly used to treat disease, investigating the pharmacokinetics of traditional Chinese medicines in the pathological state is more useful than that in the normal state. However, the differences in the absorption kinetics of active ingredients of E. ulmoides extract between pathological and physiological conditions have not been reported. Therefore, in this study, the rat intestinal in situ circulatory perfusion model was used to investigate the differences in absorption kinetics of seven active ingredients of E. ulmoides extract in normal and spontaneously hypertensive rats, namely, genipinic acid, protocatechuic acid, neochlorogenic acid, chlorogenic acid, cryptochlorogenic acid, (+)-pinoresinol di-O-β-D -glucopyranoside and (+)-pinoresinol 4′-O-β-D -glucopyranoside. Our results indicate that the pathological state of spontaneous hypertension may change the absorption of active components of E. ulmoides extracts, and these findings may provide a reference for improving the rational use of E. ulmoides in the clinic.     

国家层面创新能力的评价

 综述了创新、创新监测与评价的研究进展，辨析了国家创新能力、创新型国家和科技强国的内涵特征，分析了中国创新能力在世界上的相对位置，探讨了建设科技强国的经验及启示。     

基于交通信号灯信息的混合动力汽车节能预测控制方法

针对传统混合动力汽车控制方法不考虑已知道路交通信号灯信息对车辆能量管理影响的问题,提出了基于交通信号灯信息的混合动力汽车节能预测控制智能优化策略。通过建立混合动力汽车系统的简化模型,并采用连续广义最小残量方法求解模型预测控制问题。运用MATLAB/Simulink进行仿真,仿真结果验证了交通信号灯信息模型的有效性,以及所设计的模型预测控制算法大幅度提高混合动力汽车的燃油经济性的能力和实时控制性能。研究结果表明所提出的控制策略可以实现车辆行驶轨迹的优化控制,显著提高了车辆的燃油经济性,并满足系统的实时最优控制要求。     

Negative compressibility property in hinging open-cell Kelvin structure

A new three-dimensional(3 D) cellular model based on hinging open-cell Kelvin structure is proposed for its negative compressibility property. It is shown that this model has adjustable compressibility and does exhibit negative compressibility for some certain conformations. And further study shows that the images of compressibility are symmetrical about the certain lines, which indicates that the mechanical properties of the model in the three axial directions are interchangeable and the model itself has a certain geometric symmetry. A comparison of the Kelvin model with its anisotropic form with the dodecahedron model shows that the Kelvin model has stronger negative compressibility property in all three directions.Therefore, a new and potential method to improve negative compressibility property can be derived by selecting the system type with lower symmetry and increasing the number of geometric parameters.