基于Linux的USB存储设备访问控制机制研究

USB存储设备所造成的数据泄漏问题日益严重。对USB存储设备进行访问控制,可以有效阻止USB存储设备的数据泄漏。文中主要研究基于Linux操作系统的USB存储设备访问控制机制,并且从用户态、内核Lsm框架以及驱动这三个不同层次分别提出了三种可行的USB存储设备访问控制机制。在这基础上,结合这三种访问控制机制各自的特点以及关键技术对它们的有效性、可用性进行了分析。作为验证,在Linux平台上实现了这三种机制。三种方法均可以有效地进行USB存储设备访问控制。     

形式化方法在电信服务系统中的应用与研究

为提高电信服务系统的稳定性．把形式化方法引入到电信服务系统的研究中,并用典型的形式化规格语言Z开发电信系统中基本功能的形式化规格,该套形式化规格对拔打电话、建立连接、释放连接、修改密码等操作的进行详细、精确的描述。基于Z语言的形式化规格可以应用于电信服务系统开发过程的各个阶段．以期减少电信服务系统内部错误的产生、提高稳定性。     

CAE技术在汽轮机高温强度计算中的应用

为分析某百万千瓦超超临界汽轮机高压缸旋转部件在高温以及高离心力载荷下的强度状况,建立高压缸第一级动叶片的模型.根据蠕变试验数据,采用最小二乘法拟合幂蠕变方程中的各个参数,并详细介绍各参数的拟合、优化和验算过程;用CFD分析软件计算流体域内的对流传热系数并插值到有限元计算程序中,分析叶根倒角处危险区域的蠕变应力状况.数据验算结果表明,利用拟合数据计算得到的蠕变应力值与试验值比较接近,证明该方法可靠;CAE计算结果表明,叶根倒角处危险区域蠕变应力考核合格,并且有充足的安全裕量.     

基于CAE的平流式换热器无模成型工艺开发

为实现高效的平流式换热器柔性弯曲制造,避免模具对制品的损伤,采用仿真与试验相结合的方法实现平流式换热器无模弯曲工艺开发.与传统的换热器绕弯成型技术相比,该成型过程无须弯曲模,而是通过控制换热器两端的运动轨迹实现弯曲成型,改变相应的运动轨迹能实现不同的弯曲半径.在成型原理分析的基础上,建立无模弯曲成型过程的有限元仿真模型,并基于仿真结果确定合理的弯曲速度、夹头长度和中性层半径等工艺参数.设计并制造无模弯曲成型试验装置,并研究翅片结构等因素对成型质量的影响.     

膨胀弯管在管道柔性设计中的定性分析

为防止管道因热胀冷缩、管道支撑或端点附加位移造成的应力问题,对管线中设置的膨胀弯管进行定性分析.通过2个参数的变化对膨胀弯管进行编号得到多种设计方案,用ANSYS建立管道的有限元模型,并分析各方案中膨胀管道的变形、应力和弯矩等;根据分析结果对膨胀弯管设计半径、设置位置和形状进行定性分析.该定性分析结果可为膨胀弯管概念设计和管道柔性设计提供参考.     

全球水能资源评估模型与方法研究

为在全球范围开展水能资源评估,提高评估与规划的准确性与效率,通过建立水能资源评估的全球尺度参数标准、一般技术流程与方法体系,构建河流水能资源理论蕴藏量、技术可开发量评估和电站开发经济性测算模型,提出一套适用于内业工作的数字化评估方法与流程。以非洲刚果河流域为例,应用水能评估模型与数字化方法,实证评估了刚果河流域及干流的水能资源的理论蕴藏量、干流下游河段的技术可开发量,完成了刚果河下游水电基地开发成本测算。     

海域双排钢板桩围堰与明挖基坑变形特性分析

以深圳海滨大道一期Ａ段海底隧道工程为背景,针对海域环境双排钢板桩围堰与明挖基坑在施工过程中的变形控制难题,利用ＰＬＡＸＩＳ数值模拟软件建立有限元模型,通过建立有限元模型,系统的研究了海域双排钢板桩围堰与明挖基坑变形特性及相互影响规律,分析了围堰与基坑距离、基坑内支撑形式及基坑开挖步序等因素对钢板桩围堰变形的影响作用。研究结果表明:基坑开挖将造成围堰较大的水平位移;地连墙最大变形出现在墙体中下部;减小施工平台宽度和增大基坑内支撑刚度等方式可以有效减小钢板桩围堰变形。研究成果可以为类似工程的钢板桩围堰与明挖基坑设计提供参考依据。     

基于双闭环系统的起重机位置控制技术研究

传统的起重机位置控制技术大多是以位移或速度为反馈量构成的单闭环控制,只能对系统的一个状态量进行控制,易造成系统的超调、振荡,难以实现真正意义上的位置控制;研究采用位移和速度的双闭环位置控制技术[1],以位移环为外环、速度环为内环,位移环根据位移的当前值与给定值的差,通过位移调节器给速度环提供给定速度,速度环通过速度调节器控制系统的运动速度,最终实现对系统的位置控制;通过对单闭环控制和双闭环控制的仿真结果对比分析,双闭环系统的位置和速度的控制精度均比单闭环精度高,最后通过实验,证明了双闭环系统在实践上的可行性。     

一种改进的基于驱动模型的门式起重机消摆设计

为研究一种较快捷的起重机闭环消摆控制器,把由变频器、三相笼型异步电机、减速器所构成的驱动系统纳入到整个控制系统中来,通过建立精确的数学模型,得到电机转速与吊载摆动角度的传递关系;运用微加速度计,实时检测吊载摆动角度,加入负反馈,而设计出一种新型的自适应神经控制器;为加快学习速度,采用直接设计模型参考自适应控制策略;借助于液压实验室中PLC变频调速门式起重机实验平台,进行仿真和实验;证明了该方法消摆和定位更快,效果更好.     

具有时变状态滞后2-D离散系统的稳定与镇定(英文)

针对一类由局部状态空间(LSS)Fornasini-Marchesini(FM)第二模型描述的,具有时变状态滞后的2-D离散系统,其中时变滞后项的上、下界均为正实数,研究了其稳定性和控制综合问题。首先,利用Lyapunov-Krasovski泛函方法,提出了系统的稳定性准则。再根据这一准则,分别设计状态反馈和动态输出反馈控制器保证系统的稳定性。状态反馈控制律和输出反馈矩阵可由线性矩阵不等式(LMI)求得。最后,通过数值算例说明所得结果的有效性。