陈娜
- 作品数：4 被引量：4H指数：1
- 供职机构：青海师范大学计算机学院更多>>
- 发文基金：国家自然科学基金青海省自然科学基金国家社会科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于可能性混成自动机的CPS建模方法被引量：3
- 2016年
- 针对环境中存在的不确定性因素对信息物理融合系统的影响,提出一种可能性混成自动机的信息物理融合系统建模方法。该方法以可能性混成自动机为建模工具,通过分析信息物理融合系统的体系结构,讨论衡量不确定性的可能性对信息物理融合系统软件运行时的动态影响。以汽车速度智能控制系统为例,说明该方法的有效性。
- 陈娜耿生玲李永明张胜礼
- 关键词：信息物理融合系统
- 基于广义可能性的模态μ演算符号模型检测
- 2023年
- 随着计算机功能的不断增强,软硬件系统也变得越来越复杂,使得人们对系统的需求更高。系统建模中可能存在的诸多不确定性信息也亟待被解决,为了充分解决系统信息来源的种种不确定性特征和各种不完备性,本文引入了广义可能性决策过程理论作为系统模型。在此基础上,给出了广义可能性模态μ演算的语法和语义;然后通过约简有序二叉决策图进行布尔存储来描述广义可能性不确定信息系统的特征属性;最后给出了广义可能性的模态μ演算符号化模型检测算法和时间复杂度。同时,通过广义可能性的模态μ演算符号化模型检测算法也有效缓解了状态爆炸问题,这对不确定性信息系统的模型检测提供了一种新的思路。
- 陈娜耿生玲
- 关键词：符号模型检测
- 矢量轨迹有损压缩余弦垂距判别法被引量：1
- 2021年
- 在矢量轨迹处理中,为了获得有效的矢量轨迹,提出余弦垂距判别(Cosine Vertical Distance Discrimination,CVDD)算法。该算法按序将轨迹中连续的三元组构造球面三角形,通过计算中间元素与前后元素的距离值识别三元组为密集点集或稀疏点集,给出压缩判据。对不同的轨迹路径,通过计算中间元素的垂距,再用余弦值判断三元组的轨迹识别为直道或弯道,从而给出判据和中间元素压缩条件。将该算法与几种传统的算法进行多角度对比,结果分析可得,CVDD算法的压缩效果优于传统方法,并在曲线的形变和失真程度上得到了优化,该算法的复杂度低、通用性强,可扩展到实时压缩和多维空间压缩中。
- 李升宏耿生玲田立勤田立勤陈娜林连海
- 关键词：矢量数据压缩有损压缩三元组
- 基于可能性混成自动机的CPS属性验证
- 2016年
- 针对环境中存在的不确定性因素对信息物理融合系统(CPS)的影响,提出模型可能性混成自动机,在此基础上给出可能性CPS软件模型属性验证的描述语法和语义以及该模型的可能性动态验证方法。通过验证其可达性和安全性,理论证明和实例分析表明该方法是有效的,可描述不确定环境因素下的CPS系统的验证。
- 陈娜耿生玲李永明薄玮
