并发对象

作品数：9被引量：8H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：詹劲松何炎祥吴思王戟董威更多>>
相关机构：福建师范大学南京大学武汉大学国防科学技术大学更多>>
相关期刊：《高技术通讯》《东南大学学报（自然科学版）》《长春大学学报》《计算机工程与应用》更多>>
相关基金：国家高技术研究发展计划软件工程国家重点实验室开放基金国家自然科学基金河南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
并发对象强可线性化性质的检测和验证
《软件学报》2024年第9期4141-4159,共19页王超 贾巧雯 吕毅 吴鹏 
国家自然科学基金(62002298,62072443,62372386);国家重点研发计划(2022YFA1005100,2022YFA1005101,2022YFA1005104);重庆市自然科学基金面上项目(CSTB2022NSCQ-MSX0437)。
可线性化被公认为并发对象正确性标准,但其已被证明不能作为含有随机语句的并发对象的正确性标准.为此,Golab等人提出了强可线性化概念,它在可线性化的定义上增加了前缀保持性质,对并发对象具有更强的约束性.关于强可线性化的研究集中...
关键词：并发对象 正确性标准 可线性化 强可线性化 
利用管程概念求解哲学家进餐问题
《长春大学学报》2015年第12期34-37,共4页詹劲松 
福建省教育厅A类项目(JA14341)
介绍了利用管程概念求解哲学家进餐问题的一种方法,并和我们以前的方法进行了比较,结果表明,引入管程概念使程序的模块化程度和可读性有了很大的提高。
关键词：管程 哲学家进餐问题 高级别并发对象 
利用Java高级别并发对象求解哲学家进餐问题被引量：2
《佳木斯大学学报（自然科学版）》2013年第6期905-907,共3页詹劲松 
介绍了利用Java高级别并发对象求解哲学家进餐问题死锁预防的一种方法,并和我们过去的方法进行了比较,结果表明新方法的效率有所提高.
关键词：高级别并发对象 哲学家进餐问题 死锁预防 
UML模型中并发对象的组合验证
《计算机科学》2005年第7期231-233,F004,共4页董威 王戟 齐治昌 
国家自然科学基金(No.60303013);武汉大学软件工程国家重点实验室开放基金(No.SKLSE03-08)
本文在用层次自动机结构化表示UML Statecharts的基础上,定义了UML协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了对并发对象系统进行组合验证的方法和规则,使有可能在对UML协同图进行模型检验的过程中不必建立系统的全...
关键词：并发对象 UML模型 STATECHARTS 验证 组合 同步合成 模拟关系 对象系统 模型检验 状态爆炸 结构化 自动机 状态图 协同 
并发对象的一种描述机制
《计算机应用与软件》2001年第5期38-42,48,共6页陈家骏 袁晓东 郑国梁 
面向对象模型潜在的并发计算能力为并发程序设计提供了更高层次的解决方案。为了充分利用这种潜在的并发执行能力,必须在对象模型中显式地给出并发控制。本文给出了一种描述并发对象的机制,即:把对象的并发控制作为对象的单独属性进行描...
关键词：面向对象 并发对象 程序设计 封装 消息处理 
并发对象中双层结构的同步控制模型
《计算机科学》2001年第5期20-24,共5页王东奎 李国东 杨海荣 张德富 
随着Internet网迅速普及,特别是对NOW研究的不断深入,以及并行计算机的推广应用,人们对并发程序的开发需求不断增加,而传统的功能分解方法给并发程序的复用带来了困难,因此有必要将面向对象方法融入并发程序设计以增强程序的易复用性和...
关键词：面向对象 程序设计 并发对象 双层结构 同步控制模型 
并发对象技术初探
《东南大学学报（自然科学版）》1998年第6期84-89,共6页瞿裕忠 沈军 唐立中 朱海林 朱一清 
江苏省自然科学基金资助;南京大学计算机软件新技术国家重点实验室开放课题基金;东南大学科学基金
在分析和比较典型的并发面向对象程序设计语言的基础上，提出了一个并发对象模型的架构．其特色在于对象的并发特征函数和对消息传递方式的处理．从语言设计的角度对并发对象模型与继承之间的有机集成进行了初步探讨．
关键词：并发对象技术 并发面向对象程序设计语言 并发对象模型 继承 并发特征函数 
基于多 Agent 的分布开放计算环境模型被引量：6
《高技术通讯》1998年第6期16-19,共4页何炎祥 吴思 宋文欣 罗先林 彭锋 付杰 
863计划资助项目
介绍了Ａｇｅｎｔ的体系结构、形式定义、行为模式和通讯机制，论述了用Ａｇｅｎｔ构造分布开放计算模型的必要性，并提出了一个基于多Ａｇｅｎｔ的分布开放计算环境模型（ＭＤＯＣＥＭ）。
关键词：并发对象 多智能体 分布开放 计算环境 AGENT 
互不干扰条件在OOP中的应用
《计算机工程与应用》1997年第7期34-37,共4页沈夏炯 
河南省自然科学基金
ＯＯ系统的可靠性不仅取决于组件的质量，还与对象的交互行为密切相关。那么，如何“保证”ＯＯ系统的可靠性和正确性，必然是一个现实而又不可回避的问题。本文从应用领域的角度。
关键词：面向对象 并发对象 OOP 软件开发 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部