自动信任协商安全性的形式化分析与验证

为了对自动信任协商(ATN)的安全性进行形式化分析与验证,文中借鉴安全协议的形式化分析方法,提出一种用进程代数Applied π演算对ATN建模并验证其安全性的方法.该方法将ATN形式化为两个协商者进程的并发执行,其中一个协商者的进程就是对其拥有的证书及授权策略的静态建模;ATN的安全性被定义为Applied π演算的观察等价性,从而使该方法不仅能检查授权策略执行的安全性,而且能对协商者的隐私安全进行验证.借助安全协议的自动分析工具ProVerif,文中实现了对ATN安全性的自动分析.实验结果表明,用Applied π演算形式化及验证ATN的安全性是可行的,安全性验证可自动完成,并且效率较高.     

Sinorhizobium meliloti lsrB is involved in alfalfa root nodule development and nitrogen-fixing bacteroid differentiation

Rhizobia interact with host legumes to induce the formation of nitrogen-fixing nodules, which is very important in agriculture and ecology. The development of nitrogen-fixing nodules is stringently regulated by host plants and rhizobial symbionts. In our previous work, a new Sinorhizobium meliloti LysR regulator gene (lsrB) was identified to be essential for alfalfa nodulation. However, how this gene is involved in alfalfa nodulation was not yet understood. Here, we found that this gene was associated with prevention of premature nodule senescence and abortive bacteroid formation. Heterogeneous deficient alfalfa root nodules were induced by the in-frame deletion mutant of lsrB (lsrB1-2), which was similar to the plasmid-insertion mutant, lsrB1. Irregular senescence zones earlier appeared in these nodules where bacteroid differentiation was blocked at different stages from microscopy observations. Interestingly, oxidative bursts were observed in these nodules by DAB staining. The decreased expression of lipopolysaccharide core genes (lpsCDE) was correspondingly determined in these nodules. S. meliloti lipopolysaccharide is required for suppression of oxidative bursts or host cell defense. These findings demonstrate that the S. meliloti lsrB gene is involved in alfalfa root nodule development and bacteroid differentiation by suppressing oxidative bursts or defense responses in host cells.     

Optical detection of acetylcholine esterase based on CdTe quantum dots

In this study, we have constructed a simple, sensitive and rapid biosensor for detection of acetylcholine esterase (AChE) based on CdTe quantum dots (QDs). The detection limit of AChE by one-step enzyme reaction based on the thiolglycolic acid (TGA) stabilized QDs (TGA-QDs) was 10 U/L and the linear range was 10-100 and 100-1200 U/L, respectively. The detection limit of AChE by two-step enzyme reaction based on the 3-mercaptopropionic acid (MGA) stabilized QDs (MGA-QDs) was found to be 20 U/L and the linear range was 100-2500 U/L. The experimental conditions of biosensors were optimized, and the detection mechanism was studied. We also detected AChE in serum samples based on TGA-QDs or MGA-QDs. The linear range was 10-140 and 50-1000 U/L, respectively. The excellent performance of this novel biosensor demonstrated that this strategy has prodigious potential to be applied in practice detection of AChE.     

Observational evidences for the speed of the gravity based on the Earth tide

We have found that the current practical Newtonian formula for the gravity tide of the Earth implies a hypothesis that gravity travels at the speed of light; furthermore, we have derived and solved the propagation equation of gravity using the observation data of Earth tides from Shiquanhe and Wushi, after correction of phase lag due to the anelasticity of the Earth, and found that the speeds of gravity are from 0.93 to 1.05 times the speed of light with a relative error of about 5%. This provides first set of strong evidences to show that the speed of gravity is the same as the speed of light.     

High efficiency D-A structured luminogen with aggregation-induced emission and mechanochromic characteristics

A novel luminogen, CZ2TPAN, with typical D-A architecture was obtained. It shows intramolecular charge transfer and aggregation-induced emission characteristics with high solid-state efficiency of 65.3%. Moreover, it exhibits reversible mechanochromic behavior between crystalline and amorphous states with remarkable emission color change from green (504 nm) to yellow (545nm).     

螺旋藻藻蓝蛋白和藻多糖对人体外周血淋巴细胞功能的影响

从螺旋藻中提取藻蓝蛋白（ＳＰＣ）和多糖（ＳＰＳ）,研究其对人体外周血淋巴细胞功能的影响。实验结果表明,ＳＰＣ和ＳＰＳ能够促进ＰＨＡ刺激淋巴细胞转化的作用,其中ＳＰＳ的促进作用有剂量依存关系。ＳＰＣ和ＳＰＳ能恢复Ｔ细胞受环磷酰胺损伤后Ｅ玫瑰花环形成能力,特别是对活性Ｅ花环（Ｅａ）的形成能力有较好的恢复作用。     

广西科学院案例研究初报

中国地方综合科研机构的案例研究,是国家自然科学基金委员会下达的中国地方综合科研机构发展研究的子课题。广西科学院案例研究是为这一子课题研究提供的一个案例。本案例包括两方面:一是广西科学院案例研究报告;一是中国地方综合科研机构调查表广西科学院部分,两者相辅相成、全面完整地显示广西科学院全貌。     

数据清洗前的预处理方法

为提高数据清洗的质量,提出消除脏数据域、使用统一的缩写、数据的转换等预处理方法,基于这3种方法和链表存储复制记录算法,设计一个数据清洗的系统,与其他方法的效率与准确程度比较可知,该系统的数据准确程度要高于现有的数据清洗系统．     

基于高斯RBF神经网络的可伸缩机械臂系统动态建模与仿真

设计了一种新的多模块机器人机械臂系统,该机械臂的每个模块具有可伸缩杆和旋转节两部分.为了进行有效控制,给出了系统的解析公式和机械臂自适应控制的相关技术.使用高斯函数的RBF神经网络对系统的动态方程参数进行了估计,使用李亚普诺夫稳定性分析确定神经网络权重的自适应修正规则,并给出了相应的自适应控制器模型.对该机械臂系统的控制进行了计算机仿真分析,结果表明:该方法在响应时间和控制精度方面都有提高,并且在有负载等非线性事件突然干扰的情况下亦能进行有效控制.     

影响硫酸钡阻垢效果因素实验研究

为了研究硫酸钡阻垢效果的影响因素,实验中采用静态阻垢法对筛选出的ZX–101、TH–1 以及TH–607B 3
种钡（锶）阻垢剂,分别开展了温度、矿化度、Ba2+ 浓度以及SO2-4 浓度对硫酸钡阻垢效果影响实验。实验结果表明：3
种阻垢剂均表现出较好的阻垢性能,能够有效阻止硫酸钡结垢。随着温度与体系矿化度的升高,3 种阻垢剂的阻垢率
呈现出先增加后减小的规律,且阻垢率随阻垢剂浓度的增加而增加。当温度为65 ℃、SO2-4 浓度为0.55 g/L、矿化度
为73 g/L、阻垢剂浓度为0.10 g/L 时,溶液中的Ba2+ 浓度从0.64 g/L 增加到1.28 g/L 的过程中,3 种阻垢剂的阻垢率
逐渐降低,分别从96.55%、97.65%、98.04% 下降为82.80%、87.83%、84.49%。当Ba2+ 浓度为0.8 g/L、阻垢剂浓度为
0.08 g/L、溶液中SO2-4 浓度从0.10 g/L 增加到0.60 g/L 时,3 种阻垢剂的阻垢率分别从90.64%、96.49%、93.57% 增加到
99.79%、99.28%、99.79%,随后开始下降,最终下降为93.72%、91.09%、80.06%。