薛锦云

作品数：114被引量：426H指数：11
导出分析报告
供职机构：江西师范大学更多>>
发文主题：PAR方法程序设计形式化方法循环不变式PAR更多>>
发文领域：自动化与计算机技术文化科学电子电信理学更多>>
发文期刊：《计算机技术与发展》《计算机工程与设计》《计算机与数字工程》《计算机与现代化》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划江西省自然科学基金江西师范大学青年成长基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
沉浸式虚拟现实多模态交互模型研究被引量：5
《江西师范大学学报（自然科学版）》2024年第1期52-58,共7页易心武 薛锦云 游珍 李志辉 周智鹏 
江西省自然科学基金(20212BAB202018);江西省教育厅科学技术研究课题(GJJ210333);江西省虚拟仿真实验教学课题(202020048)资助项目.
随着虚拟现实技术的发展,鼠标和键盘等传统输入模态已经难以满足沉浸式虚拟现实交互需求,如何使用自然交互方式来满足沉浸式交互任务日益成为研究热点.为了实现自然高效的人机交互,该文首先分析各种单模态交互方式的优缺点,并基于神经...
关键词：虚拟现实 人机交互 多模态融合 头眼协调 
基于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平台 
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#语言 
PAR平台中若干软件构件形式化验证技术研究被引量：8
《计算机工程与科学》2018年第2期268-274,共7页胡启敏 薛锦云 游珍 程着 
国家自然科学基金(61462041;61472167;61662036);江西省自然科学基金(20171BAB202008);江西省教育厅科技项目(160329)
PAR平台是本团队研制成功的支撑软件形式化和自动化开发的软件平台。该平台充分体现了功能抽象和数据抽象的优越性,使得软件开发变得便捷和可靠,达到这一性能的关键要素是一批可重用软件构件。为保证整个软件平台的正确性和可靠性,确保...
关键词：软件构件 形式语义 定理证明 PAR平台 循环不变式 
无线射频RFID识别协议自动验证方法研究被引量：3
《计算机科学》2017年第9期99-104,共6页宋岚 薛锦云 胡启敏 谢武平 江东明 游珍 
国家自然科学基金(61272075;61472167;61462041;61363012);江西省科技厅项目(20161BBH80039)资助
Population Protocols是一种受生物启发的计算模型,能够表示无线网络中数量庞大但计算能力弱的多组件间的交互,它为无线传感器网络提供了一种可计算推理的理论框架。将Population Protocol理论引入到RFID识别协议中,提出了RFID识别协议...
关键词：POPULATION Protocols RFID 协议验证 SPIN 
在建模语言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生成系统 
跨媒体组合方法研究被引量：1
《计算机工程与科学》2016年第12期2442-2449,共8页张际博 薛锦云 汪雄 夏鲸 熊小舟 
国家自然科学基金(61020106009;61272075;61472167;61462041)
大数据时代以多媒体计算为基础的跨媒体计算技术已成为信息技术研究的热点。但是,对跨媒体的获取、组合和应用仍缺乏有效的方法。提出了两种跨媒体组合方法。以开发跨媒体在线二叉树遍历课程为例。第一种方法以Web服务的模式,引用多种...
关键词：跨媒体 多媒体数据库 服务重组 APLA语言 
全选清除导出
共12页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部