公共文化服务平台

魏颖: 作品数：11 被引量：33H指数：4; 供职机构：北华大学计算机科学技术学院更多>>; 发文基金：国家高技术研究发展计划国家自然科学基金吉林省教育厅科学技术研究项目更多>>; 相关领域：自动化与计算机技术理学电子电信更多>>

合作作者

非线性边界条件下p-Laplacian脉冲边值问题的无界解序列: 2020年; 研究一类具p-Laplace算子的脉冲边值问题,在非线性边界条件及非线性脉冲效应下,综合运用变分法及上下解方法,利用方程、边界条件及脉冲效应的非线性项的扰动,获得了上述p-Laplacian脉冲边值问题的两个无界解序列的存在性结果.; 魏颖王立波; 关键词：上下解方法 P-LAPLACE算子

一种改进的规划器算法在军用软件GUI测试用例自动生成中的应用被引量：1: 2010年; 以人工智能中智能规划方法为基础,对军用软件测试用例自动生成技术进行了研究。现有的许多规划器都不能避免组合爆炸问题的发生,而这一问题又是导致规划失败的一个重要问题,针对这一现象,以IPP规划器为例,提出目标分解法对规划器所需事实文件进行划分,并对IPP规划器应用多事实文件处理算法进行扩展,扩展后的MF-IPP规划器能够处理多个事实文档,有效避免了组合爆炸问题的发生。将该方法应用到军用主控软件GUI(Graphical User Interface)测试用例自动生成中,主要思想是首先利用规划器生成初始测试用例,其次提出解扩展的方法来完善测试用例的生成。针对测试用例生成问题进行了比对分析,结果显示,MF-IPP可以很好地防止组合爆炸问题的发生。所生成的测试用例生成时间短、覆盖率高,不仅能够很好地辅助软件测试人员进行测试用例的编写,还能应用于自动化软件测试。; 李丽沈湘衡魏颖任佳阅王大勇; 关键词：GUI测试测试用例自动生成

航天载荷应用软件可靠性参数的分析与确立被引量：2: 2008年; 航天载荷应用软件可靠性研究是开展航天载荷系统可靠性工程的重要组成部分。而软件可靠性参数的分析与确立是进行软件可靠性研究的前提。首先定义并解释了航天载荷应用软件可靠性,其次对航天载荷系统中常用的软件可靠性参数进行了计算与分析,最后依据软件可靠性参数选取的原则提出了一个航天载荷应用软件可靠性参数集。该参数集在开展航天载荷软件可靠性工程中具有一定的参考价值,也是进行航天载荷软件可靠性设计与分析的前提。; 魏颖沈湘衡

基于FPGA的高速同步闪光源设计: 电视测量技术在靶场测量控制系统中的应用十分广泛。例如在光电经纬仪中可利用电视测量技术进行自动捕获跟踪和实况纪录。光电经纬仪中的电视测量系统捕获跟踪目标并实时记录图像信息,其结果可供实时监视和其他分系统进行事后分析之用。这...; 魏颖姬琪黄军娜张波沈湘衡; 文献传递

基于混合体系结构的软件可靠性评估方法与应用被引量：4: 2010年; 基于体系结构的软件可靠性模型建立在软件研制周期的初期阶段,能够对软件进行较早的可靠性分析,对早期软件结构的变更以及后期软件的更新与升级都提供了一定的指导依据。然而,早期的基于体系结构的软件可靠性模型只对单一的软件结构进行分析,这显然不满足如今同时存在多种体系结构风格的复杂软件的需求。分析了目前常用的软件体系结构风格,在基于混合体系结构的软件可靠性模型的基础上,阐述了应用体系结构模型进行评估的步骤,并结合实例进行了分析与验证。; 魏颖沈湘衡; 关键词：软件可靠性评估

航天载荷应用软件可靠性参数集的分析与研究: 2007年; 开展航天载荷软件可靠性参数的研究是进行航天载荷软件可靠性工程的基础.首先定义并解释了航天载荷应用软件可靠性,并依据软件可靠性参数选取的原则提出了一个航天载荷应用软件可靠性参数集,解释并分析了航天载荷系统中常用的软件可靠性参数.该参数集是进行航天载荷软件可靠性设计与分析的前提.; 魏颖沈湘衡

光电经纬仪外引导功能室内检测技术的实现被引量：5: 2007年; 根据光电经纬仪室内检测工作的需要,在研究数据通信原理的基础上,建立了基于TCP/IP协议的检测网络,并利用计算机软件模拟外场中各种引导设备的引导信息,将各种不同的外引导信息通过检测网络传输传送到多个经纬仪分站系统,同时接收每个分站返回的数据,进行综合分析,实现了在室内检测光电经纬仪外引导功能,为经纬仪的室内检测提供了一种新的手段。; 黄军娜姬琪魏颖张波沈湘衡; 关键词：光电经纬仪 TCP/IP

基于FPGA的时统设备的IRIG-B时间码设计被引量：6: 2006年; 提出了一种以FPGA为核心，外围控制电路与D／A转换电路相结合的方法实现的IRIG-B DC码和AC码元的设计，重点分析了FPGA内部模块的具体实现过程．该设计既能检测时统设备输入端口是否工作正常，同时也能检测时统内部守时功能和交流码调制比的范围．; 魏颖黄军娜姬琪沈湘衡; 关键词：FPGA芯片

基于体系结构的软件可靠性评估被引量：9: 2010年; 对软件可靠性评估的重要工具之一——基于体系结构的可靠性模型进行了实验验证。为了准确地分析软件模块间的调用关系并估算模块的可靠度,首先,依据评估方式的不同将基于体系结构的软件可靠性模型划分为合成型与分级型两类;然后,对软件体系结构的确定与软件模块的划分进行了分析,并阐述了模块可靠度和模块间转移概率的估算方法与步骤;最后,对某地面目标模拟源主控系统软件进行了实例分析。结果表明,实验系统的确定可靠度值为0.938,而合成型、分级型模型估计值分别为0.972和0.969,由此验证了两种模型的可应用性,为工程应用中实施基于体系结构的软件可靠性评估提供了参考。; 魏颖张波张波李丽沈湘衡陈媛; 关键词：软件可靠性评估

基于特定协议的串口通信与远程控制的实现被引量：6: 2006年; 以微软公司的MSComm串口通信控件为低层接口,在特定的串口通信协议的基础上,利用串口实现了在计算机中采集高精度测角仪的测试数据,完成了PC机对测角仪的远程控制,为高精度测角仪在自动化检测中的应用提供了一种新的方法。; 黄军娜张波魏颖沈湘衡; 关键词：串口通信通信协议远程控制