S^2 BHCA Multiple AUVs cooperation oriented control architecture

Oceanographic survey, or other similar applications should be the applications of multiple AUVs. In this paper, the skill ＆ simulation based hybrid control architecture （S^2BHCA） as the controller＇s design reference was proposed. It is a multi-robot cooperation oriented intelligent control architecture based on hybrid ideas. The S^2BHCA attempts to incorporate the virtues of the reactive controller and of the deliberative controller by introducing the concept of the ＂skill＂. The additional online task simulation ability for cooperation is supported, too. As an application, a multiple AUV control system was developed with three ＂skills＂ for the MCM mission including two different cooperative tasks. The simulation and the sea trials show that simple task expression, fast reaction and better cooperation support can be achieved by realizing the AUV controller based on the S^2BHCA.     

“法显航达美洲” ——一个无中生有的妄说

中国与美洲大陆遥遥相对,在科技水平和交通手段远远落后于今天的古代,茫茫太平洋几乎不可逾越。然而,18世纪后期发端于欧洲学术界的＂中国人发现美洲说＂,却把两者频繁地联系在一起。继＂殷人航渡美洲说＂和＂慧深东渡扶桑说＂之后，＂法显航达美洲说＂也一度成为学术界激烈争论的热点。笔者以为，如果说＂殷人航渡美洲说＂是基于实物证据基础上的大胆想象，     

螯虾神经轴突上双微电极细胞内刺激与记录及其实验观察

本文以螯虾细小神经轴突为标本,成功地应用双玻璃微电极进行细胞内刺激与电活动的记录。观察了细小神经轴突膜电生理和物理特性参数。钾离子通道特异性阻滞剂4—氨基吡啶,使Weiss式中常数b值显著减少;a值无明显变化;膜静息电位去极化;阈电位水平上移;动作电位幅值、锋电位时程、膜电阻和膜时间常数均有显著意义的增加。结果提示:4—氨基吡啶可提高膜的应激性,对神经膜兴奋性无明显影响;生物膜应激性及膜电阻的变化与钾通道的活动状态有密切关系。     

Lattice-based group signature with verifier-local revocation

Among several post quantum primitives proposed in the past few decades, lattice-based cryptography is considered as the most promising one, due to its underlying rich combinatorial structure, and the worst-case to average-case reductions. The first lattice-based group signature scheme with verifier-local revocation(VLR) is treated as the first quantum-resistant scheme supported member revocation, and was put forward by Langlois et al. This VLR group signature(VLR-GS) has group public key size of O(nm log N log q), and a signature size of O(tm log N log q log β). Nguyen et al. constructed a simple efficient group signature from lattice, with significant advantages in bit-size of both the group public key and the signature. Based on their work, we present a VLR-GS scheme with group public key size of O(nm log q) and signature size of O(tm log q). Our group signature has notable advantages: support of membership revocation, and short in both the public key size and the signature size.     

外教在高校英语口语教学中的局限性及相应措施

外籍教师在我国高校英语口语教学中有着中国教师不可替代的优势,同时也存在着局限性。高校应尽可能在引进外教时把好关,聘用后加强文化沟通与教学指导和管理,促进中外教师交流,改进其不足,促进口语教学,提高学生口语水平。     

西安地铁2号线信号系统控制模式综合分析

结合西安地铁2号线一期的运营要求、线路特点和信号系统ATC系统工程设计,分析了ATC系统和系统故障条件下后备控制模式以及控制中心、车站和列车车载等不同控制等级的控制状态分类、工作环境、控制方式。介绍了列车在正线、车辆段的工作要求和多种驾驶模式。     

苛求软件可靠性方法、技术与模型研究

从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。     

筑路机械事故隐患分析与预防

与筑路机械相关的施工事故占道路施工事故中的绝大部分。因此，建立合理的筑路机械事故隐患分析与预防体系关系到施工企业、人员的切身利益。从筑路机械的设计拆卸安装、调试及使用中的各方面对事故隐患进行了分析，并阐述了事故预防体系。     

轻型车国Ⅵ排放测试系统技术方案研究

本文通过对国Ⅵ法规(申报稿)及WLTP法规变化点的研究和对国Ⅴ阶段排放测试系统设计经验的总结,并结合目前排放试验系统的普遍现状,探讨了国Ⅵ阶段排放测试系统的技术方案,并进一步结合现有排放试验系统的特点,提出了可行的升级方案。     

联手下好“一盘棋” 合力推进长江口南槽航道治理工程

3月29日,随着长江口南槽航道96座导助航标志调整和设置工作的结束,该航道治理一期工程的第一阶段航海保障工程圆满收官,这是继长江口12.5米深水航道治理工程后,按照长江口"一主两辅一支"航道体系的总体规划实施的又一重大航道整治工程。