期刊文献+
共找到554篇文章
< 1 2 28 >
每页显示 20 50 100
A Comprehensive Method for Evaluating Precision of Transfer Alignment on a Moving Base 被引量:2
1
作者 Hongliang Yin Bo Xu Dezheng Liu 《Journal of Marine Science and Application》 CSCD 2017年第3期344-351,共8页
In this study, we propose the use of the Degree of Alignment(DOA) in engineering applications for evaluating the precision of and identifying the transfer alignment on a moving base. First, we derive the statistical f... In this study, we propose the use of the Degree of Alignment(DOA) in engineering applications for evaluating the precision of and identifying the transfer alignment on a moving base. First, we derive the statistical formula on the basis of estimations. Next, we design a scheme for evaluating the transfer alignment on a moving base, for which the attitude error cannot be directly measured. Then, we build a mathematic estimation model and discuss Fixed Point Smoothing(FPS), Returns to Scale(RTS), Inverted Sequence Recursive Estimation(ISRE), and Kalman filter estimation methods, which can be used when evaluating alignment accuracy. Our theoretical calculations and simulated analyses show that the DOA reflects not only the alignment time and accuracy but also differences in the maneuver schemes, and is suitable for use as an integrated evaluation index. Furthermore, all four of these algorithms can be used to identify the transfer alignment and evaluate its accuracy. We recommend RTS in particular for engineering applications. Generalized DOAs should be calculated according to the tactical requirements. 展开更多
关键词 transfer alignment precision assessment degree of alignment Kalman smoothing returns to scale moving base engineering applications comprehensive method
在线阅读 下载PDF
A heuristic cabin-type component alignment method based on multi-source data fusion 被引量:1
2
作者 Hao YU Fuzhou DU 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2020年第8期2242-2256,共15页
In cabin-type component alignment, digital measurement technology is usually adopted to provide guidance for assembly. Depending on the system of measurement, the alignment process can be divided into measurement-assi... In cabin-type component alignment, digital measurement technology is usually adopted to provide guidance for assembly. Depending on the system of measurement, the alignment process can be divided into measurement-assisted assembly(MAA) and force-driven assembly. In MAA,relative pose between components is directly measured to guide assembly, while in force-driven assembly, only contact state can be recognized according to measured six-dimensional force and torque(6 D F/T) and the process is completed based on preset assembly strategy. Aiming to improve the efficiency of force-driven cabin-type component alignment, this paper proposed a heuristic alignment method based on multi-source data fusion. In this method, measured 6 D F/T, pose data and geometric information of components are fused to calculate the relative pose between components and guide the movement of pose adjustment platform. Among these data types, pose data and measured 6 D F/T are combined as data set. To collect the data sets needed for data fusion, dynamic gravity compensation method and hybrid motion control method are designed. Then the relative pose calculation method is elaborated, which transforms collected data sets into discrete geometric elements and calculates the relative poses based on the geometric information of components.Finally, experiments are conducted in simulation environment and the results show that the proposed alignment method is feasible and effective. 展开更多
关键词 alignment strategy Force-driven assembly Heuristic alignment method Multi-source data fusion Relative pose calculation
原文传递
Application of response surface method for optimal transfer conditions of multi-layer ceramic capacitor alignment system
3
作者 PARK Su-seong KIM Jae-min +1 位作者 CHUNG Won-jee SHIN O-chul 《Journal of Central South University》 SCIE EI CAS 2011年第3期726-730,共5页
The multi-layer ceramic capacitor (MLCC) alignment system aims at the inter-process automation between the first and the second plastic processes.As a result of testing performance verification of MLCC alignment syste... The multi-layer ceramic capacitor (MLCC) alignment system aims at the inter-process automation between the first and the second plastic processes.As a result of testing performance verification of MLCC alignment system,the average alignment rates are 95% for 3216 chip,88.5% for 2012 chip and 90.8% for 3818 chip.The MLCC alignment system can be accepted for practical use because the average manual alignment is just 80%.In other words,the developed MLCC alignment system has been upgraded to a great extent,compared with manual alignment.Based on the successfully developed MLCC alignment system,the optimal transfer conditions have been explored by using RSM.The simulations using ADAMS has been performed according to the cube model of CCD.By using MiniTAB,the model of response surface has been established based on the simulation results.The optimal conditions resulted from the response optimization tool of MiniTAB has been verified by being assigned to the prototype of MLCC alignment system. 展开更多
关键词 multi-layer ceramic capacitor (MLCC) alignment system response surface method (RSM) MiniTAB ADAMS
在线阅读 下载PDF
Adaptive Kalman Filter of Transfer Alignment with Un-modeled Wing Flexure of Aircraft 被引量:1
4
作者 周峰 孟秀云 《Journal of Beijing Institute of Technology》 EI CAS 2008年第4期434-438,共5页
The alignment accuracy of the strap-down inertial navigation system (SINS) of airborne weapon is greatly degraded by the dynamic wing flexure of the aircraft. An adaptive Kalman filter uses innovation sequences base... The alignment accuracy of the strap-down inertial navigation system (SINS) of airborne weapon is greatly degraded by the dynamic wing flexure of the aircraft. An adaptive Kalman filter uses innovation sequences based on the maximum likelihood estimated criterion to adapt the system noise covariance matrix and the measurement noise covariance matrix on line, which is used to estimate the misalignment if the model of wing flexure of the aircraft is unknown. From a number of simulations, it is shown that the accuracy of the adaptive Kalman filter is better than the conventional Kalman filter, and the erroneous misalignment models of the wing flexure of aircraft will cause bad estimation results of Kalman filter using attitude match method. 展开更多
关键词 transfer alignment adaptive Kalman filter wing flexure of the aircraft velocity and attitudematch method
在线阅读 下载PDF
Dynamic Shafting Alignment Algorithms Considering Sensitivity Analysis and Its Application
5
作者 Chao Wang Luyi Lu +1 位作者 Kun Wang Jianlan Li 《Journal of Beijing Institute of Technology》 EI CAS 2019年第3期617-625,共9页
A method for dynamic alignment calculation of a large turbogenerator shafting is proposed. The method can analyze bearing load and bearing load sensitivity. Shafting alignment is made up of two parts:static alignment ... A method for dynamic alignment calculation of a large turbogenerator shafting is proposed. The method can analyze bearing load and bearing load sensitivity. Shafting alignment is made up of two parts:static alignment and dynamic alignment. Static alignment forms the basis of dynamic alignment, its mathematical model is deduced by transfer matrix method, the shafting static characteristic parameters under specific alignment installation requirements were obtained afterwards. Based on superposition method, bearing sensitivity analysis is performed to find the impact of slight bearing elevation change of the static alignment result. Above static alignment, dynamic shafting alignment considers the internal geometry of bearing under rotating state, static Reynolds equation is solved by the finite difference method and the relative position relationship of the center of journal and bearing are obtained. For static characteristic parameters calculated by static alignment and bearing sensitivity analysis, the calculation accuracy is verified by finite element software. The alignment model and codes in this paper can be a tool for the installation and safety analysis of large-scale shafting with three-point or four-point supports. 展开更多
关键词 alignment sensitivity analysis TRANSFER matrix method SUPERPOSITION method FINITE DIFFERENCE method
在线阅读 下载PDF
大跨斜拉桥无砟轨道空间几何形位多维评估
6
作者 陈嵘 庞天棋 +4 位作者 薛旻 周俊宏 文明 王铭 吕涛 《铁道工程学报》 北大核心 2026年第1期26-31,共6页
研究目的:随着高速铁路的迅猛发展,为满足线路平顺性和跨越复杂地形的需求,大跨度桥梁被广泛应用在铁路上。由于无砟轨道与大跨度桥梁刚度相差较大,目前已出现轨道结构适应性不良、几何形位较差等问题,因此确保列车在大跨度桥上无砟轨... 研究目的:随着高速铁路的迅猛发展,为满足线路平顺性和跨越复杂地形的需求,大跨度桥梁被广泛应用在铁路上。由于无砟轨道与大跨度桥梁刚度相差较大,目前已出现轨道结构适应性不良、几何形位较差等问题,因此确保列车在大跨度桥上无砟轨道安全运行成为当前重要的议题。本文以实际工程为研究背景,以设计速度160 km/h、主跨688 m大跨度斜拉桥上无砟轨道为研究对象,从频域、时频域等维度出发,多维多角度探究轨道几何形位的平顺性。研究结论:(1)频域分析发现各工况的不平顺能量主要集中于长波频段(200 m以上),列车在跨中对轨道高低平顺性影响最大;(2)时频域分析得到跨中(里程688 m)、梁端处(里程100 m)的长波能量聚集的现象,且能量主要聚集在231.7~463.5 m及以上区段;(3)列车敏感波长与轨道主要不平顺能量波长相距较远,故列车在经过此大跨度桥时不会发生明显振动;(4)静态几何形位分析发现轨道不平顺幅值主要发生在跨中(688 m)、桥塔(344 m)区域附近;(5)对轨道动态不平顺进行分析,得到整体升温、整体降温工况下对动态不平顺的影响较大;(6)本研究结果可为大跨桥上无砟轨道优化设计提供参考。 展开更多
关键词 高速铁路 大跨度斜拉桥 无砟轨道几何形位 弦测法 小波变换 虚拟轨检
在线阅读 下载PDF
双目标跨域推荐中嵌入方法与领域对齐技术研究综述
7
作者 胡思雨 梅红岩 +2 位作者 杨海燕 程耐 张晓宇 《计算机科学与探索》 北大核心 2026年第3期711-729,共19页
双目标跨域推荐作为跨域推荐技术的关键分支,凭借双向协同优化机制同步提升源域与目标域推荐效能,在电子商务、视频分发、新闻资讯等领域应用广泛。介绍了跨域推荐中的领域层次结构与重叠场景特征,并从知识嵌入方式方法角度,详细阐述协... 双目标跨域推荐作为跨域推荐技术的关键分支,凭借双向协同优化机制同步提升源域与目标域推荐效能,在电子商务、视频分发、新闻资讯等领域应用广泛。介绍了跨域推荐中的领域层次结构与重叠场景特征,并从知识嵌入方式方法角度,详细阐述协同过滤嵌入、图嵌入和自监督学习嵌入的核心原理,对比分析了其技术特性与适用场景;从领域对齐技术角度,着重对比了基于特征映射、解耦表示学习、元学习及联邦学习的四类主流领域对齐方案,总结了其技术差异与实践价值。系统梳理了双目标跨域推荐中的主流数据集与评估指标,结合不同跨域场景特性,明确各数据集与指标的适配准则。基于当前研究现状与技术挑战,对双目标跨域推荐的未来发展方向进行展望。 展开更多
关键词 双目标跨域推荐 嵌入方法 领域对齐
在线阅读 下载PDF
基于列车能耗与建设成本的重载铁路线路纵断面双目标优化
8
作者 孙铭浩 曾勇 《铁道标准设计》 北大核心 2026年第1期17-24,40,共9页
为了在重载铁路线路纵断面优化中达到同时降低列车运行能耗和建设成本的目的,首先,以变坡点里程和高程为决策变量,考虑坡长与坡度两类约束,以最小化列车能耗与建设成本为目标,建立重载铁路线路纵断面双目标优化模型;其次,将“擂台赛”... 为了在重载铁路线路纵断面优化中达到同时降低列车运行能耗和建设成本的目的,首先,以变坡点里程和高程为决策变量,考虑坡长与坡度两类约束,以最小化列车能耗与建设成本为目标,建立重载铁路线路纵断面双目标优化模型;其次,将“擂台赛”法与粒子群算法相结合,利用“擂台赛”法改进非支配解集构造过程,通过聚集距离和边际效益分析获取全局最优解,提出双目标粒子群改进算法,并将排除法作为对比方法,以反世代距离评价指标(IGD)为评价指标,采用典型测试函数对改进算法性能进行分析;最后,结合某线路设计案例,对构建的双目标优化模型与改进算法进行应用分析。研究结果表明:与排除法相比,基于“擂台赛”法的粒子群改进算法性能有明显提升,利用其优化典型测试函数时得到的IGD值为0.028,比排除法小0.052,得到的Pareto最优解个数为20个,比排除法多5个,耗时比排除法少0.26s;与人工设计方案相比,通过本模型优化后的方案,其列车能耗降低3.44%,建设成本降低22.1%。 展开更多
关键词 重载铁路 纵断面优化 双目标粒子群改进算法 “擂台赛”法 列车能耗 建设成本
在线阅读 下载PDF
基于标准条码线性拟合水平准线偏差的溯源方法
9
作者 梁琦 李铭 +2 位作者 朱凌建 黄秋红 杨晓磊 《工业仪表与自动化装置》 2026年第1期81-87,共7页
基于水平准线偏差的应用原理,针对双目标平行光管数字水准仪检定装置,提出1种互检法的溯源思路。数字水准仪检定装置是1种专用型计量标准装置,可用于光学式水准仪和数字式水准仪的检定。该检定装置主要由2支平行光管组成,光管内部的分... 基于水平准线偏差的应用原理,针对双目标平行光管数字水准仪检定装置,提出1种互检法的溯源思路。数字水准仪检定装置是1种专用型计量标准装置,可用于光学式水准仪和数字式水准仪的检定。该检定装置主要由2支平行光管组成,光管内部的分划板具有标准条码分划影像。相同的2支平行光管呈对径方向设立作为观测的双目标。该装置按要求建立的水平准线应不大于2′′;根据水平准线偏差的误差来源及相关实验数据分析数字水准仪检定装置核心技术指标测量结果的不确定度,结果验证显示该方法建立水平准线的测量结果不确定度优于0.6′′,该思路构建的校准方法完全满足量值传递的技术要求,为深入研究数字水准仪检定装置的溯源奠定了良好的基础。 展开更多
关键词 检定装置 溯源方法 水平准线偏差 误差分析 不确定评定
在线阅读 下载PDF
星间激光通信载荷光学天线批产化装调方法
10
作者 杨成龙 冯佳时 +3 位作者 李宇 姚文凯 李艳杰 钟兴 《中国光学(中英文)》 北大核心 2026年第1期109-122,共14页
随着空间激光通信技术的快速发展,高速星间链路组网需求日益强烈。然而,国内现阶段对星间激光通信载荷的研究仍以试验验证性质为主,光学系统设计复杂,加工、装调、检测时间长且成本高,不利于激光终端的低成本快速批产。为解决这一问题,... 随着空间激光通信技术的快速发展,高速星间链路组网需求日益强烈。然而,国内现阶段对星间激光通信载荷的研究仍以试验验证性质为主,光学系统设计复杂,加工、装调、检测时间长且成本高,不利于激光终端的低成本快速批产。为解决这一问题,本文提出了一种单波段消色差的透射式光学天线,以及基于平行光管检测光学天线放大倍率的快速装调方法。通过减小色差校正范围,使得光学天线的长度缩短了15.83%,透镜数量从6片减少到4片,降低了加工成本。仿真模拟给出放大倍率的装调范围为4.37~5.08。实际装调后,放大倍率实测值为4.82,信号发射光路的发散角为67.53μrad,信号接收光路的耦合效率为51.42%,自标校光斑尺寸在12 pixel×12 pixel以内。同时还进行了对照试验,结果显示所提方法的装调时间还未到干涉仪法的10%。装调测试结果表明,本方法既可在设计上实现光学天线的轻小型化设计,也可大幅度降低装调检测时间,并实现信号收发、捕跟探测与自标校光路的同步合焦。 展开更多
关键词 激光通信 光学天线 光学设计 装调方法
在线阅读 下载PDF
乙烯热泵压缩机对中偏差故障诊断与优化
11
作者 肖光宇 《压缩机技术》 2026年第1期56-58,共3页
针对某石化企业乙烯分离装置热泵压缩机增速箱高速轴检修后开机时触发的振动联锁停机故障,本文通过状态监测与热力学分析揭示了冷态对中标准未覆盖热膨胀效应的故障机理。研究发现,原冷态对中标准未考虑热膨胀效应(温升100℃导致轴线上... 针对某石化企业乙烯分离装置热泵压缩机增速箱高速轴检修后开机时触发的振动联锁停机故障,本文通过状态监测与热力学分析揭示了冷态对中标准未覆盖热膨胀效应的故障机理。研究发现,原冷态对中标准未考虑热膨胀效应(温升100℃导致轴线上移0.044 mm)。通过建立热膨胀补偿模型(ΔL=α·L·ΔT),科学修订冷态对中外圆公差为-0.02~+0.03 mm(预留0.05 mm热膨胀量),并采用三表法对中技术实现外圆偏差≤0.015 mm的调整精度。复开后振动2倍频能量由32.55μm降至4.47μm(降幅86%),验证了方法的有效性。本研究为高速旋转设备的对中优化提供了理论依据与工程实践参考。 展开更多
关键词 乙烯热泵压缩机 对中偏差 热膨胀补偿 三表法对中
在线阅读 下载PDF
考虑索鞍效应的空间主缆悬索桥成桥线形算法
12
作者 张志国 陈叶鑫 +2 位作者 宋树宝 张景昱 张卓杰 《铁道学报》 北大核心 2026年第1期170-178,共9页
为准确计算悬索桥空间主缆几何形状,提出一种考虑索鞍空间效应影响的数值迭代算法,并重点分析考虑索鞍与否对主缆无应力长度及吊杆长度的影响。采用空间悬链线索模型,考虑主索鞍接触弧线的空间效应影响以及主缆、吊杆与加劲梁的耦合作... 为准确计算悬索桥空间主缆几何形状,提出一种考虑索鞍空间效应影响的数值迭代算法,并重点分析考虑索鞍与否对主缆无应力长度及吊杆长度的影响。采用空间悬链线索模型,考虑主索鞍接触弧线的空间效应影响以及主缆、吊杆与加劲梁的耦合作用效应,利用中跨主缆的力学平衡和变形协调关系,建立求解索形的非线性方程组,通过将其转化为无约束优化问题,构建一种利用非线性规划法进行求解的通用性算法,实现对空间索面悬索桥成桥线形的精细化计算。算例计算结果表明,索鞍空间效应对主缆线形具有明显影响,同时也证明本文建立的解析计算方法精度高、收敛快,可以辅助进行空间索面悬索桥主缆线形计算。 展开更多
关键词 空间索面悬索桥 成桥线形 非线性规划求解法 无应力长度 索鞍
在线阅读 下载PDF
服务器用高多层板层间对准度提升
13
作者 常选委 陈世金 +1 位作者 许伟廉 叶圣涛 《印制电路信息》 2026年第3期10-14,共5页
随着5G、人工智能、大数据、无人驾驶及VR/AR等新兴技术的高速发展,对数据处理能力的需求在不断提升,也使得服务器行业景气度长期向好,这进一步推动了服务器PCB的需求增长,但其层间对位精度要求极高。针对服务器用高多层板层间对准度难... 随着5G、人工智能、大数据、无人驾驶及VR/AR等新兴技术的高速发展,对数据处理能力的需求在不断提升,也使得服务器行业景气度长期向好,这进一步推动了服务器PCB的需求增长,但其层间对位精度要求极高。针对服务器用高多层板层间对准度难题,从材料、设计、工艺、设备等方面进行分析阐述,以期从本质上帮助PCB厂家解决该问题,并取得良好的经济效益。 展开更多
关键词 高多层板 对位精度 定位方式
在线阅读 下载PDF
“以学生为中心”的教学方法对大学生学习收获的影响:不同学科的适配性研究
14
作者 崔雯菡 矫怡程 《山东高等教育》 2026年第1期81-88,92,共9页
基于“国家大学生学情调查数据库(NCSS)”,分析“以学生为中心”的教学方法对不同学科大学生学习收获的影响。结果表明:教学方法的选择受到学科内在逻辑的影响,不同学科教学方法选择存在应用偏好;“以学生为中心”的教学方法整体上显著... 基于“国家大学生学情调查数据库(NCSS)”,分析“以学生为中心”的教学方法对不同学科大学生学习收获的影响。结果表明:教学方法的选择受到学科内在逻辑的影响,不同学科教学方法选择存在应用偏好;“以学生为中心”的教学方法整体上显著促进大学生的学习收获,不同教学方法对学生学习收获的作用效果存在差异;教学方法与学科属性的适配程度决定学生各项学习收获,是提高教学质量的关键机制。基于此,研究提出以下建议:一是深化教学方法与学科属性及学习机制的联结,推动教师成为“教学设计者”;二是教师应依据教学规划与培养目标,针对性组合不同教学方法,同时加入过程性评价与能力评价,完善评价体系;三是摒弃统一教学方法与模式,探索“学科适配”的教学方法配置机制,让“以学生为中心”理念落地于学科特性,保障各学科学生实现深度学习,提升课堂质量与学习收获。 展开更多
关键词 以学生为中心 教学方法 学科属性 学习收获 适配性
在线阅读 下载PDF
Flexoelectric-Induced Voltage Shift in Hybrid Aligned Nematic Liquid Crystal Cell 被引量:1
15
作者 邢红玉 叶文江 +1 位作者 张志东 宣丽 《Communications in Theoretical Physics》 SCIE CAS CSCD 2011年第11期939-942,共4页
Flexoelectric-induced voltage shift in a weak anchoring hybrid aligned nematic fiquid crystai cell is investigated theoretically. Based on the elastic theory of liquid crystal and the variation method, the equations f... Flexoelectric-induced voltage shift in a weak anchoring hybrid aligned nematic fiquid crystai cell is investigated theoretically. Based on the elastic theory of liquid crystal and the variation method, the equations for the bulk and the boundary of the cell are derived. By computer simulation, the dependence of the shift voltage on the sum of the ttexoelectric coefficients and the anchoring energy strength is obtained. As a result, a novel method to determine the sum of the flexoelectric coefficients by measuring the shift voltage is put forward. 展开更多
关键词 flexoelectric voltage shift hybrid aligned nematic shift voltage variation method
在线阅读 下载PDF
Propulsion Performance of Spanwise Flexible Wing Using Unsteady Panel Method
16
作者 NAJAFI Saeed LIU Pengfei 《Journal of Ocean University of China》 SCIE CAS CSCD 2020年第3期505-518,共14页
In this paper, the propulsion performance of a spanwise flexible oscillating wing, which is broadly similar to the undulation of a fin fluke, is investigated. The geometry of the fluke underwent three prescribed harmo... In this paper, the propulsion performance of a spanwise flexible oscillating wing, which is broadly similar to the undulation of a fin fluke, is investigated. The geometry of the fluke underwent three prescribed harmonic oscillating motions simultaneously while surging with constant velocity. The effect of deflection phase angle, flexibility parameter, and wing tip deflection amplitude on thrust coefficient and swimming efficiency was studied. A low-order unsteady panel method coupled with a time stepping algorithm for free wake alignment is implemented in a computer program to estimate the propulsion efficiency of lifting bodies. A novel approach is introduced to evaluate the singular integrals of line vortices by using an adaptive mollifier function. This method is an efficient way to accelerate computational speed by reducing the order of problem from R^3 to body boundaries. Results present the significant effect of phase angle on the propulsion characteristics of oscillating fluke. 展开更多
关键词 propulsion performance fin whale fluke flexible wing panel method wake alignment
在线阅读 下载PDF
Low-order Wavefront Error Compensation for Multi-field of Lithography Projection Objective Based on Interior Point Method
17
作者 LU Yutong ZHOU Ji +4 位作者 KANG Xia ZHU Xianchang LIU Junbo WANG Jian HU Song 《Instrumentation》 2022年第3期43-50,共8页
Low-order wavefront error account for a large proportion of wave aberrations.A compensation method for low order aberration of projection lithography objective based on Interior Point Method is presented.Compensation ... Low-order wavefront error account for a large proportion of wave aberrations.A compensation method for low order aberration of projection lithography objective based on Interior Point Method is presented.Compensation model between wavefront error and degree of movable lens freedom is established.Converting over-determined system to underdetermined system,the compensation is solved by Interior Point Method(IPM).The presented method is compared with direct solve the over-determined system.Then,other algorithm GA,EA and PS is compared with IPM.Simulation and experimental results show that the presented compensation method can obtained compensation with less residuals compared with direct solve the over-determined system.Also,the presented compensation method can reduce computation time and obtain results with less residuals compare with AGA,EA and PS.Moreover,after compensation,RMS of wavefront error of the experimental lithography projection objective decrease from 56.05 nm to 17.88 nm. 展开更多
关键词 Wavefront Error Compensation Lithography Projection Objective Interior Point method Computer Aided alignment
原文传递
基于姿态和角速度匹配的惯性基准快速传递方法
18
作者 熊凯 李骥 +1 位作者 黄翔宇 魏春岭 《空间控制技术与应用》 北大核心 2025年第2期16-27,共12页
研究融合卫星平台上的星敏感器和陀螺测量信息,将平台上的惯性基准快速有效地传递到星上载荷的方法,使得载荷从平台上释放分离后,能够独立实施自身姿态控制并完成既定空间任务.惯性基准传递的主要目的是在载荷上建立参考坐标系,通常要... 研究融合卫星平台上的星敏感器和陀螺测量信息,将平台上的惯性基准快速有效地传递到星上载荷的方法,使得载荷从平台上释放分离后,能够独立实施自身姿态控制并完成既定空间任务.惯性基准传递的主要目的是在载荷上建立参考坐标系,通常要求计算出由本体坐标系到惯性坐标系的姿态转换矩阵,并确定载荷上惯性测量装置的主要误差参数.在已有惯性基准传递方法中,基于平台上的星敏感器估计载荷姿态和载荷上陀螺的主要误差参数,传递对准时间所需时间较长,难以满足具有应急响应能力要求的空间任务需求.针对上述问题,提出一种基于“姿态+角速度”匹配的惯性基准传递系统模型和一种基于克拉美劳下界(CramerRao lower bound,CRLB)的平台姿态机动优化方法,旨在提升惯性基准传递快速性.将平台上姿态确定系统的角速度测定信息引入惯性基准传递,并基于惯性基准传递系统的CRLB规划平台姿态机动时间,通过卡尔曼滤波器(Kalman filter,KF)实现星上载荷姿态及其陀螺主要误差参数估计.通过数学仿真评估了所提方法的有效性. 展开更多
关键词 航天器 姿态确定 传递对准 卡尔曼滤波器 标定方法
在线阅读 下载PDF
生物序列比对动态规划算法的统一形式化构造与Isabelle验证
19
作者 石海鹤 蓝孙文 +3 位作者 刘日明 石海鹏 王岚 钟林辉 《计算机研究与发展》 北大核心 2025年第1期119-131,共13页
序列比对是生物序列分析中的一个经典问题,旨在找出序列之间的相似性,它对于发现生物序列中的功能、结构和进化信息都具有重要的意义.该问题可分为双序列比对和多序列比对2类,现有工作多针对特定算法展开,没有设计通用的求解方法;此外,... 序列比对是生物序列分析中的一个经典问题,旨在找出序列之间的相似性,它对于发现生物序列中的功能、结构和进化信息都具有重要的意义.该问题可分为双序列比对和多序列比对2类,现有工作多针对特定算法展开,没有设计通用的求解方法;此外,甚少涉及算法可信性的研究.从生物序列比对问题的形式化规约出发,通过深入分析问题的性质,刻画问题求解的本质特征,借助形式化方法PAR(partition andrecursion)设计了序列比对动态规划算法的统一构造框架seqAlign;展示了应用该框架构造序列数为3的多序列比对算法的过程,并使用Isabelle定理证明器对构造结果进行形式化验证;利用PAR平台生成了该算法的C++可执行程序,进一步分析了由seqAlign框架机械化构造其他类型序列比对算法的过程.通过严密的规约精化和形式验证,有效地保证了生成算法的可信性;开发的seqAlign框架提供了序列比对问题类的通用求解方案,显著提高了序列比对算法族生成的效率.研究结果在生物序列分析中序列比对问题上的成功应用,从方法学和实践上可为复杂生物信息学领域高可靠算法的构造提供参考. 展开更多
关键词 序列比对 PAR方法 形式构造 Isabelle定理证明器
在线阅读 下载PDF
上一页 1 2 28 下一页 到第
使用帮助 返回顶部