期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
共享竞争择一资源Petri网的形式化设计方法 预览 被引量:2
1
作者 崔亚军 王君英 《计算机学报》 EI CSCD 北大核心 1993年第10期 730-738,共9页
自动制造系统中有许多共享资源,例如,机器人、数控加工中心、无人导引自动小车等,竞争择一是其共享方式之一。以往,自动制造系统的Petri网控制系统器设计几乎都是试凑,而且一些性质不能得到满足,如无死锁。这主要是对共享资... 自动制造系统中有许多共享资源,例如,机器人、数控加工中心、无人导引自动小车等,竞争择一是其共享方式之一。以往,自动制造系统的Petri网控制系统器设计几乎都是试凑,而且一些性质不能得到满足,如无死锁。这主要是对共享资源的不适当设计造成的。对于多个子系统,为了使之能很好地工作,必须研究一种设计有界、无死锁的Petri网控制器的方法。本文在以往工作的基础上,提出了有界、无死锁、安全Petri网控制器… 展开更多
关键词 PETRI网 竞争择一 设计 自动制造
在线阅读 下载PDF
一类资源分配问题的DEDS模型 预览 被引量:1
2
作者 古天龙 《系统工程》 CSCD 1993年第4期 12-16,44,共6页
本文对一类可表为确定性离散事件动态系统(DEDS—Discrete Event Dynamie Systems)的资源分配问题,建立了极大代数意义下的“线性”DEDS模型,通过对所建立的DEDS模型进行系统分析,便可得到一类资源分配问题的最佳效益及最佳分配方案。
关键词 资源分配 离散事件系统 模型 DEDS
在线阅读 下载PDF
非时齐无界报酬马氏决策规划 预览
3
作者 胡奇英 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1992年第1期 72-83,共12页
论文讨论折扣因子依赖于(i,a)的非时齐马氏决策规划,提出了两组报酬无界的假设,证明了时齐正、负动态规划中的结论在这里都成立。最后讨论了此模型的最优策略性质。
关键词 马氏决策规划 无界报酬 最优策略
在线阅读 下载PDF
全文检索系统的实现方法研究 预览 被引量:1
4
作者 赵捧未 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1992年第1期 56-62,共7页
论文对全文文献检索系统加以探讨,重点讨论检索的方法和技术的实现。分析导出系统的一般结构,给出有关库(文件)的信息组织形式,提出一种全文文献检索处理方法并导出检索处理流程。同时对工作区管理提出一种动态管理策略。
关键词 全文文献 检索方法 工作区管理
在线阅读 下载PDF
服务设备可修的机器服务模型的某些结果 预览 被引量:1
5
作者 赵玮 岳德权 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1992年第2期 64-71,共8页
本文研究了服务设备可修的机器服务模型,其中考虑了服务设备在忙期和闲期均可能失效并且具有不同失效率的情形.利用补充变量法求出了系统状态概率的 Laplace 变换的一组递推公式.当系统中机器数目不大时,从递推公式易得系统状态概率的 L... 本文研究了服务设备可修的机器服务模型,其中考虑了服务设备在忙期和闲期均可能失效并且具有不同失效率的情形.利用补充变量法求出了系统状态概率的 Laplace 变换的一组递推公式.当系统中机器数目不大时,从递推公式易得系统状态概率的 Laplace 变换的明显表达式,由此可求出系统的某些排队论指标和服务设备的某些可靠性指标.更多还原 展开更多
关键词 排队系统 修理 机器服务 变量法
在线阅读 下载PDF
关于区域发展战略规划研究的理论,模型与软件 预览 被引量:4
6
作者 赵玮 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1992年第3期 86-94,共9页
文中以华阴市为样本,介绍了区域发展战略规划制订中所依据的系统论思想,系统工程设计思想,以及为完成上述目标所相应建立的模型系统、软件系统的数学原理、功能、结构与实现。
关键词 战略规划 模型 软件
在线阅读 下载PDF
关于空间数据结构及四叉树研究 预览
7
作者 赵捧未 梁新来 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1991年第4期 69-79,共11页
空间信息较之常规的属性数据具有组织、描述和处理方面的特殊性.空间数据结构的研究已日益受到国内外许多学者的重视.本文对目前已有基本的空间数据模式加以综合与归类,对每种模式及相互间的一些转换作了扼要评述.文章重点对区域四叉树... 空间信息较之常规的属性数据具有组织、描述和处理方面的特殊性.空间数据结构的研究已日益受到国内外许多学者的重视.本文对目前已有基本的空间数据模式加以综合与归类,对每种模式及相互间的一些转换作了扼要评述.文章重点对区域四叉树数据结构进行了讨论,并对平面区域构成四叉树的算法予以设计、描述及分析。 展开更多
关键词 空间 数据结构 四叉树 信息处理
在线阅读 下载PDF
服务台可修的M/G/I/N排队系统分析(II) 预览 被引量:1
8
作者 岳德权 赵玮 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1991年第1期 79-90,共12页
本文在较弱的假定下进一步讨论了服务台可修的M/G/1/N排队系统模型,利用“补充变量法”建立了系统状态概率的微分-差分方程组,运用Laplace变换等工具还得到了系统状态概率的一个递推公式。当N较小时,由递推公式易得系统状态概率的Laplac... 本文在较弱的假定下进一步讨论了服务台可修的M/G/1/N排队系统模型,利用“补充变量法”建立了系统状态概率的微分-差分方程组,运用Laplace变换等工具还得到了系统状态概率的一个递推公式。当N较小时,由递推公式易得系统状态概率的Laplace变换的明显表达式,由此即可求出有关的排队论指标和可靠性指标。 展开更多
关键词 服务台 排队系统 补充变量法 修理
在线阅读 下载PDF
MDP中模型的转换—平均模型 预览
9
作者 胡奇英 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1991年第1期 63-71,共9页
本文讨论状态可数的平均报酬马氏决策规划(Markov Decision Programming,简记为MDP),通过模型的转换,文中将半马氏决策规划和连续时间MDP分别转换为离散时间MDP.转换保持模型间的最优方程等价,后一转换甚至保持平均目标函数等价。因此... 本文讨论状态可数的平均报酬马氏决策规划(Markov Decision Programming,简记为MDP),通过模型的转换,文中将半马氏决策规划和连续时间MDP分别转换为离散时间MDP.转换保持模型间的最优方程等价,后一转换甚至保持平均目标函数等价。因此,离散时间MDP申的大部分结论可轻易地推广到另两类MDP中去。最后本文讨论了π<sub>0</sub><sup>∞</sup>为最优策略与最优方程的关系。 展开更多
关键词 模型转换 平均模型 MDP 模型
在线阅读 下载PDF
用傅立叶变换全息图进行超缩微存贮的实验研究 预览
10
作者 张德骧 陆滨灵 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1990年第3期 110-116,共7页
用傅立叶交换金息图对资料进行超缩微存贮具有高密度、大容量的优点。本文阐述了全息超缩微存贮的特点、原理和方法,对全息存贮光斑的最小尺寸及记录最佳条件的选择进行了详细讨论,并给出了实验结果及再现象照片。
关键词 文献资料 缩微存贮 傅立叶全息图
在线阅读 下载PDF
分段线性函数应用于线性时变系统的分析 预览 被引量:1
11
作者 古天龙 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1990年第4期 49-55,共7页
本文给出了分段线性函数的一些运算性质,利用这一性质对线性时变系统状态方程进行求解,推导出了形式简明、便于应用的递推算法。分段线性函数算法具有较高的分析精度。
关键词 线性系统 线性函数 系统分析 计算
在线阅读 下载PDF
决策表的建立和转换算法 预览
12
作者 许春香 赵玮 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1990年第4期 82-91,共10页
本文将多值逻辑理论中的展开定理推广到混合多值逻辑上,从而得出了2-n-3和3-n-3两种模型的原始决策表的一种新的建立方法,并提出了原始决策表转换为标准决策表的完整算法。
关键词 决策表 计算机 辅助建树 系统分析
在线阅读 下载PDF
可靠性投资方案的经济分析 预览
13
作者 李良能 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1989年第2期 175-184,共10页
本文介绍了可靠性与经济性的关系,以可靠性为实例,讨论了投资方案的两种经济分析方法:风险分析法和费用效果分析法.论述了这两种方法的基本原理、定量的分析过程及应用价值等内容。
关键词 可靠性 投资方案 经济分析
在线阅读 下载PDF
双线性系统参数估计中的泰勒级数方法 预览
14
作者 古天龙 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1989年第4期 39-43,共5页
本文给出了一种利用泰勒级数估计双线性系统参数的方法。通过将输入输出进行泰勒级数展开,把原微分方程模型转化成一个代数方程,进而利用最小二乘原理得到参数的估值。
关键词 双线性系统 参数估计 泰勒级数
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部 意见反馈