摘要：COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不足 ,同时也消除了规约与实现之间在结构和表示方法上的完全分离 ,使程序开发在一个完整的框架下平滑进行 .该文提出了基于 COOZ和精化演算的软件开发模型 ,通过实例讨论了数据精化和操作精化问题 .在精化演算实现技术方面构造了一种数据精化算子 ,提出一种基于数据精化演算和程序窗口推理的数据精化的方法 .

摘要：模块化数据中心网络的模块间互联结构和路由负责模块的有效组织以及不同模块服务器间的高效通信,使得如何设计具有高带宽、高容错和高可扩展能力的互联结构以支持大规模、超大规模数据中心的构建,成为模块化数据中心网络需要解决的首要问题.提出了一种构建超大规模模块化数据中心的模块间互联结构MDKautz.该结构通过模块内大量未被使用的交换机预留高速端口将模块以Kautz图互连,在无需额外增加任何高端交换设备的前提下,构造出具有高带宽、高容错和灵活可持续扩展性的超大规模数据中心网络.对MDKautz的构建方法、路由策略以及扩展方法进行了分析.数学分析和模拟实验结果证明了该新型网络结构具有良好的拓扑特性和通信性能,可有效支持数据中心高带宽、高容错的典型应用.

摘要：利用电子传输性能良好的苯并噻唑螯合锌(Zn(BTZ)2)作为蓝光层,通过设计不同类型的空穴传输层并试验不同厚度的发光层后,制作了一种最佳厚度的双发光层白色电致发光器件:氧化铟锡(ITO)/N-N′-双(3-甲基苯基)-N-N′-二苯基-1-1′-二苯基-4-4′-二胺(TPD)∶N,N′-二(1-萘基)-N,N′-二苯基-1,1′-联苯-4-4′-二胺(NPB)(1∶0.05)(30nm)/NPB(10nm)/2-(2-羟基苯基)Zn(BTZ)2(30nm)/双(2-甲基-8-羟基喹啉)(4-联苯氧基)铝(BAlq)∶5,6,11,12-四苯基-四苯并(rubrene)(30nm)/8-羟基喹啉铝(Alq)(15nm)/Mg∶Ag.经有效的控制电子和空穴的注入,实现了载流子在发光层间的均匀分布,驱动电压从8V变为13V时,获得了色坐标在(0.32,0.40)和(0.30,0.38)之间变化的白光.器件的最大外量子效率为0.85%,当工作电压为15V时,器件最高亮度为11240cd/m2.器件性能得以提高的原因是选择了合适的空穴传输层和最佳的发光层厚度,从而达到了空穴和电子的注入平衡.

摘要：针对现有起重机吊钩在抬钩和落钩过程中,工作效率低与人工操作危险的问题,提出了一种在远程操作下,可快速响应的自动化吊钩系统。首先,结合模块化设计的思路制定了针对自动化吊钩的吊钩端结构的详细设计流程并给出了完整的结构设计,通过Inventor软件完成了对其的三维建模,同时对动力机构、传动机构等核心部分的设计进行了详细的描述,再利用HyperMesh软件对其中的重要零件进行设计校核和优化,最终得到完整合理的可遥控自动吊钩结构。然后,对自动吊钩的数学模型进行了详细的推导,制定了整体控制流程,完成了控制部分的设计。最后,制造了可遥控自动吊钩样机,对其性能进行了实验验证,证明了设计的可行性。

摘要：为了在限制冷气消耗量的情况下提高涡轮叶片综合冷却性能,在叶片冲击冷却的靶面引入不同的肋、凸起和凹坑,采用耦合传热进行叶片真实工况下的数值模拟,从不同方面分析了内部结构改变对内部换热性能、冲击孔和气膜孔流量系数的影响,最终得到受内外换热性能制约的叶片整体冷却性能,总结了叶片优化思路,可供指导叶片设计。本文得到了以下结论:冷却结构的引入可以阻碍横流的发展,增加冲击孔的流量系数,增强流场的扰动,从而强化内部换热,但会减小气膜孔的流量系数,恶化外部气膜冷却。内部换热的增强作用和外部气膜冷却削弱的综合作用使得叶片外壁温降低。通过比较,肋的作用强于凸起/凹坑,在肋间布置凸起/凹坑有利于进一步强化换热,扰流直肋+凹坑结构在冷气消耗量降低1.19%~1.81%的情况下,综合冷却效率提高了1.96%~4.09%,是最优结构。

摘要：为探讨摩阻力增强效应影响下的水平受荷桩承载机制,建立了水平荷载作用下考虑增强效应影响的桩侧摩阻力τ-s曲线模型,并在此基础上推导了桩身单位长度侧阻抗力矩数值解。随后开展了桩径、临界位移、极限侧摩阻力等因素影响下Ms,ini/Msu,ini-θ/θref,ini无量纲化曲线规律分析。结合摩阻力增强效应理论进而分别建立了线弹性-塑性、双曲线、API规范砂土与黏土τ-s曲线模型作用下的桩身侧阻抗力矩简化理论解,并基于传递矩阵法原理,解得了考虑桩侧摩阻力作用时基桩水平承载力半解析解。通过多组验证工况和工程实例分析验证了所建立的侧阻抗力矩简化解以及考虑侧阻抗力矩影响的基桩水平承载力方法的正确性,同时也证明了摩阻力增强效应对基桩水平承载力的影响不能忽略,并得出如下结论:无试验数据参考时,砂土、黏土与桩接触面的刚度指数可分别取0.725和0.600;桩身侧阻抗力矩随着桩径、极限摩阻力的增加以及临界位移的减小而增加,其中桩径对侧阻抗力矩影响更为明显。

摘要：针对倒立摆的稳摆控制问题,研究设计了一个LQR控制器。首先,考虑摆杆摆动的阻力矩,采用牛顿力学分析方法推导出直线倒立摆的数学模型,建立了其线性状态空间模型,并分析了系统的稳定性、能控性与能观性。通过采用仿真试凑确定加权矩阵Q、R,得到状态反馈增益矩阵K,完成LQR控制器的设计。之后,搭建了以开放式运动控制器为核心的倒立摆实验平台,在计算机上开发了实时人机交互程序,在运动控制器里编写了倒立摆控制算法。最后,进行了仿真与实测实验,验证了所设计的LQR控制器的有效性和可行性。

摘要：从桩侧竖向摩阻力作为大直径基桩水平承载力显著影响因素的角度出发,首先分别建立了桩侧摩阻力硬化和软化τ–s模型作用下单位长度桩身抗力矩Ms的数值解及其相应的解析方程。随后,在传递矩阵法基础上分别推导了考虑桩身抗力矩Ms影响的传递矩阵系数解析解。最后,通过影响参数及工程案例对比分析,分别证明了本文所推导的附加弯矩–转角本构模型和传递矩阵解的正确性,并得出以下结论:对侧阻硬化模型而言,桩身抗力矩Ms随着桩径d、抗剪刚度系数比值k2/k1的增加以及弹性极限位移seu的减小而增加;对侧阻软化模型而言,桩身抗力矩Ms随着桩径d、参数β(=su2/seu)和αres(=τu,res/τu,eq)的增加而增加。

摘要：在总结爆炸荷载对钢筋混凝土结构作用特点的基础上,比较了爆炸荷载与地震作用对钢筋混凝土结构的影响。认为就建筑结构整体而言,两者的影响是有区别的,应当区别对待;但对具体结构构件来说,二者的要求接近一致。对于钢筋混凝土结构抵抗爆炸荷载作用的问题,可以在其满足抗震要求的基础上,加以优化,实现"多灾害设计"。

摘要：吸力式沉箱基础作为张力腿平台(TLP)的锚固基础,主要承受上拔荷载作用,然而软黏土中沉箱侧壁摩擦系数较小,排水条件下其抗拔承载力仅靠沉箱内外摩擦力与其自重组成,因此吸力式沉箱基础抗拔承载力较低。针对上述问题,提出一种重力式劲性复合吸力式沉箱基础,通过模型试验、推出试验以及大型直剪试验,研究了软黏土中新型吸力式沉箱基础抗拔承载特性以及沉箱–水泥土界面剪切特性。试验结果表明:新型吸力式沉箱基础抗拔承载力远高于传统吸力式沉箱基础抗拔承载力,且随附加荷载以及加固范围增加而增大;法向应力越大、水泥掺入比越高,水泥土抗剪强度以及沉箱–水泥土界面剪切强度越高;环肋沉箱中肋宽越宽,环肋上方剪切带面积越大,且水泥土剪切面与整体破坏面比值越高,沉箱–水泥土整体界面剪切强度越大;结合推出试验,提出了带肋沉箱模型界面破坏模式,建立了考虑法向应力作用下带肋沉箱–水泥土界面整体剪切强度计算公式,并进行相关参数分析与验证;最后结合等芯沉箱基础抗拔破坏模式,给出了新型吸力式沉箱基础抗拔承载力计算方法,揭示了软黏土中新型吸力式沉箱基础抗拔承载机理,为重力式劲性复合吸力式沉箱基础抗拔承载力分析以及工程设计提供参考。