2024年11月28日
星期四
|
欢迎来到维普•公共文化服务平台
登录
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
崔亚军
作品数:
6
被引量:10
H指数:2
供职机构:
清华大学信息科学技术学院国家CIMS工程技术研究中心
更多>>
发文基金:
国家自然科学基金
更多>>
相关领域:
机械工程
自动化与计算机技术
经济管理
更多>>
合作作者
王君英
清华大学信息科学技术学院国家c...
吴澄
清华大学
韩坚
清华大学信息科学技术学院国家c...
杨盛
清华大学
王然
清华大学
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
3篇
期刊文章
3篇
会议论文
领域
3篇
机械工程
1篇
经济管理
1篇
自动化与计算...
主题
3篇
PETRI网
2篇
自动制造系统
2篇
控制器
2篇
CIMS
1篇
信息集成
1篇
整数规划
1篇
生产制造系统
1篇
搜索
1篇
企业
1篇
企业信息
1篇
企业信息集成
1篇
资源循环
1篇
网络
1篇
邻域搜索
1篇
经营过程重构
1篇
可编程控制
1篇
可编程控制器
1篇
计算复杂度
1篇
计算机
1篇
计算机网
机构
6篇
清华大学
作者
6篇
崔亚军
2篇
王君英
2篇
吴澄
1篇
金尊和
1篇
王然
1篇
韩坚
1篇
杨盛
传媒
1篇
自动化学报
1篇
计算机学报
1篇
工程设计CA...
1篇
中国计算机学...
1篇
中国自动化学...
年份
1篇
1997
4篇
1995
1篇
1994
共
6
条 记 录,以下是 1-6
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
自动制造系统异常情况Petri网控制器的形式化设计方法
被引量:4
1994年
CIMS,FMS等自动制造系统的控制器一般由有序控制器和异常情况处理控制器两个部分组成.两者都可以用Petri网来实现.这里讨论用于异常情况处理的Petri网控制器的形式化设计方法,其基本思想是利用状态表作为异常情况处理的规格说明语言,然后将状态表形式化描述为MOORE自动机,最后结出构造与MOORE自动机行为等价的Petri网控制器的形式化设计方法.并且用一个实例说明其设计过程.该方法也适用于Petri网的自动建模.
崔亚军
王君英
关键词:
FMS
CIMS
PETRI网
控制器
通用可编程控制器程序自动生成系统
崔亚军
关键词:
程序语言
基于IDEF0的Petri网的设计方法及应用
崔亚军
吴澄
关键词:
计算机网络
PETRI网
资源循环共享的Petri网的形式化设计方法
被引量:4
1995年
资源共享是子Petri网耦合为总网的一种途径,其中对资源循环共享是其重要方式之一.为了研究Petri网的形式化方法,必须首先研究基本子Petri网的设计,而后研究子Petri网的耦合.以往的研究多集中于竞争共享资源的方式上,很少涉及循环共享,本文在以往工作的基础上,提出了资源循环共享的Petri网设计的形式化方法,并给出了两个实例,举例说明了上述形式化设计方法.
崔亚军
王君英
关键词:
PETRI网
自动制造系统
CIMS专题之三 企业信息集成和经营过程重构
被引量:2
1997年
韩坚
崔亚军
关键词:
企业
信息集成
经营过程重构
用变邻域搜索法求解生产制造系统中的整数规划
整数规划属于NP难的问题。对于生产制造系统中的整数规划问题,当问题的维数增大时其最优解的求解由于时间复杂度的指数增长而迅速变得不可行。本文探讨用多项式界的近似算法来求解问题的适度满意解。计算表明这种变邻域搜索法的快速性,...
杨盛
吴澄
崔亚军
金尊和
王然
关键词:
整数规划
计算复杂度
文献传递
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张