国家自然科学基金(61272286) 作品数:36 被引量:99 H指数:6 相关作者: 华庆一 康宝生 张敏军 陈锐 姬翔 更多>> 相关机构: 西北大学 西安邮电大学 宁夏大学 更多>> 发文基金: 国家自然科学基金 国家教育部博士点基金 陕西省自然科学基金 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
基于范畴论的用户界面模式语言 被引量:2 2017年 针对现有用户界面模式语言无法在高级抽象层次上准确描述用户界面模式之间关系,导致不能为基于模式的用户界面开发提供有效的结构化支持的问题,根据用户界面模式集合所具有的层次结构特点,提出一种基于范畴论的用户界面模式语言.首先利用对象和态射定义用户界面模式以及用户界面模式之间的关系,得到用户界面模式范畴;然后使用子范畴和函子定义用户界面模式集合的层次以及层次之间的关系;最后使用自然变换定义用户界面模式集合层次关系之间的关系,对用户界面模式集合中的关系进行更高抽象层次的描述.实例结果表明,文中提出的用户界面模式语言能够与开发过程紧密结合,为开发人员理解、查找和重用用户界面模式提供了有效的支持. 贾伟 华庆一 张敏军 陈锐 姬翔关键词:范畴论 模式语言 态射 小波滤波的移动最小二乘图像变形方法 被引量:2 2013年 为了获得具有真实感的变形图像,改变以往直接对图像进行变形的做法,首先对图像进行预处理,提出基于小波滤波的移动最小二乘法图像变形.对原始图像先进行滤波,把图像分成低频子图像和高频子图像,只对低频部分使用基于控制点集的移动最小二乘法进行变形,对不同部位的轮廓和边缘进行不同尺度的变形,较好的描述了图像中的形状和轮廓信息;对高频部分不作处理,有效的保持了图像的细节信息.再将变形后的低频部分与原图像的高频部分相加得到最后的变形结果.实验表明这种方法很好的保留了图像的高频信息,可以使图像产生平滑的变形,获得具有真实感的变形效果. 李洪安 康宝生 张雷关键词:图像变形 移动最小二乘法 小波滤波 基于云平台日志的故障检测和复杂构件系统即时可靠性度量研究 被引量:6 2022年 可靠性、可用性和安全性是软件质量度量的3个重要指标,而软件可靠性是软件质量最重要的指标。传统的软件可靠性评估将软件系统看作一个整体或者将软件系统调用结构视为静态结构。现今的软件结构发生了很多的改变,典型的有自主、协同、演进、动态和自适应等特征,已经渗入到当前的复杂网络结构软件系统中,传统的可靠性评估和预测方法已经不能适应当前复杂网络生态环境下的软件系统。在当前“软件定义一切”的高速信息化社会中,海量的信息系统产生了大规模的数据资源。现代信息系统的异构性、并行性、复杂性以及巨大的规模导致了日志资源的多样和复杂,基于系统日志的精准分析和故障预测对构建安全可靠的系统尤为重要。现有文献研究故障预测和软件可靠性的技术颇多,但是较少针对海量日志以及复杂构件进行软件即时可靠性度量。文中在系统分析日志解析、特征提取、故障检测、预测评估到即时可靠性计算的日志处理全过程中,使用集成学习模型对海量系统日志进行分析和故障预测,与传统的机器学习方法进行了比较,提高了故障预测的准确率、召回率和F1值;针对预测召回率低的情况,采用召回率修正即时可靠性的评估,较大程度地提高了即时可靠性的精度;根据个体的可靠性,通过基于马尔可夫理论的系统可靠性度量微服务复合构件的可靠性,从而为智能化运维提供精确的数据基础和故障定位依据。 王博 华庆一 王博关键词:故障检测 可靠性评估 基于遗传算法的智能仓储交互式系统设计 被引量:4 2020年 针对整车制造仓储效率低和交互能力差等问题,利用SSH框架构建覆盖整车制造、仓储作业和销售的交互式智能仓储系统。根据厂区仓储作业需求,配置以S7-300 PLC为核心的主、从站监控硬件,在工程师站通过遗传算法和OPC在线优化零部件仓位和AGV配送路径。同时,利用SSH框架设计仓储数据应用与在线交互功能,为各工位生产与决策提供业务数据支持,并实现对整车制造成本和质量的协同优化。 张敏军 华庆一 贾伟 陈锐 姬翔关键词:智能仓储 SSH框架 PLC 遗传算法 基于界面设计模式的界面开发工具综述 被引量:2 2016年 针对现有基于模式的界面开发工具,根据它们对不同开发阶段的支持进行分类,然后对各类工具进行探讨,从形式、功能、可用性等特征展开分析和比较,最后讨论了目前工具存在的不足及未来的研究方向。 姬翔 华庆一 李娟妮 贾伟 陈锐关键词:可用性 界面设计模式 界面开发工具 基于图像插值和直方图平移的可逆水印算法 被引量:3 2016年 现有的基于直方图的可逆水印算法嵌入容量较少,针对这一问题,结合图像放大后像素点的特征,提出一种新的可逆水印算法。利用插值方法将图像放大4倍,既增加了图像的像素个数,又增强了像素之间的相关性;使用上下左右四个像素点计算像素点的预测误差值,并构造直方图,在峰值点处嵌入水印信息;利用相反的过程提取水印,并根据插值原理恢复原始图像。实验结果表明,将图像放大后再嵌入水印,可嵌入水印容量提高了3倍;算法不可见性较好、嵌入容量较大,可用于图像隐藏、信息安全等领域。 李雪景 李江隐 康宝生关键词:可逆水印 插值 图像放大 直方图平移 一种基于空间角度序列递归模型的动态手势识别算法 被引量:3 2017年 针对传统动态手势识别方法准确性不高,鲁棒性不强的问题,研究动态手势轨迹运动的行为特征,从手势运动的轨迹点角度出发提出了一种基于递归图压缩的CK-1手势相似性检测算法,称为Tra DotRP(Gesture Recognition based on the Trajectory Dots Sequence Recurrence Plot).首先利用阈值分割方法获取kinect传感器采集到的手势运动轨迹点序列,计算轨迹点与初始点连线的方向角,然后对手势轨迹进行方向角的特征序列提取;为了克服手势轨迹序列不等长问题,构造基于时空域的手势轨迹序列递归图;再利用MPEG-1压缩算法计算手势递归图之间的CK-1距离,最终完成动态手势识别目标.实验结果表明,该方法可以有效地解决手势轨迹序列不等长问题,在120个动态手势的数据集上准确率高达97.48%,超过目前流行的手势识别算法. 杨纪争 冯筠 卜起荣 王红玉 张晓关键词:动态手势 MPEG-1 一种灵活的小颗粒权限管理方法及其实践 被引量:2 2019年 权限管理是应用软件的重要组成部分,它关系到应用系统安全性和可靠性。当前的软件管理者和用户的多样性为权限管理提出了挑战。传统粗粒度的权限管理系统权限粒度较粗,较难适用于用户复杂多样的管理系统,故提出一种基于“位示权限”和“权限矩阵”的细粒度权限管理的方法(Flex-RBAC),实现了相应的权限分配算法,减小了权限分配的粒度,增加了权限管理的灵活性。提出的细粒度、配置灵活的权限管理方法及设计的原型系统,为应用软件的细粒度权限管理提出一种切实可行的方法。Flex-RBAC方法的创新点在于权限管理的粒度细小、配置灵活、算法实现简单,具有较高的通用性。 王博 王博关键词:细粒度 权限管理 角色 一种复杂微服务系统异常行为分析与定位算法 被引量:1 2023年 针对极端学生化偏差(Extreme Studentized Deviate,ESD)算法只能对单变量数据进行异常检测,难以对多变量数据进行异常行为度量,提出一种复杂微服务系统异常行为分析与定位(Multivariate Seasonal Hybrid ESD,M.S-H-ESD)算法。首先,对云平台的微服务运维日志数据进行提取,将多元日志数据进行加权归一得到一元数据。然后,对此一元数据采用多元周期混合ESD(Seasonal Hybrid ESD,S-H-ESD)算法对每个服务的异常度进行度量,进而获得异常度最高的服务,根据置信度和异常上限的设置,定位微服务系统异常的根因服务。实验结果表明,M.S-H-ESD算法对时间序列多维数据的异常行为检测具有较高的精确度、召回率和F 1值,能够准确定位微服务系统中的异常服务。 王博 华庆一 王博 华庆一基于PCTBTA任务模型的用户界面开发方法 被引量:2 2018年 为了适应普适计算环境中用户、设备、使用环境和开发平台的多样性,基于模型的方法被应用于用户界面开发过程中,试图在抽象层次上描述界面,通过模型转换,使其适用于不同的平台.然而,由于目前基于模型的用户界面开发方法(model-based user interface development,简称MBUID)中所采用任务模型的局限性,致使生成的界面难以满足动态环境下用户的可用性需求.提出一种基于任务模型的用户界面开发框架,旨在建模和生成有效、高效、令用户满意的用户界面.在可用性方面,为了准确描述普适计算环境中用户任务,提出一种基于感知控制理论的任务分析方法(perceptual-control-theory-based task analysis,简称PCTBTA),将使用上下文信息引入到任务分析过程中,并且在较高的抽象层次上反映交互的内容,给可用性设计提供任务空间;在技术方面,为PCTBTA任务模型向界面模型的转换提供技术支持.最后,通过实例说明所提出方法的可行性,并通过与其他方法在可用性和性能方面的比较,表明该方法的有效性. 李娟妮 华庆一 吴昊 陈锐 苏荟 周筠关键词:可用性