期刊文献+
共找到94篇文章
< 1 2 5 >
每页显示 20 50 100
计算机动态取证的数据分析技术研究 被引量:19
1
作者 钟秀玉 凌捷 《计算机应用与软件》 CSCD 北大核心 2004年第9期26-27,92,共3页
本文针对计算机动态取证的数据分析阶段面临的问题 ,提出将数据挖掘技术应用于计算机动态取证的海量数据分析中 ,给出了基于数据挖掘的计算机动态取证系统模型 ,提高动态取证中数据分析的速度、分析的准确性和分析的智能性 ,解决动态取... 本文针对计算机动态取证的数据分析阶段面临的问题 ,提出将数据挖掘技术应用于计算机动态取证的海量数据分析中 ,给出了基于数据挖掘的计算机动态取证系统模型 ,提高动态取证中数据分析的速度、分析的准确性和分析的智能性 ,解决动态取证中的实用性、有效性。 展开更多
关键词 网络安全工具 黑客入侵 防火墙 入侵检测系统 数据分析 数据挖掘 计算机动态取证 计算机网络
在线阅读 下载PDF
山区高校计算机应用型人才培养模式实践 被引量:2
2
作者 罗予东 陈伟君 +1 位作者 张德勇 张晨 《实验室研究与探索》 CAS 北大核心 2014年第5期213-216,共4页
山区高校计算机专业人才培养的目的是培养出符合市场需求的实用型人才,嘉应学院计算机学院借鉴优秀IT职业培训机构成功的经验,对计算机专业应用型人才培养模式进行理论上的探讨和实践上的改革,改变传统散放式的专业实习,采用市场需求驱... 山区高校计算机专业人才培养的目的是培养出符合市场需求的实用型人才,嘉应学院计算机学院借鉴优秀IT职业培训机构成功的经验,对计算机专业应用型人才培养模式进行理论上的探讨和实践上的改革,改变传统散放式的专业实习,采用市场需求驱动的应用型人才能力培养模式,结合IT职业培训机构的优势,由IT机构实施毕业前的定向专业实习培训,增强学生实践动手能力,从而实现就业的无缝衔接。 展开更多
关键词 计算机专业 培养实践模式 应用型人才
在线阅读 下载PDF
基于混沌自适应同步控制的锂电池一阶RC模型参数在线辨识 被引量:1
3
作者 高延增 徐东辉 《电力科学与技术学报》 北大核心 2025年第1期190-198,共9页
由于锂离子电池在使用过程中具有动态性、慢时变性及强非线性特点,导致在线辨识锂电池一阶RC模型未知参数存在精确度低、实时性差等难题。为此,首先利用荷控忆阻器与一阶RC模型建立基于荷控忆阻器的一阶RC模型混沌系统,调整荷控忆阻器... 由于锂离子电池在使用过程中具有动态性、慢时变性及强非线性特点,导致在线辨识锂电池一阶RC模型未知参数存在精确度低、实时性差等难题。为此,首先利用荷控忆阻器与一阶RC模型建立基于荷控忆阻器的一阶RC模型混沌系统,调整荷控忆阻器参数使该系统进入混沌状态,并分析系统的动力学特性;然后构建混沌系统未知参数的自适应控制规律,并将其应用于基于荷控忆阻器的一阶RC模型混沌系统中,实时在线辨识锂电池一阶RC模型未知参数,获得有效的辨识值。有效克服传统估计算法受数据样本空间大小的限制,同时受环境温度、行驶路况、负载状况及电池材料情况等影响。最后实验仿真结果表明,建立的混沌系统具有丰富的动力学特性,所提未知参数的自适应控制规律辨识算法具有较好的实时性、准确性、鲁棒性及较快的收敛速度。 展开更多
关键词 锂离子电池 等效电路模型 混沌系统 参数辨识 健康状态估计
在线阅读 下载PDF
基于SOM的散乱点云法矢计算 被引量:7
4
作者 曾锋 钟治初 +1 位作者 杨通 姚山 《计算机工程》 CAS CSCD 2012年第8期287-290,共4页
点云法矢计算对点云分布密度较敏感,而且在尖锐边界处计算误差较大。为此,提出一种基于自组织神经网络(SOM)的散乱点云法矢计算方法。为利用散乱点云拓扑和几何信息计算法矢,以球面SOM学习点云拓扑结构,得到被测曲面的三角网格近似图,... 点云法矢计算对点云分布密度较敏感,而且在尖锐边界处计算误差较大。为此,提出一种基于自组织神经网络(SOM)的散乱点云法矢计算方法。为利用散乱点云拓扑和几何信息计算法矢,以球面SOM学习点云拓扑结构,得到被测曲面的三角网格近似图,使用三角网格构成的连通图组织点云数据结构,通过k-近邻点拟合微切平面,从而计算点云法矢,并调整点云法矢指向。实验结果表明,该方法具有较高的计算精度,法矢误差在0.08以内,标准差为0.009。 展开更多
关键词 散乱点 拓扑信息 自组织神经网络 法矢计算 逆向工程
在线阅读 下载PDF
一种跨区域跨评分协同过滤推荐算法
5
作者 于旭 彭庆龙 +6 位作者 詹定佳 杜军威 刘金环 林俊宇 巩敦卫 张子迎 于婕 《计算机研究与发展》 EI CSCD 北大核心 2024年第12期3134-3153,共20页
传统跨评分协同过滤范式忽视了目标域中评分密度对用户和项目隐向量精度的影响,导致评分稀疏区域评分预测不够准确.为克服区域评分密度对评分预测的影响,基于迁移学习思想提出一种跨区域跨评分协同过滤推荐算法(cross-rating collaborat... 传统跨评分协同过滤范式忽视了目标域中评分密度对用户和项目隐向量精度的影响,导致评分稀疏区域评分预测不够准确.为克服区域评分密度对评分预测的影响,基于迁移学习思想提出一种跨区域跨评分协同过滤推荐算法(cross-rating collaborative filtering recommendation algorithm,CRCRCF),相对于传统跨评分协同过滤范式,该算法不仅能有效挖掘辅助域重要知识,而且可以挖掘目标域中评分密集区域的重要知识,进一步提升目标域整体,尤其是评分稀疏区域的评分预测精度.首先,针对用户和项目,分别进行活跃用户和非活跃用户、热门项目和非热门项目的划分.利用图卷积矩阵补全算法提取目标域活跃用户和热门项目、辅助域中全体用户和项目的隐向量.其次,对活跃用户和热门项目分别构建基于自教学习的深度回归网络学习目标域和辅助域中隐向量的映射关系.然后,将映射关系泛化到全局,利用非活跃用户和非热门项目在辅助域上相对较准确的隐向量推导其目标域上的隐向量,依次实现了跨区域映射关系迁移和跨评分的隐向量信息迁移.最后,以求得的非活跃用户和非热门项目在目标域上的隐向量为约束,提出受限图卷积矩阵补全模型,并给出相应推荐结果.在MovieLens和Netflix数据集上的仿真实验显示CRCRCF算法较其他最先进算法具有明显优势. 展开更多
关键词 协同过滤 跨区域跨评分推荐 图卷积矩阵补全 自教学习 深度回归网络 受限图卷积矩阵补全
在线阅读 下载PDF
基于等效电路模型参数辨识的锂电池SOC非线性组合估计 被引量:1
6
作者 高延增 王健 徐东辉 《车用发动机》 北大核心 2024年第6期74-82,89,共10页
锂离子电池属于刚性系统,呈现出丰富的非线性动力学特性和高度复杂性。其等效电路模型参数及SOC状态量随着电池的使用呈现出慢时变特性,利用常规的SOC估计方法通常存在精确度低、时效性差等不足。将电荷控制型忆阻器与一阶RC模型结合建... 锂离子电池属于刚性系统,呈现出丰富的非线性动力学特性和高度复杂性。其等效电路模型参数及SOC状态量随着电池的使用呈现出慢时变特性,利用常规的SOC估计方法通常存在精确度低、时效性差等不足。将电荷控制型忆阻器与一阶RC模型结合建立四阶混沌系统,利用状态观测器在线辨识混沌系统中的未知参数,实时获取一阶RC模型参数值;利用参数在线辨识值建立准确的一阶RC模型数学表达式,然后采用AEKF和SVR两个模型分别实时估计SOC时间序列,获得两个模型的SOC估计值;最后利用LSTM模型非线性组合AEKF和SVR的估计值,获得最终的锂离子电池SOC估计值。试验结果显示:非线性组合估计模型能实时准确地估计锂电池SOC,表明提出的非线性组合模型具有较优的非线性动态估计能力、较高的精确度及泛化能力。 展开更多
关键词 锂离子电池 荷电状态 估计 等效电路 混沌系统 参数辨识
在线阅读 下载PDF
基于XGBoost-DNN的工业控制系统入侵检测架构 被引量:2
7
作者 张子迎 陈玉炜 王宇华 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2024年第11期2243-2249,共7页
针对工业控制系统安全防护中存在的数据不平衡问题以及提高检测的实时性与安全性,本文依据工业控制系统的架构特点,提出XGBoost-DNN双层入侵检测架构。在下层,将设计的权重焦点损失函数引入XGBoost中进行二分类入侵检测,以增强算法在不... 针对工业控制系统安全防护中存在的数据不平衡问题以及提高检测的实时性与安全性,本文依据工业控制系统的架构特点,提出XGBoost-DNN双层入侵检测架构。在下层,将设计的权重焦点损失函数引入XGBoost中进行二分类入侵检测,以增强算法在不平衡数据下的鲁棒性;在上层,使用XGBoost算法进行特征选择,然后用DNN对结果进行多分类入侵检测。将该架构应用在电网稳定性和电网攻击模拟数据集上,实验结果表明:双层检测架构具有更强的鲁棒性,并且DNN模型的训练时间缩短了18.3%。 展开更多
关键词 工业控制系统 入侵检测 XGBoost DNN 分层架构 权重焦点损失函数 实时性 不平衡数据
在线阅读 下载PDF
面向应急多播通信的DAP-NAD算法
8
作者 秦娜 刘宴涛 《计算机应用》 CSCD 北大核心 2024年第S2期170-175,共6页
确定性自适应优先级网络接入延时(DAP-NAD)采用令牌环的方式为网络节点提供优先接入。该算法的首站号(FSN)以步长为1递进,每个网络接入周期(NAP)中会引入较多空闲时隙,造成信道资源的浪费。针对此问题,提出DAP-NAD-R算法。首先,把FSN的... 确定性自适应优先级网络接入延时(DAP-NAD)采用令牌环的方式为网络节点提供优先接入。该算法的首站号(FSN)以步长为1递进,每个网络接入周期(NAP)中会引入较多空闲时隙,造成信道资源的浪费。针对此问题,提出DAP-NAD-R算法。首先,把FSN的步长调整为R,从而跳过前一个NAP中已经被提供优先网络接入机会的节点;其次,为了兼顾被跨越节点的通信需求,即引入B时隙允许被跨越节点发送紧急短帧以阻止本次跨越;最后,多播通信是战斗无线电网的典型应用,而为了照顾多播源节点的优先接入,进一步改进DAP-NAD-R算法,从而允许多播源节点有高优先级信息时也可以在B时隙里发出紧急短帧,而各站点收到该短帧后,网络接入机会会先交给多播源节点。仿真实验结果表明,相较于DAP-NAD-R算法,多播改进算法的话音分组的端到端延时(ETE)和丢包率分别降低了10%和15%。DAP-NAD-R算法及其改进算法适用于数话同传的战斗无线电网,能显著降低高优先级数据分组的延时和话音分组的丢包率,从而提高多播的通信效率。 展开更多
关键词 MIL-STD 188-220协议 多播 确定性自适应优先级网络接入延时 媒体接入控制 数话同传
在线阅读 下载PDF
基于贝叶斯网络的蔬菜质量安全溯源与预警 被引量:10
9
作者 刘越畅 陈世文 +3 位作者 冯进达 徐炫杰 朱同林 房宜汕 《广东农业科学》 CAS CSCD 北大核心 2012年第20期188-190,205,共4页
食品安全已成为近年来我国公共安全的一项重大议题,而作为日常消费量最大的食品———蔬菜的质量安全毫无疑问应该得到保证。在一个蔬菜质量安全溯源系统中,根据蔬菜供应链中的关键控制点分析,建立了蔬菜流通的数据采集流程及安全溯源... 食品安全已成为近年来我国公共安全的一项重大议题,而作为日常消费量最大的食品———蔬菜的质量安全毫无疑问应该得到保证。在一个蔬菜质量安全溯源系统中,根据蔬菜供应链中的关键控制点分析,建立了蔬菜流通的数据采集流程及安全溯源与预警的贝叶斯模型。该模型可以对蔬菜生产和流通过程进行质量监控和预测,从而为蔬菜从"从田头到餐桌"的安全生产供应提供可靠的系统手段。 展开更多
关键词 蔬菜质量安全 贝叶斯网络 溯源 预警
在线阅读 下载PDF
软件工程专业协同创新性实践教学体系的探索 被引量:17
10
作者 钟秀玉 刘越畅 +1 位作者 柯木超 肖振球 《实验室研究与探索》 CAS 北大核心 2014年第4期175-179,共5页
针对软件工程专业存在毕业生与企业需求的应用型人才不相适应的现象,结合协同创新平台建设和该校软件工程专业人才培养目标,探索软件工程专业协同创新性实践教学体系:从课程实验教学、实训平台建设、创新训练、协同培养等方面提出软件... 针对软件工程专业存在毕业生与企业需求的应用型人才不相适应的现象,结合协同创新平台建设和该校软件工程专业人才培养目标,探索软件工程专业协同创新性实践教学体系:从课程实验教学、实训平台建设、创新训练、协同培养等方面提出软件工程专业多维实践教学模式。课程实验包括验证性实验、综合设计性实验和课程设计,强化综合设计性实验的比例;建设软件开发实训室、软件研发中心、校外实训基地;加强创新能力训练,开展各类科研训练和学科竞赛;企业参与人才培养方案制定和实施。校企共建并应用实训创新平台,协同培养具有实践能力、创新能力和团队精神的应用型人才。 展开更多
关键词 软件工程 人才培养 协同创新 实践教学
在线阅读 下载PDF
柔性机构变形动态响应可靠性分析方法 被引量:11
11
作者 于霖冲 白广忱 +1 位作者 焦俊婷 高阳 《宇航学报》 EI CAS CSCD 北大核心 2006年第5期1039-1043,共5页
柔性机构中柔性构件变形的动态响应为高度非线性。为了进行柔性机构的动态可靠性分析,提出了柔性机构变形动态响应可靠性分析理论,按照多柔体系统动力学方法建立了柔性机构动态可靠性分析模型,提出了变形动态响应可靠度计算方法。利用... 柔性机构中柔性构件变形的动态响应为高度非线性。为了进行柔性机构的动态可靠性分析,提出了柔性机构变形动态响应可靠性分析理论,按照多柔体系统动力学方法建立了柔性机构动态可靠性分析模型,提出了变形动态响应可靠度计算方法。利用蒙特卡罗随机模拟方法抽取少量随机变量样本数据,计算构件变形动态响应随机过程的时间截口分布特性,结合人工神经网络方法进行构件变形动态响应的随机过程分析,得到整个运动时域内变形的随机过程分布规律。通过柔性机构实例进行变形动态响应可靠度计算,结果表明该方法对柔性机构设计和分析具有理论方法指导意义。 展开更多
关键词 可靠性理论 变形 动态响应 柔性体 机构
在线阅读 下载PDF
面向方面的实时系统形式化开发方法 被引量:10
12
作者 陈广明 张立臣 陈生庆 《计算机科学》 CSCD 北大核心 2005年第7期189-192,217,共5页
实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种... 实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种方法对RT-Z进行了面向方面和面向部件的扩展,并通过实时组件模型在需求和设计阶段提供了对基于部件的系统开发方法(CBSD)和面向方面的系统开发方法(AOSD)的支持。本文给出了面向方面的实时Z(AO-RT-Z)的组件模型的框架结构、语法要求、方面的联结和功能接口和非功能接口的定义,重点讨论并证明了面向方面的实时Z(AO-RT-Z)作为规格描述语言的健全性。 展开更多
关键词 形式化开发方法 实时系统 面向 系统开发方法 软件工程方法 规格描述语言 组件模型 功能接口 系统复杂性 形式化方法 可重用性 可配置性 设计阶段 框架结构 可信性 RT 部件
在线阅读 下载PDF
AC多模式匹配算法研究 被引量:13
13
作者 巫喜红 曾锋 《计算机工程》 CAS CSCD 2012年第6期279-281,共3页
AC算法的内存空间开销大,不利于硬件实现。为此,提出AC多模式匹配算法。分析AC算法的特点,使用位图存储技术和压缩处理技术对其进行改进。从模式串长度和模式串数目角度出发进行实验,结果表明,该算法能缩短扫描时间,提高模式匹配速度和... AC算法的内存空间开销大,不利于硬件实现。为此,提出AC多模式匹配算法。分析AC算法的特点,使用位图存储技术和压缩处理技术对其进行改进。从模式串长度和模式串数目角度出发进行实验,结果表明,该算法能缩短扫描时间,提高模式匹配速度和访问速度。 展开更多
关键词 AC算法 位图 多模式匹配 压缩向量 状态机
在线阅读 下载PDF
融合NFC的3G智能卡系统 被引量:15
14
作者 夏文栋 林凯 《计算机工程》 CAS CSCD 北大核心 2011年第2期229-231,共3页
针对NFC技术和3G智能卡技术的可融合性,提出一种多功能3G智能卡系统。介绍近场通信的连接和传输及3G智能卡,研究两者融合的方法。该系统以3G智能卡的USIM卡为载体,利用近场通信技术将非接触的应用功能应用在USIM卡上,给出融合系统模型... 针对NFC技术和3G智能卡技术的可融合性,提出一种多功能3G智能卡系统。介绍近场通信的连接和传输及3G智能卡,研究两者融合的方法。该系统以3G智能卡的USIM卡为载体,利用近场通信技术将非接触的应用功能应用在USIM卡上,给出融合系统模型和设计方案。分析结果表明,该系统具有较好的融合性。 展开更多
关键词 近场通信 智能卡 卡的操作系统 第3代通信
在线阅读 下载PDF
基于人工神经网络和遗传算法的网络攻击检测 被引量:19
15
作者 罗予东 陆璐 《计算机工程与设计》 北大核心 2021年第9期2446-2454,共9页
针对网络攻击检测准确率较低的问题,提出基于人工神经网络和遗传算法的混合网络攻击检测算法。将多目标遗传算法和多项式逻辑回归模型组合成封装特征选择算法,利用多项式回归模型对多分类数据的高效学习能力以及多目标遗传算法的全局优... 针对网络攻击检测准确率较低的问题,提出基于人工神经网络和遗传算法的混合网络攻击检测算法。将多目标遗传算法和多项式逻辑回归模型组合成封装特征选择算法,利用多项式回归模型对多分类数据的高效学习能力以及多目标遗传算法的全局优化能力,提取数据的最优特征子集;将降维后的特征集送入感知机训练,利用重引力搜索算法搜索神经网络的参数。基于不同的网络数据集完成实验,实验结果表明,该算法有效降低了特征维度,实现了较好的检测性能。 展开更多
关键词 网络安全 入侵检测 特征选择 多项式逻辑回归 不平衡数据分类 多层感知机
在线阅读 下载PDF
基于类图像处理与向量化的大数据脚本攻击智能检测 被引量:8
16
作者 张海军 陈映辉 《计算机工程》 CAS CSCD 北大核心 2020年第3期129-137,143,共10页
通过类图像处理与向量化方法对访问流量语料库大数据进行词向量化处理,实现面向大数据跨站脚本攻击的智能检测。利用类图像处理方法进行数据获取、数据清洗、数据抽样和特征提取,设计一种基于神经网络的词向量化算法,得到词向量化大数... 通过类图像处理与向量化方法对访问流量语料库大数据进行词向量化处理,实现面向大数据跨站脚本攻击的智能检测。利用类图像处理方法进行数据获取、数据清洗、数据抽样和特征提取,设计一种基于神经网络的词向量化算法,得到词向量化大数据。在此基础上,提出多种不同深度的DCNNs智能检测算法。设置不同的超参数进行实验得到算法的识别率均值、方差和标准差,结果表明,该算法具有较高的识别率和稳定性。 展开更多
关键词 Web入侵检测 跨站脚本攻击 自然语言处理 大数据 网络空间安全
在线阅读 下载PDF
基于最小信息准则和BP算法的网络入侵检测 被引量:9
17
作者 郭其标 李秉键 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2015年第4期715-719,共5页
针对网络入侵检测中BP(back propagation)神经网络只能根据经验公式确定隐层神经元个数的问题,提出一种利用统计学中最小信息准则计算最优的网络结构,并推导出网络结构的评价公式.仿真实验结果表明,经过结构优化后的BP神经网络对于网络... 针对网络入侵检测中BP(back propagation)神经网络只能根据经验公式确定隐层神经元个数的问题,提出一种利用统计学中最小信息准则计算最优的网络结构,并推导出网络结构的评价公式.仿真实验结果表明,经过结构优化后的BP神经网络对于网络入侵检测的准确率明显提高,平均分类准确率达到90%以上,算法的整体性能表现优良. 展开更多
关键词 网络入侵检测 最小信息准则 BP算法 数据挖掘
在线阅读 下载PDF
智能型四旋翼无人机飞控系统的设计与实现 被引量:10
18
作者 张海军 陈映辉 《计算机应用与软件》 北大核心 2019年第4期73-78,共6页
通过数学建模进行动力学系统分析,设计实现智能型四旋翼无人机飞控系统。构建四旋翼无人机动力学模型并进行理论分析;设计无人机机架,对各组成模块进行测试、分析和实验;实现无人机飞控系统的自主避障和智能飞行;实现旋转机臂,使无人机... 通过数学建模进行动力学系统分析,设计实现智能型四旋翼无人机飞控系统。构建四旋翼无人机动力学模型并进行理论分析;设计无人机机架,对各组成模块进行测试、分析和实验;实现无人机飞控系统的自主避障和智能飞行;实现旋转机臂,使无人机具有新型的加速机制和变向模式。飞行实验结果表明,该无人机飞控系统取得较好的效果,灵敏性强、稳定性高,总体性能良好。 展开更多
关键词 无人机 非线性控制 信号检测 嵌入式 自主避障系统 旋转机臂
在线阅读 下载PDF
BM模式匹配算法剖析 被引量:19
19
作者 巫喜红 凌捷 《计算机工程与设计》 CSCD 北大核心 2007年第1期29-31,共3页
在对典型的BF、KMP模式匹配算法进行比较分析的基础上,详细分析了BM算法。为了进一步加快算法的速度,对BM算法中已经部分匹配的移动位置情况进行改进。在原有的移动距离函数基础上增加一个新的移动距离函数,从而尽量利用已有信息进行更... 在对典型的BF、KMP模式匹配算法进行比较分析的基础上,详细分析了BM算法。为了进一步加快算法的速度,对BM算法中已经部分匹配的移动位置情况进行改进。在原有的移动距离函数基础上增加一个新的移动距离函数,从而尽量利用已有信息进行更大的尝试位置移动,使算法具有更高的效率。通过引用具体实例,比较分析了改进前后的BM算法,结果证明改进后的BM算法的速度更快,效率更高。 展开更多
关键词 BF算法 KMP算法 BM算法 模式匹配 时间复杂度
在线阅读 下载PDF
面向方面软件重构等价性形式化证明方法 被引量:6
20
作者 陈生庆 张立臣 陈广明 《计算机科学》 CSCD 北大核心 2006年第7期257-261,共5页
软件重构在不改变程序行为的情况下通过对代码进行小的改进以提升设计,使之更容易理解和维护,面向方面的程序设计是软件开发的新技术,为了有效实施面向方面的软件重构,需要开发者识别面向方面程序的转化规则。然而,由于使用的AOP语言没... 软件重构在不改变程序行为的情况下通过对代码进行小的改进以提升设计,使之更容易理解和维护,面向方面的程序设计是软件开发的新技术,为了有效实施面向方面的软件重构,需要开发者识别面向方面程序的转化规则。然而,由于使用的AOP语言没有形式化的语义定义,难以确认转化和重构的程序运行行为。本文对MCI操作语义的面向方面的扩展使之支持程序的方面特征的描述,定义了两个程序的观测等价,讨论了AspectJ的形式语义模型的建立,在MCI的语义下形式化地精确证明了AddBefore-executing编程规则的观测等价性,其基本原理和方法可以适用于其他规则的证明,通过上述工作提出了面向方面重构的程序和它的面向对象程序原型等价性的证明方法。 展开更多
关键词 重构 面向方面编程 形式化方法 MCI 等价性 ASPECTJ
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部