基于PLC技术的遥控拆包机电液控制系统设计 被引量：1

1

作者 吴友华 冯仕海 +1 位作者 周振华 虞琨 《采矿技术》 2009年第4期89-91,共3页

对冶金行业专用拆包机在保留原手动控制系统的前提下提出了一种无线遥控电液系统的设计方案。无线遥控系统主要由无线收/发模块、可编程控制器和电液比例阀组成。当无线收/发模块将操作手柄控制信号处理后打包传送到总线上,可编程控制... 对冶金行业专用拆包机在保留原手动控制系统的前提下提出了一种无线遥控电液系统的设计方案。无线遥控系统主要由无线收/发模块、可编程控制器和电液比例阀组成。当无线收/发模块将操作手柄控制信号处理后打包传送到总线上,可编程控制器按照数据的地址接收数据包,经过处理后输出相关信号控制电液比例阀或电磁阀,驱动液压执行机构。采用无线遥控系统后,消除了以往由于视线不清、环境恶劣等因素造成的事故隐患,提高了工作效率,减轻了劳动强度。 展开更多

关键词 拆包机 遥控系统 电液比例阀 脉冲宽度调制

下载PDF 职称材料

KHC算法在风力发电机组偏航系统的运用 被引量：5

2

作者 顾露香 乐秀璠 +1 位作者 杨虞琨 李栅栅 《华电技术》 CAS 2011年第9期92-94,98,共3页

针对现实生活中风力发电机对风精度不高、机组下风方向的风机受其余风机气流影响无法准确对风的问题,提出了一种优化卡尔曼滤波和爬山法相结合的新型控制算法———KHC算法。该算法的核心内容是通过功率检测的方法进行高精度对风控制并... 针对现实生活中风力发电机对风精度不高、机组下风方向的风机受其余风机气流影响无法准确对风的问题,提出了一种优化卡尔曼滤波和爬山法相结合的新型控制算法———KHC算法。该算法的核心内容是通过功率检测的方法进行高精度对风控制并利用卡尔曼滤波进行风向量预测,避免偏航机构疲劳动作和干扰。通过仿真分析,验证了算法的可行性,风机发电效率得到了极大提高。 展开更多

关键词 风力发电机组 偏航控制 KHC算法 功率检测 风向量预测

下载PDF 职称材料

MgO低碳水泥的碳化性能分析和数学模型建立 被引量：1

3

作者 杨虞琨 《粉煤灰综合利用》 CAS 2015年第1期29-32,共4页

针对目前水泥行业的高碳排放,国外提出MgO低碳水泥,它是由硅酸盐水泥、粉煤灰和活性MgO组成。本文经碳化实验表明,该水泥能够有效吸收CO2,对于低碳减排具有很好的实用意义。且可利用粉煤灰,进一步提升了能源的有效利用。同时基于Fick第... 针对目前水泥行业的高碳排放,国外提出MgO低碳水泥,它是由硅酸盐水泥、粉煤灰和活性MgO组成。本文经碳化实验表明,该水泥能够有效吸收CO2,对于低碳减排具有很好的实用意义。且可利用粉煤灰,进一步提升了能源的有效利用。同时基于Fick第一扩散定律对该水泥的碳化能力进行数学建模,具有很强的理论指导意义。 展开更多

关键词 MgO低碳水泥 碳化性能 数学模型

下载PDF 职称材料

激光加工多孔端面机械密封的摩擦特性试验研究 被引量：21

4

作者 于新奇 何松 +2 位作者 蔡仁良 俞龙海 虞洪琨 《流体机械》 CSCD 2003年第1期7-9,共3页

对激光加工的多孔端面机械密封进行了摩擦性能试验研究 ,并与一般机械密封进行比较。结果表明 ,其端面温升、摩擦扭矩和摩擦系数远低于后者的相应值。

关键词 激光加工 多孔端面机械密封 试验研究 摩擦性能 动压效应

下载PDF 职称材料

基于表格的中断数据冲突静态分析方法 被引量：8

5

作者 黄晨 董燕 +1 位作者 王小丽 虞砺琨 《空间控制技术与应用》 CSCD 北大核心 2016年第5期57-62,共6页

中断冲突问题是星载嵌入式软件较为典型的缺陷之一,由于中断冲突发生的不确定性和随机性,在动态测试过程中难以复现和定位.介绍一种基于表格的中断冲突静态分析方法,专门针对数据关联性、操作关联性、时序冲突以实例的方式给出分析方法... 中断冲突问题是星载嵌入式软件较为典型的缺陷之一,由于中断冲突发生的不确定性和随机性,在动态测试过程中难以复现和定位.介绍一种基于表格的中断冲突静态分析方法,专门针对数据关联性、操作关联性、时序冲突以实例的方式给出分析方法和过程,并总结几种预防中断冲突常见的设计策略和方法.相比较动态测试需要在特定的场景才能发现的数据冲突问题,静态分析方法在设计和测试阶段实施更加容易、高效. 展开更多

关键词 中断冲突 数据关联性 操作关联性 时序冲突

下载PDF 职称材料

基于参数类型和访问序的数据冲突静态分析方法 被引量：5

6

作者 董燕 黄晨 +2 位作者 王小丽 虞砺琨 于倩 《空间控制技术与应用》 CSCD 北大核心 2018年第6期62-68,共7页

中断数据冲突问题是航天嵌入式软件常见典型问题之一,问题的发生具有较大的偶然性和不确定性,目前缺少较为成熟的技术和有效分析方法,冲突问题仍是时有发生,增大了软件研制周期和维护成本.本文从参数的类型及访问序角度,重点针对数组变... 中断数据冲突问题是航天嵌入式软件常见典型问题之一,问题的发生具有较大的偶然性和不确定性,目前缺少较为成熟的技术和有效分析方法,冲突问题仍是时有发生,增大了软件研制周期和维护成本.本文从参数的类型及访问序角度,重点针对数组变量,多于处理器字长变量和关联变量的一次访问操作从源码和反汇编码级别搭建冲突场景并分析造成数据不同步的机理.针对同一个参数的多次访问序,构建高低优先级子程序所有可能存在访问冲突的操作序场景并给出分析结论,并以实例说明固定操作序被打断造成的访问冲突场景.这种通过静态方式下构建冲突场景的分析方法相比较动态方法更容易实施,分析更为充分,对今后数据冲突自动化检测工具的研究具有一定的参考作用. 展开更多

关键词 参数类型 参数访问序 静态方式 数据冲突

下载PDF 职称材料

航天嵌入式软件测试用例典型设计缺陷研究 被引量：5

7

作者 左万娟 虞砺琨 +1 位作者 王小丽 黄晨 《计算机测量与控制》 2019年第10期36-40,共5页

作为动态测试充分性的基本评价指标,覆盖率分析只能帮助修正因输入不足而导致的测试用例设计缺陷;针对航天嵌入式软件测试过程中不影响覆盖率统计结果的用例设计缺陷,从测试步骤和预期结果两大测试用例核心要素开展研究,提出十个典型缺... 作为动态测试充分性的基本评价指标,覆盖率分析只能帮助修正因输入不足而导致的测试用例设计缺陷;针对航天嵌入式软件测试过程中不影响覆盖率统计结果的用例设计缺陷,从测试步骤和预期结果两大测试用例核心要素开展研究,提出十个典型缺陷,分别予以分析,并进行缺陷修正;工程实践证明,这些缺陷的发生率高,具有典型性;修正这些缺陷后,可以有效检出软件设计缺陷;与用例执行后的覆盖率统计数据分析相结合,可以有效提高测试充分性。 展开更多

关键词 测试用例 典型 设计缺陷 覆盖率

下载PDF 职称材料

基于共性需求的软件通用自动化测试设计研究 被引量：5

8

作者 左万娟 虞砺琨 +1 位作者 王小丽 董燕 《计算机技术与发展》 2020年第6期49-54,共6页

随着航天器发射任务越来越密集,航天软件测试强度不断增大,如何在提高测试效率的同时确保软件测试质量,对航天软件测试人员提出了严峻的挑战。作为软件自动化测试方向的研究热点,无论是基于代码、面向路径覆盖的测试自动化,还是基于需... 随着航天器发射任务越来越密集,航天软件测试强度不断增大,如何在提高测试效率的同时确保软件测试质量,对航天软件测试人员提出了严峻的挑战。作为软件自动化测试方向的研究热点,无论是基于代码、面向路径覆盖的测试自动化,还是基于需求建模、面向需求的测试自动化,均未能在工程实践中大范围推广。以CAN总线通讯接口通用测试设计为例,提出了基于共性需求的航天嵌入式软件通用测试设计方案,通过共性需求提取、通用测试设计,推进航天软件测试的标准化和规范化,并通过自动化测试工具研发,实现了基于共性需求的通用自动化测试。该通用自动化测试方案已在航天嵌入式软件第三方评测中广泛使用,在测试覆盖率、查找软件潜在设计缺陷以及提高测试效率等方面均取得了良好的效果。 展开更多

关键词 软件 共性需求 通用 自动化 测试设计

下载PDF 职称材料

基于数据流需求模型的测试用例生成方法

9

作者 黄晨 于倩 +2 位作者 虞砺琨 陈华南 王小丽 《电子设计工程》 2023年第22期101-106,共6页

星载嵌入式软件功能逻辑复杂,数据之间存在关联性和约束性,人工设计测试用例难以保证覆盖所有输入、所有组合的情况。通过对比活动图控制流和数据流对象的语义模型,说明这两种模型在适用功能场景、用例数据上的差异性,针对数据流对象模... 星载嵌入式软件功能逻辑复杂,数据之间存在关联性和约束性,人工设计测试用例难以保证覆盖所有输入、所有组合的情况。通过对比活动图控制流和数据流对象的语义模型,说明这两种模型在适用功能场景、用例数据上的差异性,针对数据流对象模型建立可执行路径上表达式组集合,根据变量类型、有效范围等基本属性,进行变量约束求解生成数据再形成测试用例,并选取典型功能场景开展验证,结果表明,该方法能够满足等价类等数据覆盖的要求,快速提升测试效率。 展开更多

关键词 需求模型 数据流 表达式求解 数据覆盖

下载PDF 职称材料

基于变量操作特征分析的软件缺陷模式研究 被引量：4

10

作者 左万娟 虞砺琨 +1 位作者 黄晨 董燕 《航天控制》 CSCD 北大核心 2018年第5期64-69,共6页

根据航天器软件第三方评测数据统计分析,因变量定义错误、使用错误所导致的软件缺陷约占以修改程序方式更正的缺陷总数的36%,仅次于需求相关软件缺陷占比。为提升软件质量,针对与变量相关的软件缺陷开展了专题研究、对变量操作特征进行... 根据航天器软件第三方评测数据统计分析,因变量定义错误、使用错误所导致的软件缺陷约占以修改程序方式更正的缺陷总数的36%,仅次于需求相关软件缺陷占比。为提升软件质量,针对与变量相关的软件缺陷开展了专题研究、对变量操作特征进行了系统分析与分类,构建了与变量操作特征相关联的软件缺陷模式集。实践结果表明,依据缺陷模式与变量操作特征之间的关联性开展软件测试活动,可以有效提高软件缺陷检出效率。 展开更多

关键词 航天器软件 变量 操作特征 软件缺陷 缺陷模式

下载PDF 职称材料

基于目标码的测试覆盖不可达分析方法 被引量：3

11

作者 黄晨 董燕 +1 位作者 于倩 虞砺琨 《测控技术》 CSCD 2017年第1期100-103,107,共5页

基于目标码的测试覆盖率分析是软件测试过程的必要关键步骤,不可达分析能够保证测试的完整性和充分性。给出嵌入式软件基于覆盖率测试的分析过程,在嵌入式虚拟测试平台的基础上,对程序目标代码插桩,采用语句和分支覆盖率分析准则,将黑... 基于目标码的测试覆盖率分析是软件测试过程的必要关键步骤,不可达分析能够保证测试的完整性和充分性。给出嵌入式软件基于覆盖率测试的分析过程,在嵌入式虚拟测试平台的基础上,对程序目标代码插桩,采用语句和分支覆盖率分析准则,将黑盒测试和白盒测试相结合,分析不可达分支语句引入机理,并通过具体的反汇编代码实例分析来验证这种测试方法的可行性和有效性。专门针对覆盖率不可达的分析可以有效验证软件功能,发现软件缺陷,进一步提升软件质量。 展开更多

关键词 嵌入式 目标码 覆盖率 不可达

下载PDF 职称材料

支持多故障定位的探测站点部署方法 被引量：2

12

作者 孟洛明 黄婷 +2 位作者 成璐 曾勇国 虞砺琨 《北京邮电大学学报》 EI CAS CSCD 北大核心 2009年第5期1-5,共5页

基于矩阵向量扩张的性质,研究了主动探测的故障定位方法.提出一种支持多故障定位的探测站点部署方法.通过该方法在网络中部署探测站点对网络进行主动探测,能以较小的代价尽早定位网络中的故障.实验证明,该方法可以有效减少探测站点的数... 基于矩阵向量扩张的性质,研究了主动探测的故障定位方法.提出一种支持多故障定位的探测站点部署方法.通过该方法在网络中部署探测站点对网络进行主动探测,能以较小的代价尽早定位网络中的故障.实验证明,该方法可以有效减少探测站点的数目,并且从探测站点发出的最优探测集合可以对多故障进行定位. 展开更多

关键词 故障定位 主动探测 探测站点部署

下载PDF 职称材料

关联性变量分析在软件测试中的应用研究 被引量：1

13

作者 左万娟 虞砺琨 +1 位作者 王小丽 董燕 《测控技术》 CSCD 2018年第B11期142-145,209,共5页

为进一步排查软件中潜在的较深层次的数据流缺陷，提高软件质量，提出了关联性变量的概念，并从变量的使用逻辑，以及变量自身所承栽的物理意义着手，研究总结了关联性变量的基本特征，提出了各类关联性变量的检测分析要点。在此基础上... 为进一步排查软件中潜在的较深层次的数据流缺陷，提高软件质量，提出了关联性变量的概念，并从变量的使用逻辑，以及变量自身所承栽的物理意义着手，研究总结了关联性变量的基本特征，提出了各类关联性变量的检测分析要点。在此基础上，对关联性变量设计缺陷开展实例分析，并对基于关联性变量分析的软件查错方法进行了总结。工程实践证明，通过开展关联性变量分析，可以发现较深层次的数据流缺陷，对于提高软件质量具有一定的实用价值。 展开更多

关键词 变量 关联性 数据流 缺陷

下载PDF 职称材料

基于数据模型的接口用例自动生成

14

作者 虞砺琨 左万娟 +2 位作者 于倩 陈华南 黄晨 《测控技术》 2020年第7期24-29,共6页

在嵌入式软件设计过程中,接口是非常重要的设计元素,对接口协议进行验证是接口测试中的主要内容。但现在软件接口类型不同,需要人工识别与组装各种接口的测试用例报文,接口协议的复杂度直接影响测试用例编制的难度与工作量。为实现接口... 在嵌入式软件设计过程中,接口是非常重要的设计元素,对接口协议进行验证是接口测试中的主要内容。但现在软件接口类型不同,需要人工识别与组装各种接口的测试用例报文,接口协议的复杂度直接影响测试用例编制的难度与工作量。为实现接口测试用例的自动生成,提出一种基于数据模型的接口用例自动生成技术,根据复杂的接口协议文件,建立被测软件的接口协议形式化模型,准确、高效地表达接口协议规则及要素,并使用动态计算与替换算法得到相应业务场景下的预期结果,生成标准化的测试用例,更可兼容多种类型的接口,有效提升了接口测试效率。 展开更多

关键词 嵌入式软件 接口协议 接口测试 自动化

下载PDF 职称材料

一种基于数据流/控制流+知识条目的回归影响域分析方案

15

作者 左万娟 虞砺琨 +1 位作者 黄晨 王小丽 《测试技术学报》 2019年第5期450-455,共6页

结合实例对基于数据流/控制流的回归影响域分析方法进行了阐述,总结了分析要点,强调加强变异流分析以确保分析充分性.针对需求更动,提出了基于知识条目的回归影响域分析方法.对两种分析方法进行对比分析,提出一种基于数据流/控制流+知... 结合实例对基于数据流/控制流的回归影响域分析方法进行了阐述,总结了分析要点,强调加强变异流分析以确保分析充分性.针对需求更动,提出了基于知识条目的回归影响域分析方法.对两种分析方法进行对比分析,提出一种基于数据流/控制流+知识条目的回归影响域分析方案.实践证明,基于知识条目的分析方法可以对基于数据流/控制流的分析方法形成有效的补充,从而对回归测试的充分性形成有效的保证. 展开更多

关键词 数据流 控制流 知识条目 回归测试 影响域分析

下载PDF 职称材料