一种密钥协商协议的自动化设计方法

通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法.该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估函数,并据此理论设计出一种满足安全目标的密钥协商协议,保证了最终生成协议为最优解.实验结果显示:由于在协议生成过程中,同时进行了该协议的安全验证,能很好地保证所涉及协议的正确性和安全性.表明该方法具有较强的可行性和适用性.     

超细辅助胶凝材料对透水混凝土性能的影响

透水混凝土被认为是海绵城市建设中管理雨水最佳的路面材料之一,强度和透水性是透水混凝土设计时考虑的两个重要参数,为了平衡透水混凝土强度与透水性能之间关系,本文通过力学和透水试验,研究了四种超细辅助胶凝材料(硅粉、矿粉、乳胶粉、粉煤灰)和四个掺量(5%、7%、9%、11%)对透水混凝土力学性能和透水性能的影响规律。结果表明：掺超细辅助胶凝材料均能提高透水混凝土的抗压、弯拉强度,当硅粉掺量为9%时,透水混凝土28天抗压强度超过35 MPa。透水混凝土的孔隙率和透水率随着超细辅助胶凝材料掺量的增加而降低,当孔隙率控制在18%~19%范围内,可实现透水率和强度的良好平衡。孔隙率与透水率之间呈现指数正相关,与抗压强度和弯拉强度呈现指数负相关,提出了基于孔隙率的透水混凝土力学性能和透水性能评估方程。建立了透水混凝土抗压强度与弯拉强度之间的非线性关系方程,实现了对透水混凝土弯拉强度的预测,通过预测值和实测结果对比验证了方程的可靠性。     

重组人受体蛋白FKBP12与新型神经生长促进剂形成非共价键复合物的电喷雾质谱研究

FKBP12,是免疫抑制剂FK506结合蛋白(FK506-Binding Proteins,FKBPs)家族的主要成员,因预计分子量为12×103u而得名.自1989年发现此蛋白以来,人们的研究主要集中于其介导的免疫抑制作用.1992年研究发现,FKBP在神经系统中的含量比在免疫系统中要高出50倍以上,其介导的FK506在体内外均可促进神经再生.这一发现使FKBP蛋白家族的研究再次成为热点,人们力求设计一类新型的FKBP结合药物,去除FK506的免疫抑制作用,作为神经再生促进剂而用于临床.大量研究结果表明能够与FKBP结合的小分子化合物确实具有良好的促神经再生的作用.GPI-1046是这种设计的1个代表化合物,在多种模型中都有神经营养作用.美国Guilford公司已对其类似物进行了专利保护.本文通过电喷雾质谱(ESI-MS)研究rhFKBP12和其小分子配体的非共价键相互作用,筛选能够与rhFKBP12非共价键结合的小分子化合物,与生物活性实验相结合,为新药研究提供依据.     

Bernstein-Durrmeyer算子的加权同时逼近等价定理

本文借助修正的Voronovskaja定理,用更一般的光滑模函数来刻划加权同时逼近阶,建立了加权同时逼近等价定理,统一了非最优逼近阶及饱和阶的特征刻划.     

论音乐教育在大学生素质教育中的地位和作用

音乐教育是德育教育的有机组成部分和重要辅助手段,在大学生素质教育中具有十分重要的地位和作用,音乐具有认识世界,实现人类自身进化,精神升华,塑造人类完美人格的审美特质,在大学开设音乐艺术课对提高大学生审美鉴赏力,开阔眼界,增广见闻,陶冶情操,培养良好心态和健全人格具有十分重要的意义和作用,在具体实施和落实音乐教育过程中,不仅要改变观念,加大投入力度,更要在教学的方法和手段上探索出一条新途径。     

面向移动VR的部分缓存内容共享方法

面向移动VR(Virtual Reality)业务的高数据量和低时延需求,为有效降低核心网的数据流量、减小设备的内容请求代价,文中建立了面向移动VR的部分缓存内容共享模型.建模了社交属性感知的内容共享代价最小化问题,将优化问题分解为功率优化与模式选择、设备关联两个子问题,并分别提出基于代价的功率优化和模式选择算法以及基...     

有机磷农药生物降解的研究进展

对有机磷农药降解菌的筛选、代谢方式、降解机理、有机磷生物修复的研究现状进行了介绍。     

基于高斯伪谱法的双摆桥起消摆策略分析

为了解决桥式起重机钢丝绳和负载的双摆问题,本文提出采用高斯伪谱法实现消摆。深入分析了影响吊具与负载摆动的控制因素,通过系统运动状态运用拉格朗日方程建立了双摆桥起动力学模型和最优控制模型,依靠相同运动曲线的输入验证了模型的有效性;将原最优控制问题转换为高斯伪谱形式,采用高斯伪谱法直接对建立的模型进行分析并在有限时间内获得最优解。仿真实验结果表明：采用高斯伪谱法能够有效实现消摆,控制结果与其他控制方法作比较,进一步证明了高斯伪谱法的优越性及有效性。     

论钢琴教学中的几个问题

钢琴教学所包含的内容是较复杂的,对经常碰到的几个基本问题,即在如何培养学生对声音、节奏、力度、指法和音乐形象的培养等方面作了论述.     

基于"新息"修正的舰船导航信息预处理研究

为了克服舰船导航中Kalman滤波器因野值引起的发散，从“新息”入手，利用“新息’’判断野值，通过指数加权的方法找到野值点的新“新息”代替原来的“新息”，达到剔除野值的目的，在舰船组合导航仿真中证明了这种方法是有效的。