国家自然科学基金(61020106009)

作品数：15被引量：67H指数：5
导出分析报告
相关作者：薛锦云朱小征王昌晶徐华珍熊小舟更多>>
相关机构：江西师范大学中国科学院软件研究所中国科学院研究生院武汉大学更多>>
相关期刊：《电子学报》《计算机与数字工程》《计算机与现代化》《江西师范大学学报（自然科学版）》更多>>
相关主题：PAR平台PAR方法PARAPLAWEB服务更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
新型Action泛型机制在PAR平台中的实现和应用研究
《江西师范大学学报（自然科学版）》2020年第6期633-638,共6页汪雄 薛锦云 刘震伟 
国家自然科学基金重大国际合作项目(61020106009);国家自然科学基金面上项目(61272075,61472167);国家自然科学基金地区科学基金(61462041);江西省自然科学基金(20171BAB202008);江西省教育厅科学技术研究(160329)资助项目.
在软件开发过程中,开发语言中的泛型机制能够显著提高软件开发的效率和软件可靠性,但现有高级语言中一般只有类型和子程序(如过程、函数和方法等)作参数,限制了泛型机制的应用.该文对新型泛型机制进行深入探索,着重研究以action作为参...
关键词：APLA语言 泛型 PAR方法 PAR平台 
PAR平台中并发分布式事务处理机制及其应用研究被引量：2
《江西师范大学学报（自然科学版）》2019年第6期649-654,共6页刘震伟 薛锦云 夏鲸 汪雄 
国家自然科学基金重大国际合作(61020106009);国家自然科学基金面上课题(61272075,61472167);国家自然科学基金(61462041);江西省自然科学基金(20171BAB202008);江西省教育厅科学技术研究课题(160329)资助项目
随着大数据、云计算和云服务等新技术的兴起,并发分布式计算作为这些新技术的基础,扮演着越来越重要的角色.在分布式计算中,数据的一致性难以得到保证,而事务处理技术能够有效解决该问题.为了提升PAR平台在高可靠应用程序的使用范围,在...
关键词：PAR方法 PAR平台 事务处理 分布式事务 
虚拟现实软件系统开发方法研究被引量：13
《计算机工程与科学》2019年第11期1968-1975,共8页周哲泓 薛锦云 黄捷文 
国家自然科学基金重大国际合作研究项目(61020106009);国家自然科学基金面上项目(61272075,61472167);国家自然科学基金地区科学基金(61462041,61662036)
虚拟现实技术是一门综合性技术,涉及计算机图形学、多媒体技术、人机交互和人工智能等多个领域,在教育、医疗、娱乐、军事等众多领域有非常广泛的应用。所有这些技术和应用最终都要靠计算机软件来实现,这就使得虚拟现实系统的软件变得...
关键词：虚拟现实 PAR平台 程序自动生成 C#语言 
基于Web Service和多媒体数据库技术的PAR方法在线自学系统的设计与实现被引量：3
《江西师范大学学报（自然科学版）》2018年第3期291-297,共7页熊小舟 薛锦云 
国家自然科学基金面上项目(61272075,61472167);国家自然科学基金地区科学基金项目(61462041,61662036); 国家自然基金重大国家(地区)合作交流项目(61020106009); 江西省教育厅科学技术研究(160329)资助项目
设计并实现了一个PAR方法的在线自学系统.利用Web服务(Web Service)和多媒体数据库技术,将使用PAR方法开发算法程序设计的基本概念、算法设计语言Radl、抽象程序设计语言Apla以及设计和推导算法程序的方法学形象生动地呈现给学习者.最...
关键词：PAR方法 PAR平台 WEB服务 多媒体数据库技术 
在建模语言Apla中实现多媒体数据库应用的方法研究被引量：3
《江西师范大学学报（自然科学版）》2017年第1期46-51,共6页朱小征 薛锦云 夏鲸 熊小舟 
国家自然科学基金重大国际合作研究项目(61020106009);国家自然科学基金面上项目(61272075;61472167);国家自然科学基金地区科学基金(61462041)资助项目
随着信息技术在各大领域的广泛应用,产生的多媒体数据所占比例越来越大,对多媒体数据处理的需求也越来越多,高级程序设计语言支持多媒体数据处理的功能也变得尤为重要.采用模型驱动的思想,在支持模型驱动软件开发PAR平台的Apla→Java程...
关键词：PAR 模型驱动 多媒体数据处理 
Apla→Java程序生成系统中泛型机制实现方法研究被引量：4
《江西师范大学学报（自然科学版）》2017年第1期52-55,92,共5页徐华珍 薛锦云 朱小征 
国家自然科学基金重大国际合作研究项目(61020106009);国家自然科学基金面上项目(61272075;61472167);国家自然科学基金地区科学基金(61462041)资助项目
在对泛型程设本质特征深入研究的基础上提出了新型泛型语言机制构想,并在Apla→Java生成系统中具体实现的新方法.该方法比现有的Java、C++、C#等语言中泛型机制的实现方法简单,并通过经典算法实例演示实现效果,大量用例的成功测试表明...
关键词：泛型语言机制 软件可靠性 安全机制 Apla→Java生成系统 
Transaction在PAR平台中的实现方法及应用研究被引量：4
《计算机与数字工程》2015年第10期1884-1890,共7页朱小征 薛锦云 徐华珍 
国家自然科学基金重大国际合作研究项目"若干软件新技术及其在PAR平台中的实验研究"(编号:61020106009);国家自然科学基金面上项目:高可靠软件建模语言及模型自动转换方法研究(编号:61272075);国家自然科学基金面上项目:新概念循环不变式及其自动探测技术研究(编号:61472167)资助
随着电子商务和金融软件应用日益广泛,提高这类软件系统的可靠性和安全性就显得特别重要。虽然能够提高这类软件可靠性的事务处理技术早在数据库管理系统中普遍使用,近几年在Java软件开发环境中也新增了事务处理接口JTA,但是在基于模型...
关键词：事务处理 异常处理 PAR平台 模型驱动的软件架构 
一类单元赋值语句型循环不变式的开发方法研究被引量：4
《江西师范大学学报（自然科学版）》2014年第4期378-382,共5页杨黄磊 薛锦云 
国家自然科学基金重大国际合作项目(61020106009);国家自然科学基金(61272075)资助项目
依据现有循环不变式的定义和开发策略,阐述了一类单元赋值语句型循环不变式开发方法,同时使用Dijkstra最弱前置谓词方法确认了循环不变式的正确性.最后通过典型实例来说明该方法的应用.
关键词：单元赋值语句 循环不变式 开发策略 最弱前置谓词方法 
基于BPMN的Web服务并发交互机制被引量：10
《计算机科学》2014年第8期50-54,共5页江东明 薛锦云 
国家自然科学基金重大国际合作项目(61020106009)资助
如何抽象描述复杂业务流程的交互是服务计算研究的重要问题。大量的国内外研究虽然关注业务流程建模,但却忽略了建模过程中组件之间的并发交互描述和实现。针对Web服务并发交互,提出一种基于BPMN的Web服务并发交互的形式化模型。首先,采...
关键词：BPMN ORC Web服务交互 
Radl算法到Apla程序的生成系统被引量：10
《计算机研究与发展》2014年第4期856-864,共9页谢武平 薛锦云 
国家自然科学基金项目(60573080;60273092);国家自然科学基金重大国际(地区)合作研究项目(61020106009)
算法设计是一项创造性工作,传统的设计与描述方法难以保证算法的正确性.在PAR方法中通过定义具有数学引用透明性的算法描述语言Radl,可实现对问题规约进行形式化推导得到用递推关系描述的算法.Radl算法的核心就是递推关系组,从而易于进...
关键词：PAR方法 Radl算法 程序生成 算法推导 生成规则 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部