摘要：新型水下机器人是在远程遥控水下机器人ROV、自主航行水下机器人AUV、水下滑翔机AUG的基础上提出的全新融合体,兼顾了ROV,AUV,AUG的优点(简称ARG),其由上位机地面站和ARG本体组成。地面站由OpenWrt路由器、MCU、PC、电力载波模块、高清显示屏、工控屏和移动终端组成。ARG本体由水动力外壳、净浮力装置、重心调节装置、水平推进动力系统、电源系统、通信系统、传感器系统、视频采集系统组成。地面站与ARG之间的信息通信方式有电力载波、WiFi、GSM通信。ARG本体通过重心调节装置、净浮力调整装置和水平推进动力系统,实现全自由度运动、定深悬停及无动力滑翔。结合GPS定位和上位机软件,ARG具有航迹规划、航迹显示、采集信息及航行日志输出等功能,图像采集系统可实现4K高清实时采集传输。

摘要：针对传统卫星系统间接口关系复杂、通用能力较弱的问题,文中将传统分系统、单机产品替换为标准模块,从而组成了星载综合电子系统。通过VPX模块化设计,各个模块接口标准化,提高了系统适用性和可扩展性;通过高低速双总线设计,极大地提高了星上数据传输效率;高速总线设计为时间触发以太网(TTE),极大地提高了星上数据传输速率和实时性。实验结果表明,采用文中设计方案的综合电子具有接口简单、通信速度快、可靠性高的特点。该系统已在某卫星综合电子中成功应用,效果良好,对星载综合电子设计具有重要的指导和参考意义。

摘要：架构分析与设计语言(AADL)是一种用于描述复杂嵌入式系统体系架构的建模语言,被广泛用于安全关键系统建模与验证。AADL通过行为附件以状态机的形式对组件的内部行为建模。工业界中的复杂系统常使用层次自动机描述组件的功能行为,而行为附件中没有表达层次自动机的机制。针对这一问题,提出了AADL行为附件的层次化扩展——HBA。首先给出了HBA的形式语法,然后定义了HBA的操作语义。提出了HBA的元模型,并在OSATE环境中实现其文本和图形化编辑器。为了便于形式化验证,给出了HBA到时间自动机(TA)的转换规则,并基于模型检测工具UPPAAL进行形式化验证。最后,给出一个案例研究来验证所提方法的有效性。

摘要：昆虫利用偏振光获取航向,经典的偏振光航向角解算方法都需要偏振光传感器指向天顶点。针对这一问题,设计了基于太阳位置模型、瑞利天空模型和虚拟偏振传感器的偏振光航向解算仿真系统,详细研究了4种典型的基于偏振光的航向解算方法在仅俯仰倾斜、仅滚转倾斜、俯仰和滚转倾斜条件下的误差特性。最后,仿真和实验均表明,4种典型方法在受到倾斜干扰时,其航向解算误差具有一致性的规律性,而且解算误差不仅受倾角的影响,还受太阳高度角,太阳与偏振传感器相对位置的影响。本文的结果不仅可以用于量化估计传感器倾斜所引起的航向角解算误差,还可用于补偿修正传感器倾斜导致的航向角解算误差。

摘要：介绍了长城金融大厦结构弹性计算分析及推覆分析的过程及结果。指标及数据分析表明,结构周期比、位移角、层间刚度比等均满足规范要求,验证了结构体系的合理性。针对结构超限项进行了分析,采取提高抗震等级、墙内设置型钢、加强楼板厚度及配筋、增加柱间斜撑等设计措施,从概念及构造上保证了结构满足预设的抗震性能目标。跨度30m的转换桁架是工程的设计难点,转换桁架采用箱形杆件钢桁架,支撑上部27层楼面荷载,通过罕遇地震工况下杆件应力比分析以及节点有限元应力分析,验证了桁架满足大震不屈服的受力要求,从而保证了结构整体的性能目标。

摘要：在系统冗余前提下,提出动态配置原子组件来增强系统生存性方法;根据中心极限定理和系统运行历史数据,获取原子组件生存性变化曲线,并结合系统服务效率以及服务质量等,设计了基于自主配置的生存性增强算法。通过实验验证了生存性计算方法在原子组件不同失效率下的正确性和有效性。仿真实验表明,该算法在原子组件遭受攻击和服务能力下降情况下都能有效保证关键服务的生存性。

摘要：分布式地质图空间数据库具有数据分布、数据源异构、地质实体间有着复杂语义关系的特点,而多源分布的地质图数据在实际应用中又需要统一管理,协调工作,这就提出了数据交换的要求。传统的数据库复制方案无法满足地质实体级的数据交换,本文提出了一种以地质空间要素类为交换单位的增量同步的数据交换设计方案,详细阐述了其关键的数据交换原理,数据传输方案以及上下级服务器之间的数据同步策略,该方案现已用于国家地质图空间数据库管理系统,被认为是一种行之有效的方案。

摘要：为分析U肋加劲板的声振特性,联合锤击试验和数值仿真方法从振动传递特性和声辐射性能2个方面进行研究。首先,以某钢箱梁为原型,设计制作一足尺U肋加劲板结构,通过锤击激励获得不同位置的振动和噪声响应。然后,以有限元计算得到的振动响应作为边界元仿真的边界条件,建立混合有限元-边界元模型预测U肋加劲板的振动声辐射,并将仿真结果与实测值进行对比。最后,通过数值仿真探讨U肋的声振贡献量,并分析结构设计参数(顶板厚度、U肋厚度和U肋间距)对顶板声功率级的影响规律。研究结果表明:相比混凝土结构,U肋加劲板的振动噪声更加明显,且频谱范围更宽,主要集中在几百至上千Hz;U肋正上方和U肋之间的顶板原点导纳差异不大;顶板原点导纳和U肋传递导纳的频谱特性相似,并在量值上具有可比性;混合有限元-边界元预测方法具有较高的精度,但计算效率不高;受到U肋自身的振动声辐射和声反射效应的影响,U肋加劲板正下方的噪声比侧方高出约10 dB(A),声压级峰值频段为400~1250 Hz;顶板厚度和U肋间距是决定顶板声辐射大小的决定性因素,算例中顶板厚度减小6 mm或U肋间距增大300 mm时,顶板声功率级分别增加5.4 dB(A)或9.4 dB(A);U肋厚度在6~10 mm内变化时,顶板声功率级改变不大。

摘要：《钢结构设计规范》(GB50017-2003)提供了轴心受压构件、压弯构件设计公式,而大长细比剖分T型钢压杆的承载性能还有待进一步的试验研究,以检验规范设计公式对大长细比剖分T型钢压杆的适用性.对三种大长细比的8根剖分T型钢压杆进行了静力加载试验,得到了杆件的极限承载力和破坏形态.基于材性试验结果,考虑了初始缺陷,采用通用有限元软件ABAQUS 6.10-1对压杆进行了有限元分析,与试验结果吻合较好.与试验结果对比表明,《钢结构设计规范》(GB50017-2003)中轴心受压构件和压弯构件的计算公式可用于大长细比剖分T型钢压杆承载力计算.

摘要：针对传统云端数据完整性验证方案中存在过度依赖完全可信第三方审计者(TPA)、复杂的密钥管理和不支持数据访问者授权等问题,该文提出一种基于区块链和雾计算的去中心化数据完整性审计方案。为了实现审计方案的去中心化,使用雾节点和智能合约代替第三方审计者。利用区块链设计智能合约保障方案中各个实体的公平交易;将审计过程生成的证据存储在区块链中以防止各个实体的不诚实行为。引入无证书密码体制,解决了传统审计方案中复杂的密钥托管和证书管理问题。此外,通过加密累加器实现访问用户授权和身份认证。分析结果表明,该方案满足签名的不可伪造性,与同类方案相比具有较高的计算性能。