期刊文献+
共找到280篇文章
< 1 2 14 >
每页显示 20 50 100
基于ArcGIS Runtime for WPF的触摸屏施肥咨询系统集成与应用 被引量:4
1
作者 麻万诸 李丽 +3 位作者 陆若辉 朱伟锋 蒋玉根 吕晓男 《浙江农业学报》 CSCD 北大核心 2015年第12期2206-2211,共6页
为了更高效地推广科学施肥技术,开发集成了基于Arc GIS Runtime for WPF的触摸屏施肥咨询系统。使用既有瓦片影像高效生成高清离线多级瓦片缓存地图包技术和基于专家知识库的施肥方案,降低了用户门槛,提升了用户体验,使得测土配方施肥... 为了更高效地推广科学施肥技术,开发集成了基于Arc GIS Runtime for WPF的触摸屏施肥咨询系统。使用既有瓦片影像高效生成高清离线多级瓦片缓存地图包技术和基于专家知识库的施肥方案,降低了用户门槛,提升了用户体验,使得测土配方施肥技术面向基层的全面推广变得更为可行。 展开更多
关键词 测土配方施肥 ARC GIS runtime WPF 触摸屏 施肥咨询系统 瓦片缓存地图
在线阅读 下载PDF
Runtime系统综述
2
作者 张宏莉 胡铭曾 方滨兴 《计算机科学》 CSCD 北大核心 1999年第6期25-28,共4页
Runtime systems play an important role in parallel programming and parallel compilation. In this paper,goals and key techniques of runtime systems are presented. And some experiences and its trend are given in the end.
关键词 runtime系统 并行编译系统 并行处理 多线程 同步 通信技术 调度技术
在线阅读 下载PDF
iOS Runtime System安全性研究 被引量:1
3
作者 周泊宁 《计算机应用与软件》 北大核心 2018年第1期304-311,共8页
为提升iOS系统的安全性,提高iOS应用程序抵御非法攻击的能力,避免系统漏洞给用户带来巨大损失。针对应用程序运行时底层核心系统Runtime System进行深入研究,发现其底层API接口在实现许多强大功能的同时也留下了巨大的安全漏洞。经实例... 为提升iOS系统的安全性,提高iOS应用程序抵御非法攻击的能力,避免系统漏洞给用户带来巨大损失。针对应用程序运行时底层核心系统Runtime System进行深入研究,发现其底层API接口在实现许多强大功能的同时也留下了巨大的安全漏洞。经实例验证,攻击者可以通过破解加密、反编译可执行文件,获取程序中的类、方法及属性等信息,进而通过运行时调用Runtime System的API来控制程序。以程序操控或动态注入恶意代码给iOS系统上的应用程序带来极大危害。最后针对漏洞的利用方法分别提出防护方案以此提高iOS系统的安全性。 展开更多
关键词 iOS系统 安全 运行时系统
在线阅读 下载PDF
运行时保证技术的研究现状与发展综述 被引量:1
4
作者 董磊 王琦 +1 位作者 陈曦 刘嘉琛 《计算机应用》 北大核心 2025年第3期1003-1015,共13页
人工智能(AI)、大数据、云计算等先进技术发展突飞猛进的同时,它们自身具有的难解释、难认证等问题限制了它们在各行业的实际应用。而运行时保证(RTA)技术通过监控系统状态实现了功能之间的切换,化“复杂”为“简单”,初步解决了一些复... 人工智能(AI)、大数据、云计算等先进技术发展突飞猛进的同时,它们自身具有的难解释、难认证等问题限制了它们在各行业的实际应用。而运行时保证(RTA)技术通过监控系统状态实现了功能之间的切换,化“复杂”为“简单”,初步解决了一些复杂系统行为难预测、难解释、不安全、非预期结果的问题,在未来有着广阔的发展前景。因此,对RTA的研究现状与发展进行综述,为研究者了解最新的RTA技术研究动态、发展趋势提供参考。首先,回顾RTA技术的发展历程;其次,在描述RTA的基本原理架构以及切换逻辑的基础上,对当前RTA在智能航空、无人机(UAV)、智能航天和自动驾驶汽车领域中及信息物理系统(CPS)和安全强化学习上的应用研究现状进行系统性梳理;最后,对RTA技术的发展前景进行讨论。 展开更多
关键词 运行时保证 复杂功能 切换逻辑 替换认证 智能航空
在线阅读 下载PDF
动态场景下自动驾驶运行时安全保障的自适应方法
5
作者 徐丙凤 陈嘉玲 +1 位作者 杨帅领 何高峰 《通信学报》 北大核心 2025年第7期168-181,共14页
针对已有自动驾驶运行时安全控制方法难以根据车辆实际运行环境进行动态调整导致车辆通行效率降低的问题,提出了一种动态场景下自动驾驶运行时安全保障的自适应方法,给出了运行时安全自动控制模型(RTA-AutoSafe)。在该模型中,针对性能... 针对已有自动驾驶运行时安全控制方法难以根据车辆实际运行环境进行动态调整导致车辆通行效率降低的问题,提出了一种动态场景下自动驾驶运行时安全保障的自适应方法,给出了运行时安全自动控制模型(RTA-AutoSafe)。在该模型中,针对性能控制器提出了一种基于自适应双缓冲优先经验重放机制的深度Q网络算法,通过增强动态交通环境下决策策略的适应性以优化通行效率;针对实际驾驶动态特征设计了自适应责任敏感安全(ARSS)模型,以增强安全判定的动态适应性;同时基于ARSS模型构建了一种结合车辆实时反馈和交通自适应的动态双向切换逻辑和安全控制器,用以实现车辆的实时安全保障和双控制器间的动态调控。仿真实验结果表明,与其他安全控制方法相比,所提方法在动态交通环境中降低了安全冗余控制对通行效率的限制,实现了安全实时响应与高效运行策略的动态兼容。 展开更多
关键词 自动驾驶 深度强化学习 运行时保证 责任敏感安全模型 优先经验重放
在线阅读 下载PDF
基于eBPF的容器运行时可信监控方案 被引量:1
6
作者 黄轲 李璇 +2 位作者 周庆飞 尚科彤 秦宇 《信息网络安全》 北大核心 2025年第2期306-326,共21页
随着云服务技术的发展,越来越多的应用以容器形式迁移到云端,容器的安全监控成为研究热点。虽然容器具有轻量级、部署快速、移植便捷的优点,但其较弱的隔离性却带来了诸多安全问题,如容器逃逸攻击、容器镜像投毒、内核漏洞利用等。针对... 随着云服务技术的发展,越来越多的应用以容器形式迁移到云端,容器的安全监控成为研究热点。虽然容器具有轻量级、部署快速、移植便捷的优点,但其较弱的隔离性却带来了诸多安全问题,如容器逃逸攻击、容器镜像投毒、内核漏洞利用等。针对这些威胁,文章采用eBPF系统监控技术,结合BMC信任根、镜像静态分析、通用策略引擎及运行时证明,提出了一种容器运行时安全监控方案。该方案利用eBPF实现的监控程序,能够识别并监控容器的进程、权能、文件、网络等行为事件。同时,该方案设计了细粒度的容器安全策略,并依据容器镜像静态分析所得的系统调用白名单,检测容器异常行为,多维度保障容器安全。此外,该方案还设计并实现了基于BMC信任根的运行时证明协议,利用BMC中集成的可信计算模块作为信任根,通过可信计算模块的证明确保eBPF监控事件报警日志的完整性和真实性。实验表明,监控服务器能够长期监控各类容器的运行状态,并针对安全异常事件及时采取应对措施。 展开更多
关键词 容器安全 eBPF 运行时监控 BMC信任根 远程证明
在线阅读 下载PDF
一种集成于超算作业调度系统应用的并行参数优化方法
7
作者 张文帅 李会民 +1 位作者 李京 潘必才 《计算机工程》 北大核心 2025年第7期59-67,共9页
随着高性能计算体系结构的发展,软件与硬件都具有多层的并行结构。当不同纵向层级与横向分组的计算任务被划分到不同节点的不同处理器时,存在非常多的分配方式。这些分配方式一般在运行时由用户输入的多个并行参数来确定,并对计算效率... 随着高性能计算体系结构的发展,软件与硬件都具有多层的并行结构。当不同纵向层级与横向分组的计算任务被划分到不同节点的不同处理器时,存在非常多的分配方式。这些分配方式一般在运行时由用户输入的多个并行参数来确定,并对计算效率影响很大。随着计算规模与复杂度的提升,多个并行参数的可配置空间越来越大,用户越来越难以确定最佳的并行参数值。这类运行时优化问题在科学计算应用中较为普遍,但相关的研究与解决方法比较少见。以VASP(Vienna Ab initio Simulation Package)应用为例,首先分析了该应用的多层并行结构,展示了不同并行参数配置引发的巨大运行速度差异。然后提出了一个基于约化并行效率指标的全自动运行优化方法,其不仅可以帮助用户简单快捷地确定最佳应用并行参数,而且可以帮助用户确定最佳的计算资源使用量,使应用可以高效率地扩展到大规模的并行计算中。最后将该优化方法与计算集群作业调度系统相融合应用于用户提交的真实VASP计算作业。统计结果表明,该方法显著提升了作业运行速度与超算资源的使用效率,具有很好的工程应用前景。 展开更多
关键词 并行计算 作业调度 运行时优化 超级计算 VASP应用
在线阅读 下载PDF
状态转换图制导的ARP错误检测方法
8
作者 林高毅 崔展齐 +1 位作者 陈翔 郑丽伟 《软件学报》 北大核心 2025年第2期469-487,共19页
Android应用开发人员需要在保持应用频繁更新的同时快速检测出应用中Android运行时权限(Android runtime permission,ARP)错误.现有的Android应用自动化测试工具通常未考虑ARP机制,无法有效测试Android应用内的权限相关行为.为帮助开发... Android应用开发人员需要在保持应用频繁更新的同时快速检测出应用中Android运行时权限(Android runtime permission,ARP)错误.现有的Android应用自动化测试工具通常未考虑ARP机制,无法有效测试Android应用内的权限相关行为.为帮助开发人员快速检测出应用中ARP错误,提出状态转换图制导的Android应用运行时权限错误检测方法.首先,对被测应用APK文件进行权限误用分析,插桩APK文件中可能导致ARP错误的API,并对APK文件重新签名;然后,安装插桩后的APK文件,动态探索应用以生成其状态转换图(state transition graph,STG);最后,使用STG制导自动化测试,快速检测出应用中ARP错误.基于所提出方法实现原型工具RPBDroid,并与ARP错误动态检测工具SetDroid、PermDroid和传统自动化测试工具APE进行对比实验.实验结果表明,RPBDroid成功检测出17个应用中的15个ARP错误,比APE、SetDroid、PermDroid分别多14、12和14个.此外,相比于测试工具SetDroid、PermDroid和APE,RPBDroid检测ARP错误的平均用时分别减少86.42%、86.72%和86.70%. 展开更多
关键词 ANDROID应用 Android运行时权限错误 权限误用 自动化测试工具 状态转换图
在线阅读 下载PDF
基于使用特性的两阶段多因素作业运行时间预测算法
9
作者 尚秋言 李奕聪 +3 位作者 温瑞林 马银萍 欧阳荣彬 樊春 《计算机科学》 北大核心 2025年第2期261-267,共7页
为了解决用户所提供的作业预计时间不准确对高性能计算平台调度系统的连锁影响,以鹤思调度系统为研究模板,提出了一种通用的两阶段多因素作业运行时间预测算法(TSMF)。TSMF融合了复杂的用户行为模式和作业上下文特征,以确保预测准确可靠... 为了解决用户所提供的作业预计时间不准确对高性能计算平台调度系统的连锁影响,以鹤思调度系统为研究模板,提出了一种通用的两阶段多因素作业运行时间预测算法(TSMF)。TSMF融合了复杂的用户行为模式和作业上下文特征,以确保预测准确可靠,并能够无缝嵌入到大多数高性能计算平台的调度系统中,从而改善其性能。在北京大学高性能计算集群的数据集及真实调度系统上进行的多角度模拟实验显示,TSMF在预测准确性方面表现出色,能够在绝大部分作业上实现精准预测。例如,在多达60.8%的作业中,其预测误差在1min以内。此外,TSMF显著改进了实际情境中的调度算法,提高了资源利用率并大幅缩短了用户等待时间。 展开更多
关键词 高性能计算 作业运行时间预测 作业调度 行为模式 机器学习
在线阅读 下载PDF
Self-adaptive learning based discrete differential evolution algorithm for solving CJWTA problem 被引量:6
10
作者 Yu Xue Yi Zhuang +2 位作者 Tianquan Ni Siru Ni Xuezhi Wen 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2014年第1期59-68,共10页
Cooperative jamming weapon-target assignment (CJWTA) problem is a key issue in electronic countermeasures (ECM). Some symbols which relevant to the CJWTA are defined firstly. Then, a formulation of jamming fitness... Cooperative jamming weapon-target assignment (CJWTA) problem is a key issue in electronic countermeasures (ECM). Some symbols which relevant to the CJWTA are defined firstly. Then, a formulation of jamming fitness is presented. Final y, a model of the CJWTA problem is constructed. In order to solve the CJWTA problem efficiently, a self-adaptive learning based discrete differential evolution (SLDDE) algorithm is proposed by introduc-ing a self-adaptive learning mechanism into the traditional discrete differential evolution algorithm. The SLDDE algorithm steers four candidate solution generation strategies simultaneously in the framework of the self-adaptive learning mechanism. Computa-tional simulations are conducted on ten test instances of CJWTA problem. The experimental results demonstrate that the proposed SLDDE algorithm not only can generate better results than only one strategy based discrete differential algorithms, but also outper-forms two algorithms which are proposed recently for the weapon-target assignment problems. 展开更多
关键词 global optimization self-adaptIVE discrete differentialevolution weapon-target assignment (WTA) cooperative jamming.
在线阅读 下载PDF
Self-adaptive PID controller of microwave drying rotary device tuning on-line by genetic algorithms 被引量:6
11
作者 杨彪 梁贵安 +5 位作者 彭金辉 郭胜惠 李玮 张世敏 李英伟 白松 《Journal of Central South University》 SCIE EI CAS 2013年第10期2685-2692,共8页
The control design, based on self-adaptive PID with genetic algorithms(GA) tuning on-line was investigated, for the temperature control of industrial microwave drying rotary device with the multi-layer(IMDRDWM) and wi... The control design, based on self-adaptive PID with genetic algorithms(GA) tuning on-line was investigated, for the temperature control of industrial microwave drying rotary device with the multi-layer(IMDRDWM) and with multivariable nonlinear interaction of microwave and materials. The conventional PID control strategy incorporated with optimization GA was put forward to maintain the optimum drying temperature in order to keep the moisture content below 1%, whose adaptation ability included the cost function of optimization GA according to the output change. Simulations on five different industrial process models and practical temperature process control system for selenium-enriched slag drying intensively by using IMDRDWM were carried out systematically, indicating the reliability and effectiveness of control design. The parameters of proposed control design are all on-line implemented without iterative predictive calculations, and the closed-loop system stability is guaranteed, which makes the developed scheme simpler in its synthesis and application, providing the practical guidelines for the control implementation and the parameter design. 展开更多
关键词 industrial microwave DRYING ROTARY device self-adaptIVE PID controller genetic algorithm ON-LINE tuning SELENIUM-ENRICHED SLAG
在线阅读 下载PDF
Acid-pickling plates and strips speed control system by microwave heating based on self-adaptive fuzzy PID algorithm 被引量:7
12
作者 杨彪 彭金辉 +3 位作者 郭胜惠 张世敏 李玮 何涛 《Journal of Central South University》 SCIE EI CAS 2012年第8期2179-2186,共8页
Double self-adaptive fuzzy PID algorithm-based control strategy was proposed to construct quasi-cascade control system to control the speed of the acid-pickling process of titanium plates and strips. It is very useful... Double self-adaptive fuzzy PID algorithm-based control strategy was proposed to construct quasi-cascade control system to control the speed of the acid-pickling process of titanium plates and strips. It is very useful in overcoming non-linear dynamic behavior, uncertain and time-varying parameters, un-modeled dynamics, and couples between the automatic turbulence control (ATC) and the automatic acid temperature control (AATC) with varying parameters during the operation process. The quasi-cascade control system of inner and outer loop self-adaptive fuzzy PID controller was built, which could effectively control the pickling speed of plates and strips. The simulated results and real application indicate that the plates and strips acid pickling speed control system has good performances of adaptively tracking the parameter variations and anti-disturbances, which ensures the match of acid pickling temperature and turbulence of flowing with acid pickling speed, improving the surface quality of plates and strips acid pickling, and energy efficiency. 展开更多
关键词 self-adaptive fuzzy PID algorithm microwave heating acid pickling plates and strips mixed-acid media
在线阅读 下载PDF
An algorithm to remove noise from locomotive bearing vibration signal based on self-adaptive EEMD filter 被引量:4
13
作者 王春生 沙春阳 +1 位作者 粟梅 胡玉坤 《Journal of Central South University》 SCIE EI CAS CSCD 2017年第2期478-488,共11页
An improved ensemble empirical mode decomposition(EEMD) algorithm is described in this work, in which the sifting and ensemble number are self-adaptive. In particular, the new algorithm can effectively avoid the mode ... An improved ensemble empirical mode decomposition(EEMD) algorithm is described in this work, in which the sifting and ensemble number are self-adaptive. In particular, the new algorithm can effectively avoid the mode mixing problem. The algorithm has been validated with a simulation signal and locomotive bearing vibration signal. The results show that the proposed self-adaptive EEMD algorithm has a better filtering performance compared with the conventional EEMD. The filter results further show that the feature of the signal can be distinguished clearly with the proposed algorithm, which implies that the fault characteristics of the locomotive bearing can be detected successfully. 展开更多
关键词 locomotive bearing vibration signal enhancement self-adaptive EEMD parameter-varying noise signal feature extraction
在线阅读 下载PDF
An improved de-interleaving algorithm of radar pulses based on SOFM with self-adaptive network topology 被引量:2
14
作者 JIANG Wen FU Xiongjun +1 位作者 CHANG Jiayun QIN Rui 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2020年第4期712-721,共10页
As a core part of the electronic warfare(EW) system,de-interleaving is used to separate interleaved radar signals. As interleaved radar pulses become more complex and denser, intelligent classification of radar signal... As a core part of the electronic warfare(EW) system,de-interleaving is used to separate interleaved radar signals. As interleaved radar pulses become more complex and denser, intelligent classification of radar signals has become very important. The self-organizing feature map(SOFM) is an excellent artificial neural network, which has huge advantages in intelligent classification of complex data. However, the de-interleaving process based on SOFM is faced with the problems that the initialization of the map size relies on prior information and the network topology cannot be adaptively adjusted. In this paper, an SOFM with self-adaptive network topology(SANT-SOFM) algorithm is proposed to solve the above problems. The SANT-SOFM algorithm first proposes an adaptive proliferation algorithm to adjust the map size, so that the initialization of the map size is no longer dependent on prior information but is gradually adjusted with the input data. Then,structural optimization algorithms are proposed to gradually optimize the topology of the SOFM network in the iterative process,constructing an optimal SANT. Finally, the optimized SOFM network is used for de-interleaving radar signals. Simulation results show that SANT-SOFM could get excellent performance in complex EW environments and the probability of getting the optimal map size is over 95% in the absence of priori information. 展开更多
关键词 de-interleaving self-organizing feature map(SOFM) self-adaptive network topology(SANT)
在线阅读 下载PDF
An improved self-adaptive membrane computing optimization algorithm and its applications in residue hydrogenating model parameter estimation 被引量:1
15
作者 芦会彬 薄翠梅 杨世品 《Journal of Central South University》 SCIE EI CAS CSCD 2015年第10期3909-3915,共7页
In order to solve the non-linear and high-dimensional optimization problems more effectively, an improved self-adaptive membrane computing(ISMC) optimization algorithm was proposed. The proposed ISMC algorithm applied... In order to solve the non-linear and high-dimensional optimization problems more effectively, an improved self-adaptive membrane computing(ISMC) optimization algorithm was proposed. The proposed ISMC algorithm applied improved self-adaptive crossover and mutation formulae that can provide appropriate crossover operator and mutation operator based on different functions of the objects and the number of iterations. The performance of ISMC was tested by the benchmark functions. The simulation results for residue hydrogenating kinetics model parameter estimation show that the proposed method is superior to the traditional intelligent algorithms in terms of convergence accuracy and stability in solving the complex parameter optimization problems. 展开更多
关键词 optimization algorithm membrane computing benchmark function improved self-adaptive operator
在线阅读 下载PDF
Enhanced self-adaptive evolutionary algorithm for numerical optimization 被引量:1
16
作者 Yu Xue YiZhuang +2 位作者 Tianquan Ni Jian Ouyang ZhouWang 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2012年第6期921-928,共8页
There are many population-based stochastic search algorithms for solving optimization problems. However, the universality and robustness of these algorithms are still unsatisfactory. This paper proposes an enhanced se... There are many population-based stochastic search algorithms for solving optimization problems. However, the universality and robustness of these algorithms are still unsatisfactory. This paper proposes an enhanced self-adaptiveevolutionary algorithm (ESEA) to overcome the demerits above. In the ESEA, four evolutionary operators are designed to enhance the evolutionary structure. Besides, the ESEA employs four effective search strategies under the framework of the self-adaptive learning. Four groups of the experiments are done to find out the most suitable parameter values for the ESEA. In order to verify the performance of the proposed algorithm, 26 state-of-the-art test functions are solved by the ESEA and its competitors. The experimental results demonstrate that the universality and robustness of the ESEA out-perform its competitors. 展开更多
关键词 self-adaptIVE numerical optimization evolutionary al-gorithm stochastic search algorithm.
在线阅读 下载PDF
Dynamic self-adaptive ANP algorithm and its application to electric field simulation of aluminum reduction cell 被引量:1
17
作者 王雅琳 陈冬冬 +2 位作者 陈晓方 蔡国民 阳春华 《Journal of Central South University》 SCIE EI CAS CSCD 2015年第12期4731-4739,共9页
Region partition(RP) is the key technique to the finite element parallel computing(FEPC),and its performance has a decisive influence on the entire process of analysis and computation.The performance evaluation index ... Region partition(RP) is the key technique to the finite element parallel computing(FEPC),and its performance has a decisive influence on the entire process of analysis and computation.The performance evaluation index of RP method for the three-dimensional finite element model(FEM) has been given.By taking the electric field of aluminum reduction cell(ARC) as the research object,the performance of two classical RP methods,which are Al-NASRA and NGUYEN partition(ANP) algorithm and the multi-level partition(MLP) method,has been analyzed and compared.The comparison results indicate a sound performance of ANP algorithm,but to large-scale models,the computing time of ANP algorithm increases notably.This is because the ANP algorithm determines only one node based on the minimum weight and just adds the elements connected to the node into the sub-region during each iteration.To obtain the satisfied speed and the precision,an improved dynamic self-adaptive ANP(DSA-ANP) algorithm has been proposed.With consideration of model scale,complexity and sub-RP stage,the improved algorithm adaptively determines the number of nodes and selects those nodes with small enough weight,and then dynamically adds these connected elements.The proposed algorithm has been applied to the finite element analysis(FEA) of the electric field simulation of ARC.Compared with the traditional ANP algorithm,the computational efficiency of the proposed algorithm has been shortened approximately from 260 s to 13 s.This proves the superiority of the improved algorithm on computing time performance. 展开更多
关键词 finite element parallel computing(FEPC) region partition(RP) dynamic self-adaptive ANP(DSA-ANP) algorithm electric field simulation aluminum reduction cell(ARC)
在线阅读 下载PDF
软件运行时配置研究综述 被引量:1
18
作者 周书林 李姗姗 +2 位作者 董威 王戟 廖湘科 《软件学报》 EI CSCD 北大核心 2024年第1期63-86,共24页
运行时配置为用户使用软件提供了灵活性和可定制性,但其巨大的规模和复杂的机制也带来了巨大的挑战.大量学者和研究机构针对软件运行时配置展开了研究,以提升软件系统在复杂外部环境中的可用性和适应性.建立运行时配置研究分析框架,从... 运行时配置为用户使用软件提供了灵活性和可定制性,但其巨大的规模和复杂的机制也带来了巨大的挑战.大量学者和研究机构针对软件运行时配置展开了研究,以提升软件系统在复杂外部环境中的可用性和适应性.建立运行时配置研究分析框架,从配置分析与理解、配置缺陷检测与故障诊断、配置应用3个阶段对现有研究工作进行归类和分析,总结归纳现有研究的不足和面临的挑战,并对未来的研究趋势进行展望,对下一步研究具有一定的指导意义. 展开更多
关键词 运行时配置 配置理解 配置缺陷检测 配置故障诊断 配置应用
在线阅读 下载PDF
面向预期功能安全的eVTOL智能避障系统运行时保证方法 被引量:1
19
作者 董磊 宋文佳 +2 位作者 陈曦 刘嘉琛 梁博尧 《中国安全科学学报》 CAS CSCD 北大核心 2024年第7期105-112,共8页
为保障电动垂直起降飞行器(eVTOL)在城市空中交通(UAM)场景下的预期功能安全(SOTIF),降低人工智能算法的验证难度,建立基于运行时保证(RTA)方法的避障模型。首先,使用人工势场法改进的柔性动作评价(SAC)算法作为eVTOL智能避障系统的复... 为保障电动垂直起降飞行器(eVTOL)在城市空中交通(UAM)场景下的预期功能安全(SOTIF),降低人工智能算法的验证难度,建立基于运行时保证(RTA)方法的避障模型。首先,使用人工势场法改进的柔性动作评价(SAC)算法作为eVTOL智能避障系统的复杂功能;然后,使用动态反应规划(DRP)作为智能航电系统的备用功能,以减缓SOTIF危险,同时,使用监视和决策模块采集环境状态,搭建RTA架构;最后,分别仿真仅使用复杂功能和具有RTA架构的避障系统,对比避障效果。结果表明:2种方法均可实现避障,但仅使用复杂功能的传统避障系统会带来SOTIF危险;经过RTA架构设计,可使eVTOL的安全飞行时长占比由78.4%提高到98.15%,总航路长度仅增加0.95%,在保障效率的同时,降低了在运行场景中的风险。 展开更多
关键词 预期功能安全(SOTIF) 电动垂直起降飞行器(eVTOL) 运行时保证(RTA) 城市空中交通(UAM) 智能避障系统
在线阅读 下载PDF
聚合型时序逻辑驱动的复合服务联动定量监测
20
作者 周长兵 赵登 +2 位作者 张文博 孙骁 薛霄 《软件学报》 EI CSCD 北大核心 2024年第12期5419-5451,共33页
近年来,面向服务的物联网体系架构受到学术界和工业界的广泛关注.通过把物联网资源虚拟化为智能物联网服务,动态互联并融合协同这些资源受限且动态演进的物联网服务,从而构建物联网应用,已成为一种被普遍认可且灵活有效的机制.面向边缘... 近年来,面向服务的物联网体系架构受到学术界和工业界的广泛关注.通过把物联网资源虚拟化为智能物联网服务,动态互联并融合协同这些资源受限且动态演进的物联网服务,从而构建物联网应用,已成为一种被普遍认可且灵活有效的机制.面向边缘设备资源稀缺且动态时变,物联网服务在其执行过程中可能发生QoS变化或资源失配,致使物联网应用难以继续或可能诱使故障发生.因此,实现物联网服务的实时定量监测,已成为保障物联网应用鲁棒性和系统健壮性的关键.现有相关研究工作提出了不同监测机制,但其在形式化解释上仍存不足,表现为较强的领域相关性和经验主观性.基于形式化方法,例如信号时序逻辑,可将物联网服务运行态实时定量监测问题转换为时序逻辑任务.然而,现有信号时序逻辑存在信号不可辨性、方法不鲁棒性以及场景不适用性问题.并且,在物联网服务以复合服务形式监测时,现有工作存在整体性、联动性、动态性考虑不足的问题.为解决上述问题,提出一种聚合型信号时序逻辑,以实现单个服务、服务之间以及复合服务上不同QoS约束和时间约束的实时联动定量监测.所提方法扩展基于正负偏置黎曼和的累加型时间算子,对整个时间域内所有子公式进行鲁棒性度量,实现时序鲁棒、信号可辨、动态适用的物联网服务运行态实时定量监测;并扩展基于约束类型与组合结构的聚合算子,以及随动态环境可变的动态变量,实现复合服务在动态环境中的联动定量监测.由此,物联网服务及其复合服务的多维度多约束被转换为逻辑公式,并在运行时以定性和定量化的满意度进行形式化解释.实验结果表明所提方法具有更好的监测表达能力、场景适用性和结果鲁棒性. 展开更多
关键词 物联网服务 复合服务 定量监测 实时监测 信号时序逻辑
在线阅读 下载PDF
上一页 1 2 14 下一页 到第
使用帮助 返回顶部