期刊文献+
共找到230篇文章
< 1 2 12 >
每页显示 20 50 100
状态转换图制导的ARP错误检测方法
1
作者 林高毅 崔展齐 +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
面向三维目标跟踪的状态转换卡尔曼滤波方法 被引量:5
2
作者 刘增力 张文 +3 位作者 曹奇宏 赵宣植 刘康 曾赛 《兵工学报》 EI CAS CSCD 北大核心 2024年第11期3998-4010,共13页
雷达及声呐系统采集的三维球坐标量测与运动目标的笛卡尔坐标状态呈非线性,导致跟踪精度受限,而具有强非线性的多普勒量测更难以高效利用。针对上述问题,构造由距离、俯仰角、方位角及其微分组成的状态向量,使测量方程线性化;在距离、... 雷达及声呐系统采集的三维球坐标量测与运动目标的笛卡尔坐标状态呈非线性,导致跟踪精度受限,而具有强非线性的多普勒量测更难以高效利用。针对上述问题,构造由距离、俯仰角、方位角及其微分组成的状态向量,使测量方程线性化;在距离、俯仰角构成二维时变极坐标系中对常微分动力学方程离散化,再基于投影关系引入方位角,建立球坐标系中的典型三维常速度和常加速度运动模型;结合标准卡尔曼滤波在线性高斯框架下,实现跟踪以避免非线性误差。通过仿真验证了在包括多普勒雷达等若干三维跟踪场景下提出方法的有效性与性能优势。 展开更多
关键词 多普勒雷达 三维目标跟踪 非线性滤波 状态转换卡尔曼滤波
在线阅读 下载PDF
考虑碱性电解槽状态转换的风电制-储氢系统优化调度 被引量:6
3
作者 郭小龙 亢朋朋 +1 位作者 田晨 翟文辉 《高压电器》 CAS CSCD 北大核心 2024年第7期60-68,77,共10页
针对风电制—储氢系统的优化调度问题,提出了一种考虑碱性电解槽状态转换的日前出力优化调度模型。该模型以系统日收益最高为目标,结合分时电价,引入电解槽状态转换过程中的冷热启动成本和功率波动成本,满足各个设备动态运行约束及系统... 针对风电制—储氢系统的优化调度问题,提出了一种考虑碱性电解槽状态转换的日前出力优化调度模型。该模型以系统日收益最高为目标,结合分时电价,引入电解槽状态转换过程中的冷热启动成本和功率波动成本,满足各个设备动态运行约束及系统功率平衡约束条件,调用Gurobi求解器进行优化求解。采用实际的风电出力数据和电氢负荷数据,对3种典型日场景下的优化结果进行分析。算例表明:所建立的优化调度模型能够满足电氢负荷需求,合理调节电解槽的3种状态,显著降低电解槽功率波动幅度和系统总成本,验证了所提模型的有效性。 展开更多
关键词 风电制氢 碱性电解槽 状态转换 典型日场景 分时电价
在线阅读 下载PDF
基于状态转换系统的Z语义模型扩充
4
作者 何炎祥 黄谦 叶磊 《小型微型计算机系统》 CSCD 北大核心 2003年第9期1701-1706,共6页
利用状态转换系统对 Z语义模型进行分析 ,指出其三种不足 ;然后利用状态转换系统、有限状态转换系统和时序状态转换系统 ,对 Z语义模型分别进行多样性、有效性和时序性扩充 ,定义多种数据实现关系和时序实现关系 ,导出相应的求精关系 ;... 利用状态转换系统对 Z语义模型进行分析 ,指出其三种不足 ;然后利用状态转换系统、有限状态转换系统和时序状态转换系统 ,对 Z语义模型分别进行多样性、有效性和时序性扩充 ,定义多种数据实现关系和时序实现关系 ,导出相应的求精关系 ;并通过一个简单的实例说明 展开更多
关键词 Z语义模型 实现关系 状态转换系统 有限状态转换系统 时序状态转换系统
在线阅读 下载PDF
私募基金的市场状态转换识别与择时能力研究
5
作者 郭万山 赵天宇 《武汉金融》 北大核心 2018年第5期35-41,共7页
本文通过马尔科夫状态转换模型研究了中国私募基金的收益状态识别与择时能力。研究结果显示,私募基金整体收益在牛熊市中分别存在"高收益、低波动"和"低收益、高波动"两种特征。进一步对私募基金状态转换择时能力... 本文通过马尔科夫状态转换模型研究了中国私募基金的收益状态识别与择时能力。研究结果显示,私募基金整体收益在牛熊市中分别存在"高收益、低波动"和"低收益、高波动"两种特征。进一步对私募基金状态转换择时能力进行检验,发现牛市向熊市转换过程中,私募基金的择时能力较为突出;熊市向牛市状态转换时,基金整体的收益低于基准收益,择时能力较弱。对不同策略进行比较发现,股票型私募基金的择时能力最强。 展开更多
关键词 私募基金 状态转换 择时能力 马尔科夫状态转换模型
在线阅读 下载PDF
状态转换在预防农作物病虫害中的作用
6
作者 曹耀辉 高亚玲 《安徽农业科学》 CAS 北大核心 2010年第15期7960-7961,共2页
介绍了状态转换、状态转换算法以及在预防农作物病虫害中的作用。
关键词 状态转换 状态转换算法 入侵 作用
在线阅读 下载PDF
基于状态转换模型的容侵系统研究 被引量:6
7
作者 崔竞松 王丽娜 +2 位作者 张焕国 傅建明 罗敏 《计算机科学》 CSCD 北大核心 2003年第4期61-64,共4页
Intrusion tolerance system is a new technology of network security. It can provide acceptable or degraded system service when intrusions occur. In this article, the system's basic function, technique and objective... Intrusion tolerance system is a new technology of network security. It can provide acceptable or degraded system service when intrusions occur. In this article, the system's basic function, technique and objective are introduced. A kind of state transition model is discussed. The intrusion tolerance architecture based on state the transition model and several vulnerabilities cases are proposed. 展开更多
关键词 容侵系统 状态转换模型 防火墙 入侵检测系统 计算机网络 网络安全
在线阅读 下载PDF
含多种形式能源发电的微网状态转换协调控制策略 被引量:5
8
作者 周念成 胡斌 +2 位作者 王强钢 池源 徐韬 《重庆大学学报(自然科学版)》 EI CAS CSCD 北大核心 2012年第9期61-69,共9页
针对包含多种连续性和间歇性DG、储能装置以及敏感负荷的微网,提出了一种基于状态转换的协调控制策略。以微网中允许出现的有效运行状态为基础,通过将微网当前运行状态和触发事件作为中央控制器的输入变量,各可控元件的控制方式作为输... 针对包含多种连续性和间歇性DG、储能装置以及敏感负荷的微网,提出了一种基于状态转换的协调控制策略。以微网中允许出现的有效运行状态为基础,通过将微网当前运行状态和触发事件作为中央控制器的输入变量,各可控元件的控制方式作为输出变量,制定微网运行状态转换方案。为保证敏感负荷的可靠供电,考虑微网所有运行状态下系统频率无差调节和储能装置的容量限制,提出了笔者定义运行状态下各元件相应的控制方式和状态转换触发事件。利用PSCAD/EMTDC软件仿真分析了3种典型的运行状态转换过程,结果表明所提协调控制策略能够保证本地敏感负荷不间断供电,实现了微网状态之间的平滑转换和频率无差调节。 展开更多
关键词 微网 分布式电源 状态转换 敏感负荷 频率无差调节
在线阅读 下载PDF
一种基于状态转换图的Ajax爬行算法 被引量:6
9
作者 郭浩 陆余良 刘金红 《计算机应用研究》 CSCD 北大核心 2009年第11期4266-4269,共4页
传统Web爬虫无法解决爬行Ajax应用所面临的JavaScript执行、状态识别与切换、重复状态检测等问题。为此,首先定义Ajax应用的状态转换图,并设计了一种基于状态转换图的Ajax爬行算法,通过该算法可以获取Ajax应用状态信息和后台DeepWeb资... 传统Web爬虫无法解决爬行Ajax应用所面临的JavaScript执行、状态识别与切换、重复状态检测等问题。为此,首先定义Ajax应用的状态转换图,并设计了一种基于状态转换图的Ajax爬行算法,通过该算法可以获取Ajax应用状态信息和后台DeepWeb资源。为了提高Ajax爬行的准确性、减少待爬行的状态数目,使用Ajax指纹识别、DOM结构过滤等方法改进上述算法。实验结果表明了算法的有效性和性能。 展开更多
关键词 Ajax爬虫 状态转换 WEB爬虫 DEEP WEB
在线阅读 下载PDF
基于状态转换GARCH模型的上证综指已实现波动研究 被引量:10
10
作者 万军 刘思峰 许海靖 《工业技术经济》 北大核心 2008年第4期128-132,共5页
引入马尔科夫状态转换(markov regime switching)的GARCH模型,利用高频上证综指构建的已实现波动(realized volatility)进行了实证研究。结果表明状态转换模型能够更好地描述波动性,发现了我国股市的波动主要由政策引起,解决了GARCH模型... 引入马尔科夫状态转换(markov regime switching)的GARCH模型,利用高频上证综指构建的已实现波动(realized volatility)进行了实证研究。结果表明状态转换模型能够更好地描述波动性,发现了我国股市的波动主要由政策引起,解决了GARCH模型"伪"强持续性的问题。 展开更多
关键词 日已实现波动 高频数据 状态转换GARCH模型
在线阅读 下载PDF
下推自动机的状态转换图与下推自动机的化简 被引量:10
11
作者 张继军 吴哲辉 《计算机科学》 CSCD 北大核心 2006年第3期271-274,共4页
参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。
关键词 状态转换 标准下推自动机 化简 行为等价 状态等价
在线阅读 下载PDF
基于串空间和状态转换的认证协议分析方法 被引量:3
12
作者 邓淼磊 邱罡 周利华 《计算机科学》 CSCD 北大核心 2007年第10期96-98,共3页
串空间是一种新兴的安全协议形式化分析模型。串空间模型中的理论证明方法虽然严谨,但难度很大。本文基于串空间模型,首先定义系统状态,并以Needham-Schroeder-Lowe公钥认证协议为例说明系统状态转换的分析过程。通过对状态转换过程中... 串空间是一种新兴的安全协议形式化分析模型。串空间模型中的理论证明方法虽然严谨,但难度很大。本文基于串空间模型,首先定义系统状态,并以Needham-Schroeder-Lowe公钥认证协议为例说明系统状态转换的分析过程。通过对状态转换过程中现实的跟踪考察,得出了有意义的结论。结合串空间模型,验证了该认证协议的安全性。这种分析认证协议的新方法简洁和高效,并易于实现自动化。 展开更多
关键词 串空间 认证协议 状态转换 现实
在线阅读 下载PDF
Petri网的状态转换图 被引量:3
13
作者 张继军 吴哲辉 董卫 《小型微型计算机系统》 CSCD 北大核心 2008年第9期1714-1718,共5页
给出Petri网的状态转换图模型,并作为分析工具,分析Petri网重复引发序列在状态转换图中的表现特点,给出标注路径(回路)与引发序列(重复引发序列)的关系及其判定条件,并给出求基本重复引发序列的计算方法;定义了可重复序列之间的依赖性... 给出Petri网的状态转换图模型,并作为分析工具,分析Petri网重复引发序列在状态转换图中的表现特点,给出标注路径(回路)与引发序列(重复引发序列)的关系及其判定条件,并给出求基本重复引发序列的计算方法;定义了可重复序列之间的依赖性和依赖度,准确地给出了可重复序列之间依赖关系的形式描述;分析了Petri网语言的结构特点,证明了任意一个Petri网语言都是一个正规语言表达式与该网的可重复引发序列α闭包的同步. 展开更多
关键词 PETRI网 状态转换 重复序列的依赖性 标注路径
在线阅读 下载PDF
基于状态转换动态Copula模型的外汇套期保值研究 被引量:9
14
作者 唐韬 谢赤 《中南大学学报(社会科学版)》 CSSCI 2015年第1期104-110,65,共8页
汇改以来,人民币汇率波动的不确定性增大,外汇风险加剧,在此形势下加强外汇风险管理势在必行。考虑到利用外汇期货合约进行套期保值是管理外汇风险的一个重要方法,因此可建立一个状态转换动态Gaussian Copula套期保值模型来对外汇风险... 汇改以来,人民币汇率波动的不确定性增大,外汇风险加剧,在此形势下加强外汇风险管理势在必行。考虑到利用外汇期货合约进行套期保值是管理外汇风险的一个重要方法,因此可建立一个状态转换动态Gaussian Copula套期保值模型来对外汇风险进行管理。首先采用GJR-t模型描述欧元、日元、英镑、澳元和加元的现货和期货收益率的边际分布;然后引入状态转换动态Copula函数描述上述五种货币的现货和期货收益率之间的相关性;最后将状态转换动态Gaussian Copula模型与OLS,DCC GARCH,DCC Gaussian Copula等模型的套期保值效率进行比较。实证结果表明,所构建的模型优于其他模型,利用该策略模型能有效规避外汇风险。 展开更多
关键词 套期保值 汇率风险 状态转换 动态Copula模型
在线阅读 下载PDF
高气压电弧状态转换规律的蝴蝶型突变模型 被引量:2
15
作者 荣命哲 杨武 金黎 《高压电器》 CAS CSCD 北大核心 1999年第1期59-62,共4页
阐明了高气压条件下(0.1MPa及以上)电器开断电路过程中触头间金属蒸汽电弧和气体电弧及其转换这一物理事实;根据金属蒸汽电弧向气体态电弧转换的规律和条件,应用基本突变理论,建立的反映电弧状态转换规律的蝴蝶型突变模型,使得预见和控... 阐明了高气压条件下(0.1MPa及以上)电器开断电路过程中触头间金属蒸汽电弧和气体电弧及其转换这一物理事实;根据金属蒸汽电弧向气体态电弧转换的规律和条件,应用基本突变理论,建立的反映电弧状态转换规律的蝴蝶型突变模型,使得预见和控制电弧转换成为可能. 展开更多
关键词 高气压 电弧状态转换 突变模型 蝴蝶型
在线阅读 下载PDF
基于HMM的中国股市状态转换及预测 被引量:3
16
作者 胡淑兰 魏捷 黄晟 《统计与决策》 CSSCI 北大核心 2011年第22期152-154,共3页
文章从偏度、峰度和移动方差三个角度对2000~2011年间的月度股票指数数据的波动性进行统计描述分析;运用隐藏马尔科夫模型,合理细分股市的五种股指状态,计算并结合中国股市的实际状况分析了股市在五种状态之间的变换规律。
关键词 状态转换 隐藏马尔科夫模型 预测
在线阅读 下载PDF
无线传感器网络节点能耗状态转换模型研究 被引量:2
17
作者 张骏 向渝 汪文勇 《电子科技大学学报》 EI CAS CSCD 北大核心 2009年第4期596-599,共4页
针对无线传感器网络节点的能量管理与优化问题,对无线传感器网络节点中主要的功率可管理部件工作状态进行分析,建立了MCU处理器、模数转换器和无线收发模块之间的状态转换关系模型。详细阐述了器件间的状态转换关系和条件,并给出了多种... 针对无线传感器网络节点的能量管理与优化问题,对无线传感器网络节点中主要的功率可管理部件工作状态进行分析,建立了MCU处理器、模数转换器和无线收发模块之间的状态转换关系模型。详细阐述了器件间的状态转换关系和条件,并给出了多种休眠模式间的转换时间阈值的估计方法。该模型反映了无线传感器网络节点实际工作状态的转换关系,为节点的动态能耗管理的优化设计提供了实际应用参考。 展开更多
关键词 能耗管理 优化 状态转换 无线传感器网络
在线阅读 下载PDF
基于状态转换的SIP容侵模型研究 被引量:1
18
作者 张兆心 张冰 +2 位作者 方滨兴 胡萍 李斌 《通信学报》 EI CSCD 北大核心 2009年第12期1-11,共11页
通过对DoS攻击的原理、方式和特征及SIP网络面对的典型DoS攻击的深入研究,结合基于状态转换的容侵模型、Client Puzzle思想、SIP会话、SIP网络及其代理服务器的特点,提出了基于状态转换的SIP容侵模型,并设计相应的仿真实验环境,对该模... 通过对DoS攻击的原理、方式和特征及SIP网络面对的典型DoS攻击的深入研究,结合基于状态转换的容侵模型、Client Puzzle思想、SIP会话、SIP网络及其代理服务器的特点,提出了基于状态转换的SIP容侵模型,并设计相应的仿真实验环境,对该模型抵御DoS攻击的能力进行测试。测试结果表明该模型可以有效地处理针对计算能力、等待时间和洪水攻击类型的DoS攻击,增强了系统承载DoS攻击的能力,提高了SIP网络的可用性。 展开更多
关键词 SIP DOS 状态转换 容侵模型
在线阅读 下载PDF
基于场景和状态转换分析的入侵检测模型的构建 被引量:1
19
作者 滕少华 伍乃骐 张巍 《计算机工程》 EI CAS CSCD 北大核心 2005年第19期136-138,共3页
从已知的入侵方法出发,对攻击序列进行拓扑排序及同构类扩充,扩展到一个场景或一类入侵,通过构建基于场景和状态转换分析的入侵检测模型来检测基于类的入侵问题。模型在某种程度上可预防入侵及检测到未知的入侵。
关键词 CASE 入侵检测 状态转换 场景 规则
在线阅读 下载PDF
类人机器人复杂运动的状态转换规划方法研究 被引量:3
20
作者 王旭阳 吕恬生 +1 位作者 徐兆红 张培艳 《中国机械工程》 EI CAS CSCD 北大核心 2007年第6期659-662,共4页
提出一种针对类人机器人复杂运动的状态转换规划方法。该方法采用状态空间描述机器人的动作序列,以ZMP稳定判据对运动中的状态节点进行稳定性分析,采用多项式插值的方法实现状态之间的转换,对不满足稳定性要求的插值轨迹采取增加状态节... 提出一种针对类人机器人复杂运动的状态转换规划方法。该方法采用状态空间描述机器人的动作序列,以ZMP稳定判据对运动中的状态节点进行稳定性分析,采用多项式插值的方法实现状态之间的转换,对不满足稳定性要求的插值轨迹采取增加状态节点重新修正的方法,从而完成类人机器人的运动规划。机器人的起立过程的仿真结果表明,该方法简单可行、有效。 展开更多
关键词 运动规划 状态转换 ZMP稳定性 类人机器人
在线阅读 下载PDF
上一页 1 2 12 下一页 到第
使用帮助 返回顶部