期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
多算法融合虹膜识别中的规范化模型比较研究
1
作者
王风华
孟文杰
《自动化与仪器仪表》
2012年第6期34-36,共3页
虹膜识别易受环境影响,利用多算法融合识别提高复杂应用环境下虹膜识别可靠性是一种非常有效的途径。本文针对多算法融合虹膜识别中的关键步骤——规范化模型选择做了比较性研究。首先搭建多算法融合虹膜识别平台,对常见的三种规范化模...
虹膜识别易受环境影响,利用多算法融合识别提高复杂应用环境下虹膜识别可靠性是一种非常有效的途径。本文针对多算法融合虹膜识别中的关键步骤——规范化模型选择做了比较性研究。首先搭建多算法融合虹膜识别平台,对常见的三种规范化模型在UBIRIS虹膜库中做了比较测试,实验结果证明双sigmoid函数指数模型性能最优。本文研究可对多算法融合的研究提供理论参考。
展开更多
关键词
虹膜识别
多算法融合
规范化模型
生物特征识别
下载PDF
职称材料
WPDL规范化工作流模型研究
被引量:
5
2
作者
张志君
范玉顺
《计算机工程与应用》
CSCD
北大核心
2002年第17期65-68,共4页
WPDL(WorkflowProcessDefinitionLanguage)提供了一个公共的工作流定义交换格式,使得在不同的工作流管理系统产品之间交换模型定义成为可能。但由于不同系统模型的差异,要实现模型交换,仍然需要解决许多难题。该文介绍了WPDL元模型和CIM...
WPDL(WorkflowProcessDefinitionLanguage)提供了一个公共的工作流定义交换格式,使得在不同的工作流管理系统产品之间交换模型定义成为可能。但由于不同系统模型的差异,要实现模型交换,仍然需要解决许多难题。该文介绍了WPDL元模型和CIMFlow模型(CIMS工程研究中心开发的工作流管理系统)的具体结构,给出了一种WPDL规范化工作流模型的实现方法。该文所提出和实施的模型转换方法对于其他工作流模型向WPDL规范模型转换有重要的参考价值,针对WPDL规范中存在的问题提出的增补与修改建议对于完善WPDL规范有促进作用。
展开更多
关键词
WPDL
规范化
工作流
模型
元
模型
工作流管理系统
管理软件
下载PDF
职称材料
基于规范化工作流网建模的模型验证方法
被引量:
4
3
作者
刘木春
艾玲梅
魏清
《陕西师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2014年第3期15-19,共5页
在比较分析已有工作流模型验证算法优缺点的基础上,提出一种新的工作流模型验证方法.该方法基于规范化工作流网,不仅可以检测死锁、孤立点等常规模型错误结构,而且能够检测隐蔽性很强的AND-split→OR-join(A→O)结构.为了成功检测A→O结...
在比较分析已有工作流模型验证算法优缺点的基础上,提出一种新的工作流模型验证方法.该方法基于规范化工作流网,不仅可以检测死锁、孤立点等常规模型错误结构,而且能够检测隐蔽性很强的AND-split→OR-join(A→O)结构.为了成功检测A→O结构,详尽分析了不同A→O结构的特点,并找到它们之间的共同特征,进而通过探测该共同特征来检测是否存在A→O结构,从而克服已有算法无法验证A→O结构的缺陷.此外,还给出模型规范化规则,使得方法能够验证不规范的业务流程.通过实例分析,表明算法有效可靠.
展开更多
关键词
工作流
模型
规范化
合理性验证
PETRI网
下载PDF
职称材料
软件企业质量管理模型的研究
4
作者
李华荣
《山西科技》
2002年第4期27-28,共2页
文章从软件产业化分析入手 ,提出软件质量过程管理是一种企业能力 ,并给出实现过程管理的规范化模型。
关键词
软件企业
质量管理
模型
过程管理
规范化模型
下载PDF
职称材料
面向PLC的离散事件控制系统设计方法研究
被引量:
4
5
作者
毕翔
韩江洪
+1 位作者
王跃飞
魏振春
《合肥工业大学学报(自然科学版)》
CAS
CSCD
北大核心
2010年第9期1333-1337,共5页
对于采用可编程逻辑控制器(PLC)实现的复杂离散事件控制系统(DECS),现有设计方法在效率和易用性等方面存在不足。文章提出基于Petri网的建模准则和方法,实现DECS规范化模型的建立;在定义结构化的元素逻辑关系表基础上,设计面向梯形逻辑...
对于采用可编程逻辑控制器(PLC)实现的复杂离散事件控制系统(DECS),现有设计方法在效率和易用性等方面存在不足。文章提出基于Petri网的建模准则和方法,实现DECS规范化模型的建立;在定义结构化的元素逻辑关系表基础上,设计面向梯形逻辑图(LLD)的转换算法,实现系统模型向PLC程序的自动转换,为构建面向PLC的DECS一体化设计平台奠定技术基础。
展开更多
关键词
离散事件控制系统
可编程逻辑控制器
规范化
Petri网
模型
下载PDF
职称材料
导弹装备软件全寿命周期成本分析与控制策略
6
作者
常菊
刘晓东
《战术导弹技术》
北大核心
2024年第2期54-61,共8页
针对当前导弹装备软件规模大幅增加而导致全寿命周期成本增加的问题,分析当前软件研制程序和费用估计方法,剖析软件研制成本居高不下的原因,并指出当前导弹软件输入中数学模型设计存在的问题。从模型设计、过程管理及配置管理等三个角度...
针对当前导弹装备软件规模大幅增加而导致全寿命周期成本增加的问题,分析当前软件研制程序和费用估计方法,剖析软件研制成本居高不下的原因,并指出当前导弹软件输入中数学模型设计存在的问题。从模型设计、过程管理及配置管理等三个角度,提出一系列降低软件全寿命周期成本的方法。其中,模型设计针对软件输入文件进行优化,含数学模型模块化设计及模块化仿真;过程管理针对软件开发过程进行优化,含软件产品化开发、验收流程优化及自动化编码策略等;配置管理针对软件保障进行优化,含人员、制度及实用工具引入等优化策略。此系列策略可为导弹低成本正向设计提供方法,也可为类似研制项目提供相关参考。
展开更多
关键词
导弹装备软件
全寿命周期
成本分析
成本控制
低成本
模型
规范化
过程管理
原文传递
题名
多算法融合虹膜识别中的规范化模型比较研究
1
作者
王风华
孟文杰
机构
中国石油大学(华东)
出处
《自动化与仪器仪表》
2012年第6期34-36,共3页
基金
山东省自然科学基金(ZR2011FQ018)
中央高校基本科研业务费专项基金(11CX04054A)
文摘
虹膜识别易受环境影响,利用多算法融合识别提高复杂应用环境下虹膜识别可靠性是一种非常有效的途径。本文针对多算法融合虹膜识别中的关键步骤——规范化模型选择做了比较性研究。首先搭建多算法融合虹膜识别平台,对常见的三种规范化模型在UBIRIS虹膜库中做了比较测试,实验结果证明双sigmoid函数指数模型性能最优。本文研究可对多算法融合的研究提供理论参考。
关键词
虹膜识别
多算法融合
规范化模型
生物特征识别
Keywords
Iris recognition
multi-algorithmic fusion
normalization model
Biometrics
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
WPDL规范化工作流模型研究
被引量:
5
2
作者
张志君
范玉顺
机构
清华大学自动化系
出处
《计算机工程与应用》
CSCD
北大核心
2002年第17期65-68,共4页
基金
国家863高科技研究发展计划(编号:863-511-944-002)
文摘
WPDL(WorkflowProcessDefinitionLanguage)提供了一个公共的工作流定义交换格式,使得在不同的工作流管理系统产品之间交换模型定义成为可能。但由于不同系统模型的差异,要实现模型交换,仍然需要解决许多难题。该文介绍了WPDL元模型和CIMFlow模型(CIMS工程研究中心开发的工作流管理系统)的具体结构,给出了一种WPDL规范化工作流模型的实现方法。该文所提出和实施的模型转换方法对于其他工作流模型向WPDL规范模型转换有重要的参考价值,针对WPDL规范中存在的问题提出的增补与修改建议对于完善WPDL规范有促进作用。
关键词
WPDL
规范化
工作流
模型
元
模型
工作流管理系统
管理软件
Keywords
Workflow Process Definition Language(WPDL),Meta-model,Workflow Management Systems ,Interface,Process Definition
分类号
TP315 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于规范化工作流网建模的模型验证方法
被引量:
4
3
作者
刘木春
艾玲梅
魏清
机构
陕西师范大学计算机科学学院
陕西省交通规划设计研究院
出处
《陕西师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2014年第3期15-19,共5页
基金
国家自然科学基金资助项目(11071278)
中央高校基本科研业务费专项资金项目(GK201302026)
文摘
在比较分析已有工作流模型验证算法优缺点的基础上,提出一种新的工作流模型验证方法.该方法基于规范化工作流网,不仅可以检测死锁、孤立点等常规模型错误结构,而且能够检测隐蔽性很强的AND-split→OR-join(A→O)结构.为了成功检测A→O结构,详尽分析了不同A→O结构的特点,并找到它们之间的共同特征,进而通过探测该共同特征来检测是否存在A→O结构,从而克服已有算法无法验证A→O结构的缺陷.此外,还给出模型规范化规则,使得方法能够验证不规范的业务流程.通过实例分析,表明算法有效可靠.
关键词
工作流
模型
规范化
合理性验证
PETRI网
Keywords
workflow
model normalization
soundness verification
Petri nets
分类号
TP311.131 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
软件企业质量管理模型的研究
4
作者
李华荣
机构
太原钢铁(集团)有限公司培训部
出处
《山西科技》
2002年第4期27-28,共2页
文摘
文章从软件产业化分析入手 ,提出软件质量过程管理是一种企业能力 ,并给出实现过程管理的规范化模型。
关键词
软件企业
质量管理
模型
过程管理
规范化模型
Keywords
process control software quality regularized model
分类号
F407.67 [经济管理—产业经济]
下载PDF
职称材料
题名
面向PLC的离散事件控制系统设计方法研究
被引量:
4
5
作者
毕翔
韩江洪
王跃飞
魏振春
机构
合肥工业大学计算机与信息学院
合肥工业大学安全关键工业测控技术教育部工程研究中心
出处
《合肥工业大学学报(自然科学版)》
CAS
CSCD
北大核心
2010年第9期1333-1337,共5页
基金
国家自然科学基金资助项目(60873003)
教育部博士点基金资助项目(20090111120004)
合肥工业大学科学研究发展基金资助项目(070503F)
文摘
对于采用可编程逻辑控制器(PLC)实现的复杂离散事件控制系统(DECS),现有设计方法在效率和易用性等方面存在不足。文章提出基于Petri网的建模准则和方法,实现DECS规范化模型的建立;在定义结构化的元素逻辑关系表基础上,设计面向梯形逻辑图(LLD)的转换算法,实现系统模型向PLC程序的自动转换,为构建面向PLC的DECS一体化设计平台奠定技术基础。
关键词
离散事件控制系统
可编程逻辑控制器
规范化
Petri网
模型
Keywords
discrete event control system(DECS)
programmable logical controller(PLC)
standardized Petri net model
分类号
TP273.5 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
导弹装备软件全寿命周期成本分析与控制策略
6
作者
常菊
刘晓东
机构
空军工程大学装备管理与无人机工程学院
江南机电设计研究所
出处
《战术导弹技术》
北大核心
2024年第2期54-61,共8页
基金
国防基础科研资助项目(JCKY2023204B015)。
文摘
针对当前导弹装备软件规模大幅增加而导致全寿命周期成本增加的问题,分析当前软件研制程序和费用估计方法,剖析软件研制成本居高不下的原因,并指出当前导弹软件输入中数学模型设计存在的问题。从模型设计、过程管理及配置管理等三个角度,提出一系列降低软件全寿命周期成本的方法。其中,模型设计针对软件输入文件进行优化,含数学模型模块化设计及模块化仿真;过程管理针对软件开发过程进行优化,含软件产品化开发、验收流程优化及自动化编码策略等;配置管理针对软件保障进行优化,含人员、制度及实用工具引入等优化策略。此系列策略可为导弹低成本正向设计提供方法,也可为类似研制项目提供相关参考。
关键词
导弹装备软件
全寿命周期
成本分析
成本控制
低成本
模型
规范化
过程管理
Keywords
missile equipment software
life cycle
cost analysis
cost control
low cost
model nor-malization
process management
分类号
TJ760 [兵器科学与技术—武器系统与运用工程]
原文传递
题名
作者
出处
发文年
被引量
操作
1
多算法融合虹膜识别中的规范化模型比较研究
王风华
孟文杰
《自动化与仪器仪表》
2012
0
下载PDF
职称材料
2
WPDL规范化工作流模型研究
张志君
范玉顺
《计算机工程与应用》
CSCD
北大核心
2002
5
下载PDF
职称材料
3
基于规范化工作流网建模的模型验证方法
刘木春
艾玲梅
魏清
《陕西师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2014
4
下载PDF
职称材料
4
软件企业质量管理模型的研究
李华荣
《山西科技》
2002
0
下载PDF
职称材料
5
面向PLC的离散事件控制系统设计方法研究
毕翔
韩江洪
王跃飞
魏振春
《合肥工业大学学报(自然科学版)》
CAS
CSCD
北大核心
2010
4
下载PDF
职称材料
6
导弹装备软件全寿命周期成本分析与控制策略
常菊
刘晓东
《战术导弹技术》
北大核心
2024
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部