基于Unity 3D的灭火器虚拟消防模拟

1

作者 薛锦云 周智鹏 +3 位作者 薛慧琦 易心武 李志辉 刘智高 《计算机工程与科学》 北大核心 2025年第6期1090-1096,共7页

传统的消防训练需要消防员及相关人员面对大火进行实操,这不仅需要场地、资金的支持,还可能会有人员伤亡的风险。随着虚拟现实的发展,如何使用其模拟真实环境的能力让用户完成目标任务已成为当今研究的热点。利用Unity 3D强大的三维渲... 传统的消防训练需要消防员及相关人员面对大火进行实操,这不仅需要场地、资金的支持,还可能会有人员伤亡的风险。随着虚拟现实的发展,如何使用其模拟真实环境的能力让用户完成目标任务已成为当今研究的热点。利用Unity 3D强大的三维渲染能力和灵活的脚本系统,结合虚拟现实的粒子系统对火焰和灭火器喷雾进行模拟,能真实还原消防人员的训练环境。为了模拟的真实度,采用动力学原理模拟灭火器喷雾前期的运动轨迹,提出以高斯扩散模型对喷雾后期在空气中的弥漫进行分析。实验结果证明动力学原理和高斯扩散模型能成功模拟出灭火器喷雾的动态变化过程。同时,利用粒子间的碰撞实现了灭火器的灭火过程,使用户能够直观地感受到灭火器喷雾对火焰的影响。 展开更多

关键词 Unity 3D 虚拟现实 粒子系统 高斯扩散模型 消防

在线阅读 下载PDF 职称材料

PAR平台中若干软件构件形式化验证技术研究 被引量：8

2

作者 胡启敏 薛锦云 +1 位作者 游珍 程着 《计算机工程与科学》 CSCD 北大核心 2018年第2期268-274,共7页

PAR平台是本团队研制成功的支撑软件形式化和自动化开发的软件平台。该平台充分体现了功能抽象和数据抽象的优越性,使得软件开发变得便捷和可靠,达到这一性能的关键要素是一批可重用软件构件。为保证整个软件平台的正确性和可靠性,确保... PAR平台是本团队研制成功的支撑软件形式化和自动化开发的软件平台。该平台充分体现了功能抽象和数据抽象的优越性,使得软件开发变得便捷和可靠,达到这一性能的关键要素是一批可重用软件构件。为保证整个软件平台的正确性和可靠性,确保其中软件构件的正确性和可靠性就显得十分重要。选取PAR平台中若干典型软件构件,用形式化方法对构件的语义进行形式化描述,并借助Coq定理证明系统,对构件的正确性进行形式化验证,大幅度提高了软件构件形式化验证的效率。 展开更多

关键词 软件构件 形式语义 定理证明 PAR平台 循环不变式

在线阅读 下载PDF 职称材料

虚拟现实软件系统开发方法研究 被引量：13

3

作者 周哲泓 薛锦云 黄捷文 《计算机工程与科学》 CSCD 北大核心 2019年第11期1968-1975,共8页

虚拟现实技术是一门综合性技术,涉及计算机图形学、多媒体技术、人机交互和人工智能等多个领域,在教育、医疗、娱乐、军事等众多领域有非常广泛的应用。所有这些技术和应用最终都要靠计算机软件来实现,这就使得虚拟现实系统的软件变得... 虚拟现实技术是一门综合性技术,涉及计算机图形学、多媒体技术、人机交互和人工智能等多个领域,在教育、医疗、娱乐、军事等众多领域有非常广泛的应用。所有这些技术和应用最终都要靠计算机软件来实现,这就使得虚拟现实系统的软件变得十分庞大和复杂,涉及许多多媒体数据。传统软件开发方法和程序设计技术侧重于处理文本数据,显然不能满足开发虚拟现实软件的需要。试图以所在团队研发成功的PAR方法和PAR平台为基础,根据虚拟现实软件系统的特征,探寻虚拟现实软件系统开发的新方法,进一步扩充和完善PAR平台中已有多媒体处理技术、形式化建模技术和C#等高级语言程序自动生成系统。 展开更多

关键词 虚拟现实 PAR平台 程序自动生成 C#语言

在线阅读 下载PDF 职称材料

沉浸式虚拟现实多模态交互模型研究 被引量：7

4

作者 易心武 薛锦云 +2 位作者 游珍 李志辉 周智鹏 《江西师范大学学报（自然科学版）》 CAS 北大核心 2024年第1期52-58,共7页

随着虚拟现实技术的发展,鼠标和键盘等传统输入模态已经难以满足沉浸式虚拟现实交互需求,如何使用自然交互方式来满足沉浸式交互任务日益成为研究热点.为了实现自然高效的人机交互,该文首先分析各种单模态交互方式的优缺点,并基于神经... 随着虚拟现实技术的发展,鼠标和键盘等传统输入模态已经难以满足沉浸式虚拟现实交互需求,如何使用自然交互方式来满足沉浸式交互任务日益成为研究热点.为了实现自然高效的人机交互,该文首先分析各种单模态交互方式的优缺点,并基于神经科学和运动学的角度划分视线转移;其次,结合头动的稳定性与眼动的高效性以及头眼协调特征设计了一个头眼协调交互模型,通过多模态相互作用减少Midas误触和识别用户意图;最后,针对虚拟现实的目标选择任务进行模态对比实验.实验结果表明:与传统交互模态相比,该交互模型具有更高的精度、更快的时间效率和更高的自然度. 展开更多

关键词 虚拟现实 人机交互 多模态融合 头眼协调

在线阅读 下载PDF 职称材料

邻域粗糙集中不确定性的熵度量方法 被引量：4

5

作者 陈玉明 曾志强 田翠华 《计算机科学与探索》 CSCD 北大核心 2016年第12期1793-1800,共8页

针对传统粗糙集理论中不确定度量方法难以适用于邻域粗糙集模型的问题,引入信息熵的度量方法,提出了基于信息熵的邻域粗糙集不确定性度量方法。该方法采用邻域关系对连续型数据进行信息粒化,基于粒化后的数据定义邻域系统中的近似精度... 针对传统粗糙集理论中不确定度量方法难以适用于邻域粗糙集模型的问题,引入信息熵的度量方法,提出了基于信息熵的邻域粗糙集不确定性度量方法。该方法采用邻域关系对连续型数据进行信息粒化,基于粒化后的数据定义邻域系统中的近似精度、邻域信息熵、加权邻域信息熵等不确定性度量。进一步提出邻域系统不确定性度量的公理化表示,证明邻域系统的近似精度、邻域信息熵、加权邻域信息熵都是公理化度量;给出其最大最小值,证明其满足单调性原理。理论分析与实验表明邻域系统中的信息熵度量优于近似精度度量。 展开更多

关键词 邻域粗糙集 邻域信息熵 不确定性度量 信息系统 近似精度

在线阅读 下载PDF 职称材料

二进制粒计算模型 被引量：2

6

作者 郑鹭斌 陈玉明 +1 位作者 曾志强 卢俊文 《计算机科学》 CSCD 北大核心 2016年第1期270-274,共5页

粒计算是一种处理不确定性数据的理论方法,涵盖粗糙集、模糊集、商空间、词计算等。目前,数据的粒化与粒的计算主要涉及集合的运算与度量,集合运算的低效制约着粒计算相关算法的应用领域。为此,提出了一种二进制粒计算模型,给出了粒的... 粒计算是一种处理不确定性数据的理论方法,涵盖粗糙集、模糊集、商空间、词计算等。目前,数据的粒化与粒的计算主要涉及集合的运算与度量,集合运算的低效制约着粒计算相关算法的应用领域。为此,提出了一种二进制粒计算模型,给出了粒的三层结构,包括粒子、粒群与粒库,并定义了二进制粒子及二进制粒子的运算,将传统的集合运算转化为二进制数的计算,进一步给出了二进制粒子的距离度量,将等价类的集合表示方式转化为粒子的距离度量表示方式,给出了粒子距离的相关性质。该模型定义了二进制粒群距离的概念,给出了二进制粒群距离的计算方法,提出了基于二进制粒群距离的属性约简方法,证明了该方法与经典粗糙集约简方法的等价性,并以二进制粒群距离作为启发式信息,给出了两种约简算法。 展开更多

关键词 粒计算 粗糙集 二进制粒 粒群距离

在线阅读 下载PDF 职称材料

在建模语言Apla中实现多媒体数据库应用的方法研究 被引量：3

7

作者 朱小征 薛锦云 +1 位作者 夏鲸 熊小舟 《江西师范大学学报（自然科学版）》 CAS 北大核心 2017年第1期46-51,共6页

随着信息技术在各大领域的广泛应用,产生的多媒体数据所占比例越来越大,对多媒体数据处理的需求也越来越多,高级程序设计语言支持多媒体数据处理的功能也变得尤为重要.采用模型驱动的思想,在支持模型驱动软件开发PAR平台的Apla→Java程... 随着信息技术在各大领域的广泛应用,产生的多媒体数据所占比例越来越大,对多媒体数据处理的需求也越来越多,高级程序设计语言支持多媒体数据处理的功能也变得尤为重要.采用模型驱动的思想,在支持模型驱动软件开发PAR平台的Apla→Java程序自动生成系统中,扩充对多媒体数据处理的功能,并提出多媒体数据处理机制和Apla中基于关系代数的文本处理机制自然融合,包含了对多媒体数据处理的Apla语言程序,可以通过Apla→Java程序自动生成系统自动转换成等价的Java程序,使得Apla语言具有对多媒体数据处理的能力. 展开更多

关键词 PAR 模型驱动 多媒体数据处理

在线阅读 下载PDF 职称材料

Apla→Java程序生成系统中泛型机制实现方法研究 被引量：4

8

作者 徐华珍 薛锦云 朱小征 《江西师范大学学报（自然科学版）》 CAS 北大核心 2017年第1期52-55,92,共5页

在对泛型程设本质特征深入研究的基础上提出了新型泛型语言机制构想,并在Apla→Java生成系统中具体实现的新方法.该方法比现有的Java、C++、C#等语言中泛型机制的实现方法简单,并通过经典算法实例演示实现效果,大量用例的成功测试表明... 在对泛型程设本质特征深入研究的基础上提出了新型泛型语言机制构想,并在Apla→Java生成系统中具体实现的新方法.该方法比现有的Java、C++、C#等语言中泛型机制的实现方法简单,并通过经典算法实例演示实现效果,大量用例的成功测试表明该实现方法的可靠性和新型泛型语言机制的正确性. 展开更多

关键词 泛型语言机制 软件可靠性 安全机制 Apla→Java生成系统

在线阅读 下载PDF 职称材料

PAR平台中并发分布式事务处理机制及其应用研究 被引量：2

9

作者 刘震伟 薛锦云 +1 位作者 夏鲸 汪雄 《江西师范大学学报（自然科学版）》 CAS 北大核心 2019年第6期649-654,共6页

随着大数据、云计算和云服务等新技术的兴起,并发分布式计算作为这些新技术的基础,扮演着越来越重要的角色.在分布式计算中,数据的一致性难以得到保证,而事务处理技术能够有效解决该问题.为了提升PAR平台在高可靠应用程序的使用范围,在... 随着大数据、云计算和云服务等新技术的兴起,并发分布式计算作为这些新技术的基础,扮演着越来越重要的角色.在分布式计算中,数据的一致性难以得到保证,而事务处理技术能够有效解决该问题.为了提升PAR平台在高可靠应用程序的使用范围,在其建模语言Apla中融入了并发分布式事务处理机制,使得Apla语言不仅支持分布式数据库事务,还支持分布式非数据库事务.该文对Apla语言并发分布式事务处理机制进行了深入地研究,并将其应用在学生管理系统、在线购物系统等实际应用场景中. 展开更多

关键词 PAR方法 PAR平台 事务处理 分布式事务

在线阅读 下载PDF 职称材料

跨媒体组合方法研究 被引量：1

10

作者 张际博 薛锦云 +2 位作者 汪雄 夏鲸 熊小舟 《计算机工程与科学》 CSCD 北大核心 2016年第12期2442-2449,共8页

大数据时代以多媒体计算为基础的跨媒体计算技术已成为信息技术研究的热点。但是,对跨媒体的获取、组合和应用仍缺乏有效的方法。提出了两种跨媒体组合方法。以开发跨媒体在线二叉树遍历课程为例。第一种方法以Web服务的模式,引用多种... 大数据时代以多媒体计算为基础的跨媒体计算技术已成为信息技术研究的热点。但是,对跨媒体的获取、组合和应用仍缺乏有效的方法。提出了两种跨媒体组合方法。以开发跨媒体在线二叉树遍历课程为例。第一种方法以Web服务的模式,引用多种类型多媒体数据,将其以服务组合的方式进行拼接,从而构成跨媒体服务。第二种方法是基于本实验室团队自主研发的PAR平台中的"New SQL"技术与Apla语言程序,使用PAR平台的多媒体数据库技术实现对跨媒体数据的存储和检索,进而构成Apla语言程序,实现部署在云端的多媒体服务,有效地解决了跨媒体的组合与存储问题。 展开更多

关键词 跨媒体 多媒体数据库 服务重组 APLA语言

在线阅读 下载PDF 职称材料

新型Action泛型机制在PAR平台中的实现和应用研究

11

作者 汪雄 薛锦云 刘震伟 《江西师范大学学报（自然科学版）》 CAS 北大核心 2020年第6期633-638,共6页

在软件开发过程中,开发语言中的泛型机制能够显著提高软件开发的效率和软件可靠性,但现有高级语言中一般只有类型和子程序(如过程、函数和方法等)作参数,限制了泛型机制的应用.该文对新型泛型机制进行深入探索,着重研究以action作为参... 在软件开发过程中,开发语言中的泛型机制能够显著提高软件开发的效率和软件可靠性,但现有高级语言中一般只有类型和子程序(如过程、函数和方法等)作参数,限制了泛型机制的应用.该文对新型泛型机制进行深入探索,着重研究以action作为参数的泛型机制.在Apla→Java程序自动生成系统中实现了将Web服务作为Apla语言中的action参数的泛型机制,完善了Apla语言中的泛型安全的约束机制,成功地将新型泛型机制应用于PAR平台中. 展开更多

关键词 APLA语言 泛型 PAR方法 PAR平台

在线阅读 下载PDF 职称材料