利用充电法检测桩基础钢筋笼长度

桩身钢筋笼长度是影响桩身受力性能的一个重要因素,但桩基础施工完毕后,属于隐蔽工程,其长度是否符合设计要求却难以验证。针对桩基中钢筋笼长度检测难的问题,探索一种能定量或半定量检测桩体中钢筋笼的长度、且不需要进行破坏性开挖的无损检测技术是关键。本文简述了利用高密度电法测量系统进行钢筋笼长度的无损检测（充电法检测）的基本原理及其方法,并结合实际工程实例予以说明。     

动叶可调轴流式风机动叶片的火焰喷焊

采用火焰喷焊技术对动叶可调轴流式风机动叶片进行表面强化，可以显著提高其耐磨性。介绍了合金粉末的选择、喷焊工艺的制定、叶片变形的防止以及喷焊层的组织和性能。     

可组合的描述符泄露类型检查

应用程序通过操作系统的系统调用对文件描述符进行操作并管理文件资源。如果应用程序对资源描述符的管理出现错误并发生描述符泄漏,会严重影响系统的可用性。据此,提出了一种检查程序是否会导致描述符泄漏的类型系统,给出了描述符操作方法的语义和类型约束,证明了类型系统的可靠性定理。此外,还初步讨论了该类型系统在并发程序下的扩展。     

基于模拟退火—遗传算法的非线性密钥序列生成器线性复杂度研究

计算线性等价是研究非线性密钥序列生成器线性复杂度的有效方法。本文先介绍了计算线性等价的模拟退火法,然后使用遗传算法对该算法进行改进,最后使用一组密钥序列生成器对改进后的算法进行性能评估,并将改进后的算法和原算法进行了比较。结果表明改进后的算法能比原算法更有效的找到非线性密钥序列生成器的线性等价。     

基于顶层本体的电子对抗领域本体构建方法

针对大型领域本体的可扩展问题,提出一种基于顶层本体的领域本体构建方法MBECO。通过最大范围地继承顶层本体框架,构建规范化的传感器领域、信息对抗领域、指挥控制领域等子领域本体模型,并将其嫁接入顶层本体,在顶层本体框架下进行子领域本体的集成,构建语义本体ECSON。实例表明,该方法将为系统级的分布式电子对抗仿真提供完善的战场空间本体。     

星球车松软星壤的轮腿式探测系统:Ⅱ-感知车轮

为增强星球车松软星壤的穿越通过能力,提出了轮壤交互接触信息的感知车轮设计。该车轮是一种星球车的前置轮腿式探测系统(WOLS)的关键部分,可实现动态轮壤交互的关键量测量(轮壤作用力/力矩、轮壤接触角和车轮沉陷量)。研究分析了轮壤力学的关键测量参量及其分组,完成了感知车轮的硬件设计和集成,提出了待测参数的在线测量模型和方法,通过标定校准和实车测试验证了该感知车轮的性能。     

基于边缘计算的电力系统通信网络构建

为克服电力系统传统云计算模式网络拥堵的问题,在现有的电力系统通信网基础上,引入边缘计算技术。在分析国内电力系统大数据计算量的基础上,讨论了现有电力系统通信网体系架构的优化途径。构建了基于docker技术的云边协同电力系统通信网络总体模型。将协同运行机制应用于系统中的各级设备。根据电力系统通信网络模型的特点,以多无人机巡检任务为应用场景,研究了基于合作型协同进化的任务协作机制的全局优化方案。提出了边缘计算服务器延时模型。讨论了基于时延和资源分配综合最优的计算卸载策略。构建了资源分配目标函数。在保证各节点总延时最小的前提下,实现了资源分配差异度最小。     

Wind0Ws NT下实现对串行口中断的实时处理

WinodwsNT的保护机制和硬件管理模式使开发者很难直接处理硬件中断事件.本文提出-种方法,借助NTDDK,通过改写串行口驱动程序的子例程,实现中断服务程序ISR与应用程序之间的数据交互,再改写ISR以实现在WindowsNT平台下实时处理串行口中断.     

雨水调蓄塘在防治城市内涝中的应用

以实际工程为例,结合雨水管道设计的推理法和雨水调蓄池的计算理论,效法自然水塘的形式,结合景观设计,将高速公路沿线的弃土堆场改建为雨水调蓄塘,滞留上游雨水,以大幅削减下泄流量.根据可利用建设用地面积,计算有效调蓄容积和对已建雨水系统的提标改造作用,解决其下游低洼区的积涝问题,降低工程投资.     

一种原子性和公平匿名性的电子支付协议

在分析电子交易的原子性和公平匿名性的基础上，提出了一种可同时实现原子性的公平匿名的电子支付协议，而且在整个支付过程中，可信第三方可以离线，只有发生争议时才参与仲裁解决。给出了协议的6个子协议，详细描述了各子协议的执行过程，并且非形式化地分析了协议的原子性和公平匿名性，保证了公平的电子交易和私密性。