摘要：介绍了一种研究系统特权安全问题的方法.由于其特有的迁移系统安全状态的能力,使得分析及保护系统特权都很困难,因此,传统访问控制研究中所采用的技术无法复制到该领域.在访问控制空间理论下,检查了系统特权的来源问题及其特点,从而将系统规则划分为约束规则与执行规则两类,分别描述授权的限制与效果.进一步对规则逻辑形式进行推导,发现特权操作问的特殊授权关系以及相关属性,并设计了一种快速构造授权推导图的算法.在此基础上,分析隐式授权安全问题可能存在的滥用特权威胁.最后对POSIX(portable operating system interface)标准的权能机制进行形式化描述,计算并构造其授权推导图.对标准设计中存在的滥用威胁提供了对策,有效地实现了与最小特权原则的一致性.

摘要：从设计角度介绍了中高磨床偏心式中高形成机构的结构、工作原理及理论计算的推导过程，以及根据中高值求解调整偏心量的理论计算公式。

摘要：推导出了一个新的锋区横切环流(Y-P平面上)流函数诊断方程, 分析了诊断方程中强迫函数的物理意义及作用, 并用淮河流域能量与水分循环试验(HUBEX)所取得的加密观测资料进行了验证。基于这个诊断方程设计出能描述锋区垂直环流特征的二维空间剖面综合分析图, 总结出与锋区强暴雨发生有关的三类垂直环流概念模型, 对江淮地区汛期暴雨预报有较好的指导作用。

摘要：根据设计、施工规范,导出斜桥圆弧拱拱脸石的计算公式,并分析了图解法和理论计算上的异同。

摘要：在论述了色彩的基本原理和世界主要色彩体系后,提出了水工建筑的色彩设计原则、推导规律和调节方法。旨在减少非理性使用色彩的现象,为建设生态水利,增强水工建筑艺术性提供理论参考和借鉴。

摘要：很多电气传动类教材对异步电机等效电路缺乏简明推导。该文通过异步电机化理想变压器和异步电机电压方程等效变换,推导了常用的异步电机稳态等效电路和动态等效电路。分析了矢量控制不对称T型动态等效电路和直接转矩控制г型动态等效电路特定的物理意义。该方法易于理解,给设计矢量控制和直接转矩控制提供更直观的数学模型。

摘要：在服装推板的教学和应用过程中,某些结论或较复杂部位的档差往往令人费解。本文试图从数学推导的角度对档差进行推理、演绎,有助于对档差大小的理解。

摘要：作者针对在公路路线测量设计中遇到的一些实际问题，推导出了不对称曲线的理论设计公式，供同行参考。

摘要：桥台锥坡设计是容易被设计者忽略的问题 ,设计不当会造成坡比过陡而影响稳定 ,并且由于无具体的底面曲线方程 ,导致施工放样困难 ,本文证明了锥坡底面曲线实际为正椭圆的一部分 ,并推导出曲线方程 。

摘要：厌氧消化反应器制备沼气过程中,搅拌是影响沼气产量的主要因素。常见的搅拌方式有机械搅拌、沼气搅拌和水力搅拌。在传统水力搅拌设备及射流泵的基础上,文中设计了新型的水力搅拌设备,核心设备两级射流喷嘴,其主要结构为一级喷嘴和二级喷嘴。由于射流喷嘴的不规则结构,水力损失主要由局部水力损失构成,文中推导出了两级射流喷嘴的水力损失计算公式,主要包括一级喷嘴的水力损失、吸入液体进入混合室之前的水力损失和混合液体的水力损失。将设计的两级射流喷嘴通过试验验证,根据试验结果将实际水力损失与理论计算的水力损失结果进行拟合比较及误差分析,结果表明实际水力损失与理论计算值结果较为一致,因此推测该公式对两级喷嘴的应用有一定的指导意义。同时试验发现本次设计的两级射流喷嘴射流效率为30%,与射流泵的最优效率接近。