题名 一种基于资源约束的工作流建模及分析方法
被引量：4
1
作者
庞善臣
机构
山东科技大学信息科学与工程学院 清华大学计算机科学系
出处
《电子学报》
EI
CAS
CSCD
北大核心
2012年第8期1497-1502,共6页
基金
国家973重点基础研究发展规划(No.2010CB328105) 国家自然科学基金(No.60970001 +3 种基金 No.91018007 No.61170183) 山东省优秀中青年科学家科研奖励基金(No.BS2011SW025 No.BS2011DX027)
文摘
资源约束是工作流正确实施的一个瓶颈问题,因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此,基于Petri网和工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念,建立了资源调用视图以及Petri网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.
关键词
资源 约束工作流网 资源 子网 资源 工作流网完整性
Keywords
resource constraint workflow net resource subnet resource workflow net soundness
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 浅谈虚拟机与网络模拟器的结合应用
被引量：2
2
作者
程伍端
机构
福建船政交通职业学院
出处
《福建电脑》
2011年第10期81-82,共2页
文摘
计算机网络技术技能的提高,各种网络应用的测试,离不开网络实验环境。通过对真实网络硬件结构的剖析,认识网络硬件的组成要素。提出了将GNS3网络模拟器软件与VMwere虚拟机软件进行结合应用,依靠网络适配器为纽带,在个人电脑中实现一个高性能的网络仿真实验环境。
关键词
GNS3 虚拟机 资源 子网 通信子网
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 计算机通信网的路由选择技术
被引量：1
3
作者
顾学道 李善成
出处
《电信科学》
1987年第12期44-50,54,共8页
文摘
计算机通信网一般可分成如图1所示的通信子网和资源子网。欲使主机A与主机B通信,通信子网可提供多条路由,如1—2—5,1—3—5,1—2—3—5,…。计算机通信网的路由选择技术就是在给定的两个主机间提供的多条路由中,挑选其中一条或数条路由,使所传送的数据信息的时延或费用最小。 1.
关键词
路由选择 路由信息 通信子网 计算机通信网 资源 子网 自适应路由 计算机网 状态信息 逻辑记录 物理记录
分类号
TP39
[自动化与计算机技术—计算机应用技术]
题名 浅谈计算机网络
4
作者
高芳
机构
兰州医学院第一附属医院
出处
《甘肃科技》
2003年第9期52-52,146,共2页
文摘
具体详实地论述了有关计算机网络知识以及其在生活与工作中的应用
关键词
局城网 广城网 通信子网 资源 子网 通讯协议 资源 共享
分类号
TP208.6
[自动化与计算机技术—检测技术与自动化装置]
题名 计算机基础知识
5
作者
李雪梅
出处
《山西成人教育》
1997年第1期38-39,共2页
文摘
计算机基础知识□李雪梅（一）计算机的产生、发展和应用领域（一）计算机的产生和发展电子计算机自１９４６年问世以来，已经历了电子管、晶体管、中小规模集成电路、大规模集成电路四代。从第一代到第四代，计算机性能不断增强，体积显著减小，价格急剧下降。据国外报导...
关键词
计算机实现 小规模集成电路 输入设备 通信子网 李雪梅 计算机性能 应用领域 中央处理器 资源 子网 计算机硬件
分类号
TP30
[自动化与计算机技术—计算机系统结构]
题名 校园网系统常见故障及其排除方法
6
作者
梁海军
机构
淮海工学院现代教育技术中心
出处
《网络安全技术与应用》
2005年第5期32-33,共2页
文摘
随着校园网络规模的不断扩大,加大了管理与维护的难度。本文从资源子网和通信子网两个方面分析常见故障产生的原因和故障的排除办法,注重日常维护经验的积累,不断总结,尽可能减少因网络问题对广大师生的教学、科研活动造成影响,确保校园网络正常运行。
关键词
常见故障 排除方法 系统 网络规模 排除办法 通信子网 资源 子网 维护经验 网络问题 科研活动 正常运行 校园网络
Keywords
network resource communication
分类号
TP393.18
[自动化与计算机技术—计算机应用技术]
题名 关于银行计算机网络技术的思考
7
作者
金磐石
机构
建设银行总行计算中心
出处
《中国金融电脑》
1994年第3期35-40,共6页
文摘
关于银行计算机网络技术的思考建设银行总行计算中心金磐石一、引言银行电子化的主要特点之一就是银行计算机的网络化，银行计算机的网络化不单单是引进、消化、吸收现有技术的问题。虽然有各种成熟的硬件设备（计算机和相关的通信设备等）、通信信道及网络系统软件，但如...
关键词
银行电子化 银行总行 银行业务 网络技术 通信子网 通信设备 资源 子网 通信信道 高层协议 路由选择
分类号
F830.49
[经济管理—金融学]
题名 园区网的网络故障分析与排除
8
作者
钱琼芬 卢浩
机构
空军雷达学院训练部
出处
《空军雷达学院学报》
2008年第4期280-283,共4页
文摘
为提高网络性能、确保园区网正常运行,结合园区网的特点,分析了网络通信故障和网络信息资源应用故障2个方面的常见网络故障,给出了排除网络故障的方法.
关键词
局域网 网络故障 通信子网 资源 子网 数据链路
Keywords
local area network （LAN） network malfunction communication sub-network information sib- network data links
分类号
TP393.18
[自动化与计算机技术—计算机应用技术]
题名 局域网安全机制分析
9
作者
张峰 武捷东
机构
中国人民公安大学实验管理中心
出处
《网络安全技术与应用》
2001年第12期19-20,共2页
文摘
本文着眼于现在流行的局域网安全机制,对网络设计的硬件要求、软件设置作一般性的分析。
关键词
局域网 防火墙 通信子网 资源 子网 网络安全
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
题名 增强服务器资源子网可靠性
10
出处
《网管员世界》
2008年第11期33-35,共3页
文摘
对于网络系统，无论是硬件资源还是数据资源，服务器资源都是网络应用系统的核心，对于网络传输子系统采取的各种加固措施，最终目的是为服务器和终端用户之间提供可靠的数据交互环境。网络系统的通信基础架构可靠性有了保证，网络应用系统的可持续运行能力就依赖于服务器的可靠性了。对于关键业务的服务器，普遍采取的加固措施就是双机集群的方式。
关键词
资源 子网 服务器 可靠性 网络应用系统 网络系统 加固措施 数据资源 硬件资源
分类号
TP393.1
[自动化与计算机技术—计算机应用技术]
TP368.5
[自动化与计算机技术—计算机科学与技术]
题名 储蓄综合信息系统设计与实现
11
作者
张文超
机构
工商银行淮明市分行
出处
《中国金融电脑》
1996年第3期22-23,共2页
文摘
储蓄综合信息系统设计与实现工商银行淮明市分行张文超随着专业银行向商业银行的转化，储蓄竞争日益激烈，即时反映全辖经营状况，为领导提供决策，实现储蓄综合信息系统的电子化，成为客观需求。为此，我们着手开发了储蓄综合信息系统（ＩｎｔｅｒｇｒａｔｅｄＩｎｆｏｒ...
关键词
系统设计与实现 综合信息系统 分组交换网 储蓄 资源 子网 数据生成 网络数据 事后监督 贷方发生额 操作员
分类号
F830.49
[经济管理—金融学]
题名 网络常见故障及排除
12
作者
孙业春
出处
《税收科技》
2003年第12期34-34,共1页
文摘
随着地税部门信息化建设的稳步发展,全省大多数县级地税部门均已建成系统广域网,实现了资源共享。实行数据集中处理后,确保网络正常高效运行至关重要。由于广域网不仅在硬件组成上空间范围大、设备复杂、环节多,而且需要相应的软件支持和正确配置,一旦出现故障,维护人员往往难以准确判断故障部位。为此。
关键词
网络故障 数据集中处理 软件支持 部门信息化 网络拓扑图 联网计算机 资源 共享资源 子网 拓扑结构 光纤收发器
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 新闻快餐
13
出处
《电脑采购》
1997年第20期2-2,共1页
文摘
HP HP近日宣布在全球范围内将其所有的Laser Jet激光打印机价格大幅下调,包括Laser Jet4V,5和5Si系列。 DEC DEC宣布其在中国的业务量80％来自代理商的合作,在此基础上取得共同的事业发展,并表示今后将全方位的与代理商密切合作。 Cisco 中元、Cisco、中电携手共建中国国家金融数据骨干网。整个工程连接约200个直辖市、省会城市的通讯子网和金融机构的资源子网。
关键词
代理商 激光打印机 通讯子网 金融数据 资源 子网 金融机构 骨干网 事业发展 省会城市 密切合作
分类号
F764.6
[经济管理—产业经济]
