检索结果-南通市图书馆

变结构井下救援机器人动力学建模与轨迹跟踪控制

在线全文

学校读者我要写书评

暂无评论

机械传动 2024年第10期48卷 96-104页

作者：田海波芦茂林王奥西安科技大学机械工程学院陕西西安710054

针对钻孔救援需求,设计了一种变结构井下救援机器人,该机器人可改变自身构型,通过钻孔进入井下环境。根据机器人结构特点,分析了机器人的转向机制,建立了考虑机器人前轮/履带-土壤间力学作用、描述机器人转向特性的动力学模型;为提高机... 详细信息

针对钻孔救援需求,设计了一种变结构井下救援机器人,该机器人可改变自身构型,通过钻孔进入井下环境。根据机器人结构特点,分析了机器人的转向机制,建立了考虑机器人前轮/履带-土壤间力学作用、描述机器人转向特性的动力学模型;为提高机器人的转向性能,分析了系统的瞬态及稳态响应以及不同结构参数对转向性能的影响,并对机器人结构参数进行了改进;基于机器人动力学模型,设计模型预测控制(ModelPredictiveControl,MPC)控制器,实现了直线轨迹和圆形轨迹的轨迹跟踪仿真。结果表明,所建动力学模型是有效的,MPC轨迹跟踪控制器能够稳定地跟踪期望轨迹,为机器人的控制奠定了基础。

关键词：井下救援机器人动力学建模轨迹跟踪

维普期刊数据库博看期刊

A short non-delegatable strong designated verifier signature

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2014年第3期8卷 490-502页

作者： haibo tian Jin LI School of Information Science and Technology Sun Yat-Sen University Guangzhou 510275 China School of Computer Science Guangzhou University Guangzhou 510006 China

A non-delegatable strong designated verifier signature （NSDVS） enforces verification of a signature by a designated verifier only. The concept is useful in various commercial cryptographic applications such as copyright protection, e-voting, and e-libraries. This paper reports the shortest NSDVS so far that consists of only two elements. The scheme is inspired by an identification scheme and Cramer et al.＇s OR-proof technique where a prover can prove that he knows at least one out two secrets. It is solidified by a symmetric key based group to group encryption algorithm. Two implementations of the algorithm are reported. The scheme is provably secure with respect to its properties of unforgeability, non-transferability, privacy of signer＇s identity, and non-delegatability.

关键词： designated verifier signature non-delegatability symmetric encryption

ESE: Efficient Security Enhancement Method for the Secure Aggregation Protocol in Federated Learning

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2023年第3期32卷 542-555页

作者： tian haibo LI Maonan REN Shuangyin School of Computer Science and Engineering Sun Yat-Sen University

In federated learning, a parameter server may actively infer sensitive data of users and a user may arbitrarily drop out of a learning process. Bonawitz et al. propose a secure aggregation protocol for federated learning against a semi-honest adversary and a security enhancement method against an active adversary at ACM CCS 2017. The purpose of this paper is to analyze their security enhancement method and to design an alternative. We point out that their security enhancement method has the risk of Eclipse attack and that the consistency check round in their method could be removed. We give a new efficient security enhancement method by redesigning an authentication message and by adjusting the authentication timing. The new method produces an secure aggregation protocol against an active adversary with less communication and computation costs.

关键词： Protocols Costs Federated learning Design methodology Authentication Timing Security

Pseudorandom number generator based on supersingular elliptic curve isogenies

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2022年第5期65卷 267-269页

作者： Yan HUANG Fangguo ZHANG Zhijie LIU haibo tian School of Electronic and Information Engineering Sun Yat-sen University School of Data and Computer Science Sun Yat-sen University Guangdong Key Laboratory of Information Security

Dear editor,Pseudorandom number generator(PRNG) is very important for the randomness study in some cryptographic algorithms.A PRNG is a deterministic function that takes a uniform random bit string as input and output... 详细信息

关键词： Post-quantum cryptography Pseudorandom generator Supersingular elliptic curve isogenies Decisional Supersingular Product Indistinguishability

Selectively unforgeable but existentially forgeable signature schemes and applications

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2013年第1期56卷 98-111页

作者： tian haibo ZHANG FangGuo CHEN XiaoFeng WEI BaoDian School of Information Science and Technology Sun Yat-Sun University State Key Laboratory of Integrated Service Networks Xidian University

This paper gives definitions,constructions and applications of signature schemes,which are selectively unforgeable but existentially forgeable(SUEF).We formalize the special notion under conditions of chosen message attack(CMA) and known message attack(KMA).Then two general constructions are presented with two concrete *** apply the SUEF secure signature schemes to an elementary authentication mechanism,the challenge-response mechanism,to obtain a basic deniable authentication *** method is presented as a deniable message transmission(MT) authenticator in the extension framework of Raimondo.

关键词： signature schemes selectively unforgeable deniable authentication

DSO催化汽油选择性加氢装置加工石脑油探索与实践

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中外能源 2024年第5期29卷 88-93页

作者：魏文田海波杨琪贾永杰浙江石油化工有限公司浙江舟山316000

某公司炼化一体化项目全面投产后,由于实际加工原油性质与设计性质相差较大,出现了石脑油加工装置能力不足的问题。按照不新建装置、不进行大改造的原则,对比了DSO催化汽油选择性加氢装置与石脑油加氢装置的工艺原理、原料性质和运行参... 详细信息

某公司炼化一体化项目全面投产后,由于实际加工原油性质与设计性质相差较大,出现了石脑油加工装置能力不足的问题。按照不新建装置、不进行大改造的原则,对比了DSO催化汽油选择性加氢装置与石脑油加氢装置的工艺原理、原料性质和运行参数,并结合流程模拟,确定DSO催化汽油选择性加氢装置的重汽油加氢脱硫单元可以加工石脑油。将DSO催化汽油选择性加氢装置进行了简单工艺流程改造,实现了预加氢和重汽油加氢脱硫两部分独立运行,在重汽油加氢脱硫部分进行了加工石脑油的尝试。将重汽油加氢脱硫单元的原料调整为石脑油后,经过操作参数调整,产出了合格的精制石脑油,硫、氮含量满足连续重整装置原料要求。DSO催化汽油选择性加氢装置创造性地两段分开加工不同原料,丰富了石脑油的加工线路,发挥了装置的灵活性,促进了项目总负荷的提升。

关键词： DSO催化汽油选择性加氢石脑油加氢石脑油精制石脑油

Key Management Protocol of the IEEE 802.16e

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2007年第1期12卷 59-62页

作者： tian haibo PANG Liaojun WANG Yumin State Key Laboratory of Integrated Service Network Xidian University Xi＇an 710071 Shaanxi China

IEEE 802.16e, as an amendment and corrigendum to the IEEE 802.16-2004, published on 28 February 2006, and intended to update and expand IEEE 802.16-2004 to allow for mobile subscriber stations. This paper summarizes the key management protocol belonging to security part of the IEEE 802.16e, which includes security negotiation, authorization, key derivation, handshake, and key transportation. While these building blocks are well designed, we point out some unwelcome features for these building blocks. We also give out suggestions to diminish the proposed problems.

关键词： IEEE 802.16e security analysis key management protocol

在线全文

学校读者我要写书评

暂无评论

掘进巷道过风氧化带支护参数优化设计研究

建井技术 2024年第4期45卷 35-43页

作者：田海波彭杨皓张衡田利波刘海军贾晓宇山西石泉煤业有限责任公司山西长治046200 华电煤业集团有限公司北京100035 甘肃万胜矿业有限公司甘肃庆阳745713

针对甜水堡煤矿1302工作面回风巷道在掘进至315m时,由于受到上覆岩层风氧化带影响,导致顶板较破碎、成型较差以及锚杆锚固力达不到设计要求而引起巷道易发生冒顶事故的难题,现场运用钻孔窥视技术对1302工作面回风巷道顶板围岩裂隙发育... 详细信息

针对甜水堡煤矿1302工作面回风巷道在掘进至315m时,由于受到上覆岩层风氧化带影响,导致顶板较破碎、成型较差以及锚杆锚固力达不到设计要求而引起巷道易发生冒顶事故的难题,现场运用钻孔窥视技术对1302工作面回风巷道顶板围岩裂隙发育情况进行观测分析,并掌握了1302工作面回风巷道围岩裂隙发育时空演化规律。基于巷道顶板岩层叠加支护作用机理,对已采用的支护方式进行优化设计,并采用数值模拟和工业性试验对支护效果进行了验证。研究结果表明:在圆弧拱断面巷道中,采用长短锚索加钢筋梯梁“3-3-3”布置方式可以有效地控制1302工作面回风巷道顶板破碎围岩。该研究成果可为类似巷道的支护设计提供理论及实践依据。

关键词：钻孔窥视技术裂隙发育围岩松动圈长短锚索巷道支护

Cable-driven legged landing gear for unmanned helicopter:Prototype design,optimization and performance assessment

在线全文

学校读者我要写书评

暂无评论

Science China(Technological Sciences) 2024年第4期67卷 1196-1214页

作者： tian BaoLin GAO haibo YU HaiTao SHAN HaoMin HOU JunChen YU HongYing DENG ZongQuan State Key Laboratory of Robotics and System Harbin Institute of TechnologyHarbin 150001China China Academy of Aerospace Science and Innovation Beijing 100048China

Unmanned helicopters equipped with adaptive landing gear will dramatically extend their application especially in dealing with challenging *** study presents a novel cable-driven legged landing gear(CLG)with differential transmission for unmanned helicopters in complex landing *** obtain the preferred configuration of the legged mechanism,a multi-objective optimization framework for the CLG is constructed by concurrently considering terrain adaptability,landing stability and reasonable linkage of internal *** non-dominated sorting genetic algorithmⅡis employed to numerically acquire the optimal scale parameters that guide the mechanical design of the *** unmanned helicopter prototype equipped with the devised CLG is developed with key performance *** results show that the devised CLG can provide energy-efficient support over uneven terrains(totally driven torque demand less than 0.1 N m)in quasi-static landing tests,and favorable terrain adaptability(posture fluctuation of the fuselage less than±1°)in unknown slope landing *** exhibited merits give the proposed CLG the potential to enhance the landing performance of future aircraft in extreme environments.

关键词： unmanned helicopter adaptive landing gear experimental verification