期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
并行设计的进程模型 被引量:3
1
作者 陈文培 严隽琪 +2 位作者 付仕伟 马登哲 蒋祖华 《机械科学与技术》 CSCD 北大核心 2000年第5期857-860,共4页
并行设计过程建模是对并行设计过程进行规划、监控和管理的基础。本文在引入设计进程这一概念的基础上 ,建立了设计过程的进程模型 ,并给出了相应的形式化表达方法。该模型较好地反映了并行设计过程的渐进性、多视图特征、动态性和可重... 并行设计过程建模是对并行设计过程进行规划、监控和管理的基础。本文在引入设计进程这一概念的基础上 ,建立了设计过程的进程模型 ,并给出了相应的形式化表达方法。该模型较好地反映了并行设计过程的渐进性、多视图特征、动态性和可重用性等特征 ,并具有一定的可操作性 ,特别是它基于不同资源的多视图模型使资源冲突的检测变得简单易行。文中以减速器的并行设计为例给出了一系列示例。 展开更多
关键词 并行设计 过程模型 设计进程 进程模型
在线阅读 下载PDF
并发进程模型CSP与CCS 被引量:1
2
作者 肖育东 《计算机科学》 CSCD 北大核心 1991年第6期24-30,共7页
并发性是当前最活跃的研究领域之一。已经出现了众多并发进程模型。一个好的并发模型应该概念清晰简单,以便于理解;有丰富的表达能力、演绎能力,以反映并发性的各主要方面;有好的构造性质及动态性质,以支持复杂多样的系统构成;有坚实的... 并发性是当前最活跃的研究领域之一。已经出现了众多并发进程模型。一个好的并发模型应该概念清晰简单,以便于理解;有丰富的表达能力、演绎能力,以反映并发性的各主要方面;有好的构造性质及动态性质,以支持复杂多样的系统构成;有坚实的数学基础,以支持稳固的发展与深刻的洞察。以此来衡量,GSP 模型及 CCS 模型都属于最成功的模型。本文介绍了它们的基本观点,主要结果,理论背景,模型的意义及一些相关的研究工作。 展开更多
关键词 CCS CSP 并发进程模型
在线阅读 下载PDF
基于进程组构件模型的软件体系结构设计方法 被引量:2
3
作者 褚华 陈平 《计算机科学》 CSCD 北大核心 2004年第6期118-119,137,共3页
软件工程的有效性在于进行体系化或系统化的设计,软件体系结构的好坏对系统的成败起着举足轻重的作用。本文针对并发系统,结合面向对象、构件以及软件复用的思想,提出了一种基于进程组构件模型的软件体系结构设计方法。最后介绍了采用... 软件工程的有效性在于进行体系化或系统化的设计,软件体系结构的好坏对系统的成败起着举足轻重的作用。本文针对并发系统,结合面向对象、构件以及软件复用的思想,提出了一种基于进程组构件模型的软件体系结构设计方法。最后介绍了采用该方法设计的iCALL系统。 展开更多
关键词 进程组构件模型 软件体系结构 构件 面向对象 iCALL系统
在线阅读 下载PDF
多维进程行为评估模型建立及最优化方法
4
作者 毛琨 杜学绘 孙奕 《计算机应用》 CSCD 北大核心 2013年第8期2244-2249,共6页
针对目前进程行为评估模型所存在的模型优化问题和模型选取问题,定义进程行为,采用隐马尔可夫模型(HMM)来描述进程行为。讨论了准确率与误报率的关系,提出多维进程行为评估模型,以弥补单一进程行为评估模型的不足,基于布尔运算对多维进... 针对目前进程行为评估模型所存在的模型优化问题和模型选取问题,定义进程行为,采用隐马尔可夫模型(HMM)来描述进程行为。讨论了准确率与误报率的关系,提出多维进程行为评估模型,以弥补单一进程行为评估模型的不足,基于布尔运算对多维进程行为评估模型进行融合,提高了评估性能。并基于代价决策树理论,给出了选取最优进程行为评估模型的目标函数,用于在融合后的多维进程行为评估模型上选择最优进程行为评估模型。最后,对所提出的多维进程行为评估模型的性能进行了测试,并与传统的STIDE和HMM方法进行了比较,结果证明了其有效性和优越性。 展开更多
关键词 进程行为 异常检测 多维进程行为评估模型 布尔运算 代价决策树 最优进程行为评估模型
在线阅读 下载PDF
光纤通道流量控制的OPNET仿真模型设计 被引量:4
5
作者 蔡昭权 秦磊华 +1 位作者 罗伟 卢庆武 《计算机工程》 CAS CSCD 北大核心 2011年第8期102-104,114,共4页
通过分析光纤通道流量控制协议的基本工作原理,提出一个基于OPNET的光纤通道流量控制协议仿真模型,给出发送端和接收端节点模型及进程模型的设计方案,并在OPNET环境下利用C语言实现该模型。仿真实验结果证明其可以正确地执行光纤通道流... 通过分析光纤通道流量控制协议的基本工作原理,提出一个基于OPNET的光纤通道流量控制协议仿真模型,给出发送端和接收端节点模型及进程模型的设计方案,并在OPNET环境下利用C语言实现该模型。仿真实验结果证明其可以正确地执行光纤通道流量控制协议,且模型简单直观、可扩展性好。 展开更多
关键词 光纤通道 流量控制 进程模型 仿真模型 OPNET仿真软件
在线阅读 下载PDF
Isabelle在分析安全操作系统状态机模型中的应用 被引量:2
6
作者 陈坤 贺也平 《计算机工程与设计》 CSCD 北大核心 2008年第3期580-582,730,共4页
为了解决已有的状态机模型的形式化框架在分析安全操作系统状态机模型时不够直观、简洁的问题,提出了一套使用Isabelle工具对安全操作系统模型状态中的类型、变量、常量、关系、映射、函数,以及模型中的安全不变量和状态迁移规则进行形... 为了解决已有的状态机模型的形式化框架在分析安全操作系统状态机模型时不够直观、简洁的问题,提出了一套使用Isabelle工具对安全操作系统模型状态中的类型、变量、常量、关系、映射、函数,以及模型中的安全不变量和状态迁移规则进行形式化描述的新方法。通过实际验证一种典型的安全操作系统状态机模型——可信进程模型,总结出了有效地使用Isabelle辅助形式化设计、分析、验证模型的策略。 展开更多
关键词 形式化 Isabelle工具 状态机模型 安全操作系统 可信进程模型
在线阅读 下载PDF
一种基于服务体/执行流的新型操作系统构造模型 被引量:10
7
作者 吴明桥 陈香兰 +1 位作者 张晔 龚育昌 《中国科学技术大学学报》 CAS CSCD 北大核心 2006年第2期230-236,共7页
在分析进程/线程模型内在缺陷的基础上,提出了一种新的操作系统构造模型———服务体/执行流模型.该模型以执行流为运行模型,以服务体为存储模型,两者相互分立,使得数据的计算独立于数据的存储,从而融合了单地址、多地址空间和单内核、... 在分析进程/线程模型内在缺陷的基础上,提出了一种新的操作系统构造模型———服务体/执行流模型.该模型以执行流为运行模型,以服务体为存储模型,两者相互分立,使得数据的计算独立于数据的存储,从而融合了单地址、多地址空间和单内核、微内核结构的优点,又摒弃了它们的缺点,并可有力支持分布式计算.实验数据验证了该模型的正确有效性. 展开更多
关键词 进程/线程模型 服务体 执行流 服务体间通信
在线阅读 下载PDF
工程陶瓷高效深磨ELID进程控制策略初探 被引量:1
8
作者 尚振涛 谢桂芝 +1 位作者 盛晓敏 吴耀 《湖南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2011年第7期31-36,共6页
在一些合理假设的前提下,建立了砂轮表面磨粒分布的理想几何模型,并在此基础上,结合磨粒磨损特性和法拉第电解定律,以磨粒突出高度保持不变为目标,建立了工程陶瓷高效深磨ELID进程控制的数学模型,由此数学模型可推出ELID进程的控制策略... 在一些合理假设的前提下,建立了砂轮表面磨粒分布的理想几何模型,并在此基础上,结合磨粒磨损特性和法拉第电解定律,以磨粒突出高度保持不变为目标,建立了工程陶瓷高效深磨ELID进程控制的数学模型,由此数学模型可推出ELID进程的控制策略.为确认此控制策略的效果,分别以由数学模型所确定的电解参数和指定的不同电解参数对氧化锆陶瓷进行高效深磨ELID磨削,并对比其磨削力和表面粗糙度变化状况.试验结果表明该控制策略能够解决工程陶瓷高效深磨ELID进程控制问题,实现连续稳定的磨削过程. 展开更多
关键词 高效深磨ELID磨削 工程陶瓷 进程控制数学模型 氧化膜
在线阅读 下载PDF
煤炭企业信息化实施过程模型及应用研究
9
作者 马超 任超 《煤炭工程》 北大核心 2016年第12期117-119,123,共4页
针对煤炭企业信息化实施过程管理不规范和权责不清的问题,结合司马煤业有限公司安全预警与检查系统实施的实际,加入观念、技术、应用三个分析层次对WBS方法的应用进行了改进,建立了以煤炭企业为主体、信息化供应方为推动的双进程推式滚... 针对煤炭企业信息化实施过程管理不规范和权责不清的问题,结合司马煤业有限公司安全预警与检查系统实施的实际,加入观念、技术、应用三个分析层次对WBS方法的应用进行了改进,建立了以煤炭企业为主体、信息化供应方为推动的双进程推式滚动实施模型,利用IDEF0方法描述了煤炭企业规划、实施、优化三个阶段包含的子过程及子过程间的相互关系,为煤炭企业信息化实施过程管理提供规范和指导。 展开更多
关键词 煤炭企业 信息化实施 改进WBS方法 进程推式滚动实施模型 IDEF0
在线阅读 下载PDF
国际组织语言政策研究的理论、方法与主题创新
10
作者 方小兵 《云南师范大学学报(哲学社会科学版)》 CSSCI 北大核心 2024年第6期20-31,共12页
国际组织语言政策研究面临理论构建不足、研究方法局限、研究视野狭窄等问题,最新发展趋势体现出对理论、方法和主题创新的追求。理论创新体现在充实语言政策进程模型、完善机构语言政策分析框架,以及在此基础上构建超国家语言规划理论... 国际组织语言政策研究面临理论构建不足、研究方法局限、研究视野狭窄等问题,最新发展趋势体现出对理论、方法和主题创新的追求。理论创新体现在充实语言政策进程模型、完善机构语言政策分析框架,以及在此基础上构建超国家语言规划理论。在方法创新上,力求通过机构民族志和法律民族志,获取关于语言政策制定、实施和影响的第一手资料,运用语料库方法对政策文本进行量化分析,同时充分运用话语分析方法,通过互文性分析、合法性分析和再语境化分析等手段,深度考察国际组织语言政策的话语实践及背后的意识形态。主题创新涉及议题更新和领域拓展,尝试关注诸如语言政策的法律效能及全球治理功效、国际公务员政策感知、政策话语博弈与政策评估等深度议题,并将领域拓展到小型、区域性、专业性国际机构以及非政府组织的语言政策,以构建完整的全球语言治理图景。 展开更多
关键词 国际组织 语言政策 政策进程模型 话语分析 民族志研究
在线阅读 下载PDF
基于OPNET的卫星网络路由协议仿真 被引量:8
11
作者 李洪鑫 张传富 苏锦海 《计算机工程》 CAS CSCD 北大核心 2011年第11期120-122,共3页
在卫星网络建模仿真过程中,必须解决路由仿真问题。为此,在分析卫星网络路由特点的基础上,提出一种基于预案的卫星网络路由方案,研究网络仿真工具OPNET中的路由处理机制,在OPNET中建立适合预案路由的仿真模型。实验结果表明,该路由仿真... 在卫星网络建模仿真过程中,必须解决路由仿真问题。为此,在分析卫星网络路由特点的基础上,提出一种基于预案的卫星网络路由方案,研究网络仿真工具OPNET中的路由处理机制,在OPNET中建立适合预案路由的仿真模型。实验结果表明,该路由仿真方案能实现基于互联网协议(IP)卫星网络的建模仿真。 展开更多
关键词 卫星网络 路由仿真 基于预案 OPNET路由机制 进程模型
在线阅读 下载PDF
自定义数据上传应用在OPNET中的实现 被引量:1
12
作者 李云 严海蓉 +1 位作者 王玉林 邹德财 《计算机工程与应用》 CSCD 北大核心 2007年第20期113-116,共4页
为了简化网络仿真中自定义应用和业务中繁琐的参数配置过程,完成数据上传的特殊应用,在OPNET中实现了将自定义数据上传应用添加到应用层作为一标准应用。利用自定义应用对一网络监控系统进行了仿真,运行过程正常,仿真结果表明标准应用... 为了简化网络仿真中自定义应用和业务中繁琐的参数配置过程,完成数据上传的特殊应用,在OPNET中实现了将自定义数据上传应用添加到应用层作为一标准应用。利用自定义应用对一网络监控系统进行了仿真,运行过程正常,仿真结果表明标准应用和添加的这一应用可以协同工作。与自定义应用和业务相比,它能简化参数配置的复杂过程并体现特殊应用的特点。 展开更多
关键词 OPNET 进程模型 应用属性 仿真
在线阅读 下载PDF
浙江省家族企业继承人培育情况调查与分析 被引量:1
13
作者 谭岚 《商业时代》 北大核心 2008年第24期111-112,共2页
家族企业接班人的培育已经成为了关系到家族企业能否可持续发展的关键问题。笔者通过对浙江家族企业的问卷调研,具体分析了浙江家族企业接班人培育的现状,总结了培育中存在的问题,并提出了相关的建议。
关键词 家族企业 继承人培育计划 家族企业发展进程模型
在线阅读 下载PDF
办公自动化环境下的GDSS模式研究 被引量:1
14
作者 刘云 萧蕴诗 严隽薇 《决策与决策支持系统》 1996年第1期34-41,共8页
本文首先提出了一个OA环境下的GDSS模式,它包括决策过程模型、功能模型、逻辑结构及物理配置四个方面;接着介绍了用于GDSS的对单一方案和多个方案评价决策的数学模型,最后给出了管理人员素质考核评价的实例。
关键词 群体决策 群体行为 群体决策支持系统 办公自动化 进程模型
在线阅读 下载PDF
Gaussian process assisted coevolutionary estimation of distribution algorithm for computationally expensive problems 被引量:2
15
作者 罗娜 钱锋 +1 位作者 赵亮 钟伟民 《Journal of Central South University》 SCIE EI CAS 2012年第2期443-452,共10页
In order to reduce the computation of complex problems, a new surrogate-assisted estimation of distribution algorithm with Gaussian process was proposed. Coevolution was used in dual populations which evolved in paral... In order to reduce the computation of complex problems, a new surrogate-assisted estimation of distribution algorithm with Gaussian process was proposed. Coevolution was used in dual populations which evolved in parallel. The search space was projected into multiple subspaces and searched by sub-populations. Also, the whole space was exploited by the other population which exchanges information with the sub-populations. In order to make the evolutionary course efficient, multivariate Gaussian model and Gaussian mixture model were used in both populations separately to estimate the distribution of individuals and reproduce new generations. For the surrogate model, Gaussian process was combined with the algorithm which predicted variance of the predictions. The results on six benchmark functions show that the new algorithm performs better than other surrogate-model based algorithms and the computation complexity is only 10% of the original estimation of distribution algorithm. 展开更多
关键词 estimation of distribution algorithm fitness function modeling Gaussian process surrogate approach
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部