APLA语言

作品数：8被引量：17H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：薛锦云左正康游珍骆健汪雄更多>>
相关机构：江西师范大学武汉大学中国科学院大学江西省高性能计算技术重点实验室更多>>
相关期刊：《软件学报》《计算机与现代化》《江西师范大学学报（自然科学版）》《计算机工程与科学》更多>>
相关基金：国家自然科学基金江西省自然科学基金江西省教育厅科学技术研究项目江西师范大学青年成长基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于Apla语言的虚拟现实建模机制研究被引量：2
《华中科技大学学报（自然科学版）》2021年第2期62-67,共6页薛锦云 黄捷文 游珍 周哲泓 
国家自然科学基金面上项目(61472167);国家自然科学基金地区科学基金资助项目(61462041,61662036);江西省虚拟仿真实验教学项目(2020-47)。
针对传统的脚本建模存在语言机制复杂繁琐、开发效率不高、可靠性难保证、建模阶段和交互阶段相互独立等问题,基于分划与递推(PAR)及其Apla抽象程序设计语言,设计与原Apla语言融合的虚拟现实建模语言机制。开发的Apla→MAXScript自动生...
关键词：虚拟现实 分划与递推(PAR)平台 APLA语言 三维建模 MAXSCRIPT 
新型Action泛型机制在PAR平台中的实现和应用研究
《江西师范大学学报（自然科学版）》2020年第6期633-638,共6页汪雄 薛锦云 刘震伟 
国家自然科学基金重大国际合作项目(61020106009);国家自然科学基金面上项目(61272075,61472167);国家自然科学基金地区科学基金(61462041);江西省自然科学基金(20171BAB202008);江西省教育厅科学技术研究(160329)资助项目.
在软件开发过程中,开发语言中的泛型机制能够显著提高软件开发的效率和软件可靠性,但现有高级语言中一般只有类型和子程序(如过程、函数和方法等)作参数,限制了泛型机制的应用.该文对新型泛型机制进行深入探索,着重研究以action作为参...
关键词：APLA语言 泛型 PAR方法 PAR平台 
一种基于Concurrent Apla语言的共享内存并发分布式算法2层验证方法被引量：2
《江西师范大学学报（自然科学版）》2020年第3期301-306,共6页王昌晶 余小军 沈德明 罗海梅 左正康 
国家自然科学基金(61762049,11804133,61862033,61662035,61902162);国家留学基金(202008360094);江西省科技厅课题(20181BAB206034);江西省研究生创新基金(YC2019-S161)资助项目.
形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽...
关键词：并发分布式计算 依赖-卫式推理 CONCURRENT APLA 形式化验证 
跨媒体组合方法研究被引量：1
《计算机工程与科学》2016年第12期2442-2449,共8页张际博 薛锦云 汪雄 夏鲸 熊小舟 
国家自然科学基金(61020106009;61272075;61472167;61462041)
大数据时代以多媒体计算为基础的跨媒体计算技术已成为信息技术研究的热点。但是,对跨媒体的获取、组合和应用仍缺乏有效的方法。提出了两种跨媒体组合方法。以开发跨媒体在线二叉树遍历课程为例。第一种方法以Web服务的模式,引用多种...
关键词：跨媒体 多媒体数据库 服务重组 APLA语言 
Apla中泛型约束机制研究被引量：13
《软件学报》2015年第6期1340-1355,共16页左正康 薛锦云 
国家自然科学基金(61462039;61020106009;61363012;61363013);江西省自然科学基金(20142BAB217023;20142BAB217026;20142BAB207026);江西省教育厅科技项目(GJJ14268)
泛型程序设计可大幅提高程序的可重用性、可靠性和开发效率.泛型约束机制是对泛型参数进行形式描述,并对其合法性进行检测及验证,从而保证泛型程序的可靠性和安全性.分析总结多种主流语言的泛型约束特性,存在难以描述及验证基于动态语...
关键词：泛型约束机制 APLA语言 代数结构 动态语义约束 安全性 
带迭代算子的APLA-JAVA程序转换实验系统的研究探讨
《电子技术与软件工程》2014年第22期83-84,共2页申加华 
为了提高软件的工作效率以及运行的稳定性,克服计算机运行过程中软件运用的问题,尤其是针对APLA-JAVA的转换问题计算机界已经进行了长期的争论和研究,但是仍没有达到理想的效果。通过设计一个转换系统,将正确的APLA程序进行转换,获得JAV...
关键词：PAR方法 迭代算子 APLA语言 程序转换 
Apla语言中并发分布式机制的研究被引量：4
《计算机科学》2012年第1期104-108,共5页游珍 薛锦云 应时 
国家自然科学基金项目(60573080;60773054);国家自然基金重大国际合作研究项目(61020100609);科技部国际科技合作项目(2008DFA11940);江西师范大学青年成长基金项目(3174)资助
从并发分布式程序设计的角度,对现有的并发分布式语言进行分析比较,选取Jayadev Misra教授近几年提出的全新结构化并发分布式语言Orc作为研究对象。通过深入分析Orc语言的基本原理和语言特征,提出了一个能够适合Apla抽象程序设计语言的...
关键词：并发分布式程序设计 Orc语言 Apla抽象程序设计语言 并发分布式机制 
用PAR方法构建三种Java集合类
《计算机与现代化》2001年第4期7-13,103,共8页石海鹤 骆健 薛锦云 
国家自然科学基金资助项目
分析了抽象程序设计语言 Apla( Abstract Programming Language)定义的集合操作的实现算法思想 ,用 PAR方法 (分划递推法 ,Partition- and- Recur)推导了实现集合操作的 Apla程序 ,并分别将这些抽象程序用三种数据结构 (向量 ( Vector)...
关键词：APLA语言 JAVA语言 PAR方法 面向对象 程序设计 集合操作 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部