从公理语义看UNITY模型和GAMMA模型的关系

ＧＡＭＭＡ和ＵＮＩＴＹ都是面向问题描述的程序设计语言．ＵＮＩＴＹ开发了一种公理语义规范语言，即ＵＮＩＴＹ逻辑，描述和推导程序的特性．这一规范语言也可以很自然地移植到ＧＡＭＭＡ模型上去．基于上述语义规范，给出一个将ＵＮＩＴＹ程序变换成ＧＡＭＭＡ程序的保语义等价性的程序变换方法。

基于Unity3D与MEMS惯性感知的运动监测系统设计

目的/意义构建人体模型,与实际人体运动数据绑定,实现对人体运动姿态的监测。方法/过程设计一种基于Unity3D和MEMS惯性传感器的运动监测系统。利用MEMS惯性传感器获取人体的运动姿态数据,利用欧拉角进行姿态解算,通过蓝牙无线传输协议将数据发送到计算机系统,以驱动虚拟动画人物的运动,实现人体动作的3D姿态实时展现。结果/结论经过实验测试,该模型能够准确监测和模拟人体的运动姿态,未来可为体育运动训练、肢体康复训练等应用领域提供有效的数据分析。