公共文化服务平台

王耀力: 作品数：26 被引量：145H指数：6; 供职机构：太原理工大学更多>>; 发文基金：山西省自然科学基金国家自然科学基金山西省青年科技研究基金更多>>; 相关领域：自动化与计算机技术电子电信经济管理电气工程更多>>

合作作者

基于SPIN的G语言系统模型的验证被引量：1: 2018年; 对于大型系统,为确保其运行的可靠性、稳定性及高效性,需要从两个方面对系统进行验证:业务模型和系统模型。目前,对业务模型的验证可通过BPMN来完成;对系统模型的验证可通过SPIN(Simple Promela Interpreter)工具执行。G语言是由NI公司创建的一种图形化程序框图语言,还未被加入ANSI标准,因此,文中第一步工作是提取G语言的形式、规则、文法等语言特性。由于SPIN对G语言不提供直接的支持,因此第二步工作是完成G2Promela的映射。在G2Promela的工作中,主要是基于编译器的框架,以Scanner-Parser-Optimizer-Generator(SPOG框架)为主线,根据第一步的预处理工作,按方法函数、指针、关键字、变量等分类创建G2Promela的映射规则,最终实现G2Promela的转换,完成对G语言系统模型的验证。该方法的提出弥补了G语言系统模型验证方面的空白,从而更深入地确保了G语言程序的性能。; 薛艳武淑红王耀力; 关键词：系统模型 G语言 SPIN

基于L型阵列酉变换矩阵重构的二维DOA估计被引量：3: 2018年; 二维空间信号波达方向(DOA)的估计是阵列信号处理的一个关键研究问题。经典的二维MUSIC算法固然精度高,但此算法需要二维谱峰搜索,运算较为复杂。提出一种用于L型阵列的二维DOA估计算法,通过矩阵重构使得阵列输出矩阵变为中心对称矩阵,再利用酉变换矩阵将其由复值矩阵变为实值矩阵。该方法可以直接得到目标参数,不需要谱峰搜索,使得运算量大大降低。相比于L型阵列适用的增广矩阵束(MEMP)算法,该算法可以估计更多信源的DOA,并能获得较高的分辨率。计算机仿真结果表明,该算法具有较高的DOA估计精度。; 王秀常青王耀力; 关键词：波达方向特征值

室内机器人服务目标避障路径优化仿真被引量：6: 2018年; 室内机器人对避障和路径规划效率都有很高要求,传统A*算法忽略机器人尺寸、动态环境中重规划耗时,不适用于室内路径规划。为解决上述问题,提出了一种改进A*路径规划算法。根据机器人尺寸已知、未知两种情况,采用基于路线禁选原则或栅格禁选原则进行规划。依据地图更新信息,使用增量A*算法进行重规划。仿真结果表明,改进A*算法规划出的路径能基于机器人尺寸合理避障,并大幅度减少了重规划时搜索的栅格节点数量,缩短了重规划时间,优化了室内机器人服务目标避障路径质量。; 李凌雁常青王耀力; 关键词：室内机器人路径规划

回溯正则化分段正交匹配追踪算法被引量：1: 2016年; 针对分段正交匹配追踪（STOMP）算法对信号重构效果较差的问题，提出一种回溯正则化分段正交匹配追踪（BR-STOMP）算法。首先，该算法采用正则化思想选取能量较大的原子，以减少阈值阶段候选集中的原子；然后，利用回溯对原子进行检验，并对解的支撑集中的原子重新筛选一次，同时删除对解的贡献较低的原子，提高算法的重构率；最后，对感知矩阵进行归一化处理，使算法更加简单。仿真结果表明：BR-STOMP算法与正交匹配追踪（OMP）算法相比较峰值信噪比提高8％～10％左右，运行时间减少70％～80％；与StOMP算法相比较，峰值信噪比提高19％～35％。BR-StOMP算法能够精确地恢复信号，重建效果优于OMP算法和StOMP算法。; 李燕王耀力; 关键词：正则化归一化峰值信噪比

SOA三层架构在嵌入式文件系统上的实现被引量：1: 2011年; 提出了基于SOA三层架构的嵌入式文件系统的实现方法。根据"需求—语义—服务"三层架构的设计思想,完成了文件系统整体设计思路和实现方案。需求层利用UML建模方法、Ontology建模工具Protégé及其推理插件pellet构建了文件业务系统的领域本体模型,从领域模型中提取出了文件系统常用的系统用例,基于此完成用例的实现流程图。语义层建立了"需求—语义描述—服务"的语义特征树,并采用OWL/RDF语言对语义特征树进行了形式语义描述。根据业务用例、用例场景、业务步骤的分析过程找出对应的原子业务即业务语义概念范畴内最小的业务单元;根据原子业务映射到相应的系统需求进行系统建模,并得到对应的原子构件集合;通过形式语义将场景步骤序列描述为由一系列原子构件的组合,完成"需求—语义—服务"三层SOA结构的嵌入式文件系统设计。; 常青张刚王耀力; 关键词：面向服务架构瘦服务器

直连BP神经网络分类效果综合评估: 2018年; 基于贝叶斯正则化LM算法优化直连BP神经网络,利用UCI数据库的118种不同应用数据分别进行分类,验证直连BP神经网络的有效性。分别进行输入层到输出层是否有直连,输出层是否有阈值的四种比较,将所得的118种数据集分类精确度结果用统计方法进行分析。基于统计意义,实验结果表明,加入直连提高了分类的精确度和网络结构的泛化性能,且隐含层的神经元个数减少,提高了训练速度;而输出层是否有阈值对分类效果没有明显的影响。; 牛丽丽王耀力王力波; 关键词：贝叶斯正则化数据库

商业银行核心系统的服务架构研究被引量：2: 2011年; 提出了需求+语义+服务的银行核心业务系统BCBS(Bank Core Business System)三层服务架构模型。以此为基础,设计开发了商业银行企业应用集成建议草案IFE,包括:IFE总体框架模型,金融业应用层通信协议FL7,IFE核心构件库IFE-Infrastructure,系统测试标准以及相应的测试资产库。商业银行可以基于IFE建议草案通过差异化分析规划设计出适合于本行的IT平台及BCBS,避免重复引进;还可以对业务流程及各种流程再造的方案开展评估和测试,规避流程银行变革过程中的风险。; 王耀力张胜张刚; 关键词：商业银行核心业务系统流程银行

基于帧间差分和金字塔光流法的运动目标检测被引量：11: 2016年; 针对用于运动目标检测的光流算法存在处理复杂、计算量大等问题,提出一种帧间差分算法和金字塔LK光流法相结合的运动目标检测方案。该方法先对视频图像进行帧间差分处理,得到图像的运动区域,再对该运动区域进行金字塔LK光流计算,减少了计算区域,提高目标检测的速度。最后在搭建的视觉避障平台上使用Lab VIEW语言进行算法程序验证,实验结果证明了算法的有效性。; 郝慧琴王耀力; 关键词：帧间差分法运动目标检测

由MDA/PIM到Java代码的转换及验证被引量：1: 2017年; 在基于模型驱动架构(MDA)的软件开发设计过程中,为简化平台无关模型(PIM)到平台相关模型(PSM)以及PSM到可执行代码的多步转换问题,减少转换所花费的时间和精力,提出基于MDA规则及MOF建模体系的PIM到代码的间接转换方法。采用EMF建模框架建立业务流程建模符号(BPMN)与Java语言之间的联系,直接对其中间模型XML(PSM)完成面向对象建模,将模型检测算法加入模型转换规则,实现对如死锁、活锁等结构问题的检测。通过BPMN的典型实例验证了间接转换方法和模型检测算法的可行性和有效性。; 李凯宁武淑红王耀力; 关键词：模型驱动架构平台无关模型可扩展标记语言

公共网络数据传输安全认证方法及系统: 本发明涉及信息安全领域，具体是一种公共网络数据传输安全认证方法及系统。保障了公共网络客户端的用户数据安全，该方法及系统中公共网络数据传输指客户端与远程服务器之间的数据传输，客户端与远程服务器之间设置有数据安全认证装置；方...; 王耀力张刚张胜; 文献传递

王耀力

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

王耀力

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈