期刊文献+
共找到18篇文章
< 1 >
每页显示 20 50 100
Determination of failure degree of 1.2 kV SiC MOSFETs after short-circuit test using an improved test setup
1
作者 Shen Diao Jun Sun +4 位作者 Ziwei Zhou Zhenzhong Zhang Adolf Schöner Zedong Zheng Weiwei He 《Nanotechnology and Precision Engineering》 CAS CSCD 2020年第4期235-240,共6页
Analysis of the short-circuit characteristics of SiC metal-oxide-semiconductor field-effect transistors(MOSFETs)is very important for their practical application.This paper studies the SiC MOSFET short-circuit charact... Analysis of the short-circuit characteristics of SiC metal-oxide-semiconductor field-effect transistors(MOSFETs)is very important for their practical application.This paper studies the SiC MOSFET short-circuit characteristics with an improved test setup under different conditions.A high-current Si insulated gate bipolar transistor is used as a circuit breaker in the test circuit rather than the usual short-circuit test conducted without a circuit breaker.The test platform with a circuit breaker does not influence the calculation results regarding the shortcircuitwithstand time and energy,but the SiCMOSFETwill switch off after failure in a very short time.In addition,the degree of failure will be limited and confined to a small area,such that the damage to the chip will be clearly observable,which is significant for short-circuit failure analysis. 展开更多
关键词 SiC MOSFET short-circuit test Failure analysis
下载PDF
Optimization of short-circuit transition parameters of Q235B steel GMAW based on orthogonal gray relational analysis
2
作者 陈昌荣 唐宝林 +2 位作者 叶宇杰 练国富 黄旭 《China Welding》 CAS 2024年第2期39-49,共11页
In gas metal arc welding(GMAW)process,the short-circuit transition was the most typical transition observed in molten metal droplets.This paper used orthogonal tests to explore the coupling effect law of welding proce... In gas metal arc welding(GMAW)process,the short-circuit transition was the most typical transition observed in molten metal droplets.This paper used orthogonal tests to explore the coupling effect law of welding process parameters on the quality of weld forming under short-circuit transition,the design of 3 factors and 3 levels of a total of 9 groups of orthogonal tests,welding current,welding voltage,welding speed as input parameters:effective area ratio,humps,actual linear power density,aspect ratio,Vickers hardness as output paramet-ers(response targets).Using range analysis and trend charts,we can visually depict the relationship between input parameters and a single output parameter,ultimately determining the optimal process parameters that impact the single output index.Then combined with gray the-ory to transform the three response targets into a single gray relational grade(GRG)for analysis,the optimal combination of the weld mor-phology parameters as follows:welding current 100 A,welding voltage 25 V,welding speed 30 cm/min.Finally,validation experiments were conducted,and the results showed that the error between the gray relational grade and the predicted value was 2.74%.It was observed that the effective area ratio of the response target significantly improved,validating the reliability of the orthogonal gray relational method. 展开更多
关键词 short-circuit transition orthogonal test gray relational forming quality
下载PDF
基于NI Multisim 12.0的OCL功率放大电路仿真测试 被引量:7
3
作者 侯卫周 杨毅 《实验室研究与探索》 CAS 北大核心 2016年第9期86-90,共5页
利用NI Multisim12.0仿真软件对OCL功放电路的输出功率和转换效率进行虚拟测试分析;通过改变输入信号大小让输出无交越失真且输出幅值最大时,观察输出电压的正、负峰值;测试功放电路中的电源直流电流值和负载的功率;将这两个值分别与理... 利用NI Multisim12.0仿真软件对OCL功放电路的输出功率和转换效率进行虚拟测试分析;通过改变输入信号大小让输出无交越失真且输出幅值最大时,观察输出电压的正、负峰值;测试功放电路中的电源直流电流值和负载的功率;将这两个值分别与理论计算的电源总功耗、输出功率相比较,发现仿真测试的结果与理论计算结果基本吻合;进一步验证了功放电路的仿真对电路设计有很好的指导意义;测试实例证实了将NI Multisim12.0合理引入到电子电路虚拟实验教学中,能大大提升理论课的教学效果,有利于学生在虚拟实验教学中更好地掌握电子电路设计方法。 展开更多
关键词 无输出电容 功率放大 仿真测试 NI Multisim12.0
下载PDF
基于UML模型和OCL约束的类间交互测试用例生成方法研究 被引量:5
4
作者 柴玉梅 冯秋燕 王黎明 《电子学报》 EI CAS CSCD 北大核心 2013年第6期1242-1248,共7页
面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加O... 面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加OCL(Object Constraints Language)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,本文提出了EG的遍历策略和测试路径生成算法;最后,根据测试路径确定测试场景,并删除无效场景,生成测试用例.经实验验证,此方法可以基于UML顺序图与OCL约束进行系统地测试. 展开更多
关键词 UML 顺序图 ocl 执行图(EG) 测试场景 测试用例
下载PDF
带OCL的活动图多态性测试用例生成方法 被引量:3
5
作者 曾一 丁娜 邹明 《计算机工程》 CAS CSCD 2012年第10期34-37,共4页
研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历... 研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历,生成测试用例。实验结果表明,该方法能生成含多态性信息的测试用例,提高测试覆盖度。 展开更多
关键词 统一建模语言 对象约束语言 扩展活动图 多态性方法集 测试用例
下载PDF
基于UML和OCL的类间交互测试用例生成算法研究 被引量:1
6
作者 冯秋燕 《计算机工程与设计》 CSCD 北大核心 2012年第11期4219-4224,共6页
针对面向对象软件的类、封装、继承、动态连接等特性,对对象建模语言(UML模型)中的顺序图添加对象约束语言(OCL约束),做类间交互的软件测试。提出执行图EG生成算法,将顺序图SD转换为EG,解决UML2.0顺序图新增特性中的alt,loop,opt,break... 针对面向对象软件的类、封装、继承、动态连接等特性,对对象建模语言(UML模型)中的顺序图添加对象约束语言(OCL约束),做类间交互的软件测试。提出执行图EG生成算法,将顺序图SD转换为EG,解决UML2.0顺序图新增特性中的alt,loop,opt,break这4种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,提出EG的遍历策略和测试路径生成算法;确定测试场景,生成测试用例。经实例分析,它可以基于UML顺序图与OCL作系统地测试。 展开更多
关键词 对象建模语言 顺序图 对象约束语言 执行图(EG) 测试场景 测试用例
下载PDF
在带OCL约束的状态图下测试线索的自动生成
7
作者 曾一 徐攀登 +2 位作者 柴艳欣 邹明 丁娜 《计算机应用研究》 CSCD 北大核心 2011年第3期988-990,994,共4页
提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对—事件约束集合生成带OCL约束的测试线索。实例研究表明,通过OCL约束冲突判断可避免不... 提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对—事件约束集合生成带OCL约束的测试线索。实例研究表明,通过OCL约束冲突判断可避免不可行测试线索的生成,减少测试用例数目,达到降低测试成本的目的。实验结果证明了该方法的可行性和有效性。 展开更多
关键词 对象约束语言 可扩展标记语言 类图 状态图 测试线索 约束冲突
下载PDF
基于OCL约束的多态性时序图测试用例生成方法
8
作者 周航 黄志球 +2 位作者 孙海燕 张广泉 祝义 《解放军理工大学学报(自然科学版)》 EI 2008年第3期222-227,共6页
由于UML时序图不能够描述多态性,导致根据时序图生成的测试用例存在不足,无法测试多态性方法。提出了一种对多态性时序图的形式化及相应测试用例的生成方法。根据类约束和满意集规则确定类的多态性方法集CSPM(class sets of polymorphis... 由于UML时序图不能够描述多态性,导致根据时序图生成的测试用例存在不足,无法测试多态性方法。提出了一种对多态性时序图的形式化及相应测试用例的生成方法。根据类约束和满意集规则确定类的多态性方法集CSPM(class sets of polymorphism methods),并将多态性时序图转换为多态扩展有向无环图PCOMDAG(polymorphism class object method acyclic graph)。使用提出的测试覆盖准则及深度优先算法对PCOMDAG图进行遍历,自动生成多态性时序图的测试用例。通过实例验证方法的有效性,其结果表明,本方法能够生成基于OCL约束时序图的测试用例对多态性方法进行测试,提高时序图测试集的覆盖度。 展开更多
关键词 测试用例 统一建模语言 对象约束语言 时序图 多态性
下载PDF
带OCL约束的多态路径测试线索生成方法
9
作者 曾一 刘青香 +1 位作者 王翠钦 洪豪 《计算机工程》 CAS CSCD 2013年第8期92-96,102,共6页
统一建模语言(UML)无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML... 统一建模语言(UML)无法精确描述系统模型,只能从某一层面描述系统信息,从而导致基于UML模型的多态测试不完备。为此,提出一种带OCL约束的多态路径测试线索生成方法。通过在类图中加入OCL约束信息,考虑类图中多态性对测试的影响,结合UML类图、状态图及协作图,设计并构造OCL约束下包含多态和状态信息的消息间受限控制流图(MRCFG),应用唯一MRCFG路径覆盖准则生成测试线索。通过建立原型工具自动生成包含多态信息的测试线索,从而证明该方法提高了测试的自动化程度,并且生成的多态测试线索更完备。 展开更多
关键词 统一建模语言 对象约束语言 多态性 协作图 消息间受限控制流图 测试线索
下载PDF
Thermal runaway evolution of a 280 Ah lithium-ion battery with LiFePO_(4) as the cathode for different heat transfer modes constructed by mechanical abuse
10
作者 Zhixiang Cheng Chengdong Wang +3 位作者 Wenxin Mei Peng Qin Junyuan Li Qingsong Wang 《Journal of Energy Chemistry》 SCIE EI CAS CSCD 2024年第6期32-45,I0002,共15页
Lithium iron phosphate batteries have been increasingly utilized in recent years because their higher safety performance can improve the increasing trend of recurring thermal runaway accidents.However,the safety perfo... Lithium iron phosphate batteries have been increasingly utilized in recent years because their higher safety performance can improve the increasing trend of recurring thermal runaway accidents.However,the safety performance and mechanism of high-capacity lithium iron phosphate batteries under internal short-circuit challenges remain to be explored.This work analyzes the thermal runaway evolution of high-capacity LiFePO_(4) batteries under different internal heat transfer modes,which are controlled by different penetration modes.Two penetration cases involving complete penetration and incomplete penetration were detected during the test,and two modes were performed incorporating nails that either remained or were removed after penetration to comprehensively reveal the thermal runaway mechanism.A theoretical model of microcircuits and internal heat conduction is also established.The results indicated three thermal runaway evolution processes for high-capacity batteries,which corresponded to the experimental results of thermal equilibrium,single thermal runaway,and two thermal runaway events.The difference in heat distribution in the three phenomena is determined based on the microstructure and material structure near the pinhole.By controlling the heat dissipation conditions,the time interval between two thermal runaway events can be delayed from 558 to 1417 s,accompanied by a decrease in the concentration of in-situ gas production during the second thermal runaway event. 展开更多
关键词 Lithium-ion battery safety Micro short-circuit cell Heat transfer modes Internal short circuit Nail-penetration test
下载PDF
电气化铁路接触网瓷绝缘子运行状态评估方法研究 被引量:2
11
作者 田升平 《电气化铁道》 2022年第S01期62-65,共4页
长久以来,对电气化铁路接触网瓷绝缘子运行状态一直缺少有效的评估手段。本文以某电气化铁路不同运行年份的瓷绝缘子为例,提出了运行状态评估试验方案,建立了综合模糊评判模型,研究了采用模糊数学进行模糊评判的评估方法。研究结果表明... 长久以来,对电气化铁路接触网瓷绝缘子运行状态一直缺少有效的评估手段。本文以某电气化铁路不同运行年份的瓷绝缘子为例,提出了运行状态评估试验方案,建立了综合模糊评判模型,研究了采用模糊数学进行模糊评判的评估方法。研究结果表明,所采用的综合评估方法直观有效、可靠度高,可为电气化铁路接触网瓷绝缘子的运行状态评估提供有效参考。 展开更多
关键词 接触网 瓷绝缘子 性能 试验 状态评估
下载PDF
基于UML顺序图的测试方法 被引量:9
12
作者 江泽凡 王林章 +1 位作者 李宣东 郑国梁 《计算机科学》 CSCD 北大核心 2004年第7期131-136,共6页
本文描述一个在UML顺序图上生成测试用例的方法。我们使用带OCL约束的顺序图,即从类图和状态图中提取信息以OCL形式附加在顺序图的对象生命线的适当位置。首先检查顺序图的完备性和一致性。然后从顺序图中生成测试规格说明以及顺序图的... 本文描述一个在UML顺序图上生成测试用例的方法。我们使用带OCL约束的顺序图,即从类图和状态图中提取信息以OCL形式附加在顺序图的对象生命线的适当位置。首先检查顺序图的完备性和一致性。然后从顺序图中生成测试规格说明以及顺序图的事件系列。最后根据测试准则采用类似于类别-划分方法进行测试用例的生成。另外,我们将此方法应用于一个简化的DHCP协议,解释了方法的一般过程以及方法的可行性。 展开更多
关键词 UML顺序图 测试方法 ocl约束 类图 状态图 类别一划分方法 软件开发
下载PDF
基于MDA的软件测试用例生成 被引量:2
13
作者 蒋忠炜 张云华 谢轩昂 《计算机工程与应用》 CSCD 北大核心 2007年第17期97-99,共3页
将MDA中模型驱动的软件代码自动化生成思想应用于模型驱动的软件测试用例自动化生成。从UML/OCL模型出发,采用缺陷测试理论、变异分析技术,结合约束处理规则,开发一个可以自动生成单元测试用例的框架,提高软件测试的自动化程度,从整体... 将MDA中模型驱动的软件代码自动化生成思想应用于模型驱动的软件测试用例自动化生成。从UML/OCL模型出发,采用缺陷测试理论、变异分析技术,结合约束处理规则,开发一个可以自动生成单元测试用例的框架,提高软件测试的自动化程度,从整体上提高软件的开发效率。 展开更多
关键词 MDA ocl 缺陷测试 测试用例生成
下载PDF
基于对象约束语言规格的变异分析
14
作者 赵国平 张云华 葛峰 《计算机工程与设计》 CSCD 北大核心 2008年第3期560-562,565,共4页
由于传统形式化语言的复杂性以及当前变异分析系统性能问题,基于规格的变异分析一直没有得到广泛的应用。介绍辅助UML建模的对象约束语言(OCL)和基于规格变异分析的基本理论。提出一种新型的OCL规格变异系统的设计方案,并详细描述了一... 由于传统形式化语言的复杂性以及当前变异分析系统性能问题,基于规格的变异分析一直没有得到广泛的应用。介绍辅助UML建模的对象约束语言(OCL)和基于规格变异分析的基本理论。提出一种新型的OCL规格变异系统的设计方案,并详细描述了一些变异算子的具体实现。解决了传统变异系统的性能缺陷,提高了变异分析的实用性。 展开更多
关键词 对象约束语言 统一建摸语言 变异算子 规格变异 软件测试
下载PDF
基于JML的面向对象设计指导测试方法的研究与实现
15
作者 查冰 杨宗源 《计算机应用与软件》 CSCD 北大核心 2008年第4期106-108,共3页
面向对象的软件测试应该也只能被设计所指导。提出了一种方案:在使用UML进行面向对象的设计阶段为类和方法加入OCL约束,然后由一种转换工具将带有OCL约束的UML类图转换为带有JML(Java建模语言,Java Modeling Language)注解的Ja-va类代... 面向对象的软件测试应该也只能被设计所指导。提出了一种方案:在使用UML进行面向对象的设计阶段为类和方法加入OCL约束,然后由一种转换工具将带有OCL约束的UML类图转换为带有JML(Java建模语言,Java Modeling Language)注解的Ja-va类代码框架,就可以利用JML丰富的支撑工具进行调试和自动测试,从而实现了设计指导测试的思想。研究了OCL到JML的转换机制,并给出了基于Rational Rose的转换工具JML-AddIn的实现框架。 展开更多
关键词 面向对象 自动化测试 ocl 形式语言
下载PDF
牵引供电接触网短路试验系统研究 被引量:3
16
作者 张俊 刘维 +2 位作者 吕朝 吴向阳 李书全 《电气化铁道》 2020年第6期21-23,39,共4页
牵引供电系统的接触网短路试验是联调联试中的重要试验项目,针对现有试验问题,研发牵引供电短路试验系统,有利于提高接触网短路试验的技术水平,在试验安全性、可靠性等方面也取得突破。
关键词 牵引供电 接触网短路试验
下载PDF
基于划分分析方法的测试用例生成
17
作者 罗清胜 黎升洪 《现代计算机》 2006年第6期104-106,共3页
从基于模型的规格说明中,应用形式化方法可以产生所需的测试用例。为了从静态模型中表达的形式化约束产生测试用例,本文阐述了一种产生此测试数据的方法,同时也说明了如何使类的方法的划分分析自动进行,以及如何建立起给定方法的类的序... 从基于模型的规格说明中,应用形式化方法可以产生所需的测试用例。为了从静态模型中表达的形式化约束产生测试用例,本文阐述了一种产生此测试数据的方法,同时也说明了如何使类的方法的划分分析自动进行,以及如何建立起给定方法的类的序列且该序列覆盖了所有必需的测试。 展开更多
关键词 测试用例 划分分析 ocl 析取范式
下载PDF
Validation of Full-Converter Wind Power Plant Generic Model Based on Actual Fault Ride-Through Measurements
18
作者 O. Tsernobrovkin A. Perdana +1 位作者 I. Palu J. Kilter 《Journal of Energy and Power Engineering》 2010年第4期54-62,共9页
Modeling and validation of full power converter wind turbine models with field measurement data are rarely reported in papers. In this paper an aggregated generic dynamic model of the wind farm consisting of full powe... Modeling and validation of full power converter wind turbine models with field measurement data are rarely reported in papers. In this paper an aggregated generic dynamic model of the wind farm consisting of full power converter wind turbines is composed and the model validation based on actual field measurements is performed. The paper is based on the measurements obtained from the real short circuit test applied to connection point of observed wind farm. The presented approach for validating the composed model and fault ride-through (FRT) capability for the whole wind park is unique in overall practice and its significance and importance is described and analyzed. 展开更多
关键词 Real short-circuit test full converter wind turbine modeling model validation generic model fault ride-through (FRT) wind power development security of supply power system stability.
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部