期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
通过抽象程序证明复杂具体程序 被引量：2
1
作者 李彬 汤震浩 +1 位作者 翟娟 赵建华 《软件学报》 EI CSCD 北大核心 2017年第4期786-803,共18页
描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构(ADTs),如set,list,map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系、抽象程序程序点... 描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构(ADTs),如set,list,map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系、抽象程序程序点和具体程序程序点的对应关系.基于对应关系,抽象程序和具体程序一致性证明可以分解,从而容易并可能自动证明. 展开更多
关键词 程序证明 一致性 抽象程序 精化 分解
在线阅读 下载PDF
现实关系与抽象程序:马克思与罗尔斯正义理论建构模式异质性分析 被引量：1
2
作者 张卫明 《华中科技大学学报（社会科学版）》 CSSCI 北大核心 2014年第4期6-11,共6页
不同内涵的正义包括人与人之间的明确界分、一定所得关系、某种分配尺度三个共性内容。马克思与罗尔斯正义理论的建构模式截然不同,它们分别是现实关系模式和抽象程序模式。两种模式的异质性主要表现在其逻辑起点和构建路径两个方面:在... 不同内涵的正义包括人与人之间的明确界分、一定所得关系、某种分配尺度三个共性内容。马克思与罗尔斯正义理论的建构模式截然不同,它们分别是现实关系模式和抽象程序模式。两种模式的异质性主要表现在其逻辑起点和构建路径两个方面:在逻辑起点上,现实关系模式以物质生产为原点,抽象程序模式则以人性假定为前提;在构建路径上,现实关系模式从人的"明确界分"到人的"全面发展",从"‘所有关系’即异化"到"人的自我实现"展开两层推演。抽象程序模式从"利益相关者"到没有明确界分的"纯粹道德主体"、从正义原则的选择到主体的利益分配完成两步设计方案。 展开更多
关键词 现实关系 抽象程序 模式 逻辑前提 构建路径
在线阅读 下载PDF
程序抽象操作模型及其技术应用
3
作者 龙军 张龙祥 《长沙铁道学院学报》 EI CSCD 1999年第3期49-53,共5页
在分析传统程序操作模型不足的基础上，总结并提出了一种基于映射方式的新型程序操作模型——程序抽象操作模型．详细阐述了建立在该模型之上的程序抽象设计技术的基本思想及其应用场合．
关键词 操作模型 映射 控件 程序抽象设计
在线阅读 下载PDF
应用程序开发中的程序抽象设计技术
4
作者 龙军 张龙祥 《计算机工程与应用》 CSCD 北大核心 2000年第3期82-84,共3页
文章在分析传统程序操作模型不足的基础上，总结并提出了一种基于映射方式的新型程序操作模型──程序抽象操作模型。并详细阐述了建立在该模型之上的程序抽象设计技术的基本思想及其应用场合。
关键词 程序抽象设计 操作模型 层次结构 控件 应用程序
在线阅读 下载PDF
Apla与程序设计语言泛型特性比较研究 被引量：8
5
作者 左正康 刘志豪 +5 位作者 黄箐 游珍 王昌晶 石海鹤 胡启敏 陶小明 《江西师范大学学报（自然科学版）》 CAS 北大核心 2019年第5期454-461,共8页
面向对象编程(OOP)是以对象为编程核心,而泛型程序设计(GP)是根据一个类型所需要的操作需求进行分类和抽象,即GP是一种以类型需求为核心的程序设计范式.描述完整的GP类型需求包含静态语法约束和动态语义约束,主流程序设计语言已经支持... 面向对象编程(OOP)是以对象为编程核心,而泛型程序设计(GP)是根据一个类型所需要的操作需求进行分类和抽象,即GP是一种以类型需求为核心的程序设计范式.描述完整的GP类型需求包含静态语法约束和动态语义约束,主流程序设计语言已经支持静态语法约束,但受语言其他方面的限制,抽象层次较低,定义的泛型概念难以描述及验证基于动态语义的复杂约束需求问题,与完整实现GP尚有距离.该文综合比较了Java、C#、C++、Concept 4种支持泛型程序设计的语言,基于抽象程序设计语言Apla提出了离完整实现GP更近一步的泛型机制,通过同典型泛型实例对各种程序设计语言泛型特性进行分析,验证抽象泛型程序设计语言Apla中该泛型机制的优越性. 展开更多
关键词 泛型程序设计 动态语义约束 抽象程序设计语言
在线阅读 下载PDF
Apla语言中并发分布式机制的研究 被引量：4
6
作者 游珍 薛锦云 应时 《计算机科学》 CSCD 北大核心 2012年第1期104-108,共5页
从并发分布式程序设计的角度,对现有的并发分布式语言进行分析比较,选取Jayadev Misra教授近几年提出的全新结构化并发分布式语言Orc作为研究对象。通过深入分析Orc语言的基本原理和语言特征,提出了一个能够适合Apla抽象程序设计语言的... 从并发分布式程序设计的角度,对现有的并发分布式语言进行分析比较,选取Jayadev Misra教授近几年提出的全新结构化并发分布式语言Orc作为研究对象。通过深入分析Orc语言的基本原理和语言特征,提出了一个能够适合Apla抽象程序设计语言的并发分布式机制,设计了并发算子、并发语句、进程定义、进程通信和进程同步,并通过实例探讨了该设计方案的可行性和实用性,最后阐述了Apla语言中并发分布式机制具有通用性强、抽象层次高、简单易懂、便于并发分布式程序的开发等优点。 展开更多
关键词 并发分布式程序设计 Orc语言 Apla抽象程序设计语言 并发分布式机制
在线阅读 下载PDF
基于IPX脱离服务器的点对点实时通信软件RTCom
7
作者 沈军 《计算机应用与软件》 CSCD 1997年第3期35-43,共9页
RTCom是一个脱离服务器的点对点实时通信软件,其实时性强、可靠性高、通信开销小、成本低,特别适合于微小型的监控系统。另一方面,RTCom采用抽象程序设计技术和动态派遣技术,使RTCom的实观与具体的物理网络相对独立,从而增加了RTCom的... RTCom是一个脱离服务器的点对点实时通信软件,其实时性强、可靠性高、通信开销小、成本低,特别适合于微小型的监控系统。另一方面,RTCom采用抽象程序设计技术和动态派遣技术,使RTCom的实观与具体的物理网络相对独立,从而增加了RTCom的可移植性和可扩充性,以及基于RTCom而开发的应用软件系统的可移植性,具有较大的实用价值。本文详细论述了RTCom的设计思想、特点以及具体实现技术,并给出了RTCom的调用界面和使用方法。 展开更多
关键词 点对点实时通信 IPX 抽象程序设计 RTCom
在线阅读 下载PDF
基于模块化Abstract-Refine算法框架的软件模型检测方法 被引量：1
8
作者 王舜 杜晔 韩臻 《电子学报》 EI CAS CSCD 北大核心 2020年第5期997-1002,共6页
Abstract-Refine(抽象—精炼)方法是软件模型检测领域中较为有效的设计思想,具有较高的通用性和效率优势,但目前并没有一个框架可以对其精确进行描述及实现有效的模块化使用和替换.本文提出了一种模块化的Abstract-Refine算法框架,分析... Abstract-Refine(抽象—精炼)方法是软件模型检测领域中较为有效的设计思想,具有较高的通用性和效率优势,但目前并没有一个框架可以对其精确进行描述及实现有效的模块化使用和替换.本文提出了一种模块化的Abstract-Refine算法框架,分析和解释了Abstract-Refine算法所接受的输入程序的精细结构和特性,并对Abstract-Refine算法和相关子算法运用平衡操作符做以模块化解耦,使得子算法的修改和更换不需要依赖对上层的变更.经过实验验证,本方法可有效实现传统算法模块化解耦,同时不对原算法的性能造成冲击. 展开更多
关键词 软件模型检测 模块化方法 抽象—精炼(Abstract-Refine) 通用算法 抽象程序
在线阅读 下载PDF
支持功能模块动态装卸的通用菜单系统API 被引量：1
9
作者 沈军 程正潮 任国林 《计算机应用研究》 CSCD 1995年第3期53-56,共4页
本文在分析现有菜单（ＭＥＮＵ）辅助设计工具的缺陷的基础上，详细论述了一个通用菜单系统应用程序接口（ＡＰＩ）软件包的设计思想，特点和有关实现技术，并给出了该ＡＰＩ软件包的函数列表和应用示例。该ＡＰＩ软件包采用抽象程序设... 本文在分析现有菜单（ＭＥＮＵ）辅助设计工具的缺陷的基础上，详细论述了一个通用菜单系统应用程序接口（ＡＰＩ）软件包的设计思想，特点和有关实现技术，并给出了该ＡＰＩ软件包的函数列表和应用示例。该ＡＰＩ软件包采用抽象程序设计技术，支持功能模块的动态装卸和菜单系统的动态维护，并首次采用动态接口挂接技术，大大增加了系统的灵活性和维护性，提高了软件开发效率。 展开更多
关键词 程序抽象 菜单系统 程序设计
在线阅读 下载PDF
CFD网格平台中任务管理与错误恢复的实现
10
作者 林新华 缪嵚 +4 位作者 陆鑫达 邓倩妮 李明禄 刘洪 祈洋 《计算机工程与应用》 CSCD 北大核心 2004年第29期116-118,共3页
任务管理和错误恢复是CFD网格应用平台的核心部分,它对运行在平台上的CFD程序进行管理,并提供错误恢复机制。为了更好地管理CFD任务,平台通过建立CFD程序抽象模型,对任务管理和错误恢复模块进行设计上的优化。因此该模块采用了双层架构... 任务管理和错误恢复是CFD网格应用平台的核心部分,它对运行在平台上的CFD程序进行管理,并提供错误恢复机制。为了更好地管理CFD任务,平台通过建立CFD程序抽象模型,对任务管理和错误恢复模块进行设计上的优化。因此该模块采用了双层架构,上层实现了对服务的管理,下层负责对并行程序的管理。同时该模块还提供了守护进程CFD-Daemon来实现错误恢复,以及应用开发包供CFD程序员使用。 展开更多
关键词 网格应用平台 CFD程序抽象模型 CFD—Daemon 应用开发包
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部