您的位置: 专家智库 > >

祝义

作品数:64 被引量:168H指数:7
供职机构:江苏师范大学更多>>
发文基金:国家自然科学基金江苏省高校自然科学研究项目江苏省自然科学基金更多>>
相关领域:自动化与计算机技术文化科学经济管理更多>>

文献类型

  • 52篇期刊文章
  • 8篇专利
  • 2篇学位论文
  • 2篇会议论文

领域

  • 53篇自动化与计算...
  • 6篇文化科学
  • 1篇经济管理

主题

  • 10篇形式化
  • 10篇体系结构
  • 8篇实时系统
  • 7篇软件体系结构
  • 7篇进程代数
  • 6篇计算机
  • 5篇数据集
  • 5篇教育
  • 5篇基于UML
  • 5篇CPS
  • 4篇形式化方法
  • 4篇训练数据
  • 4篇数据集中
  • 4篇自动机
  • 4篇互联
  • 4篇互联网
  • 4篇规约
  • 4篇WEB服务
  • 3篇信息物理融合...
  • 3篇形式化验证

机构

  • 36篇江苏师范大学
  • 27篇南京航空航天...
  • 21篇徐州师范大学
  • 10篇苏州大学
  • 3篇广西财经学院
  • 3篇南京大学
  • 3篇工业和信息化...
  • 2篇江苏建筑职业...
  • 2篇解放军理工大...
  • 2篇南京工程学院
  • 2篇南京审计大学
  • 2篇徐州建筑职业...
  • 2篇中国科学院软...
  • 1篇福建师范大学
  • 1篇桂林电子科技...
  • 1篇宁波大学
  • 1篇暨南大学
  • 1篇上海理工大学
  • 1篇华南理工大学
  • 1篇中国人民解放...

作者

  • 64篇祝义
  • 19篇黄志球
  • 15篇周航
  • 9篇张广泉
  • 7篇肖芳雄
  • 7篇赵宇
  • 4篇宋媚
  • 4篇郝国生
  • 4篇刘林源
  • 3篇梁银
  • 3篇曹子宁
  • 2篇刘东飞
  • 2篇张谢华
  • 2篇朱晖
  • 2篇胡军
  • 2篇马小虎
  • 2篇刘亚萍
  • 2篇朱晖
  • 1篇朱小栋
  • 1篇张永常

传媒

  • 5篇计算机研究与...
  • 5篇软件学报
  • 5篇计算机工程与...
  • 5篇计算机科学
  • 5篇计算机科学与...
  • 4篇福建电脑
  • 3篇解放军理工大...
  • 3篇电脑知识与技...
  • 3篇科技信息
  • 2篇计算机教育
  • 1篇电子学报
  • 1篇东南大学学报...
  • 1篇南京大学学报...
  • 1篇计算机应用
  • 1篇计算机应用研...
  • 1篇小型微型计算...
  • 1篇电脑知识与技...
  • 1篇计算机与现代...
  • 1篇沙洋师范高等...
  • 1篇吉林大学学报...

年份

  • 6篇2024
  • 7篇2023
  • 1篇2022
  • 6篇2021
  • 3篇2020
  • 2篇2018
  • 2篇2017
  • 1篇2016
  • 1篇2015
  • 4篇2014
  • 3篇2013
  • 4篇2012
  • 5篇2011
  • 6篇2010
  • 1篇2009
  • 2篇2008
  • 2篇2007
  • 1篇2006
  • 3篇2005
  • 2篇2004
64 条 记 录,以下是 1-10
排序方式:
基于实时扩展Wright的系统检验规则分析
实时扩展的Wright语言是一种从行为语义上对Wright语言增加了时间属性的体系结构描述语言。在增强了对系统描述能力的同时,其对系统的检验和推理能力也有了相应的变化。文章针对其在时间特性上的描述变化,分析了实时扩展后的...
吴博黄志球祝义
关键词:体系结构描述语言WRIGHT实时系统
文献传递
基于分层数据筛选的跨项目缺陷预测方法被引量:2
2021年
跨项目缺陷预测旨在解决传统的项目内缺陷预测的历史数据缺失,新项目初期缺乏训练数据等实际问题。然而,在跨项目缺陷预测中,不同项目之间以及实例之间的数据分布差异降低了其预测性能。针对这一问题,提出了基于分层数据筛选的跨项目缺陷预测方法。该方法将训练数据的筛选过程分为项目层筛选和实例层筛选,从源数据集中选出与目标项目数据分布最接近的候选项目集,在候选项目集中选出与目标项目中实例相似度较高的训练数据集,最后在训练数据集上训练朴素贝叶斯模型。在PROMISE数据集进行实验对比。结果表明,与项目内缺陷预测比较,提出的分层数据筛选方法优于项目内缺陷预测,并且有效降低了训练数据和目标项目数据之间的差异性。
赵宇祝义于巧陈小颖
关键词:朴素贝叶斯模型
抵抗物理克隆攻击的车载遥控门锁双因子认证协议
2023年
攻击者通过伪造车辆遥控钥匙发送的无线射频识别(RFID)信号可以非法开启车辆;而且当车辆遥控钥匙丢失或被盗窃,攻击者可以获取钥匙内部秘密信息并克隆出可用的车辆遥控钥匙,会对车主的财产与隐私安全造成威胁。针对上述问题,提出一种抵抗物理克隆攻击的车载遥控门锁(RKE)双因子认证(VRTFA)协议。该协议基于物理不可克隆函数(PUF)和生物指纹特征提取与恢复函数,使合法车辆遥控钥匙的特定硬件物理结构无法被伪造。同时,引入生物指纹因子构建双因子身份认证协议,消除车辆遥控钥匙被盗用的安全隐患,进一步保障车载RKE系统的安全双向认证。利用BAN逻辑对协议进行安全性分析的结果表明,VRTFA协议可以抵抗伪造攻击、去同步攻击、重放攻击、中间人攻击、物理克隆攻击以及密钥全泄漏攻击等恶意攻击,并满足前向安全性、双向认证性、数据完整性和不可追踪性等安全属性。性能分析表明,VRTFA协议与现有的RFID认证协议相比具有更强的安全性与隐私性和更好的实用性。
刘长庚刘亚丽陆琪鹏李涛林昌露李涛
关键词:无线射频识别
一种基于特征分布对齐和邻域实例选择的跨项目缺陷预测方法
一种基于特征分布对齐和邻域实例选择的跨项目缺陷预测方法,具体包括以下步骤:从软件缺陷数据集中选择源项目,合并所有源项目构成源项目集,并选择一个目标项目;计算源项目集的协方差矩阵、目标项目的协方差矩阵;消除源项目集的特征间...
祝义赵宇
一种嵌入式实时系统软件能耗建模与分析的方法
针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法。通过在时间通信顺序进程上扩展价格信息得到价格时间通信顺序进程,将嵌入式实时系统指令的功耗映射成为价格时间...
祝义周航肖芳雄
关键词:嵌入式实时系统
文献传递
高职院校计算机远程教育的研究与探索被引量:4
2007年
从计算机远程教育的本质分析入手,结合高等职业教育人才的培养目标和特性,体现了计算机远程教育在职业教育中的重要作用。
朱晖祝义
关键词:互联网计算机远程教育建构主义高职院校
基于元建模的实时系统模型转换方法研究被引量:8
2010年
通过模型转换将UML模型转换为形式化模型并进行模型检验是软件工程研究领域的热点,然而传统的模型转换多是ad-hoc式的,转换规则复杂且难以重用.本文针对这一研究现状,通过元建模实现MARTE到时间自动机模型的转换,从而提出一种基于元建模的实时系统模型转换方法.该方法有效的分离了语法转换与语义转换,框架标准的支撑使得转换易于重用.最后通过一个实例来说明该方法的可行性与有效性.
刘亚萍黄志球祝义
关键词:REALTIME时间自动机
一种面向数据流的软件设计方法及其工具实现被引量:1
2020年
针对面向数据流的软件设计方法缺乏有效的数据流图到软件结构图的转换工具问题,提出了面向数据流的软件设计方法并开发出了相应工具。首先,讨论了对用户绘制的数据流图进行存储的方法;其次,给出了数据流图到软件结构图转换的系列算法;最后,通过Java语言实现了数据流图到软件结构图转换的原型系统。实验表明该系统能够根据用户输入的数据流图生成满足用户需求的软件结构图,从而能够从根本上提高面向数据流的软件设计方法的效率。
姜珏祝义王玮印婵张颖
关键词:数据流
基于UML状态图的软件系统测试用例生成方法
2015年
该文针对复杂软件系统测试用例自动生成问题,提出了一种根据软件设计模型直接生成测试用例的方法。首先,讨论了基于UML状态图生成测试用例的设计思路;然后给出了符合各种覆盖要求的测试用例生成方法;最后,利用Eclipse实现了整个系统。实验表明该系统能够根据用户要求生成不同类型的测试用例,从而降低了复杂软件系统测试用例的生成难度,并且从根本上提高了测试用例生成的有效性。
陈君耀祝义栾家伟
关键词:统一建模语言状态图
面向CPS时空性质验证的混成AADL建模与模型转换方法被引量:4
2021年
随着信息物理融合系统CPS(cyber physical system)研究的深入,CPS的安全性问题越来越受到人们的广泛关注,如何验证CPS时空不一致的安全性问题已经成为研究热点.针对该问题,提出了面向CPS时空性质验证的混成AADL(architecture analysis&design language)建模与模型转换方法.首先,扩展AADL行为附件的时空描述能力,提出了混成AADL(hybrid architecture analysis&design language),用于建模CPS的时空性质;其次,在进程代数中引入微分方程以及位置描述,提出了HP-TCSP,能够验证CPS的时空性质;再次,通过模型转换,将混成AADL转换为HP-TCSP,从而可以将混成AADL描述的CPS模型在HP-TCSP中进行时空一致性验证;最后,通过一个飞机避撞系统实例,验证该方法的有效性.
陈小颖祝义赵宇王金永
关键词:信息物理融合系统进程代数AADL形式化验证
共7页<1234567>
聚类工具0