期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
21
篇文章
<
1
2
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于粗糙集的软件项目风险管理研究
被引量:
10
1
作者
丁剑洁
郝克刚
+1 位作者
侯红
郭小群
《计算机科学》
CSCD
北大核心
2010年第4期117-119,共3页
软件项目的复杂性导致软件风险涉及的数据具有很大的不确定性和模糊性。由此基于粗糙集理论,分析了软件项目风险管理的历史数据:利用等价类和分辨矩阵等概念提出软件项目风险分析系统,在此基础上给出了两个风险因子的相关性系数以及不...
软件项目的复杂性导致软件风险涉及的数据具有很大的不确定性和模糊性。由此基于粗糙集理论,分析了软件项目风险管理的历史数据:利用等价类和分辨矩阵等概念提出软件项目风险分析系统,在此基础上给出了两个风险因子的相关性系数以及不可分辨矩阵的计算方法。此项工作能为风险控制提供策略,有助于发现风险管理活动中的薄弱环节,达到改进过程的目的。
展开更多
关键词
软件风险
风险管理
粗糙集
等价类
分辨矩阵
下载PDF
职称材料
基于度量的软件生产线管理研究
被引量:
4
2
作者
丁剑洁
郝克刚
+1 位作者
侯红
郭小群
《计算机科学》
CSCD
北大核心
2011年第1期156-157,169,共3页
软件生产线是一种全新的软件开发方式,生产线的管理作为三大基本活动之一直接影响生产线实践。从软件度量角度出发,根据GQ(I)M模型,提出了基于度量的软件生产线管理框架,并定义了管理活动中需要跟踪的度量元,这对生产线管理活动的有效...
软件生产线是一种全新的软件开发方式,生产线的管理作为三大基本活动之一直接影响生产线实践。从软件度量角度出发,根据GQ(I)M模型,提出了基于度量的软件生产线管理框架,并定义了管理活动中需要跟踪的度量元,这对生产线管理活动的有效实施有积极的指导意义。
展开更多
关键词
度量
软件生产线
GQ(I)M模型
管理
下载PDF
职称材料
软件度量中的数据分析技术
被引量:
3
3
作者
丁剑洁
鱼滨
+1 位作者
侯红
钟欣
《计算机技术与发展》
2006年第2期191-193,共3页
从统计学的角度出发,分析比较了软件度量常用的数据分析技术以及它们的异同,对影响数据分析的因素也作了进一步说明。为软件度量实践中正确地选用数据分析技术提供指导,从而为软件开发的管理决策、项目过程监控提供了客观有效的支持。
关键词
软件度量
统计方法
数据分析
相关性分析
控制图
下载PDF
职称材料
软件维护中程序理解的应用与研究
被引量:
2
4
作者
丁剑洁
鱼滨
侯红
《计算机技术与发展》
2007年第4期218-221,共4页
程序理解是软件维护中的一项重要活动。从软件维护和认知学的角度分析了程序理解的任务,描述了几种主流的程序理解的模型。最后针对影响程序理解的因素提出了相应的对策,为提高维护效率提供帮助。
关键词
程序理解
软件维护
理解策略
Pennington模型
Soloway模型
下载PDF
职称材料
基于跟踪矩阵度量核心资产库复用性的方法
被引量:
1
5
作者
丁剑洁
郝克刚
王金柱
《计算机应用与软件》
CSCD
北大核心
2013年第2期189-190,共2页
核心资产库的复用性是评价软件产品线开发方式的一项指标。提出的复用跟踪矩阵可以记录核心资产的使用过程,在此基础上给出若干复用性相关度量定义;根据度量结果建立核心资产库的复用分类标准。最后通过实例说明此方法是一种易理解、可...
核心资产库的复用性是评价软件产品线开发方式的一项指标。提出的复用跟踪矩阵可以记录核心资产的使用过程,在此基础上给出若干复用性相关度量定义;根据度量结果建立核心资产库的复用分类标准。最后通过实例说明此方法是一种易理解、可操作性强的度量方法,并能客观地量化核心资产库的复用状况。
展开更多
关键词
核心资产库
复用性
度量
跟踪矩阵
下载PDF
职称材料
相关性分析技术在软件度量中的应用
被引量:
13
6
作者
丁剑洁
《陕西教育学院学报》
2008年第1期100-103,共4页
数据分析是软件度量活动中的关键环节,不合理的数据分析会造成资源的浪费,更严重的是根据度量结果得到的决策信息会给软件组织带来误导,从而失去了软件度量的意义。相关性分析是数据分析中的一种重要方法,它能帮助确定软件不同属性之间...
数据分析是软件度量活动中的关键环节,不合理的数据分析会造成资源的浪费,更严重的是根据度量结果得到的决策信息会给软件组织带来误导,从而失去了软件度量的意义。相关性分析是数据分析中的一种重要方法,它能帮助确定软件不同属性之间是否存在关系。本文探讨了三种相关性分析技术在软件度量中的应用,归纳了相关性分析技术的使用步骤,并给出应用实例。
展开更多
关键词
软件度量
相关性分析
Pearson积差相关系数
肯德尔和谐系数
最小二乘原理
下载PDF
职称材料
基于Petri网的软件维护过程建模及应用分析
7
作者
丁剑洁
侯红
郝克刚
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期55-57,61,共4页
软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进...
软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进行分析。在此基础上,关注Petri网中各变迁的触发时刻,估算维护周转时间、资源利用率等指标,从而为维护过程的优化和改进提供决策上的支持。
展开更多
关键词
PETRI网
软件维护
过程建模
决策
下载PDF
职称材料
软件生产线核心资产库的演化分析
8
作者
丁剑洁
刘洋
《陕西教育学院学报》
2009年第1期81-83,共3页
核心资产库是软件生产线的核心组成部分,它随着组织业务、组织目标、技术革新以及时间等因素不断演化。本文从核心资产库的度量出发,给出了和资产库演化相关的度量元及其形式化定义,根据各度量值的变化分析了演化过程中资产库对应的不...
核心资产库是软件生产线的核心组成部分,它随着组织业务、组织目标、技术革新以及时间等因素不断演化。本文从核心资产库的度量出发,给出了和资产库演化相关的度量元及其形式化定义,根据各度量值的变化分析了演化过程中资产库对应的不同状态,以及围绕诸状态所进行的不同活动,总结出核心资产库的演化模型,为软件企业开发生产线提供参考。
展开更多
关键词
软件生产线
核心资产库
软件度量
下载PDF
职称材料
基于改进锚点框与Transformer架构的目标检测算法
被引量:
1
9
作者
丁剑洁
安雯
《现代电子技术》
2023年第15期37-42,共6页
针对目标检测中目标尺度多变以及小目标众多等难点,提出一种融合改进锚点框和Transformer架构的目标检测算法。首先采用K⁃Means++算法对数据集进行聚类,得到更符合目标实际尺寸的锚点框,提高锚点框匹配的准确性;其次在检测器颈部引入Tra...
针对目标检测中目标尺度多变以及小目标众多等难点,提出一种融合改进锚点框和Transformer架构的目标检测算法。首先采用K⁃Means++算法对数据集进行聚类,得到更符合目标实际尺寸的锚点框,提高锚点框匹配的准确性;其次在检测器颈部引入Transformer Encoder结构,利用其长距离依赖属性获取全局信息,弥补CNN计算的不足。所提算法在PASCAL VOC数据集和KITTI数据集上检测精度分别达到83.0%、83.8%,相比基准算法分别提高了1%、2%。结果表明,该算法具有较强的尺度适应能力,能有效提高目标检测的精度。
展开更多
关键词
锚点框匹配
TRANSFORMER
目标检测
K⁃Means++
全局信息
检测性能
下载PDF
职称材料
层次结构的Petri网
被引量:
13
10
作者
郝克刚
丁剑洁
《计算机科学与探索》
CSCD
2008年第2期123-130,共8页
Petri网是一个很好地描述与分析并行系统的模型。但在实际应用中,如果系统过大或较复杂时,会遇到结点数过多的问题。介绍了着色网和几种层次结构的Petri网,包括位置/转移精化网、对象网以及开放网等;分析和比较了这几种模型用以减少结...
Petri网是一个很好地描述与分析并行系统的模型。但在实际应用中,如果系统过大或较复杂时,会遇到结点数过多的问题。介绍了着色网和几种层次结构的Petri网,包括位置/转移精化网、对象网以及开放网等;分析和比较了这几种模型用以减少结点数和引入层次结构的方法,而且从结构上讨论了它们相互之间的关系。
展开更多
关键词
PETRI网
层次结构
位置精化网
转移精化网
对象网
着色网
开放网
下载PDF
职称材料
概率论与数理统计课程教学中的几点思考
11
作者
丁剑洁
《数学学习与研究》
2018年第9期17-17,共1页
概率论与数理统计是高等院校基础数学课程之一,有独特的研究方法,内容联系实际,应用面广.但是在教学过程中普遍存在教学内容抽象、教学过程单一枯燥,学生成绩不理想等问题,本文从巧举例巧提问、注重知识点的异同比较、汇总同类问题、注...
概率论与数理统计是高等院校基础数学课程之一,有独特的研究方法,内容联系实际,应用面广.但是在教学过程中普遍存在教学内容抽象、教学过程单一枯燥,学生成绩不理想等问题,本文从巧举例巧提问、注重知识点的异同比较、汇总同类问题、注重原理轻运算等方面入手,提到了几点思考,使得课堂生动有效,学生学习效果提高明显.
展开更多
关键词
概率论与数理统计
巧举例
异同比较
重原理轻运算
下载PDF
职称材料
复杂分支和同步模式的Pi演算描述
被引量:
4
12
作者
郭小群
郝克刚
+1 位作者
侯红
丁剑洁
《计算机科学》
CSCD
北大核心
2010年第2期139-140,179,共3页
Pi演算是一种描述和分析动态并发系统的计算模型。对Pi演算进行研究后,提出了以Pi演算作为工作流形式化的基础,并利用Pi演算对复杂分支和同步工作流模式进行了详细的描述。
关键词
PI演算
工作流模式
形式化方法
下载PDF
职称材料
软件度量中的数据分析技术研究
13
作者
丁剑洁
《陕西教育学院学报》
2012年第1期96-99,共4页
数据分析是软件度量中的关键环节,但是在实际应用中存在被忽视以及盲目滥用数据分析技术等问题。运用常见的以及高级的数据分析方法,通过比较它们各自的应用特点,列举若干可能的使用场景,可以有效的规避上述问题,为软件度量中挑选合理...
数据分析是软件度量中的关键环节,但是在实际应用中存在被忽视以及盲目滥用数据分析技术等问题。运用常见的以及高级的数据分析方法,通过比较它们各自的应用特点,列举若干可能的使用场景,可以有效的规避上述问题,为软件度量中挑选合理的数据分析技术提供帮助。
展开更多
关键词
软件度量
数据分析技术
图形化分析
下载PDF
职称材料
决策分析技术在软件生产线管理中的应用研究
14
作者
丁剑洁
《陕西教育学院学报》
2012年第3期95-97,共3页
软件生产线管理过程涉及诸多决策活动,因此需要引入合理的决策分析技术,将软件生产线管理活动中的决策场景与多属性决策技术以及层次分析法的应用过程相匹配,可以为决策过程提供支持。
关键词
决策分析
软件生产线
层次分析法
下载PDF
职称材料
用Pi演算为业务过程建模的生命周期
被引量:
2
15
作者
郭小群
郝克刚
+1 位作者
侯红
丁剑洁
《计算机科学》
CSCD
北大核心
2009年第11期157-159,195,共4页
随着企业竞争日趋激烈,业务过程建模技术变得越来越重要。由于形式化方法降低了二义性并为模型的分析和验证提供了可行性,因此形式化的业务过程建模技术在学术界引起了很多人的关注,但到目前为止仍缺乏一套既能方便地进行过程建模,又具...
随着企业竞争日趋激烈,业务过程建模技术变得越来越重要。由于形式化方法降低了二义性并为模型的分析和验证提供了可行性,因此形式化的业务过程建模技术在学术界引起了很多人的关注,但到目前为止仍缺乏一套既能方便地进行过程建模,又具有对模型进行形式化分析与验证的整套理论体系。从生命周期的角度入手,探讨如何把形式化方法更有效地应用于商业过程建模。主要工作在于提出了基于Pi演算的生命周期,探讨了生命周期各个阶段使用的技术和工具。
展开更多
关键词
PI演算
生命周期
业务过程建模
下载PDF
职称材料
基于跟踪矩阵度量核心资产库若干性质的方法
16
作者
梅永刚
丁剑洁
唐黎
《西安邮电大学学报》
2016年第5期55-58,共4页
针对核心资产库的度量问题,给出一种度量分析方法。通过复用跟踪矩阵记录核心资产的复用过程,定义核心资产一致性、产品相关性的度量及性质,结合软件生产线开发方式,对度量可能出现的结果进行分类解释。实例结果表明,该方法可以跟踪核...
针对核心资产库的度量问题,给出一种度量分析方法。通过复用跟踪矩阵记录核心资产的复用过程,定义核心资产一致性、产品相关性的度量及性质,结合软件生产线开发方式,对度量可能出现的结果进行分类解释。实例结果表明,该方法可以跟踪核心资产库的复用过程和复用程度,并且能筛选出一致性较高的核心资产集合,一致性较高的产品集合等。
展开更多
关键词
软件生产线
核心资产库
一致性
相关性
度量
跟踪矩阵
下载PDF
职称材料
长安区城市文化品质建设调查与分析研究
17
作者
韩丽娜
丁剑洁
+2 位作者
贺佳
柯燕
李学英
《大众标准化》
2020年第16期82-84,共3页
城市特色和建设品质日益成为衡量城市综合竞争力的重要因素。西安市长安区的城市建设取得了很大的进步。文章通过线上线下相结合的方式发放调查问卷,收集人们对长安区文化品质建设的了解度及满意度,然后对数据进行分析,指出长安区文化...
城市特色和建设品质日益成为衡量城市综合竞争力的重要因素。西安市长安区的城市建设取得了很大的进步。文章通过线上线下相结合的方式发放调查问卷,收集人们对长安区文化品质建设的了解度及满意度,然后对数据进行分析,指出长安区文化品质建设存在的问题,以及提升城市文化品质的建议。
展开更多
关键词
城市品质
文化品质
调查问卷
下载PDF
职称材料
高校学生网上超前消费现状的调查与数据分析
被引量:
2
18
作者
丁剑洁
夏海萍
+1 位作者
杨舒畅
陈荣荣
《产业与科技论坛》
2021年第3期112-113,共2页
随着网络时代的快速发展,网上消费也逐渐盛行,此时的超前消费模式在大学生人群中兴起时尚热潮,这是一种"先消费后还款"的消费方式,有利于缓解大学生人群中的经济压力,解决一时之需,但更多的是导致大学生没有树立正确的消费观...
随着网络时代的快速发展,网上消费也逐渐盛行,此时的超前消费模式在大学生人群中兴起时尚热潮,这是一种"先消费后还款"的消费方式,有利于缓解大学生人群中的经济压力,解决一时之需,但更多的是导致大学生没有树立正确的消费观,造成过度透支、信用等各种危机的出现。本文以大学生为调查对象,运用Excel、SPSS数据分析工具进行研究大学生超前消费现状及影响因素,进而提出理性建议。
展开更多
关键词
大学生
超前消费
主成分分析
统计分析
下载PDF
职称材料
数学类师范生教学技能培养的实践研究
19
作者
丁剑洁
《教育教学论坛》
2020年第21期76-77,共2页
文章以陕西学前师范学院数学与统计学院数学类师范生为例,以质性研究方法为主,通过与实习学校的沟通交流以及师范生的访谈,了解师范生的教学技能主要存在的问题及原因,针对不同的原因提出了有效的措施,对师范生的教学技能培养有一定的...
文章以陕西学前师范学院数学与统计学院数学类师范生为例,以质性研究方法为主,通过与实习学校的沟通交流以及师范生的访谈,了解师范生的教学技能主要存在的问题及原因,针对不同的原因提出了有效的措施,对师范生的教学技能培养有一定的指导意义。
展开更多
关键词
师范生
教学能力
数学
下载PDF
职称材料
基于优势关系粗糙集的软件项目风险管理研究
20
作者
丁剑洁
《科技风》
2022年第13期133-135,共3页
风险因子的识别与分析是软件项目风险管理中的关键任务。在实际管理中,风险因子的发生概率具有模糊性,因此通常应用具有偏序关系的等级来划分,由此本文基于具有优势关系的粗糙集理论对软件项目风险管理进行定量分析:利用优势关系和上下...
风险因子的识别与分析是软件项目风险管理中的关键任务。在实际管理中,风险因子的发生概率具有模糊性,因此通常应用具有偏序关系的等级来划分,由此本文基于具有优势关系的粗糙集理论对软件项目风险管理进行定量分析:利用优势关系和上下近似集合等概念,提出了软件风险管理决策系统,在此基础上,给出了项目的风险决策协调系数、风险因子对于决策的影响系数等定义与计算方法。此项工作能识别风险管理中的薄弱环节,合理分配资源,优化管理过程,并为风险决策的规则提取奠定了基础。
展开更多
关键词
软件风险
风险因子
粗糙集
优势关系
过程改进
下载PDF
职称材料
题名
基于粗糙集的软件项目风险管理研究
被引量:
10
1
作者
丁剑洁
郝克刚
侯红
郭小群
机构
西北大学信息科学与技术学院
陕西教育学院数理工程系
出处
《计算机科学》
CSCD
北大核心
2010年第4期117-119,共3页
基金
863国家重点基金项目(2007AA010305)资助
文摘
软件项目的复杂性导致软件风险涉及的数据具有很大的不确定性和模糊性。由此基于粗糙集理论,分析了软件项目风险管理的历史数据:利用等价类和分辨矩阵等概念提出软件项目风险分析系统,在此基础上给出了两个风险因子的相关性系数以及不可分辨矩阵的计算方法。此项工作能为风险控制提供策略,有助于发现风险管理活动中的薄弱环节,达到改进过程的目的。
关键词
软件风险
风险管理
粗糙集
等价类
分辨矩阵
Keywords
Software risk, Risk management, Rough set, Equivalence class, Discernible matrix
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于度量的软件生产线管理研究
被引量:
4
2
作者
丁剑洁
郝克刚
侯红
郭小群
机构
西北大学信息科学与技术学院
陕西教育学院数理工程系
出处
《计算机科学》
CSCD
北大核心
2011年第1期156-157,169,共3页
基金
863国家重点基金项目(2007AA010305)资助
文摘
软件生产线是一种全新的软件开发方式,生产线的管理作为三大基本活动之一直接影响生产线实践。从软件度量角度出发,根据GQ(I)M模型,提出了基于度量的软件生产线管理框架,并定义了管理活动中需要跟踪的度量元,这对生产线管理活动的有效实施有积极的指导意义。
关键词
度量
软件生产线
GQ(I)M模型
管理
Keywords
Metric
Software product Line
Goal-Question-(Indicator)-metric
Management
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
软件度量中的数据分析技术
被引量:
3
3
作者
丁剑洁
鱼滨
侯红
钟欣
机构
西北大学计算机科学系
出处
《计算机技术与发展》
2006年第2期191-193,共3页
文摘
从统计学的角度出发,分析比较了软件度量常用的数据分析技术以及它们的异同,对影响数据分析的因素也作了进一步说明。为软件度量实践中正确地选用数据分析技术提供指导,从而为软件开发的管理决策、项目过程监控提供了客观有效的支持。
关键词
软件度量
统计方法
数据分析
相关性分析
控制图
Keywords
software measurement
statistical method
data analysis
correlation analysis
control chart
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
软件维护中程序理解的应用与研究
被引量:
2
4
作者
丁剑洁
鱼滨
侯红
机构
西北大学信息科学与技术学院
出处
《计算机技术与发展》
2007年第4期218-221,共4页
文摘
程序理解是软件维护中的一项重要活动。从软件维护和认知学的角度分析了程序理解的任务,描述了几种主流的程序理解的模型。最后针对影响程序理解的因素提出了相应的对策,为提高维护效率提供帮助。
关键词
程序理解
软件维护
理解策略
Pennington模型
Soloway模型
Keywords
program understanding
software maintenance
understanding tactical
Pernnington model
Soloway model
分类号
TP311.53 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于跟踪矩阵度量核心资产库复用性的方法
被引量:
1
5
作者
丁剑洁
郝克刚
王金柱
机构
陕西教育学院数学系
西北大学信息科学与技术学院
出处
《计算机应用与软件》
CSCD
北大核心
2013年第2期189-190,共2页
基金
陕西省科学技术研究发展计划(二)项目(2011JE002)
陕西教育学院一般项目(11KJ020)
文摘
核心资产库的复用性是评价软件产品线开发方式的一项指标。提出的复用跟踪矩阵可以记录核心资产的使用过程,在此基础上给出若干复用性相关度量定义;根据度量结果建立核心资产库的复用分类标准。最后通过实例说明此方法是一种易理解、可操作性强的度量方法,并能客观地量化核心资产库的复用状况。
关键词
核心资产库
复用性
度量
跟踪矩阵
Keywords
Core asset library Reusability Measurement Track matrix
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
相关性分析技术在软件度量中的应用
被引量:
13
6
作者
丁剑洁
机构
陕西教育学院数理工程系
出处
《陕西教育学院学报》
2008年第1期100-103,共4页
基金
陕西教育学院科研基金项目(07KJ42Q)
文摘
数据分析是软件度量活动中的关键环节,不合理的数据分析会造成资源的浪费,更严重的是根据度量结果得到的决策信息会给软件组织带来误导,从而失去了软件度量的意义。相关性分析是数据分析中的一种重要方法,它能帮助确定软件不同属性之间是否存在关系。本文探讨了三种相关性分析技术在软件度量中的应用,归纳了相关性分析技术的使用步骤,并给出应用实例。
关键词
软件度量
相关性分析
Pearson积差相关系数
肯德尔和谐系数
最小二乘原理
Keywords
software measurement
analysis of correlation
Pearson's product moment correlation
the Kendall coefficient of concordance
method of least squares
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于Petri网的软件维护过程建模及应用分析
7
作者
丁剑洁
侯红
郝克刚
机构
西北大学信息科学与技术学院
陕西教育学院
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期55-57,61,共4页
文摘
软件维护过程建模是实现过程改进、合理分配资源、提高维护效率的基础,它在越来越多的软件需要更新换代的今天更为重要。提出了采用形式化的建模工具Petri网来描述维护过程,从而可以利用Petri网的分析方法,如可达图,不变量对维护过程进行分析。在此基础上,关注Petri网中各变迁的触发时刻,估算维护周转时间、资源利用率等指标,从而为维护过程的优化和改进提供决策上的支持。
关键词
PETRI网
软件维护
过程建模
决策
Keywords
Petri nets
process modeling
software maintenance process
decision-making
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
软件生产线核心资产库的演化分析
8
作者
丁剑洁
刘洋
机构
陕西教育学院数理工程系
出处
《陕西教育学院学报》
2009年第1期81-83,共3页
基金
陕西教育学院科研基金项目(07KJ42Q)
文摘
核心资产库是软件生产线的核心组成部分,它随着组织业务、组织目标、技术革新以及时间等因素不断演化。本文从核心资产库的度量出发,给出了和资产库演化相关的度量元及其形式化定义,根据各度量值的变化分析了演化过程中资产库对应的不同状态,以及围绕诸状态所进行的不同活动,总结出核心资产库的演化模型,为软件企业开发生产线提供参考。
关键词
软件生产线
核心资产库
软件度量
Keywords
software product line
core asset library
software measurement
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于改进锚点框与Transformer架构的目标检测算法
被引量:
1
9
作者
丁剑洁
安雯
机构
陕西学前师范学院数学与统计学院
西安邮电大学计算机学院
出处
《现代电子技术》
2023年第15期37-42,共6页
基金
陕西省自然科学基础研究计划项目(2023⁃JC⁃YB⁃822)
陕西省重点研发计划项目(2021NY⁃211)。
文摘
针对目标检测中目标尺度多变以及小目标众多等难点,提出一种融合改进锚点框和Transformer架构的目标检测算法。首先采用K⁃Means++算法对数据集进行聚类,得到更符合目标实际尺寸的锚点框,提高锚点框匹配的准确性;其次在检测器颈部引入Transformer Encoder结构,利用其长距离依赖属性获取全局信息,弥补CNN计算的不足。所提算法在PASCAL VOC数据集和KITTI数据集上检测精度分别达到83.0%、83.8%,相比基准算法分别提高了1%、2%。结果表明,该算法具有较强的尺度适应能力,能有效提高目标检测的精度。
关键词
锚点框匹配
TRANSFORMER
目标检测
K⁃Means++
全局信息
检测性能
Keywords
anchor box matching
transformer
object detection
K⁃Means++
global information
detection performance
分类号
TN911.73-34 [电子电信—通信与信息系统]
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
层次结构的Petri网
被引量:
13
10
作者
郝克刚
丁剑洁
机构
西北大学信息科学与技术学院
出处
《计算机科学与探索》
CSCD
2008年第2期123-130,共8页
基金
国家高技术研究发展计划(863)No.2007AA010305~~
文摘
Petri网是一个很好地描述与分析并行系统的模型。但在实际应用中,如果系统过大或较复杂时,会遇到结点数过多的问题。介绍了着色网和几种层次结构的Petri网,包括位置/转移精化网、对象网以及开放网等;分析和比较了这几种模型用以减少结点数和引入层次结构的方法,而且从结构上讨论了它们相互之间的关系。
关键词
PETRI网
层次结构
位置精化网
转移精化网
对象网
着色网
开放网
Keywords
Petri net
hierarchy
place refinement
transition refinement
object Petri net
colored Petri net
open net
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
概率论与数理统计课程教学中的几点思考
11
作者
丁剑洁
机构
陕西学前师范学院数学系
出处
《数学学习与研究》
2018年第9期17-17,共1页
基金
陕西学前师范学院教改项目(编号:15JG019Y)
陕西省教育厅专项科学研究项目(17JK0184)
文摘
概率论与数理统计是高等院校基础数学课程之一,有独特的研究方法,内容联系实际,应用面广.但是在教学过程中普遍存在教学内容抽象、教学过程单一枯燥,学生成绩不理想等问题,本文从巧举例巧提问、注重知识点的异同比较、汇总同类问题、注重原理轻运算等方面入手,提到了几点思考,使得课堂生动有效,学生学习效果提高明显.
关键词
概率论与数理统计
巧举例
异同比较
重原理轻运算
分类号
G642 [文化科学—高等教育学]
O21-4 [理学—概率论与数理统计]
下载PDF
职称材料
题名
复杂分支和同步模式的Pi演算描述
被引量:
4
12
作者
郭小群
郝克刚
侯红
丁剑洁
机构
西北大学信息科学与技术学院
出处
《计算机科学》
CSCD
北大核心
2010年第2期139-140,179,共3页
基金
国家高可信研究开发计划(2007AA010305)资助
文摘
Pi演算是一种描述和分析动态并发系统的计算模型。对Pi演算进行研究后,提出了以Pi演算作为工作流形式化的基础,并利用Pi演算对复杂分支和同步工作流模式进行了详细的描述。
关键词
PI演算
工作流模式
形式化方法
Keywords
Pi calculus,Workflow patterns, Formal method
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
软件度量中的数据分析技术研究
13
作者
丁剑洁
机构
陕西教育学院数学系
出处
《陕西教育学院学报》
2012年第1期96-99,共4页
基金
陕西教育学院科研基金项目(11KJ020)
陕西省科学技术研究发展计划(二)项目(2011JE002)
文摘
数据分析是软件度量中的关键环节,但是在实际应用中存在被忽视以及盲目滥用数据分析技术等问题。运用常见的以及高级的数据分析方法,通过比较它们各自的应用特点,列举若干可能的使用场景,可以有效的规避上述问题,为软件度量中挑选合理的数据分析技术提供帮助。
关键词
软件度量
数据分析技术
图形化分析
Keywords
software measrement
data analysis techniques
graphical analysis
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
决策分析技术在软件生产线管理中的应用研究
14
作者
丁剑洁
机构
陕西学前师范学院数学系
出处
《陕西教育学院学报》
2012年第3期95-97,共3页
基金
陕西省科学技术研究发展计划(二)项目(2011JE002)
陕西学前师范学院科研基金项目(11KJ020)
文摘
软件生产线管理过程涉及诸多决策活动,因此需要引入合理的决策分析技术,将软件生产线管理活动中的决策场景与多属性决策技术以及层次分析法的应用过程相匹配,可以为决策过程提供支持。
关键词
决策分析
软件生产线
层次分析法
Keywords
decision-making analysis
software product line
analytic hierarchy process
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
用Pi演算为业务过程建模的生命周期
被引量:
2
15
作者
郭小群
郝克刚
侯红
丁剑洁
机构
西北大学信息科学与技术学院
出处
《计算机科学》
CSCD
北大核心
2009年第11期157-159,195,共4页
基金
国家高可信研究开发计划(2007AA010305)资助
文摘
随着企业竞争日趋激烈,业务过程建模技术变得越来越重要。由于形式化方法降低了二义性并为模型的分析和验证提供了可行性,因此形式化的业务过程建模技术在学术界引起了很多人的关注,但到目前为止仍缺乏一套既能方便地进行过程建模,又具有对模型进行形式化分析与验证的整套理论体系。从生命周期的角度入手,探讨如何把形式化方法更有效地应用于商业过程建模。主要工作在于提出了基于Pi演算的生命周期,探讨了生命周期各个阶段使用的技术和工具。
关键词
PI演算
生命周期
业务过程建模
Keywords
Pi calculus, Life cycle, Modelling business process
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于跟踪矩阵度量核心资产库若干性质的方法
16
作者
梅永刚
丁剑洁
唐黎
机构
西安邮电大学学生处
陕西学前师范学院数学系
西安邮电大学通信与信息工程学院
出处
《西安邮电大学学报》
2016年第5期55-58,共4页
基金
陕西学前师范学院科研基金资助项目(2013KJ060)
文摘
针对核心资产库的度量问题,给出一种度量分析方法。通过复用跟踪矩阵记录核心资产的复用过程,定义核心资产一致性、产品相关性的度量及性质,结合软件生产线开发方式,对度量可能出现的结果进行分类解释。实例结果表明,该方法可以跟踪核心资产库的复用过程和复用程度,并且能筛选出一致性较高的核心资产集合,一致性较高的产品集合等。
关键词
软件生产线
核心资产库
一致性
相关性
度量
跟踪矩阵
Keywords
software product line, core asset library, consistency, relativity, measurement, trackmatrix
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
长安区城市文化品质建设调查与分析研究
17
作者
韩丽娜
丁剑洁
贺佳
柯燕
李学英
机构
陕西学前师范学院
出处
《大众标准化》
2020年第16期82-84,共3页
基金
西安市科技计划软科学研究项目(2019111913RKX003SF007-3)
2020年度陕西省统计科学重点研究项目(20TJ-20)
文摘
城市特色和建设品质日益成为衡量城市综合竞争力的重要因素。西安市长安区的城市建设取得了很大的进步。文章通过线上线下相结合的方式发放调查问卷,收集人们对长安区文化品质建设的了解度及满意度,然后对数据进行分析,指出长安区文化品质建设存在的问题,以及提升城市文化品质的建议。
关键词
城市品质
文化品质
调查问卷
分类号
G127 [文化科学]
下载PDF
职称材料
题名
高校学生网上超前消费现状的调查与数据分析
被引量:
2
18
作者
丁剑洁
夏海萍
杨舒畅
陈荣荣
机构
陕西学前师范学院数学与统计学院
出处
《产业与科技论坛》
2021年第3期112-113,共2页
基金
国家级大学生创新创业项目支持项目“高校学生网上超前消费模式的调查与数据分析”(编号:201914390010)研究成果
文摘
随着网络时代的快速发展,网上消费也逐渐盛行,此时的超前消费模式在大学生人群中兴起时尚热潮,这是一种"先消费后还款"的消费方式,有利于缓解大学生人群中的经济压力,解决一时之需,但更多的是导致大学生没有树立正确的消费观,造成过度透支、信用等各种危机的出现。本文以大学生为调查对象,运用Excel、SPSS数据分析工具进行研究大学生超前消费现状及影响因素,进而提出理性建议。
关键词
大学生
超前消费
主成分分析
统计分析
分类号
G645.5 [文化科学—高等教育学]
下载PDF
职称材料
题名
数学类师范生教学技能培养的实践研究
19
作者
丁剑洁
机构
陕西学前师范学院数学与统计学院
出处
《教育教学论坛》
2020年第21期76-77,共2页
基金
陕西学前师范学院教学改革研究项目(17JC003)
陕西学前师范学院大学数学系列课程教学团队项目。
文摘
文章以陕西学前师范学院数学与统计学院数学类师范生为例,以质性研究方法为主,通过与实习学校的沟通交流以及师范生的访谈,了解师范生的教学技能主要存在的问题及原因,针对不同的原因提出了有效的措施,对师范生的教学技能培养有一定的指导意义。
关键词
师范生
教学能力
数学
Keywords
normal university students
teaching ability
mathematics
分类号
G652 [文化科学—教育学]
下载PDF
职称材料
题名
基于优势关系粗糙集的软件项目风险管理研究
20
作者
丁剑洁
机构
陕西学前师范学院数学与统计学院
出处
《科技风》
2022年第13期133-135,共3页
基金
陕西省教育厅科研计划项目(17JK0184)
陕西省重点研发计划项目(2021NY-211)。
文摘
风险因子的识别与分析是软件项目风险管理中的关键任务。在实际管理中,风险因子的发生概率具有模糊性,因此通常应用具有偏序关系的等级来划分,由此本文基于具有优势关系的粗糙集理论对软件项目风险管理进行定量分析:利用优势关系和上下近似集合等概念,提出了软件风险管理决策系统,在此基础上,给出了项目的风险决策协调系数、风险因子对于决策的影响系数等定义与计算方法。此项工作能识别风险管理中的薄弱环节,合理分配资源,优化管理过程,并为风险决策的规则提取奠定了基础。
关键词
软件风险
风险因子
粗糙集
优势关系
过程改进
分类号
TP3 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于粗糙集的软件项目风险管理研究
丁剑洁
郝克刚
侯红
郭小群
《计算机科学》
CSCD
北大核心
2010
10
下载PDF
职称材料
2
基于度量的软件生产线管理研究
丁剑洁
郝克刚
侯红
郭小群
《计算机科学》
CSCD
北大核心
2011
4
下载PDF
职称材料
3
软件度量中的数据分析技术
丁剑洁
鱼滨
侯红
钟欣
《计算机技术与发展》
2006
3
下载PDF
职称材料
4
软件维护中程序理解的应用与研究
丁剑洁
鱼滨
侯红
《计算机技术与发展》
2007
2
下载PDF
职称材料
5
基于跟踪矩阵度量核心资产库复用性的方法
丁剑洁
郝克刚
王金柱
《计算机应用与软件》
CSCD
北大核心
2013
1
下载PDF
职称材料
6
相关性分析技术在软件度量中的应用
丁剑洁
《陕西教育学院学报》
2008
13
下载PDF
职称材料
7
基于Petri网的软件维护过程建模及应用分析
丁剑洁
侯红
郝克刚
《系统仿真学报》
CAS
CSCD
北大核心
2007
0
下载PDF
职称材料
8
软件生产线核心资产库的演化分析
丁剑洁
刘洋
《陕西教育学院学报》
2009
0
下载PDF
职称材料
9
基于改进锚点框与Transformer架构的目标检测算法
丁剑洁
安雯
《现代电子技术》
2023
1
下载PDF
职称材料
10
层次结构的Petri网
郝克刚
丁剑洁
《计算机科学与探索》
CSCD
2008
13
下载PDF
职称材料
11
概率论与数理统计课程教学中的几点思考
丁剑洁
《数学学习与研究》
2018
0
下载PDF
职称材料
12
复杂分支和同步模式的Pi演算描述
郭小群
郝克刚
侯红
丁剑洁
《计算机科学》
CSCD
北大核心
2010
4
下载PDF
职称材料
13
软件度量中的数据分析技术研究
丁剑洁
《陕西教育学院学报》
2012
0
下载PDF
职称材料
14
决策分析技术在软件生产线管理中的应用研究
丁剑洁
《陕西教育学院学报》
2012
0
下载PDF
职称材料
15
用Pi演算为业务过程建模的生命周期
郭小群
郝克刚
侯红
丁剑洁
《计算机科学》
CSCD
北大核心
2009
2
下载PDF
职称材料
16
基于跟踪矩阵度量核心资产库若干性质的方法
梅永刚
丁剑洁
唐黎
《西安邮电大学学报》
2016
0
下载PDF
职称材料
17
长安区城市文化品质建设调查与分析研究
韩丽娜
丁剑洁
贺佳
柯燕
李学英
《大众标准化》
2020
0
下载PDF
职称材料
18
高校学生网上超前消费现状的调查与数据分析
丁剑洁
夏海萍
杨舒畅
陈荣荣
《产业与科技论坛》
2021
2
下载PDF
职称材料
19
数学类师范生教学技能培养的实践研究
丁剑洁
《教育教学论坛》
2020
0
下载PDF
职称材料
20
基于优势关系粗糙集的软件项目风险管理研究
丁剑洁
《科技风》
2022
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部