Concurrent reading while writing revisited

A modification is proposed to Peterson's construction of 1-writern-reader multivalued atomic shared variableusingn+2 multivalued safe variables and some boolean atomic variables. The resulting construction is elegant and is simpler than the original one. K. Vidyasankar received B.E. (Elec. Engg.) from Thiagarajar College of Engineering, Madurai, M. Tech. from I.I.T. Kanpur, India, and Ph.D. in Computer Science from University of Waterloo, Canada. He is now an Associate Professor in Computer Science at Memorial University of Newfoundland, Canada. His research interests include concurrency control and recovery in database systems, concurrency in interprocess communication, design and analysis of algorithms, and graph theory.A prelininary version of this paper, under the title Improving Peterson's Construction of 1-Writern-Reader Multivalued Atomic Register, appears in the Proc. 26th Annual Allerton Conference on Communication, Control, and Computing, University of Illinois at Urbana Champaign, September 1988, pp 693–700     

MicroPort: A general simulation platform for seaport container terminals

Seaport container terminals are essential nodes in sea cargo transportation networks. As such, the operational efficiency of container terminals in handling containers passing through them plays a critical role in a globalized world economy. Many models and algorithms have been developed to address various decision problems in container terminals to help improve operational efficiency. These decision support tools are usually used separately for specific purposes. However, the problems they are trying to tackle are often interrelated. Therefore, in this regard, an evaluation tool which can capture as many operational conditions as possible for different decision problems is necessary. This paper introduces a general simulation platform, named MicroPort, which aims to provide an integrated and flexible modeling system for evaluating the operational capability and efficiency of different designs of seaport container terminals. The software structure of MicroPort comprises three programming layers: (1) the Functions layer; (2) the Applications layer; and (3) the Extensions layer. Different layers are bound by Application Programming Interfaces (APIs). Basic functions built in the Functions layer support the Applications layer in which major operation processes can be modeled by an agent-based method. External modules and decision support tools in the Extensions layer then use APIs to adjust the system to produce suitable simulation models for specific purposes.     

海水中VLF传播特性分析

本文以电磁波反射定律与折射定律为基础,建立了电磁波在两种介质分界面处的传播模型,研究了甚低频电磁波在导电媒质中的传播特性,推导了甚低频波在海面及海水中传播的电场表达式,分析了导电媒质对不同频率的电磁波所产生的影响,分析结果表明,甚低频电磁波在海水中的穿透深度较大,能够满足水下通信要求。     

敏捷化AIOps框架及运维数据质量评估方法

敏捷化智能运维(AIOps)框架将模型构建提前至测试阶段,利用该阶段产生的监控数据代替线上采集的数据以训练AIOps模型,进而实现智能运维的早开发与早使用. 运维数据质量评估方法通过最大均值差异度量方式,分别在健康评估与故障诊断运维场景下对训练数据分别进行趋势性、阶段性、可检测性及可诊断性评估,以预估数据对模型的适用性. 基于华为技术有限公司提供的测试环境设置测试用例并构建实验数据集,在该数据集上的实验结果验证了敏捷化AIOps框架的可行性及数据质量评估方法的有效性.     

水下设备安装过程及其影响因素分析

为了提高水下设备安装精度与工作效率,基于海上工作经验及查阅国内外相关文献,对水下设备的安装过程进行了研究,其总体过程大致分为5个阶段,即装船固定、提升操作、穿越飞溅区、深水下放、落地坐放;分析了影响水下设备安装过程的主要因素,其中水深主要影响吊放系统和设备在水下的横向偏移;波浪载荷主要应用船舶的动态响应,在设备经历穿越飞溅区阶段时对设备及缆绳造成损伤的风险较大;水下设备自身参数主要影响安装方式和安装船舶的选用。     

水下拖曳体多源信息监控系统设计与实现

基于海洋电法探测系统中水下拖曳体对多源信息实时监控的需求,设计了一种准实时监测拖曳体的运动状态与环境信息的监控系统。该系统可与水面监控器保持命令与数据沟通,并在监控器的指令下启动水下电法仪执行参数设置、数据采集等操作。经系统样机的海上测试结果表明,系统性能稳定可靠,能够在其他水下信息采集作业中得到推广应用。     

水声传感阵列指向性与系统传输性能研究

针对浅海水声通信中水汽界面和海底的反射产生多途效应对信号传输的影响,依据水下声传输原理,分析了水声信道中的噪声特点和产生多途效应机理,研究水声信道中声传感器指向性与传输性能关系,探讨水声传感阵列方式在水下通信环境的优势,设计合理的阵元间连接形式、阵列驱动电路和阻抗匹配电路,保证有效的功率耦合效率。经水下试验测试表明:采用一定指向性的声阵列结构,利用单个阵元波束宽度小于10°,构成阵列结构的波束宽度小于30°,并进行一定阻抗匹配,可减小能量损失,有效提高水声通信系统性能。     

Robust control of variable speed autonomous underwater vehicle

Set point tracking control of autonomous underwater vehicle (AUV) via robust model predictive control (RMPC) is considered. Input-constrained RMPC with integral action, which has been developed in our previous work, is used to control the AUV in this study. In order to derive a RMPC control rule, non-linear dynamics of AUV with six degree of freedom is linearized at certain operating points. So, horizontal and vertical plane dynamics of system are represented by linear models which have polytopic uncertainties. Since the derived control rule will be used in real time, the computation time should be reduced. To overcome this computational time problem and get rid of trial–error step of Algorithm 1, a new algorithm is proposed here. The simulations are carried out using the control rule based on this algorithm and these results are presented.     

基于多传感器信息融合的水下运动体速度测量

针对水下运动体测速中存在的难度大、精度低等问题,提出一种基于加速度计和机械测速装置的融合测速方法。该方法实质上是一种改良的模糊自适应卡尔曼滤波,在常规卡尔曼滤波的基础上,引入了自适应参数,并通过模糊控制器对残差的监控来实时调整自适应参数。经Matlab仿真和实际试验证实:该方法可以有效地提高卡尔曼滤波器的跟踪性,并改善滤波效果,适用于通用的水下运动体测速。     

一种集中式水下无线传感器网跨层调度协议

分析了水下无线传感器网络（WSNs）中单链路发射功率和距离与频率的关系,提出一种跨层的集中式调度方法,AP（access point）在网络中通过广播信标的形式收集估计各节点的时延和距离信息,在MAC层考虑水下链路延迟特点,对各链路进行调度减少冲突;节点在物理层通过自适应地改变节点发射功率和发射频率,减少能耗.仿真结果表明：所提方案在节省系统能量消耗的同时,能够减少碰撞,提高系统吞吐量.