Formal analysis on an extended security model for database systems

In order to develop highly secure database systems to meet the requirements for class B2, the BLP （Bell-LaPudula） model is extended according to the features of database systems. A method for verifying security model for database systems is pro- posed. According to this method, an analysis by using Coq proof assistant to ensure the correctness and security of the extended model is introduced. Our formal security model has been verified secure. This work demonstrates that our verification method is effective and sufficient.     

大型水利枢纽砼运输浇筑系统的GPSS模型及仿真研究

本文应用系统仿真原理和GPSS(General Purpose Simulation System——通用仿真系统)仿真语言构造了大型水利枢纽混凝土工程的运输浇筑系统的GPSS模型，并通过计算机运行对该系统进行了仿真研究，得出了具有一定实用价值的结果，为大型水利枢纽的可行性研究、设计、施工提供了参考．     

内燃机缸内过程的一种多维数学模型

利用任意拉格朗日－欧拉法，求解具有缸头中心无气阀气口进排气模拟功能的内燃机缸内三维流动，喷雾和燃烧过程控制方程，为对比不同湍流模型对模拟结果的影响，除采用Ｋ－ε模型外，还首次引入传统代数应力模型对缸内流动进行模拟，计算结果表明；本文的多维模型，对内燃机燃烧过程的模拟结果是合理的，对进气过程的计算结果与实测结果基本吻合，对平顶活塞及带坑活塞缩过程的模拟结果，显示了两种湍流模型的差异。     

基于自适应遗传算法的拟态蜜罐演化策略

借鉴生物遗传进化现象,将遗传算法引入拟态蜜罐系统中,提出了基于自适应遗传算法的拟态蜜罐演化策略,详细讨论了拟态蜜罐系统演化中特征形式化编码、遗传算子设计、适应度函数、演化触发控制与终止条件等关键问题,设计实现了具有自适应遗传演化功能的拟态蜜罐原型系统并进行了原型测试,实验数据表明了基于自适应遗传算法的拟态蜜罐演化策略具有良好的自适应性和有效性.     

钻孔挤压分支桩的应用与试验研究

桩基工程设计，直接影响上部结构的安全及整个工程的造价。通过钻孔挤压分支桩在阜阳商厦三期工程中的应用及试验研究表明，在同一场地、单桩竖向极限承载力相同的条件下，用钻孔挤压分支桩代替钻孔灌注桩，单位体积混凝土的竖向极限承载力标准值可提高１．３１倍，桩基节约投资２７０万元。由此可见，在大柱网、大承载力柱桩基工程中，钻孔挤压分支桩更能充分发挥其优越性。     

带有捕获项的扩散逻辑方程的精确解

考虑一个带有捕获项的扩散逻辑方程的精确解.在1972年Ambrosetti和Prodi研究了类似问题的精确解,而不同的是在笔者的问题中f(u)不是渐近线性的,这里通过把f(u)渐近线性化及考虑另外一个特征值问题,从而得到了它的精确解.     

一类次线性椭圆方程组的正解

一类带有边值的次线性椭圆方程组,证得这样的次线性椭圆方程组存在正解.     

一种摆动式柔性尾部的仿生机器鱼

提出了一种摆动式柔性尾部的仿生机器鱼设计方案,着重解决了机器鱼摆动式推进的问题.在该方案中,应用曲柄摇杆原理,采用了特殊的四连杆摆动机构,结合柔性尾部实现了机器鱼的摆动式推进;巧妙应用了霍尔位置传感器,检测摆杆临界位置,实现了鱼尾位置判断,进而控制鱼尾来转向;研制了以气缸为压缩泵的气路沉浮机构作为"鱼鳔",能使机器鱼进行沉浮动作.实验显示这种机器鱼达到了预期的功能,在水下作业、军事侦察、娱乐等领域有一定的研究应用价值.     

一种叠层橡胶支座动态性能试验研究

通过对一种叠层橡胶支座进行伪静力试验,研究加载频率、剪切变形率、热老化对叠层橡胶支座的等效水平刚度、等效阻尼比等支座动态性能的影响。试验结果表明,加载频率、加载振幅对支座刚度和阻尼均有较明显的影响,在支座刚度计算中应当考虑这一因素。老化试验表明该叠层橡胶支座在建筑结构使用期内具有足够的耐久性,最后提出了该叠层橡胶支座的赐度计算建议公式。     

铜铁共催化烯烃串联加成/环化合成异喹啉二酮

发展了一种铜/铁协同催化的N-烯丙酰基苯甲酰胺串联加成/环化/偶联合成叔烷基化异喹啉二酮的反应.在廉价金属Cu/Fe协同催化作用下,烷基偶氮试剂介导N-丙烯酰基-N-烷基氯代苯甲酰胺发生串联加成/环化,区域选择性地切断C-Cl键而发生进一步交叉偶联,以41%~78%的产率合成了一系列远端双重α-官能团化叔烷基取代的异喹啉二酮骨架.该反应首次利用卤代苯甲酰胺去芳构化而形成的超共轭自由基为偶联体与偶氮试剂发生交叉偶联,选择性地在碳-卤键位置构建碳（叔）-碳键.此偶联策略将为深入拓展叔烷基-芳基交叉偶联提供新的思路.