检索结果-维普期刊中文期刊服务平台

基于行为组件的闭环仿真实验实时评估系统设计及实现: 1; 作者王瑜王航 +1 位作者吕嵩刘道伟《计算机应用与软件》北大核心 2018年第2期80-85,共6页; 实验评估是闭环仿真实验研究的关键环节。针对常规的事后评估方法属于静态评估、耗时较长、结论不全面等问题,采用评估行为组件建模、多引擎协同耦合等技术,设计并实现了基于行为组件的实时评估系统。该系统能够对人不在环的闭环仿真实... 展开更多; 关键词行为组件事后评估实时评估闭环仿真实验; 在线阅读下载PDF 职称材料

一种基于进程代数的Android组件行为形式化描述方法: 2; 作者梁东魁申利民 +2 位作者马川冯佳音陈真《小型微型计算机系统》 CSCD 北大核心 2021年第7期1561-1568,共8页; 已有多种技术和方法用于Android恶意应用的检测,但关于应用行为形式化描述的研究仍有待完善.本文基于π演算提出一种使用进程代数从组件层次描述Android应用及组件行为的形式化描述方法.首先给出组件行为的基本语义和组件行为的定义,并... 展开更多; 关键词恶意应用组件行为进程代数 Π演算形式化描述模拟机制; 在线阅读下载PDF 职称材料

面向流水型设备的组件行为协同自动化被引量：1: 3; 作者余敏聪齐德昱 +3 位作者王新阳周娜琴郑志硕郭靖《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第8期96-106,共11页; 现有的面向自动化设备的建模工具不能完全具备直接描述设备行为、行为可推导以及领域友好性等3个基本特征,业界亟待出现一种面向组件行为协同的自动化代码生成工具.为此,基于实体流模型和自动规划技术,文中提出了一种面向流水型设备的... 展开更多; 关键词流水型设备规划方法实体流模型组件行为协同; 在线阅读下载PDF 职称材料

程序调试中的数据结构演变可视化方法: 4; 作者苏庆陈建成 +2 位作者顾国生刘冬宁黄剑锋《计算机工程》 CAS CSCD 北大核心 2024年第9期197-207,共11页; 数据结构是程序执行时的重要信息载体,其演变过程往往较为复杂和抽象。针对程序设计初学者较难理解数据结构演变过程的问题,提出一种面向程序调试中的数据结构演变可视化方法。在调试开始时,首先使用组件表达式表示数据结构,然后通过配... 展开更多; 关键词程序调试数据结构可视化组件演变行为有限状态机数据结构演变模型; 在线阅读下载PDF 职称材料

题名基于行为组件的闭环仿真实验实时评估系统设计及实现: 1; 作者王瑜王航吕嵩刘道伟; 机构中国洛阳电子装备试验中心; 出处《计算机应用与软件》北大核心 2018年第2期80-85,共6页; 基金全军军事科学研究计划基金项目(16QJ003-094); 文摘实验评估是闭环仿真实验研究的关键环节。针对常规的事后评估方法属于静态评估、耗时较长、结论不全面等问题,采用评估行为组件建模、多引擎协同耦合等技术,设计并实现了基于行为组件的实时评估系统。该系统能够对人不在环的闭环仿真实验各种瞬态和过程数据进行采集,并进行实时分析、信息对比和指标动态分析,为有效解决闭环仿真实验评估问题提供了一种新的方法途径和工具支持。实验验证与实例应用表明该技术可行有效,当调整仿真加速比、增加仿真实体、改变实验想定、扩展仿真规模时,系统依然能够适应不同情况稳定运行,在闭环仿真实验评估方面具有较好的应用前景。; 关键词行为组件事后评估实时评估闭环仿真实验; Keywords Behavior components Post-assessment Real-time assessment Closed-loop simulation experiment; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一种基于进程代数的Android组件行为形式化描述方法: 2; 作者梁东魁申利民马川冯佳音陈真; 机构燕山大学信息科学与工程学院燕山大学工程训练中心; 出处《小型微型计算机系统》 CSCD 北大核心 2021年第7期1561-1568,共8页; 基金国家自然科学基金项目(61772450)资助河北省自然科学基金项目(F2019203287)资助 +2 种基金河北省博士后科研项目(B2018003009)资助。; 文摘已有多种技术和方法用于Android恶意应用的检测,但关于应用行为形式化描述的研究仍有待完善.本文基于π演算提出一种使用进程代数从组件层次描述Android应用及组件行为的形式化描述方法.首先给出组件行为的基本语义和组件行为的定义,并给出了组件行为相应的演化规则,然后给出了组件交互行为的形式化描述,并应用于一个案例表明了方法的正确性和有效性,最后给出了基于模拟机制的行为判定规则,为应用行为的分析和判定提供有效支持.; 关键词恶意应用组件行为进程代数 Π演算形式化描述模拟机制; Keywords malicious application component behavior process algebra π-calculus formal description simulation mechanism; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名面向流水型设备的组件行为协同自动化被引量：1: 3; 作者余敏聪齐德昱王新阳周娜琴郑志硕郭靖; 机构华南理工大学计算机科学与工程学院; 出处《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第8期96-106,共11页; 基金国家自然科学基金资助项目(61070015) 广东省前沿与关键技术创新专项资金重大科技专项(2014B010110004) 广州市产学研协同创新重大项目(201604016074)~~; 文摘现有的面向自动化设备的建模工具不能完全具备直接描述设备行为、行为可推导以及领域友好性等3个基本特征,业界亟待出现一种面向组件行为协同的自动化代码生成工具.为此,基于实体流模型和自动规划技术,文中提出了一种面向流水型设备的组件行为协同自动化方法,并证明了所生成的协同组件行为的操作序列满足物料安全加工条件,展示了一个中型银行卡个人化设备中的组件行为协同自动化的案例.由示例可见,生成的序列既可便于映射物理操作指令,又可观察系统状态变化以利于调试,有效地提高了流水型设备的控制系统的开发效率和可靠性.; 关键词流水型设备规划方法实体流模型组件行为协同; Keywords pipelined mechatronic systems planning methods entity-flow model component behavior coopera-tion; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名程序调试中的数据结构演变可视化方法: 4; 作者苏庆陈建成顾国生刘冬宁黄剑锋; 机构广东工业大学计算机学院; 出处《计算机工程》 CAS CSCD 北大核心 2024年第9期197-207,共11页; 基金国家自然科学基金(62072120) 广东工业大学教育教学改革项目(广工大教字〔2023〕51号) 广东工业大学“本科教学工程”项目(广工大教字〔2024〕75号)。; 文摘数据结构是程序执行时的重要信息载体,其演变过程往往较为复杂和抽象。针对程序设计初学者较难理解数据结构演变过程的问题,提出一种面向程序调试中的数据结构演变可视化方法。在调试开始时,首先使用组件表达式表示数据结构,然后通过配置表以及布局函数将组件表达式生成可视化视图。在进行单步调试后,通过对比单步调试前后的可视化数据方式生成组件演变行为,运用有限状态机理论构建数据结构演变模型,该模型的执行使得组件发生演变,同时生成可视化动作。使用动画单元执行可视化动作,实现数据结构演变的可视化呈现,帮助初学者理解数据结构相关程序的执行过程。实验结果表明,将该方法应用于1个数据结构演变可视化框架StructV,并应用于1个在线可视化编程实训云平台的研发,可有效降低初学者理解数据结构演变过程的难度,并提升编程实训时的程序调试效率。; 关键词程序调试数据结构可视化组件演变行为有限状态机数据结构演变模型; Keywords program debugging data structure visualization component evolution behavior finite state machine data structure evolution model; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于行为组件的闭环仿真实验实时评估系统设计及实现	王瑜王航吕嵩刘道伟	《计算机应用与软件》北大核心	2018	0	在线阅读下载PDF 职称材料
2	一种基于进程代数的Android组件行为形式化描述方法	梁东魁申利民马川冯佳音陈真	《小型微型计算机系统》 CSCD 北大核心	2021	0	在线阅读下载PDF 职称材料
3	面向流水型设备的组件行为协同自动化	余敏聪齐德昱王新阳周娜琴郑志硕郭靖	《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心	2018	1	在线阅读下载PDF 职称材料
4	程序调试中的数据结构演变可视化方法	苏庆陈建成顾国生刘冬宁黄剑锋	《计算机工程》 CAS CSCD 北大核心	2024	0	在线阅读下载PDF 职称材料