期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一个结构良好的规格说明工具:抽象逻辑结构图
被引量:
8
1
作者
刘建宾
《计算机工程与设计》
CSCD
北大核心
1996年第2期32-35,共4页
提出一种新的图形化规格说明工具一抽象逻辑结构图ALSD,给出了它的形式化定义和图形表示方法。抽象逻辑结构图是一种图形和正文相结合的简单树形图式,它可以用于加工逻辑、数据结构、判定树等的描述与表示。
关键词
ALSD
规格说明工具
数据结构
在线阅读
下载PDF
职称材料
基于ESHLEP-N印染生产线的仿真
被引量:
1
2
作者
周晓慧
谢作豪
《机电工程》
CAS
2008年第11期94-96,104,共4页
印染生产线是一个复杂的流程制造系统,存在着生产瓶颈不易诊断、设备利用率低等问题。在分析印染生产线工艺流程特点的基础上,建立了基于扩展随机高级判断Petri网的印染生产线模型,并把此模型转化为可执行的规格说明工具ExSpect仿真模型...
印染生产线是一个复杂的流程制造系统,存在着生产瓶颈不易诊断、设备利用率低等问题。在分析印染生产线工艺流程特点的基础上,建立了基于扩展随机高级判断Petri网的印染生产线模型,并把此模型转化为可执行的规格说明工具ExSpect仿真模型,通过实例验证了模型的可操作性与有效性,分析了具有优化生产运行作用的生产性能。
展开更多
关键词
印染生产线
扩展随机高级判断Petri网
可执行的
规格说明工具
仿真
在线阅读
下载PDF
职称材料
题名
一个结构良好的规格说明工具:抽象逻辑结构图
被引量:
8
1
作者
刘建宾
机构
汕头大学计算机系
出处
《计算机工程与设计》
CSCD
北大核心
1996年第2期32-35,共4页
文摘
提出一种新的图形化规格说明工具一抽象逻辑结构图ALSD,给出了它的形式化定义和图形表示方法。抽象逻辑结构图是一种图形和正文相结合的简单树形图式,它可以用于加工逻辑、数据结构、判定树等的描述与表示。
关键词
ALSD
规格说明工具
数据结构
Keywords
Abstract logic structure diagrams(ALSD) SPecification techniquesSoftware representation tools
分类号
TP311.12 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于ESHLEP-N印染生产线的仿真
被引量:
1
2
作者
周晓慧
谢作豪
机构
杭州电子科技大学自动化学院
出处
《机电工程》
CAS
2008年第11期94-96,104,共4页
基金
浙江省科技厅攻关资助项目(C11029-01)
文摘
印染生产线是一个复杂的流程制造系统,存在着生产瓶颈不易诊断、设备利用率低等问题。在分析印染生产线工艺流程特点的基础上,建立了基于扩展随机高级判断Petri网的印染生产线模型,并把此模型转化为可执行的规格说明工具ExSpect仿真模型,通过实例验证了模型的可操作性与有效性,分析了具有优化生产运行作用的生产性能。
关键词
印染生产线
扩展随机高级判断Petri网
可执行的
规格说明工具
仿真
Keywords
the production line of printing and dyeing
extended stochastic high level evaluation Petri net(ESHLEP-N)
executable specification tool(ExSpect)
simulation
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一个结构良好的规格说明工具:抽象逻辑结构图
刘建宾
《计算机工程与设计》
CSCD
北大核心
1996
8
在线阅读
下载PDF
职称材料
2
基于ESHLEP-N印染生产线的仿真
周晓慧
谢作豪
《机电工程》
CAS
2008
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部