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.     

Nafion修饰碳纤维微电极测定去甲肾上腺素的研究

本文研究了去甲肾上腺素在Nafion膜修饰碳纤维微电极上的电分析化学行为,找出了用碳纤维微电极1.5次微分伏安法测定去甲肾腺素的最佳实验条件。发现在选定的实验条件下,去甲肾上腺素的浓度在1.0×10~(-6)～5.0×l0~(-8)mol/L范围内和1.5次微分伏安法的氧化峰电流成正比,并依次建立了测定去甲肾上腺素的新方法。     

基于残差网络的海洋温跃层分析方法

首先, 以世界海洋地图集2013（WOA13）海洋数据为实验数据, 提出将不等距微分法、 垂直梯度法应用于海洋数据预处理、 海洋区域划分和跃层分析中, 并通过对多种神经网络在基于WOA13海洋三维数据二分类实验的性能分析, 选取残差网络作为二分类实验的网络模型, 在三层残差网络模型基础上增加了Dropout保留层以防止过拟合. 其次, 将残差网络模型用于温跃层分析判定, 并针对改进模型进行超参数优化、 残差单元改进、 保留率调整等对比实验. 实验结果表明, 改进的ResNet 26网络对WOA13海洋区域数据的温跃层数据分类有效, 分类准确率超过94%.     

精冲断裂过程的有限元模拟

从材料细观损伤角度对精冲原理进行了研究．开发了基于空穴材料的刚塑性有限元分析系统，该系统可以估算精冲材料的损伤状态，判断材料失效并模拟裂纹的扩展与汇合状况．利用该系统模拟了精冲过程中塑性变形与韧性断裂现象，预测工件断面光亮带高度，研究凸凹模间隙与剪切面质量关系，并与试验数据进行了对比．研究发现，凸凹模间隙与工件剩余厚度之比是影响断面质量的关键因素．     

关于Faudree－Schelp定理的改进

一个图Ｃ＝（Ｖ，Ｅ）是［ｌ，ｍ］－泛连通的，如果在Ｇ的任意一对节点ｘ与ｙ之间有长为Ｋ—１的路Ｐｋ（ｘ，ｙ），Ｋ＝ｌ，ｌ＋ｌ，…，ｍ。Ｇ具有性质Ｐ（Ｋ），如果对Ｇ的任何一对距离为２的节点ｘ和ｙ，有ｄ（ｘ）＋ｄ（ｙ）≥Ｋ。作者探讨了一类产（Ｋ）图的路连通性，改进了Ｆａｕｄｒｅｅ－Ｓｃｈｅｌｐ定理，得到两个定理：定理１设Ｇ＝（Ｖ，Ｅ）是ｎ阶Ｐ（ｎ—１）图。如果Ｇ是［ｎ—１，ｎ］－泛连通的，则Ｇ是［８，ｎ］－泛连通图（ｎ≥８）．定理２设Ｇ是３－连通ｎ阶Ｐ（ｎ）图。如果Ｇ的独立数α（Ｇ）＜ｎ／２，则Ｇ是［５，ｎ］－泛连通图，ｎ≥５．     

环境因子对铜绿微囊藻7820胞外多糖的影响

研究了多种环境因子对铜绿微囊藻7820可溶性胞外多糖(extracellular polysaccharide,EPS)合成的影响.在18 d内,较高浓度的NO3-,较高的pH和光强,均显著提高了EPS的合成,其中,NO3-对EPS的合成影响最大,其最大产率为5.255μg.L-1.d-1.而KH2PO4,CaCl2,MgSO4等大量元素、以及微量元素FeCl3和EDTA对EPS的合成无明显影响;除在实验后期20℃时EPS有较大增加外,温度对其无明显影响.在各种环境因子影响下,EPS产量均随时间延长而增加.此外,NO3-,pH和光强对铜绿微囊藻7820的生长速率和总糖的产生也有影响,在较低的NO3-浓度、适中的pH和光强下,生长速率较高;而较高的NO3-浓度、较低的pH和光强,其生长速率明显较低;略低的NO3-浓度和光强可明显提高其总糖产量,而较高的NO3-浓度和弱的光强则明显降低其总糖产量;pH对总糖的产量影响不大.微囊藻有较高的多糖积累,其EPS和总糖的合成有不同的机制.     

面向中小企业及其联盟的企业信息集成系统

为解决国内中小企业对信息化建设需求日益增加的问题,研究了它们对信息化和资源共享具有的特殊信息集成技术需求,利用Java 2 Enterprise Edition(J2EE)技术和基于Extensible Markup Language(XML)的信息共享技术,建立了面向单个企业和企业联盟的信息集成系统,开发了支持多种二维/三维文档与模型的实时协同浏览批注工具,并进行了企业应用。该系统采用4层体系结构,具有平台无关性和良好的开放性、可扩展性和可维护性,可解决异构应用系统间的信息集成问题,在应用中证实可以有效地解决企业各个层次的信息集成问题。     

一种形状记忆合金丝驱动的微小型六足机器人

为解决有限空间中形状记忆合金（ＳＭＡ）丝驱动的转动关节臂输出角位移不足的问题,提出了两种方法：①减小关节的回转半径,用富余的输出力补偿输出角位移的不足;②在三维可用空间中布置ＳＭＡ丝,增大ＳＭＡ丝的长度,开发了一种ＳＭＡ丝驱动的六足步行机器人,机器人的肢体布局和结构符合仿生学原理,轮廓尺寸为２５ｍｍ＊２５ｍｍ＊２５ｍｍ。并介绍了一种实用该机器人静步态行走的控制策略。     

采用金字塔分解的最小二乘影像匹配算法

最小二乘（ＬＳ）算法因其高精度而在影像匹配中被广为采用,但单纯的ＬＳ算法有收敛范围小,收敛速度慢等缺点。本文袖了结合金字塔分解ＬＳ匹配算法,此算法能大大增加单纯ＬＳ算法的收敛范围,提高匹配率,而运算时间与单纯ＬＳ法基本相当,并且保持了它的高精度,实验表明,此算法的精度高,匹配率高,收敛范围大,有相当的实用价值。     

自养硝化与异养反硝化污泥膜污染特性的对比

以同步脱氮除磷连续流膜生物反应器小试稳定运行时的污泥为考查对象,采用序批式过滤试验对比考查硝化污泥与反硝化污泥的污染特性,并对不同电子供体下反硝化污泥的污染机理进行分析与探讨.研究结果表明:在25℃下乙酸作为电子供体下的反硝化速率(以VSS计)为13.8 mg/(g·h),高于乙醇的10.2 mg/(g·h)和甲醇的3.4mg/(g·h);反硝化污泥相对于硝化污泥溶解性微生物产物(soluble microbial product,SMP)中蛋白质类物质在＜1 kDa和＞ 100 kDa范围内含量的增多,成为导致污泥混合液中溶解性物质阻力增大的主要因素,从而增大溶解性物质在膜孔内部的堵塞的阻力,其中以甲醇为电子供体时的反硝化过程最为明显.反硝化过程污泥产生的胞外聚合物(extracellular polymeric substances,EPS)相对于硝化过程有所降低,且EPS中糖类与蛋白质类物质的相对疏水性的降低成为混合液中悬浮颗粒物质(suspend solids,SS)阻力降低的主要因素;硝化污泥与3种电子供体下产生的EPS相对分子质量分布上略有不同,但是傅里叶红外光谱(Fourier transform infrared spectroscopy,FT-IR)对EPS官能团的监测表明硝化过程与3种电子供体在反硝化过程中产生的EPS主要化学物质组成并没有发生变化,以乙酸为电子供体下反硝化过程后污泥的修正污染指数(modified fouling index,MFI)最小.