检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

面向对象高可信SAR数据精确处理

武汉大学学报（信息科学版） 2018年第12期43卷 1819-1831页

作者：张继贤黄国满程春泉国家测绘产品质量检验测试中心北京100830 中国测绘科学研究院北京100830

针对合成孔径雷达(synthetic aperture rdar,SAR)数据在地形地物、森林植被等方面的处理与解译难题,介绍了近年来利用多角度、多波段、多极化、极化干涉等多模态航空航天SAR数据,建立基于散射机理的地物特性知识库,构建地形辐射校正模... 详细信息

针对合成孔径雷达(synthetic aperture rdar,SAR)数据在地形地物、森林植被等方面的处理与解译难题,介绍了近年来利用多角度、多波段、多极化、极化干涉等多模态航空航天SAR数据,建立基于散射机理的地物特性知识库,构建地形辐射校正模型、极化干涉处理模型、立体测量模型、基于知识的解译模型等,开发出高分辨率机载极化干涉SAR数据获取系统和SAR影像高性能解译软件系统,实现了精度高、可靠性强、识别类型丰富的SAR影像高可信处理与解译的原理、技术与方法,同时对成果在测绘、林业等行业的应用情况进行了介绍,对研究中存在的问题和解决思路进行了探讨。

关键词：合成孔径雷达处理系统高可信精确处理 SAR解译

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

安全关键实时系统高可信集成技术的研究

电子学报 2003年第8期31卷 1237-1241页

作者：杨仕平熊光泽桑楠电子科技大学计算机科学与工程学院四川成都610054

为增强安全关键实时系统的可信性 ,在分析高可信保障机制现状的基础上 ,提出了一种支持多级关键度子系统共享同一系统资源的集成式高可信保障体系结构 .为防止不同关键度子系统间的有害干扰 ,提出了基于两级结构化调度方法的时间隔离机... 详细信息

为增强安全关键实时系统的可信性 ,在分析高可信保障机制现状的基础上 ,提出了一种支持多级关键度子系统共享同一系统资源的集成式高可信保障体系结构 .为防止不同关键度子系统间的有害干扰 ,提出了基于两级结构化调度方法的时间隔离机制 .为实现时间隔离 ,论文首先针对集成式多级关键高可信保障机制建立了调度模型 ,然后进行了子系统及其任务的可调度性分析 ,最后用实例进行了例证 .本文的研究成果也可应用于其他非关键领域。

关键词：安全关键多级关键度高可信调度分析时间隔离

“嫦娥五号”探测器GNC应用软件高可信研制技术

在线全文

学校读者我要写书评

暂无评论

深空探测学报（中英文） 2021年第3期8卷 244-251页

作者：李轶黎藜郭明姝王同磊张国峰李晓锋北京控制工程研究所北京100094

基于“嫦娥五号”(Chang’E-5,CE-5)任务高安全性、高可靠性、高复杂度、高自主性的功能以及高实时性、强时序性的需求,开展了导航、制导与控制(Guidance,Navigation and Control,GNC)分系统应用软件高可信研制保障技术研究。针对自然... 详细信息

基于“嫦娥五号”(Chang’E-5,CE-5)任务高安全性、高可靠性、高复杂度、高自主性的功能以及高实时性、强时序性的需求,开展了导航、制导与控制(Guidance,Navigation and Control,GNC)分系统应用软件高可信研制保障技术研究。针对自然语言需求定义方式无法精确描述一些关键复杂时序的问题,在需求分析阶段建立了基于时序安全性属性描述的形式化建模语言模型验证技术,保证了系统时序的安全性;针对人工走查难以发现的代码深层次脆弱性缺陷,在设计编码阶段结合飞行任务剖面提取了程序切片,提高了源代码缺陷定位效率,保障了编码的规范性与软件构件的功能正确性;针对复杂软件的海量测试用例无法快速执行的问题,在确认测试阶段,研究了基于状态图和序列图的测试用例生成方法,搭建了一键测试的自动测试系统,实现了海量测试用例的快速自动执行,有效提升了测试效率与测试覆盖性。通过各阶段地面仿真实验和在轨飞行试验验证,表明所提出的高可信软件研制保障技术方法有效可行。

关键词：嫦娥五号 GNC分系统应用软件高可信

在线全文

学校读者我要写书评

暂无评论

一种高可信的政务网跨域隔离交换方案研究

信息技术与信息化 2023年第12期 169-172页

作者：田晓娜刘金秦媛媛贾星威刘子健华北计算机系统工程研究所北京100083

随着政务网体系全国一体化的推进,现今跨域共享交换数据的需求不断上升。政务内网和外网之间的数据交互效率很低、缺乏安全高效的传输解决方案、安全性不足。针对上述问题,提出了一种高可信的跨域隔离交换方案。首先分析现有跨域交换关... 详细信息

随着政务网体系全国一体化的推进,现今跨域共享交换数据的需求不断上升。政务内网和外网之间的数据交互效率很低、缺乏安全高效的传输解决方案、安全性不足。针对上述问题,提出了一种高可信的跨域隔离交换方案。首先分析现有跨域交换关键技术。然后设计跨域隔离的总体方案,并对高可信认证方案、数据过滤及格式化方案、隔离交换方案、跨域交换审计方案等进行了详细的设计。最后,把跨域隔离交换方案应用在政务内网安全防护体系中,实现了政务内外网数据可信、高效、安全地传输。

关键词：政务网高可信跨域安全安全隔离数据交换

在线全文

学校读者我要写书评

暂无评论

轨道交通高可信运控系统关键技术及应用

中国科技成果 2022年第3期23卷 57-58页

作者：无董德存崔科欧冬秀孙军峰张雷汪小勇翟月华阳扬施莉娟黄世泽同济大学卡斯柯信号有限公司不详

为打破国外运行控制系统在中国的垄断,同济大学联合卡斯柯信号有限公司达成战略合作关系,组建技术攻关团队,从硬件架构、系统设计和功能测试等运控系统研制过程开展了轨道交通高可信技术的研制工作,旨在保障轨道交通运行安全,提高轨道... 详细信息

为打破国外运行控制系统在中国的垄断,同济大学联合卡斯柯信号有限公司达成战略合作关系,组建技术攻关团队,从硬件架构、系统设计和功能测试等运控系统研制过程开展了轨道交通高可信技术的研制工作,旨在保障轨道交通运行安全,提高轨道交通运营效率.

关键词：战略合作关系运行控制系统硬件架构轨道交通运控系统可信技术高可信组建技术

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

高可信DC-DC变换器建模及仿真研究

高可信DC-DC变换器建模及仿真研究

作者：方明珠哈尔滨工业大学

学位级别：硕士

随着开关电源功率等级的提高和开关频率的逐步提升,对电源可靠性的要求越来越高。仿真是开关电源从参数设计到实际样机之间的重要环节,仿真模型的不精确会带来实验调试时间长、反复测试数据、器件调整增加预算等一系列问题。因此有必要... 详细信息

随着开关电源功率等级的提高和开关频率的逐步提升,对电源可靠性的要求越来越高。仿真是开关电源从参数设计到实际样机之间的重要环节,仿真模型的不精确会带来实验调试时间长、反复测试数据、器件调整增加预算等一系列问题。因此有必要提高仿真的可信度,实现预先高可信评估。本文以Buck变换器为研究对象,研究了由于器件寄生参数、PCB走线寄生参数和不可控因素(工艺水平、温度、电应力等)引起的变换器特性发生改变的现象。建立了Buck变换器中主要器件的实际仿真模型,对考虑器件实际参数的Buck变换器进行仿真建模分析,避免了实际过程中由于器件参数特性影响变换器的工作性能,为器件选型提供参考依据。基于包含器件实际模型的Buck变换器仿真电路,提取PCB走线寄生参数,逐步叠加主电路和控制回路的PCB寄生参数进行了仿真分析,从而得到PCB走线寄生参数对Buck变换器影响情况的相关规律。提出的分块建模分析方法可以定位对变换器稳定性起主要影响的PCB走线寄生参数点,并可求解寄生参数取值范围,为PCB设计提供参考依据。针对精确考虑寄生参数的Buck变换器,本文提出了一种基于等效电路建模方法和能量守恒建模方法的Buck变换器建模方法,并在此基础上推导出大信号模型、直流模型和小信号模型。通过仿真验证了建模方法的有效性。最后,利用Monte Carlo分析方法作灵敏度分析,研究元件参数值漂移对Buck变换器输出特性和环路稳定性的影响,得到了相关规律。本文通过仿真和实验验证了理论分析的正确性与工程实践的可行性。最终实验结果与仿真结果非常接近,解决了工程中常出现的DC-DC变换器仿真与实验差距较大的问题。

关键词：高可信寄生参数分块建模 Monte Carlo分析

高可信嵌入式计算机系统的安全性与易用性设计

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

高可信嵌入式计算机系统的安全性与易用性设计

作者：李璟哈尔滨工业大学

学位级别：硕士

随着嵌入式技术的发展,嵌入式系统在各个领域中发挥着巨大的作用,例如航天、民用、商用、军事等。其中在某些关键领域,用户对系统的可信性要求越来越高,并且需要在设计中充分发挥嵌入式的专用性特点。目前,高可信嵌入式的研究已经越来... 详细信息

随着嵌入式技术的发展,嵌入式系统在各个领域中发挥着巨大的作用,例如航天、民用、商用、军事等。其中在某些关键领域,用户对系统的可信性要求越来越高,并且需要在设计中充分发挥嵌入式的专用性特点。目前,高可信嵌入式的研究已经越来越受到重视,为了保证系统的高可信性,安全和容错等相关技术多被系统所采用。本文在一个高可信嵌入式容错控制机的基础上,以高可信嵌入式系统的易用性及安全性作为研究重点,进行相关技术开发,满足高可信控制系统的实际应用需求。在易用性设计方面,主要考虑的是用户需求。首先,在JFFS2文件系统的基础上,设计并实现了文件存储子系统,具有日志文件存储、更新、查询等功能,为用户与系统数据信息提供良好的交互平台。另外为系统开发具有针对性的外设设备,例如多输入模式的键盘设备,显示系统状态信息的辅助液晶屏设备,及提供对外控制通信的无线通信设备。在安全性设计方面,主要考虑的是系统需求。为了保证系统不被非法用户侵入,为系统设计多级认证机制,包括SD卡认证、口令认证、指纹认证。并且为了保护系统数据安全可靠,研究并设计实现了多种系统关键信息损毁手段,并基于多级认证技术提出有效的多级自毁策略。这些技术充分为系统的高安全性提供了保障。另外,本文还运用两种方法对高可信嵌入式控制系统,进行了可靠性评估,数据显示系统满足高可靠性。同时,为了测试系统的易用性及安全性设计的功能,对整个系统及各个模块进行了相关测试。

关键词：容错嵌入式高可信易用性安全性

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

高可信计费系统的若干关键技术研究

高可信计费系统的若干关键技术研究

作者：戴乐湖南大学

学位级别：硕士

电信领域计费系统是电信运营商获取商业利润时的收费依据,计费系统数据属于商业数据,要求非常高的可靠性。论文以湖南铁通计费网络的系统集成为背景,对于这一高可靠系统,从组网方案的选择、网络高可用性、安全性、网络病毒的防护,高可... 详细信息

电信领域计费系统是电信运营商获取商业利润时的收费依据,计费系统数据属于商业数据,要求非常高的可靠性。论文以湖南铁通计费网络的系统集成为背景,对于这一高可靠系统,从组网方案的选择、网络高可用性、安全性、网络病毒的防护,高可用主机群集系统的实现过程,数据存储的高可靠性等方面进行了研究;对于电信运营商来说,计费原始话单的完整性决定着运营商的市场收入,针对实时计费系统,若原始话单通过实时采集后发生丢失,导致一些话单无法计费,将给运营商带来不少损失。本文介绍了作者在湖南铁通最终计费的HP-UNIX主机上独立开发的一套程序,能查出计费原始话单从程控交换华为BAM机或中兴前置机通过实时采集系统,传送到各地市采集服务器,再上传到省计费中心计费主机的整个过程中,实时采集话单的丢失情况。该套程序查找丢单运行效率很高、速度很快,每月找出的实时采集丢失话单数都在几十万条以上,不断产生着可观的经济效益。本文对湖南铁通计费网络的高可用性作了规划设计;在计费网络中对病毒的传播找到了有效拦截方法,而对于带有欺骗性的ARP病毒中段业务的情况,通过在网关路由器、三层交换机上的有效控制,瓦解了ARP病毒的攻击,取得了良好的实用效果;计费原始话单是电信运营商获取商业利润的收费依据,保证原始话单无损到达计费系统进行计费,直接关系到运营商的市场收入。论文作者在计费UNIX主机上独立开发的一套程序很好地解决了这一问题,带来的经济效益显著。

关键词：计费系统网络主机高可信原始话单无损计费

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

高可信嵌入式实时操作系统的设计与实现

高可信嵌入式实时操作系统的设计与实现

作者：叶建伟电子科技大学

学位级别：硕士

目前，随着无所不在的计算的发展，越来越多的嵌入式设备植入到相关的产品中去，对系统的可信要求越来越高。提高操作系统的可靠性是一个巨大的挑战，发展高可信的实时嵌入式操作系统迫在眉睫。而大部分操作系统失效都是由于扩展程序的... 详细信息

目前，随着无所不在的计算的发展，越来越多的嵌入式设备植入到相关的产品中去，对系统的可信要求越来越高。提高操作系统的可靠性是一个巨大的挑战，发展高可信的实时嵌入式操作系统迫在眉睫。而大部分操作系统失效都是由于扩展程序的失效尤其是驱动程序的失效引起的，所以可以通过提高驱动程序的可靠性来提高整个系统的可靠性。本文深入研究了有关高可信系统和高可信计算的方法，设计实现一个高可信子系统Gasos植入到ERTOSⅡ中，从而实现嵌入式实时操作系统的高可信性，并将操作系统移植到POWERPC 405平台。文中对以下几个方面进行了研究本有有所创新：1、通过大量收集可信性方面的资料，并从失效、错误和缺陷之间的关系入手，发现驱动程序失效时造成系统实效的主要原因。通过提供驱动程序的可靠性来提高操作系统及整个系统的可靠性。2、驱动程序数量是庞大的，所以驱动程序本身的验证很难保证，从而提出面向恢复的方法提高驱动程序的可靠性，并且Gasos子系统是面向设备驱动程序和用户(应用程序)的，模拟驱动的运行对应用程序是透明的。3、由于驱动程序本身的多样性，提高驱动程序的可靠性，很难通过提高其本身的可靠性来达到目的，借鉴在数据库系统中主一从机备份的方式来保证数据安全的方法，提出模拟驱动的方法来备份内核与驱动程序之间的交互数据。模拟驱动只备份数据而不真正执行处理数据，并且采用面向对象的思想，一个模拟驱动对应一类设备驱动程序，从而减少设计Gasos子系统代码量和提高子系统的可移植性。4、通过代码介入技术，可以让子系统介入到内核与驱动程序之间，并检测隔离相关的驱动程序，从而根据检测到的失效信息，来激发相应的模拟驱动控制器和模拟驱动参与到设备驱动程序的恢复。5、解决了ERTOSⅡ移植到POWERPC405平台的处理器初始化问题。基于以上的几个方面的研究，设计实现了一个面向驱动恢复的Gasos高可信子系统处于内核与驱动之间，观察并记录内核与驱动之间的通信，当驱动失效时激发恢复机制进行驱动恢复来提高嵌入式操作系统以及整个系统的可靠性。并且Gasos子系统本身较小，而且对内核的修改很少，不修改驱动程序，从而可以方便地移植到其他的嵌入式或者通用操作系统中。论文的研究对高可信的嵌入式实时操作系统的进一步研究有一定的价值和意义。

关键词：高可信实时系统实时操作系统驱动失效恢复