期刊文献+
共找到871篇文章
< 1 2 44 >
每页显示 20 50 100
自动飞行控制系统AFCS在AW189直升机上的应用分析
1
作者 张流业 张鑫泽 +2 位作者 邢孔睿 马涛 卢翔 《新技术新工艺》 2025年第3期1-8,共8页
为评估自动飞行控制系统(AFCS)在AW189直升机上的应用效果,基于AFCS的工作原理和功能模式,结合飞行试验与数据分析,研究了AFCS在不同飞行工况下对飞行稳定性和安全性的提升作用。通过对AFCS各模式(如姿态保持、航向保持等)的功能验证,... 为评估自动飞行控制系统(AFCS)在AW189直升机上的应用效果,基于AFCS的工作原理和功能模式,结合飞行试验与数据分析,研究了AFCS在不同飞行工况下对飞行稳定性和安全性的提升作用。通过对AFCS各模式(如姿态保持、航向保持等)的功能验证,运用飞行数据采集与对比分析方法,评估了AFCS在航向、巡航高度、悬停稳定性和燃油效率等方面的表现。结果表明:AFCS能够显著提高飞行精度和稳定性,减少飞行误差,降低飞行员的操作负担,并有效提高燃油效率,为AFCS在直升机中的工程应用提供了实践依据。 展开更多
关键词 afcs 自驾 飞行控制 直升机 系统集成 应用分析
在线阅读 下载PDF
基于AFCS自动改平模态的联合仿真及应用探索
2
作者 孙璐 李文哲 王小凌 《国外电子测量技术》 北大核心 2022年第5期57-61,共5页
自动飞行控制系统(AFCS)是现代战机的重要组成部分,具有众多功能模态且对外交联关系复杂,改平模态(AL)是自动飞行控制系统中优先级最高的功能模态,具有复杂的控制逻辑和控制律设计,是自动飞行控制系统外场空地勤培训中的难点。采用Simsc... 自动飞行控制系统(AFCS)是现代战机的重要组成部分,具有众多功能模态且对外交联关系复杂,改平模态(AL)是自动飞行控制系统中优先级最高的功能模态,具有复杂的控制逻辑和控制律设计,是自动飞行控制系统外场空地勤培训中的难点。采用Simscape模块,设计基于联合仿真的改平模态外场辅助培训软件,采用低成本、可视化的方法将培训人员从PPT中解放出来,对经验欠缺的培训人员更加友好,同时增强了培训的互动性,有效提高培训对象对该功能的理解,达到提升培训质量的目的。 展开更多
关键词 afcs 自动改平模态 Simscape 联合仿真 可视化
原文传递
飞行器AFCS的稳定性浅析
3
作者 曹勇 《电子世界》 2015年第16期99-100,共2页
本文以小型、低速无人机为研究对象,对其飞行控制系统的工作原理、力学特性、稳定性及操纵性、传感器技术进行了分析,重点对阻尼反馈闭环和控制律进行了阐述,做了一定程度的探索性工作,结合增稳系统提出了设计方案,为提高UAV的稳定性提... 本文以小型、低速无人机为研究对象,对其飞行控制系统的工作原理、力学特性、稳定性及操纵性、传感器技术进行了分析,重点对阻尼反馈闭环和控制律进行了阐述,做了一定程度的探索性工作,结合增稳系统提出了设计方案,为提高UAV的稳定性提供了新的思路。本文结论对实际工程具有一定的参考价值。 展开更多
关键词 飞行器 afcs 稳定性
在线阅读 下载PDF
基于AFC客流数据的城市轨道交通站点分类的聚类方法研究
4
作者 韩荔 孙雯瑄 +2 位作者 王晗嫣 区可晴 张拓 《时代汽车》 2025年第18期31-33,共3页
伴随交通强国战略的不断深化发展,城市轨道网络建设突飞猛进,乘客人次连年攀升,通过科学划分轨道交通站点类型,可显著提高运营效率、完善管理机制及加速TOD模式实施,该研究主要针对AFC客流数据驱动的轨道站点聚类方法。针对AFC秒级采样... 伴随交通强国战略的不断深化发展,城市轨道网络建设突飞猛进,乘客人次连年攀升,通过科学划分轨道交通站点类型,可显著提高运营效率、完善管理机制及加速TOD模式实施,该研究主要针对AFC客流数据驱动的轨道站点聚类方法。针对AFC秒级采样数据所引发的高维时序计算困境,利用分段聚合近似(PAA)技术对高维数据执行首阶段降维,进一步采用符号聚合近似(SAX)技术执行离散化和降维,成功处理了维度暴涨及噪声扰动,基于上述分析,分别采集工作日与休息日的地铁进出站时序特征,基于肘部法则(Elbow Method)分析得出7类为最适聚类数量,基于高斯混合模型(GMM)和期望最大化(EM)算法的组合,进行地铁站点的聚类分析。聚类结果站点被划分为:居住为主型、就业为主型、职住不匹配型、居住偏重型、就业偏重型、交通枢纽型及复合型,站点间在客流时间分布曲线形态、高峰时段属性及周边用地相关性方面存在显著差异,出站高峰小时比与进站偏态值构成分类的主要特征集。文章旨在探讨站点功能分类方法,同时也为探索城市功能结构、土地开发强度与出行特征的对应关系创造条件,并为公共交通导向型城市开发(TOD)的推进奠定了理论基础。 展开更多
关键词 AFC数据 站点分类 时间序列聚类分析 时间分段出行模式
在线阅读 下载PDF
自动飞行控制系统RVSM运行适航标准分析
5
作者 王颂 刘梦凡 张媛 《航空标准化与质量》 2025年第3期21-24,40,共5页
鉴于缩小飞行高度层垂直间隔(RVSM)运行在我国自研运输机领域属于首次开展;自动飞行控制系统(AFCS)是支撑RVSM运行的关键机载系统,结合工程实践对比分析适航法规和国家标准中规定的自动飞行控制系统相关技术要求,提出了开展自动飞行控... 鉴于缩小飞行高度层垂直间隔(RVSM)运行在我国自研运输机领域属于首次开展;自动飞行控制系统(AFCS)是支撑RVSM运行的关键机载系统,结合工程实践对比分析适航法规和国家标准中规定的自动飞行控制系统相关技术要求,提出了开展自动飞行控制系统RVSM运行适航符合性设计的功能、性能重点考虑因素,可为指导后续飞机型号开展自动飞行控制系统RVSM运行适航符合性设计提供重要参考。 展开更多
关键词 自动飞行控制系统 RVSM afcs 适航 高度保持
原文传递
基于客流特征与POI的地铁站点分类 被引量:1
6
作者 岳鲲宇 刘舰 《中国储运》 2025年第5期114-115,共2页
城市轨道中不同类型的车站周边土地利用性质存在差异,选取合适的聚类指标以及算法是分类问题的关键。姚恩建通过早晚客流高峰系数对地铁客流进行刻画来预测交通客流^([1])、李子浩等通过地铁AFC数据对乘客进行聚类,分析车站类型和大客... 城市轨道中不同类型的车站周边土地利用性质存在差异,选取合适的聚类指标以及算法是分类问题的关键。姚恩建通过早晚客流高峰系数对地铁客流进行刻画来预测交通客流^([1])、李子浩等通过地铁AFC数据对乘客进行聚类,分析车站类型和大客流风险^([2])。尹琴等通过AFC刷卡数据,将北京地铁195个站点进行分类研究^([3])、邵滢宇通过客流量与周边用地强度将哈尔滨一号线18个站点进行层次聚类分析^([4])。冷彪等利用客流特征数据进行聚类分析,发现不同时段的区域功能和相互客流关系^([5]),徐威等使用客流特征与用地特征将苏州轨道交通站点分类^([6])。 展开更多
关键词 乘客聚类 算法 AFC数据 早晚客流高峰系数
在线阅读 下载PDF
一种含精确AFC及VCO幅度校准的低噪声锁相环 被引量:1
7
作者 刘钰 倪屹 《微电子学》 北大核心 2025年第4期535-542,共8页
为了避免选择过大的调谐增益Kvco造成锁相环频率综合器相位噪声恶化以及由于非最佳子带的选择而带来的各种不良影响,提出一种精确自动频率校准(AFC)算法来实现对压控振荡器(VCO)频率子带的精确选择。同时为了进一步提升其噪声性能,提出... 为了避免选择过大的调谐增益Kvco造成锁相环频率综合器相位噪声恶化以及由于非最佳子带的选择而带来的各种不良影响,提出一种精确自动频率校准(AFC)算法来实现对压控振荡器(VCO)频率子带的精确选择。同时为了进一步提升其噪声性能,提出了一种通过对电压偏置型VCO的振荡幅度进行调节来优化噪声的方法,在尽可能提高锁相环噪声性能的同时避免过大的功耗。采用SMIC 0.11μm CMOS工艺制造该锁相环频率综合器,其VCO的工作频率范围为1.7~2.6 GHz,经过四分频后在433.92 MHz本振频率的1 MHz频偏处相位噪声为-129.59 dBc/Hz,所提出的频率综合器总功耗为4.8 mW,面积大小为0.32 mm^(2)。 展开更多
关键词 频率综合器 锁相环 AFC算法 压控振荡器 相位噪声
原文传递
基于GMM模型的城市轨道交通乘客通勤模式研究——以长沙市为例 被引量:1
8
作者 邓洁榕 刘晨辉 《都市快轨交通》 北大核心 2025年第3期48-53,共6页
本研究旨在分析城市轨道交通乘客的通勤模式,并探讨不同类型通勤乘客的特征及其规律。采用长沙市地铁2023年3月21日至4月3日两周工作日的AFC刷卡数据,选取上班进站时间、下班进站时间、地铁通勤耗时3个指标,构建高斯混合模型(Gaussian m... 本研究旨在分析城市轨道交通乘客的通勤模式,并探讨不同类型通勤乘客的特征及其规律。采用长沙市地铁2023年3月21日至4月3日两周工作日的AFC刷卡数据,选取上班进站时间、下班进站时间、地铁通勤耗时3个指标,构建高斯混合模型(Gaussian mixture model,GMM),最终将乘客划分为三类:经典通勤模式、长距离通勤模式、错峰通勤模式。研究结果表明:从通勤时间来看,经典通勤模式的通勤时间主要集中在常规高峰时段(7:30-8:30、17:30-18:30),长距离通勤模式通勤时间则略有提前,而错峰通勤的乘客则避开常规通勤高峰,上班进站时间涵盖了7:00到12:00的整个时间段,下班进站时间集中在20:00-22:00;从通勤耗时来看,经典通勤模式和错峰通勤模式乘客的通勤时长主要分布在15~30 min,而长距离通勤模式的通勤时长多在30 min以上;从居住、工作站点分布来看,长距离通勤乘客的居住站点在市区外围的分布比例显著高于其他两类乘客,错峰通勤乘客的工作站点比其他两类更为集中,主要位于餐饮和娱乐行业聚集的商业区。 展开更多
关键词 城市轨道交通 通勤客流 出行特征 高斯混合模型 聚类分析 AFC数据 职住分布
在线阅读 下载PDF
LNG生产工艺模块风冷冷却器预调试/调试推荐做法
9
作者 冷百广 冷涛田 +1 位作者 宋健辉 韩冲 《今日自动化》 2025年第9期47-49,共3页
随着油气生产设施模块化建造的流行化趋势,越来越多的LNG(液化天然气)工程项目选择根据实际投产地的地理位置以及项目设计处理能力,将其按照功能拆分成若干个不同模块进行建设。文章对LNG生产工艺模块风冷冷却器系统预调试/调试提出了... 随着油气生产设施模块化建造的流行化趋势,越来越多的LNG(液化天然气)工程项目选择根据实际投产地的地理位置以及项目设计处理能力,将其按照功能拆分成若干个不同模块进行建设。文章对LNG生产工艺模块风冷冷却器系统预调试/调试提出了推荐做法,包括相关技术要求,系统完整性要求,所需资源、设备,试验方法、检验方法、验收标准和安全要求,以确保系统安全有效运行。 展开更多
关键词 LNG 生产工艺模块 AFC预调试/调试
在线阅读 下载PDF
基于AFC数据的福州地铁客流特征与车站分类研究 被引量:1
10
作者 蓝文海 《人民公交》 2025年第11期105-108,共4页
城市轨道交通客流时空分布特征是运输组织、客流管控的基础。为提高轨道交通运营服务水平,需对轨道交通线网、线路、车站的客流特征进行深入分析,并对轨道交通关键节点——车站进行分类。本文以福州地铁为例,基于轨道交通AFC刷卡数据,... 城市轨道交通客流时空分布特征是运输组织、客流管控的基础。为提高轨道交通运营服务水平,需对轨道交通线网、线路、车站的客流特征进行深入分析,并对轨道交通关键节点——车站进行分类。本文以福州地铁为例,基于轨道交通AFC刷卡数据,分析了福州地铁线路客流水平、断面客流分布、车站进出站客流分布等特征。运用K-Means聚类算法,以工作日客流进出站小时系数为指标对福州地铁各车站进行聚类分析,将福州地铁车站分成4类,为研究福州地铁不同类型车站客流规律、车站差异化管控措施等提供依据。 展开更多
关键词 城市轨道交通 客流特征 车站分类 AFC数据 聚类分析
在线阅读 下载PDF
Correlation between Anti Mullerian Hormone (Amh), Antral Follicule Count and the Response to Ovarian Stimulation in Infertile Women in Douala
11
作者 Bilkissou Moustapha Tatah Humphry Neng +14 位作者 Nancy Elage Munge Yannick R. Onana Yaneu Junie Ngaha Diane Kamdem Jean Marie Alima Alphonse Ngalame Georges Mangala Astrid Ndolo Gervais Mounchikpou Michelle Mendoua Aimée Timnou Djokam Tchounzou Robert Michel Roger Ekono Henri Essome Charlotte Nguefack Tchente 《Open Journal of Obstetrics and Gynecology》 2025年第1期147-166,共20页
Background: The use of assisted reproductive technique (ART) is becoming more common in infertility. During ART most patients undergo ovarian stimulation. In this study we study the correlation between ovarian reserve... Background: The use of assisted reproductive technique (ART) is becoming more common in infertility. During ART most patients undergo ovarian stimulation. In this study we study the correlation between ovarian reserve markers: Anti-Mullerian hormone (AMH) and antral follicle count (AFC), and the response to ovarian stimulation at in vitro fertilization (IVF) centres in Douala Cameroon. Methods: This was a hospital based cross-sectional sectional analytic study carried out over a period of 3 years, 4 months at Clinique de l’Aéroport, Clinique Odyssée and Clinique Urogyn. Inclusion criteria were: Female partners of infertile couples undergoing ovarian stimulation for an in vitro fertilization cycle, patients who had both ovaries and had done either AMH, AFC or both before ovarian stimulation. Patients were divided into three groups based on the number of oocytes retrieved: low ovarian response for ≤3 oocytes, normal ovarian response for 4 - 15 oocytes and high ovarian response for >15 oocytes. Data obtained was analyzed by SPSS version 25.0. Results: The ages of participants ranged from 20 - 4 7 years, with a mean age of 34.11 ± 5.11 years. Most of them had secondary infertility (57.9%). The GnRH antagonist protocol was mainly used, and ovulation was triggered using HCG predominantly. On Multivariate analysis, age and history of PCOS were significantly associated with ovarian response in the low and high ovarian response groups, respectively. Conclusion: AMH has a better predictive value than AFC, however, it is less sensitive but more specific than AFC. 展开更多
关键词 Ovarian Stimulation AMH AFC Ovarian Reserve Correlation and Prediction Value
暂未订购
基于SA-PSO聚类的乘客出行规律和站点分类研究
12
作者 李飞羽 张鹏飞 《河北省科学院学报》 2025年第5期19-26,共8页
从AFC数据中挖掘出规律出行的乘客,并对该类乘客在早晚高峰出行的地铁站点进行分类,对交通管理部门引导乘客出行与缓解车厢和站点拥挤具有重要意义。本研究以AFC数据为基础,提出了一种基于SA-PSO聚类算法的乘客出行规律挖掘方法。利用... 从AFC数据中挖掘出规律出行的乘客,并对该类乘客在早晚高峰出行的地铁站点进行分类,对交通管理部门引导乘客出行与缓解车厢和站点拥挤具有重要意义。本研究以AFC数据为基础,提出了一种基于SA-PSO聚类算法的乘客出行规律挖掘方法。利用该方法基于广州地铁的AFC数据对乘客出行特征进行聚类分析,将城市地铁乘客主要分为2类,规律出行乘客(占比53.21%)和非规律出行乘客(占比46.79%);同时,基于城市POI数据及规律出行乘客的早晚高峰出行站点客流进行分析。结果表明,地铁站点可分为3类,即工作密集型、居住密集型及职住混合型。该研究可为交通管理部门制定更加精准的乘客出行引导策略及优化站内配置提供新的思路。 展开更多
关键词 AFC数据 出行特征 SA-PSO聚类算法 出行规律 POI数据 站点分类
在线阅读 下载PDF
武汉轨道交通AFC系统黑名单管理优化方案研究与实践
13
作者 李卫星 干泽慧 +1 位作者 熊勇 张泽炜 《人民公交》 2025年第22期104-106,共3页
武汉轨道交通AFC系统在长期运营中,轨道交通专用票黑名单全量管理模式导致终端设备响应效率下降,同时武汉通黑名单管理标准不完善,造成跨场景管理不一致等问题。本文通过分析当前黑名单管理现状和存在的问题,结合系统运行数据与管理需求... 武汉轨道交通AFC系统在长期运营中,轨道交通专用票黑名单全量管理模式导致终端设备响应效率下降,同时武汉通黑名单管理标准不完善,造成跨场景管理不一致等问题。本文通过分析当前黑名单管理现状和存在的问题,结合系统运行数据与管理需求,提出分级存储策略、动态捕捉、跨系统接口优化等技术手段,同时通过实施过程中的各类注意事项,推动优化方案落地,从而实现黑名单信息的精准化与高效化管理。 展开更多
关键词 AFC系统 黑名单管理 动态捕捉 武汉通 分级存储
在线阅读 下载PDF
揭开“肤白貌美”的秘密——维护卵巢功能
14
作者 吴嫣 《科学生活》 2025年第5期146-147,共2页
卵巢,是女性的重要生殖器官,卵巢功能既关系到女性孕育生命的能力,也关系到女性特征的维持,是女性维持青春、保持肤白貌美的最重要的器官。那卵巢功能如何来评估和保护呢?卵巢储备功能减退的定义随着年龄增加,女性卵巢功能下降,这与卵... 卵巢,是女性的重要生殖器官,卵巢功能既关系到女性孕育生命的能力,也关系到女性特征的维持,是女性维持青春、保持肤白貌美的最重要的器官。那卵巢功能如何来评估和保护呢?卵巢储备功能减退的定义随着年龄增加,女性卵巢功能下降,这与卵母细胞的数量和质量下降有关,属于一种正常的生理现象,称为卵巢储备功能减退(DOR)。DOR是由于卵母细胞的数量减少和(或)质量下降,导致卵巢功能不足,引起生育能力下降,同时伴有抗缪勒管激素(AMH)水平降低、窦卵泡数(AFC)减少、基础FSH水平升高。DOR分为高龄相关的生理性DOR和与年龄不相符的病理性DOR两类。约10%的女性可能会因各种原因而导致卵巢储备过早减少,40岁以上女性群体中的DOR的发病率超过50%。卵巢功能全方位地影响女性生命健康、生活质量。 展开更多
关键词 AMH 卵母细胞 卵巢功能 肤白貌美 FSH AFC
暂未订购
城市轨道交通AFC系统站级设备维修质量提升方法探究
15
作者 桑晶辉 《漫科学(科技应用)》 2025年第3期103-105,共3页
本文详细探讨了城市轨道交通自动售检票系统(AFC)的站级设备维修质量提升方法。首先阐述了AFC系统的基本组成和站级设备的常见故障类型,随后分析了维修管理中存在的问题,如高频故障处理不彻底和维护检修缺乏预见性。进一步提出了维修管... 本文详细探讨了城市轨道交通自动售检票系统(AFC)的站级设备维修质量提升方法。首先阐述了AFC系统的基本组成和站级设备的常见故障类型,随后分析了维修管理中存在的问题,如高频故障处理不彻底和维护检修缺乏预见性。进一步提出了维修管理质量提升的具体措施,包括加强故障数据分析、优化维护策略和软件设计,以及增强维修人员的培训和技能。通过这些策略,旨在提高AFC系统的稳定性和运营效率。 展开更多
关键词 城市轨道交通 AFC系统 设备故障 维修质量
在线阅读 下载PDF
冻雨极端天气下武汉市轨道交通客流特征分析
16
作者 肖逸影 王东 +2 位作者 吴宁宁 宋同阳 代希腾 《现代城市轨道交通》 2025年第7期107-113,共7页
近年来,极端天气事件频繁发生,对公共交通系统的韧性构成严峻挑战,尤其是冻雨天气对轨道交通影响显著。为全面、系统地把握冻雨极端天气下城市轨道交通的客流时空特征,选取武汉市轨道交通的12条线路作为研究对象。基于自动售检票系统数... 近年来,极端天气事件频繁发生,对公共交通系统的韧性构成严峻挑战,尤其是冻雨天气对轨道交通影响显著。为全面、系统地把握冻雨极端天气下城市轨道交通的客流时空特征,选取武汉市轨道交通的12条线路作为研究对象。基于自动售检票系统数据,借助EMME交通建模软件等工具,从时间和空间分布2个维度挖掘,并从全网、线路、站点3个层次依次剖析,研究得到客流时间分布特征指标(轨道线网全日客运量、全网分线路分时客运量变化等)和客流空间分布特征指标(断面客流形态、平均运距、客流来源分析等),结合数据提出极端和日常情形下城市轨道交通运营措施建议,可为全国城市轨道交通运营工作提供借鉴。 展开更多
关键词 轨道交通 冻雨极端天气 客流特征 AFC 数据 公共交通韧性
在线阅读 下载PDF
JHC工业计算机在重庆东站AFC系统智能改造项目中的应用
17
作者 程加钢 《自动化博览》 2025年第11期16-19,共4页
1背景重庆东站位于中国重庆市南岸区境内,是中国铁路成都局集团有限公司管辖的客运特等站,中国八纵八横高速铁路网核心节点,成渝地区双城经济圈核心综合交通枢纽。重庆东站于2018年11月22日动工兴建。2024年8月21日集和诚中标重庆东站AF... 1背景重庆东站位于中国重庆市南岸区境内,是中国铁路成都局集团有限公司管辖的客运特等站,中国八纵八横高速铁路网核心节点,成渝地区双城经济圈核心综合交通枢纽。重庆东站于2018年11月22日动工兴建。2024年8月21日集和诚中标重庆东站AFC智能改造项目。截至2025年4月30日,集和诚累计在重庆东站AFC项目交付国产工业计算机253台,2025年6月16日重庆东站AFC项目完成验收。2025年6月27日重庆东站通车运营。 展开更多
关键词 集和诚 AFC系统 重庆东站 智能改造 国产工业计算机
在线阅读 下载PDF
基于面部识别和掌静脉识别系统的AFC支付技术设计
18
作者 王俊俭 《漫科学(科技应用)》 2025年第2期88-90,共3页
基于生物识别技术的AFC支付系统设计融合了面部识别与掌静脉识别两种技术,可以提升公共交通支付的便捷性、安全性和效率。面部识别通过捕捉与分析乘客面部特征,实现无感支付和快速验票,展现了高效的通行能力,但对环境光线和遮挡较敏感;... 基于生物识别技术的AFC支付系统设计融合了面部识别与掌静脉识别两种技术,可以提升公共交通支付的便捷性、安全性和效率。面部识别通过捕捉与分析乘客面部特征,实现无感支付和快速验票,展现了高效的通行能力,但对环境光线和遮挡较敏感;掌静脉识别通过提取掌部血管特征,具有高防伪能力和较强的隐私保护优势,但要求特定操作姿势。两种技术在应用场景、性能表现及用户体验方面各具优势。研究表明,面部识别适合高流量场景,而掌静脉识别更适合高安全性需求场所。 展开更多
关键词 AFC系统 面部识别 掌静脉识别
在线阅读 下载PDF
可信数据空间技术在地铁AFC系统数据商业价值开发与运营中的应用探索
19
作者 杨铮 李军 《软件》 2025年第9期138-144,共7页
随着城市轨道交通网络的快速发展和数字经济的深入推进,地铁自动售检票(AFC)系统产生的海量数据蕴含着巨大的商业价值。本文以可信数据空间技术为基础,探讨其在地铁AFC系统数据开发利用中的创新应用模式与实现路径。通过分析AFC系统数... 随着城市轨道交通网络的快速发展和数字经济的深入推进,地铁自动售检票(AFC)系统产生的海量数据蕴含着巨大的商业价值。本文以可信数据空间技术为基础,探讨其在地铁AFC系统数据开发利用中的创新应用模式与实现路径。通过分析AFC系统数据特性及商业化面临的安全、隐私与合规挑战,本研究设计了基于可信数据空间架构的地铁数据要素流通方案,结合隐私计算、区块链等前沿技术,构建了安全可信、高效协同的数据流通环境。研究结果表明,该技术不仅能有效破解数据“不敢共享、不愿共享、不能流通”的困境,还能通过多模态数据融合与跨域价值挖掘,释放AFC数据在商业选址、客流分析、精准营销等场景的应用潜能,为地铁运营企业开辟新的收入来源,同时为城市智慧交通建设提供数据支撑。最后,论文展望了可信数据空间技术与人工智能、数字孪生等技术的融合发展趋势。 展开更多
关键词 可信数据空间 地铁AFC系统 数据要素流通 隐私计算 数据商业化 数字经济
在线阅读 下载PDF
面向需求的安全关键系统形式化建模与验证方法研究 被引量:4
20
作者 胡军 张维珺 李宛倩 《计算机工程与科学》 CSCD 北大核心 2019年第8期1426-1433,共8页
在安全关键系统领域中,明确的需求对于一个系统的作用至关重要。使用基于模型的系统工程思想对自动飞行控制系统进行面向需求的形式化建模与验证,使用RSML-e语言对自动飞行控制系统(AFCS)需求进行建模,提出一种将RSML-e模型转化成NuSMV... 在安全关键系统领域中,明确的需求对于一个系统的作用至关重要。使用基于模型的系统工程思想对自动飞行控制系统进行面向需求的形式化建模与验证,使用RSML-e语言对自动飞行控制系统(AFCS)需求进行建模,提出一种将RSML-e模型转化成NuSMV2模型的方法,并用NuSMV2对模型的属性进行验证。针对一个真实综合航电系统中的自动飞行控制系统GFC700进行分析验证,实验结果表明,该方法对实际系统的安全性分析具有可行性。 展开更多
关键词 MBSE 自动飞行控制系统(afcs) 形式化验证 RSML-e NUSMV 模型转换
在线阅读 下载PDF
上一页 1 2 44 下一页 到第
使用帮助 返回顶部