检索结果-南通市图书馆

考虑输入饱和的空间飞行器姿态神经鲁棒自适应滑模控制

在线全文

学校读者我要写书评

暂无评论

宇航学报 2024年第8期45卷 1269-1280页

作者：李成洋王伟耿宝魁胡宽容王雨辰北京理工大学宇航学院北京100081 无人机自主控制技术北京市重点实验室北京100081 西北工业集团有限公司西安710043

针对空间飞行器姿态跟踪控制过程中出现的执行器饱和、模型不确定性和未知外部扰动问题,提出了一种鲁棒自适应径向基函数神经网络(RBFNN)增强滑模控制方法。首先,基于四元数法建立空间飞行器姿态运动学和动力学模型,并针对未知外部扰动... 详细信息

针对空间飞行器姿态跟踪控制过程中出现的执行器饱和、模型不确定性和未知外部扰动问题,提出了一种鲁棒自适应径向基函数神经网络(RBFNN)增强滑模控制方法。首先,基于四元数法建立空间飞行器姿态运动学和动力学模型,并针对未知外部扰动建立非线性扰动观测器。其次,为了解决执行器饱和问题,引入高斯误差函数对控制器幅值进行约束,并以PID滑模控制为框架,对控制器进行设计。在控制器设计过程中,利用新型切换函数将鲁棒自适应控制和RBFNN进行结合,对模型不确定性进行逼近,并利用梯度下降法解决RBFNN权值优化问题。随后,基于Lyapunov理论证明闭环系统的有界性,并分析了闭环系统的收敛域。最后,通过仿真分析验证了所设计控制器的有效性和鲁棒性。

关键词：空间飞行器执行器饱和模型不确定扰动观测器 RBFNN

中国九大流域水-光-风发电要素时空变化未来预估

在线全文

学校读者我要写书评

暂无评论

应用基础与工程科学学报 2024年第3期32卷 754-772页

作者：尹冬勤成东霞李想李璐郑诚黄跃飞魏加华中国农业大学土地科学与技术学院北京100193 辽宁省农业科学院信息研究所辽宁沈阳110161 中国水利水电科学研究院流域水循环模拟与调控国家重点实验室北京100038 青海大学三江源生态与高原农牧业国家重点实验室青海西宁810016 清华大学水利水电工程系北京100084

为实现碳达峰、碳中和发展目标,我国正在大力推进新能源大规模高比例发展和构建以新能源为主体的新型电力系统,并在全国范围规划布局了多个水-光-风清洁能源基地.水电、光伏、风电生产与降水、径流、地表辐射、风速等4种气象水文要素直... 详细信息

为实现碳达峰、碳中和发展目标,我国正在大力推进新能源大规模高比例发展和构建以新能源为主体的新型电力系统,并在全国范围规划布局了多个水-光-风清洁能源基地.水电、光伏、风电生产与降水、径流、地表辐射、风速等4种气象水文要素直接相关,且对于气候变化极为敏感.为探究不确定环境下水电为主要调节电源的多能系统互补效能演变特征,搜集整理了第六次国际耦合模式比较计划(CMIP6)中同时包含4种要素和4种发展情景(SSP1.2.6、SSP2-4.5、SSP3-7.0、SSP5-8.5)的1.种气候模式数据,在流域尺度上评估了1.71.21.0年4种要素的时空变化及其对水-光-风互补发电的潜在影响.研究结果表明:远未来(2061.21.0年)相比近未来(2021.2060年),降水、径流、辐射增加幅度和可能性更大,风速减少幅度和可能性更大;远未来海河、松辽河、内陆河、淮河、西南诸河等流域片降水、径流有较大幅度提升,可以推测在不考虑水电工程调节能力限制等约束下,这些流域通过水电匹配上网的光-风发电量将有明显提升.

关键词：降水径流地表辐射风速时间演变空间分布 CMIP6模式气候变化

High Precise Attitude Updating Algorithm for SINS using Angular Rate

在线全文

学校读者我要写书评

暂无评论

High Precise Attitude Updating Algorithm for SINS using Angu...

第24届中国控制与决策会议

作者： Nan li 1., Qingbo Geng 1., {1. li 1., Qing Fei 1.1. School of Automation, beijing institute of Technology, beijing 1.0081

In strap-down inertial navigation system (SINS), the attitude updating algorithms using angular rate have superior performance than conventional ones using angular increment for modern-day gyro whose output is angular rate. However, most of them are obtained by omitting the higher order cross product in the rotation vector differential equation, which leads to degrade the accuracy of algorithms inevitably and cannot restrain noncommutativity error in the high dynamic condition. Due to the {1.mitation on the computer performance and modern-day gyro technology, it is impossible to increase sample numbers and update frequency infinitely for the purpose of improving the attitude accuracy. To solve this problem, the new algorithm deducted by adding the higher order cross item is proposed. Simulations are carried on under coning motion. While angular rate is used as algorithm input, the accuracy and stabi{1.ty of attitude computation can be improved effectively as compared with conventional ones and others using angular rate.

关键词： Algorithm Attitude Rotation Vector SINS

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

拦截机动目标的固定时间事件触发协同制导律

北京理工大学学报 2024年第10期44卷 1040-1050页

作者：王鹏何智川李军智李虹言耿宝魁范卫鹏北京理工大学宇航学院北京100081 中国兵器工业试验测试研究院陕西西安714200 北京航空航天大学电子信息工程学院北京100191 西北工业集团有限公司陕西西安710043

针对无向通信拓扑结构下的多枚导弹考虑角度约束同时攻击机动目标的问题,提出一种事件触发控制下的固定时间收敛分布式多弹协同制导律.首先,建立导弹-目标相对运动学模型,在视线坐标系下解耦为沿视线和垂直视线两个方向.其次,在视线切... 详细信息

针对无向通信拓扑结构下的多枚导弹考虑角度约束同时攻击机动目标的问题,提出一种事件触发控制下的固定时间收敛分布式多弹协同制导律.首先,建立导弹-目标相对运动学模型,在视线坐标系下解耦为沿视线和垂直视线两个方向.其次,在视线切向考虑时间约束,提出一种基于事件触发机制的固定时间收敛协同制导律,保证攻击时间的一致性;在视线法向上考虑空间角度约束,提出一种基于固定时间收敛理论的分布式空间协同制导律,使视线角和视线角速率快速收敛到期望值,以满足脱靶量和终端角度约束;同时,针对目标机动引起的系统扰动,采用固定时间收敛的观测器进行在线估计与补偿.利用Lyapunov理论,证明了所提出协同制导律的稳定性.最后,通过数学仿真,验证了所提出的协同制导律的有效性.

关键词：协同制导事件触发控制固定时间收敛攻击时间及攻击角度约束机动目标

The B4-valued propositional logic with unary logical connectives ～1./～2/┐

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2017年第5期11卷 887-894页

作者： Wei li {1. SUI State Key Laboratory of Software Development Environment Beijing University of Aeronautics and Astronautics Beijing 100191 China Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

A B4-valued propositional logic will be proposed in this paper which there are three unary logical connectives ～1. ～2, ┐ and two binary logical connectives A, v, and a Gentzen-typed deduction system will be given s... 详细信息

关键词： the Belnap logic modality the soundness thecompleteness

基于模糊数学的北京城区地下空间地质适宜性评价

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

地球学报 2024年第1期45卷 73-79页

作者：孙文洁杨文凯邓岳飞李文杰中国矿业大学(北京)国家煤矿水害防治工程技术研究中心北京100083 中国矿业大学(北京)机电与信息工程学院北京100083 建设综合勘察研究设计院有限公司北京100007

以北京六环以内的核心城区为例,在系统分析研究区地质条件的基础上,综合考虑敏感因素对地下空间开发地质适宜性的影响,从而构建地下空间适宜性评价指标体系,并利用层次分析法确定评价指标权重,最后采用模糊数学综合评判法对研究区地下... 详细信息

以北京六环以内的核心城区为例,在系统分析研究区地质条件的基础上,综合考虑敏感因素对地下空间开发地质适宜性的影响,从而构建地下空间适宜性评价指标体系,并利用层次分析法确定评价指标权重,最后采用模糊数学综合评判法对研究区地下空间开发适宜性进行了评价。结果表明:研究区地下空间开发适宜性以适宜性好和较好为主,占比60.1.%,地质环境条件较好,总体比较适宜地下空间开发,活动断裂、水源地分布和古河道分布3个敏感因素是制约研究区地下空间开发的主要地质因素。

关键词：适宜性评价地下空间敏感因素模糊数学

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

压水堆二回路碱化剂与材料的相容性研究进展

中国腐蚀与防护学报 2024年第2期44卷 267-277页

作者：冀跃飞郝龙王俭秋李庆华郑跃于沛柯伟中国科学院金属研究所中国科学院核用材料与安全评价重点实验室沈阳110016 中国科学技术大学材料科学与工程学院沈阳110016 广东腐蚀科学与技术创新研究院广州510700 中国核电工程有限公司北京100083

综述了国内外压水堆二回路碱化剂的应用情况及其与二回路结构材料相容性的研究进展。首先介绍了碱化剂的国内外发展历程;其次,从材料类型、水化学、碱化剂物理化学性质等3个角度讨论了碱化剂与材料的相容性;最后,论述了碱化剂调节pH的原... 详细信息

综述了国内外压水堆二回路碱化剂的应用情况及其与二回路结构材料相容性的研究进展。首先介绍了碱化剂的国内外发展历程;其次,从材料类型、水化学、碱化剂物理化学性质等3个角度讨论了碱化剂与材料的相容性;最后,论述了碱化剂调节pH的原理,并详细介绍了有机胺分子与材料表面氧化膜间的作用机制。

关键词：二回路碱化剂水化学乙醇胺结构材料

Decomposition for a new kind of imprecise information system

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2018年第2期12卷 376-395页

作者： Shaobo DENG Sujie GUAN Min li Lei WANG {1. SUI School of Information Engineering Nanchang Institute of Technology Nanchang 330099 China Key Laboratory of Intelligent Information Institute of Computing Technology Chinese Academy of Sciences Beijing 100190 China

In this paper, we first propose a new kind of imprecise information system, in which there exist conjunctions （∧＇s）, disjunctions （∨＇s） or negations （＇s）. Second, this paper discusses the relation that only contains ∧＇s based on relational database theory, and gives the syntactic and semantic interpretation for A and the definitions of decomposition and composition and so on. Then, we prove that there exists a kind of decomposition such that if a relation satisfies some property then it can be decomposed into a group of classical relations （relations do not contain ∧） that satisfy a set of functional dependencies and the original relation can be synthesized from this group of classical relations. Meanwhile, this paper proves the soundness theorem and the completeness theorem for this decomposition. Consequently, a relation containing ∧＇s can be equivalently transformed into a group of classical relations that satisfy a set of functional dependencies. Finally, we give the definition that a relation containing ∧＇s satisfies a set of functional dependencies. Therefore, we can introduce other classical relational database theories to discuss this kind of relation.

关键词： imprecise information systems decomposition composition soundness and completeness

Monotonicity and nonmonotonicity in L3-valued propositional logic

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2022年第4期16卷 33-43页

作者： Wei li {1. Sui State Key Laboratory of Software Development Environment Beihang UniversityBeijing100083China Key Laboratory of Intelligent Information Processing Institute of Computing TechnologyChinese Academy of SciencesBeijing100190China School of Computer Science and Technology University of Chinese Academy of SciencesBeijing100049China

A sequent is a pair (Γ, Δ), which is true under an assignment if either some formula in Γ is false, or some formula in Δ is true. In L_(3)-valued propositional logic, a multisequent is a triple Δ∣Θ∣Γ, which is true under an assignment if either some formula in Δ has truth-value t, or some formula in Θ has truth-value m, or some formula in Γ has truth-value f. There is a sound, complete and monotonic Gentzen deduction system G for sequents. Dually, there is a sound, complete and nonmonotonic Gentzen deduction system G′ for co-sequents Δ: Θ: Γ. By taking different quantifiers some or every, there are 8 kinds of definitions of validity of multisequent Δ∣Θ∣Γ and 8 kinds of definitions of validity of co-multisequent Δ: Θ: Γ, and correspondingly there are 8 sound and complete Gentzen deduction systems for sequents and 8 sound and complete Gentzen deduction systems for co-sequents. Correspondingly their monotonicity is discussed.

关键词： sequent mulisequent gentzen deduction system monotonicity nonmonotonicity