期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到92篇文章
< 1 2 … 5 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
UPPAAL——一种适合自动验证实时系统的工具 被引量：12
1
作者 郭华 庄雷 张习勇 《微计算机信息》 北大核心 2006年第05X期52-54,190,共4页
UPPAAL是一个基于时间自动机的自动验证工具,已成功地用于实时控制器和通信协议等实时系统的验证。本文介绍了UPPAAL的语法,语义和语用,列举了它的几种扩展形式,并归纳了其应用及研究现状.
关键词 UPPAAL 时间自动机 实时系统 模型检测 协议验证
下载PDF
带有时钟变量的线性时序逻辑与实时系统验证 被引量：16
2
作者 李广元 唐稚松 《软件学报》 EI CSCD 北大核心 2002年第1期33-41,共9页
为了描述实时系统的性质和行为,10多年来,各种不同的时序逻辑,如Timed Computation Tree Logic,Metric Interval Temporal Logic和Real-Time Temporal Logic等相继提出来.这些时序逻辑适于表示实时系统的性质和规范,但不适于表示实时系... 为了描述实时系统的性质和行为,10多年来,各种不同的时序逻辑,如Timed Computation Tree Logic,Metric Interval Temporal Logic和Real-Time Temporal Logic等相继提出来.这些时序逻辑适于表示实时系统的性质和规范,但不适于表示实时系统的实现模型.这样,在基于时序逻辑的实时系统的研究中,系统的性质和实现通常是用两种不同的语言来表示的.定义了一个带有时钟变量的线性时序逻辑(linear temporal logic with clocks,简称LTLC).它是由Manna和Pnueli提出的线性时序逻辑在实时情况下的一个推广.LTLC既能表示实时系统的性质,又能很方便地表示实时系统的实现.它能在统一的语义框架中表示出从高级的需求规范到低级的实现模型之间的不同抽象层次上的系统描述,并且能用逻辑蕴涵来表示不同抽象层次的系统描述之间的语义一致性.LTLC的这个特点将有助于实时系统的性质验证和实时系统的逐步求精. 展开更多
关键词 实时系统 线性时序逻辑 系统描述语言 性质验证 时钟变量 计算机控制系统
下载PDF
基于线性时序逻辑的实时系统模型检查 被引量：8
3
作者 李广元 唐稚松 《软件学报》 EI CSCD 北大核心 2002年第2期193-202,共10页
模型检查是一种用于并发系统的性质验证的算法技术.LTLC(linear temporal logic with clocks)是一种连续时间时序逻辑,它是线性时序逻辑LTL的一种实时扩充.讨论实时系统关于LTLC公式的模型检查问题,将实时系统关于LTLC公式的模型检查化... 模型检查是一种用于并发系统的性质验证的算法技术.LTLC(linear temporal logic with clocks)是一种连续时间时序逻辑,它是线性时序逻辑LTL的一种实时扩充.讨论实时系统关于LTLC公式的模型检查问题,将实时系统关于LTLC公式的模型检查化归为有穷状态转换系统关于LTL公式的模型检查,从而可以利用LTL的模型检查工具来对LTLC进行模型检查.由于LTLC既能表示实时系统的性质,又能表示实时系统的实现,这就使得时序逻辑LTLC的模型检查过程既能用于实时系统的性质验证,又能用于实时系统之间的一致性验证. 展开更多
关键词 实时系统 时间自动机 线性时序逻辑 模型检查 性质验证 算法
下载PDF
基于RTX的航电综合模拟系统应用研究 被引量：13
4
作者 王亮 邓红德 +2 位作者 康凤举 阎鹏 刘江 《仪器仪表学报》 EI CAS CSCD 北大核心 2011年第11期2475-2480,共6页
针对飞行器航电系统实物参与半物理仿真实验结构庞杂,实验困难的问题,提出一种基于RTX实时环境下的飞行器航电综合模拟系统体系结构方案以及工程上可实现的方法。基于该方案和方法研制的模拟系统充分利用计算机软硬件平台,采用虚拟技术... 针对飞行器航电系统实物参与半物理仿真实验结构庞杂,实验困难的问题,提出一种基于RTX实时环境下的飞行器航电综合模拟系统体系结构方案以及工程上可实现的方法。基于该方案和方法研制的模拟系统充分利用计算机软硬件平台,采用虚拟技术,实现了对飞行器航电系统特性的模拟,从而为飞行器航电系统半物理仿真实验提供了良好的仿真验证手段和技术支持。该系统成功应用在某型直升机航电系统半物理仿真实验中,为该型直升机航电系统定型验证提供了实验手段和验证依据。 展开更多
关键词 RTX 实时环境 航电综合模拟 半物理仿真 验证
下载PDF
HBV-DNA定量检测试剂盒性能验证 被引量：12
5
作者 庞志宇 谢在春 +2 位作者 刘玥 郭卫真 张战锋 《检验医学与临床》 CAS 2015年第17期2530-2532,共3页
目的验证和评价一种新采购的HBV-DNA定量检测试剂盒的分析性能。方法依据美国临床和实验室标准化协会颁布的EP系列文件和《医学实验室质量和能力认可准则》相关文件对试剂盒的精密度、正确度、线性范围、检测下限和不同检测试剂的一致... 目的验证和评价一种新采购的HBV-DNA定量检测试剂盒的分析性能。方法依据美国临床和实验室标准化协会颁布的EP系列文件和《医学实验室质量和能力认可准则》相关文件对试剂盒的精密度、正确度、线性范围、检测下限和不同检测试剂的一致性进行性能评价。结果试剂盒的低值和中值的批内精密度CV为3.2%、3.4%,总精密度CV为4.6%、3.7%;正确度符合要求;线性回归方程为Y=0.958 X＋0.355,r2=0.999,P〈0.001,线性范围为（1.48×103～1.48×108）U/mL;检测下限为500 U/mL;与原有检测试剂之间结果无差异。结论新试剂盒的性能符合厂家声明,能够应用于临床工作。 展开更多
关键词 乙型肝炎病毒 荧光定量PCR 性能验证
下载PDF
基于时间自动机模型的安全计算机平台的形式化验证 被引量：7
6
作者 郭志良 郜春海 +1 位作者 马连川 吕继东 《铁道学报》 EI CAS CSCD 北大核心 2011年第6期68-73,共6页
众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础,2乘2取2冗余结构的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2乘2取2冗余结构,它是一个实时系统,控制... 众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础,2乘2取2冗余结构的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2乘2取2冗余结构,它是一个实时系统,控制过程需要考虑时间因素。本文分析CBTC系统安全计算机平台系统的组成结构,提取出系统的功能约束,采用基于时间自动机理论的建模验证工具UPPAAL建立系统的自动机网络模型,进行仿真分析,验证系统的功能性、实时性、安全性要求。 展开更多
关键词 实时系统 安全计算机 时间自动机 模型验证 UPPAAL
下载PDF
罗氏Light Cycler 480实时荧光定量PCR系统检测HBV-DNA性能验证 被引量：8
7
作者 俞刚 陈瑜 +6 位作者 张佳 钱菁菁 徐佳庆 蔡辉 董一波 陆峰泉 马蔡昀 《标记免疫分析与临床》 CAS 2016年第10期1215-1217,1225,共4页
目的 探讨适合本实验室的荧光定量PCR检测HBV-DNA的性能验证方法,评估其是否能满足临床使用要求。方法参考GB/T 20470-2006《临床实验室室间质量评价要求》,应用实验室检测患者标本、第三方质控品、卫生部临检中心室间参考物质等,按方... 目的 探讨适合本实验室的荧光定量PCR检测HBV-DNA的性能验证方法,评估其是否能满足临床使用要求。方法参考GB/T 20470-2006《临床实验室室间质量评价要求》,应用实验室检测患者标本、第三方质控品、卫生部临检中心室间参考物质等,按方法学性能评价指标设计验证试验,对检测结果的精密度、准确度,线性范围和参考区间等参数进行性能验证。结果 本检测系统批内精密度和总精密度CV均小于〈5%;分析NCCL发放的高低水平的室间质评参考物,检测结果与靶值的偏倚分别为0.25IU/mL、0.23IU/mL,检测结果偏倚在-0.4-0.4IU/mL范围内;线性范围验证结果显示,线性回归方程为Y=0.998X-0.056,R^2=0.998,斜率在0.95-1.05之间,截距接近于0;参考区间评价结果显示20例健康体检者HBV-DNA定量检测结果均在参考区间内（〈500IU/mL）,说明引用的参考区间有效。结论 罗氏Light Cycler480实时荧光定量PCR系统检测HBV-DNA性能指标均达到规定要求,能满足临床预期要求。 展开更多
关键词 实时荧光定量PCR 性能验证 乙型肝炎病毒
下载PDF
一种基于协议的提高RS 485实时性的方法 被引量：6
8
作者 胡文涛 《现代电子技术》 2013年第18期10-12,共3页
RS 485总线因其结构简单、成本低廉、通信速率高、传输距离远等优点,在工业控制领域得到了广泛应用。因为RS 485采用半双工通信,所以RS 485通信系统一般由一个主节点、多个从节点组成,采用主节点轮询从节点、从节点受控发送数据的通信... RS 485总线因其结构简单、成本低廉、通信速率高、传输距离远等优点,在工业控制领域得到了广泛应用。因为RS 485采用半双工通信,所以RS 485通信系统一般由一个主节点、多个从节点组成,采用主节点轮询从节点、从节点受控发送数据的通信方式。这种方式造成系统的通信效率低、实时性差。目前已有的一些研究采用硬件改造和CSMA/CD的方法使系统具有多主结构,从而提高实时性,但是实现较为复杂。提出一种基于协议的提高RS 485实时性的新方法,该方法不需要修改硬件,不需要额外资源,只需要进行简单的程序修改。实验结果表明该方法能有效提高系统的实时性。 展开更多
关键词 RS 485 实时性 自定义协议 实验验证
下载PDF
基于联网收费数据的实时滑动、动态校核的高速公路交通量预测方法研究 被引量：6
9
作者 刘恒 丘建栋 +1 位作者 方杰 罗建科 《公路》 北大核心 2014年第12期134-140,共7页
为了解决高速公路交通量预测误差随年份的推移而逐年大幅变大的问题,依托稳定可靠的高速公路联网收费数据,提出实时滑动、动态校核的交通模型预测方法,通过基础年的滑动更新、实时校核及基于多基础年的滑动预测,提高了模型值与实际值的... 为了解决高速公路交通量预测误差随年份的推移而逐年大幅变大的问题,依托稳定可靠的高速公路联网收费数据,提出实时滑动、动态校核的交通模型预测方法,通过基础年的滑动更新、实时校核及基于多基础年的滑动预测,提高了模型值与实际值的拟合程度,有效控制了预测误差,可支持政府、高速公路管理公司各项投资决策。 展开更多
关键词 公路运输 高速公路 实时滑动、动态校核 交通量预测 联网收费数据
原文传递
全球气象预报驱动流域水文预报研究进展与展望
10
作者 赵铜铁钢 张弛 +3 位作者 田雨 李昱 陈泽鑫 陈晓宏 《水科学进展》 EI CAS CSCD 北大核心 2024年第1期156-166,共11页
全球气象模型及新兴人工智能模型为流域水文预报提供了日、次季节、季节等不同时间尺度的海量气象预报数据。与此同时,基于气象预报开展水文预报,涉及到数据获取、模型构建、评估检验等技术问题。本文以全球气象预报相关的研究计划为切... 全球气象模型及新兴人工智能模型为流域水文预报提供了日、次季节、季节等不同时间尺度的海量气象预报数据。与此同时,基于气象预报开展水文预报,涉及到数据获取、模型构建、评估检验等技术问题。本文以全球气象预报相关的研究计划为切入点,调研现有的1 d至2周小时尺度中短期天气预报、1~60 d次季节尺度气象预报、1~12个月季节尺度气象预报以及新兴的人工智能气象预报;梳理气象预报驱动下流域水文预报模型方法,阐述气象预报订正、水文模型设置和预报评估检验等技术环节。基于全球气象预报生成实时和回顾性流域水文预报,定量检验不同预见期下预报精度以评估相关模型方法的预报性能,为水利工程预报-调度实践应用打下坚实的基础。 展开更多
关键词 全球气象模型 气象预报 流域水文模型 水文预报 实时预报 回顾性预报 预报检验
下载PDF
基于Android的防走失系统的设计与实现 被引量：6
11
作者 张斌 邬晓静 +1 位作者 邵想 张帅 《智能计算机与应用》 2020年第1期173-177,182,共6页
针对当前老人儿童走失现状以及市面上依赖于第三方设备的定位产品价格成本高、实时性低等局限性,为提高找回效率与实用性,提出一种基于Android的防走失系统。系统Android客户端基于kotlin语言,采用Okhttp、Gson等框架与MVP设计模式完成... 针对当前老人儿童走失现状以及市面上依赖于第三方设备的定位产品价格成本高、实时性低等局限性,为提高找回效率与实用性,提出一种基于Android的防走失系统。系统Android客户端基于kotlin语言,采用Okhttp、Gson等框架与MVP设计模式完成实现,同时数据采用MD5算法进行加密处理缓存到本地,保证用户数据的安全性与友好的人机交互性。系统Web服务器端基于Java语言,由Spring Boot框架搭建而成;系统数据库通过M ongoDB来保存数据;系统提供可利用的百度地图API接口。客户端与服务器端使用Socket通信为主、Http为辅的通信机制,Socket通信具有传输时间短、性能高、数据安全性强等优点。系统可实现实时定位、电子围栏、强制录音等功能,完成对老人儿童的安全监护,做到自动报警,保障老人儿童的出行安全。 展开更多
关键词 ANDROID SPRING BOOT 网络通信 实时定位 轨迹回放 位置校验算法
下载PDF
地质灾害气象风险预警实时检验客观工具关键技术及应用 被引量：5
12
作者 杨寅 包红军 徐成鹏 《气象科技》 2021年第2期291-296,共6页
中国气象局灾害管理系统中地质灾害关键词和灾害发生时间具有多种组织结构的信息特征,灾害信息分析依赖于人工,不利于地质灾害气象风险预警检验的实时性和客观化。本文结合灾情信息特征和中文自然语言处理软件包Jieba研发了地质灾害多... 中国气象局灾害管理系统中地质灾害关键词和灾害发生时间具有多种组织结构的信息特征,灾害信息分析依赖于人工,不利于地质灾害气象风险预警检验的实时性和客观化。本文结合灾情信息特征和中文自然语言处理软件包Jieba研发了地质灾害多元灾情信息智能分析技术,开发了地质灾害气象风险预警实时检验客观工具。检验工具集成了多元灾害信息智能分析,业务检验方法为主检验主客观预警,检验结果产品自动化输出等功能,可实现预警检验全部流程。2015—2019年地质灾害气象风险预警检验应用表明,实时检验客观工具提取灾害信息准确率达到97%,检验效率高,实时性和集成化优势明显。 展开更多
关键词 地质灾害 气象风险预警 实时检验 多元灾情信息 智能分析 Jieba自然语言 实时性 集成化
下载PDF
高分辨率空间相机实时偏流调整的误差分析及地面验证 被引量：5
13
作者 王栋 闫得杰 +1 位作者 吴伟平 孙天宇 《仪器仪表学报》 EI CAS CSCD 北大核心 2014年第9期1955-1962,共8页
为实现高分辨率空间相机长时间连续对地观测要求,分析了在轨主要影响像质的因素之一偏流角的形成原因,提出了在高分辨相机上加装偏流机构,在拍摄过程中实时调整偏流角的策略。列举了影响偏流调整精度的各项误差,重点对机构调整附加误差... 为实现高分辨率空间相机长时间连续对地观测要求,分析了在轨主要影响像质的因素之一偏流角的形成原因,提出了在高分辨相机上加装偏流机构,在拍摄过程中实时调整偏流角的策略。列举了影响偏流调整精度的各项误差,重点对机构调整附加误差进行分析,建立附加误差计算模型,给出了机构调整速度和调整误差的关系图。通过对某实际系统进行误差分配,当偏流调整速度不超过14'/s,机构附加误差不超过3'时,可满足96级TDI CCD连续长时间成像要求,传递函数下降全程不超过5%。为验证调整策略的正确性,采用动态目标发生器模拟相机与地面相对运动,搭建了实时偏流调整地面闭环测试系统,完成了偏流角恒速变化和变速变化时实时偏流调整的实验验证。通过地面试验验证,实时偏流调整均能很好地完成对模拟靶标的跟随,在连续4 min拍摄中动态图像始终清晰,引起传函下降不超过0.008,充分证明了空间相机实时偏流调整的有效性和可行性。 展开更多
关键词 空间相机 偏流角调整 误差分析 实时 地面验证
下载PDF
核动力装置非能动余热排出系统的数学建模与仿真 被引量：5
14
作者 于雷 王少明 《系统仿真学报》 CAS CSCD 北大核心 2009年第7期1845-1850,1855,共7页
非能动余热排出系统是新一代先进反应堆的重要特色,提出一种利用核岛仿真模块模拟蒸汽发生器二次侧非能动余热排出系统的建模方法,构建适用于非能动余热排出系统仿真的热前沿追踪计算模型,改进了垂直传热管内的蒸汽凝结换热模型,研制了... 非能动余热排出系统是新一代先进反应堆的重要特色,提出一种利用核岛仿真模块模拟蒸汽发生器二次侧非能动余热排出系统的建模方法,构建适用于非能动余热排出系统仿真的热前沿追踪计算模型,改进了垂直传热管内的蒸汽凝结换热模型,研制了仿真程序;利用原理性试验数据对模型与程序进行了验证;对实际装置的非能动余热排出系统的运行特性进行仿真,与核动力装置最佳估算程序RELAP5/MOD3.2的计算结果进行了比较;结果表明:提出的仿真建模方法可行,建立的仿真模型计算精度高,适用于核动力装置非能动余热排出系统的实时仿真。 展开更多
关键词 非能动余热排出系统 数学建模 实时仿真 试验验证
下载PDF
站点气温格点化方法在贵州区域的研究与应用
15
作者 李刚 汤天然 +2 位作者 杨秀庄 姚浪 万超 《中低纬山地气象》 2023年第1期63-69,共7页
利用2019年1—12月国家气象信息中心实况格点资料、贵州地面观测站资料以及ECMWF 2 m气温起报场资料,讨论了相同插值方案下站点数对空间分布的反演效果以及相同测站数下不同插值方案的表现,同时对国家气象信息中心实况格点场进行检验,... 利用2019年1—12月国家气象信息中心实况格点资料、贵州地面观测站资料以及ECMWF 2 m气温起报场资料,讨论了相同插值方案下站点数对空间分布的反演效果以及相同测站数下不同插值方案的表现,同时对国家气象信息中心实况格点场进行检验,并对本地建立的气温格点分析场进行初步评估。结果表明:相同的插值方案下,站数越多越能反映要素场的实际分布状态;基于贵州特殊地形,在相同站数下双线性插值法优于邻域法;通过对国家气象信息中心实况格点分析场评估,日最高、最低气温在贵州区域均存在明显误差,其平均绝对误差分别为1.6℃与1.1℃左右,平均RMSE分别达2.2℃与1.6℃。采用Cressman方案对离散观测资料重建的本地化气温格点分析场进行评估,其最高、最低气温平均绝对误差降至0.2℃与0.1℃左右,大幅度降低了与测站观测值的差异,基本可以代替国家气象信息中心下发的气温格点分析场,并将为今后贵州省业务或研究工作中格点预报的客观订正提供新的更符合实际的参考。 展开更多
关键词 实况格点 气温 Cressman方案 检验
下载PDF
术中实时计划在 125I粒子治疗恶性肺肿瘤中的应用 被引量：4
16
作者 李海峰 陈志军 +4 位作者 粟宇 吕巧莉 周琳 钟锦绣 周爱清 《实用癌症杂志》 2020年第4期594-597,635,共5页
目的探讨计算机三维治疗计划系统(TPS)术中实时治疗计划对CT引导下125I放射性粒子治疗恶性肺肿瘤的可行性,并推广术中实时计划引导下125I粒子植入方法。方法回顾性分析行CT引导下125I放射性粒子治疗的32例肺癌患者的相关资料,其中18例行... 目的探讨计算机三维治疗计划系统(TPS)术中实时治疗计划对CT引导下125I放射性粒子治疗恶性肺肿瘤的可行性,并推广术中实时计划引导下125I粒子植入方法。方法回顾性分析行CT引导下125I放射性粒子治疗的32例肺癌患者的相关资料,其中18例行TPS术中实时计划的为研究组(A组),14例未行TPS术中实时计划的为对照组(B组)。将术后CT扫描图像导入TPS系统行术后质量验证,比较A、B组手术前后粒子植入数目、90%和100%的靶区体积所占的剂量D90和D100,90%、100%和150%的处方剂量所占的靶区体积百分比V90、V100和V150,对临床疗效及不良反应发生率等进行分析比较。结果研究组(A组)术中、术后的D90、D100、V90、V100、V150的差值平均分别为6.742±2.011(Gy)、-0.431±3.494(Gy)、3.128±0.758(%)、2.650±1.204(%)、1.156±2.499(%);对照组(B组)术前、术后的D90、D100、V90、V100、V150的差值平均分别为30.506±38.778(Gy)、31.748±5.072(Gy)、12.336±1.482(%)、16.936±2.337(%)、14.821±3.824(%)。研究组于粒子植入前后在粒子植入质量、疗效评价、不良反应控制等方面明显优于对照组。结论通过术中实时计划,术者以剂量学为指导,可显著提高粒子植入肿瘤靶区剂量满意率,且具有可操作性;是一种精准、有效、安全的治疗方法,对肺癌125I放射性粒子治疗的规范化具有一定价值。 展开更多
关键词 实时计划 恶性肺肿瘤 治疗计划系统 质量验证
下载PDF
UML时间顺序图的实时系统建模及验证 被引量：3
17
作者 陈江 陈建国 +1 位作者 陆慧娟 王康健 《中国计量学院学报》 2010年第1期46-51,共6页
实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图... 实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图实现对实时系统的建模及形式化验证,并给出实例. 展开更多
关键词 统一建模语言 实时系统 建模 形式化验证
下载PDF
基于B/S架构的实时系统建模验证工具 被引量：3
18
作者 石安 张卓若 代立云 《计算机应用与软件》 北大核心 2022年第10期11-17,34,共8页
实时系统的建模与验证是实时系统开发过程中不可或缺的环节。由于目前业界中广泛使用的建模验证工具UPPAAL存在下载安装慢、拖拽控件不灵活且不支持多用户进行项目团队管理等弊端与局限性,在考虑UPPAAL缺点的同时结合实际应用需要,设计... 实时系统的建模与验证是实时系统开发过程中不可或缺的环节。由于目前业界中广泛使用的建模验证工具UPPAAL存在下载安装慢、拖拽控件不灵活且不支持多用户进行项目团队管理等弊端与局限性,在考虑UPPAAL缺点的同时结合实际应用需要,设计并实现基于B/S架构的实时系统的建模和验证工具。该工具通过浏览器即可访问,提供良好建模操作体验的同时支持多用户进行项目团队管理。使用该工具编辑运行具体实例,验证了实例系统的可达性、安全性等性质,获得了预期的正确结果,完成了该工具的功能测试。 展开更多
关键词 实时系统 时间自动机 形式化验证
下载PDF
国产安全操作系统的安全配置实时监测技术研究 被引量：3
19
作者 章杜锡 谢宏 +3 位作者 苏达 梁野 张志军 邵立嵩 《电力信息与通信技术》 2018年第4期29-33,共5页
近年来,工控系统的安全形势日益严峻,作为支撑基础的操作系统安全尤为重要,但目前针对操作系统的安全配置监测技术较为薄弱。文章提出了一种基于国产安全操作系统安全配置的实时核查方法,包括用户安全设置、密码安全设置、系统安全设置... 近年来,工控系统的安全形势日益严峻,作为支撑基础的操作系统安全尤为重要,但目前针对操作系统的安全配置监测技术较为薄弱。文章提出了一种基于国产安全操作系统安全配置的实时核查方法,包括用户安全设置、密码安全设置、系统安全设置、服务安全设置、注册表安全设置等。该方法能够有效地对操作系统的安全漏洞、错误配置进行识别和处理,同时结合安全风险评估功能,给出对操作系统漏洞的修复建议,可有效提升对国产安全操作系统安全配置的监管能力。 展开更多
关键词 安全配置 实时监测 基线 核查
下载PDF
基于遥感监测的土地督察外业核查平台的研究与实现 被引量：3
20
作者 梁玉才 《测绘与空间地理信息》 2021年第4期155-157,161,共4页
为了解决传统土地督察采用"人眼看、实地查"等手段,获取督察信息相对滞后、核查信息存在虚假、土地违法违规现象严重等问题进一步提升土地督察能力,本文提出了基于遥感监测的技术手段,研究并搭建了土地督察外业核查平台。利... 为了解决传统土地督察采用"人眼看、实地查"等手段,获取督察信息相对滞后、核查信息存在虚假、土地违法违规现象严重等问题进一步提升土地督察能力,本文提出了基于遥感监测的技术手段,研究并搭建了土地督察外业核查平台。利用该平台可以及时发现问题和解决问题,提高了核查的效率和真实性,构建了一键式遥感监测业务处理流程,极大地提高了土地督察业务效率,全面提升了土地督察部门发现问题、分析问题、解决问题、研判形势等能力。 展开更多
关键词 遥感监测 实时影像 土地督察 外业核查
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 5 下一页 到第 页
使用帮助 返回顶部