排序方式: 共有15条查询结果,搜索用时 310 毫秒
1.
介绍公共直流母线的电源系统组成,不可逆电源单元的设计方法。分析带有预充电单元的公共直流母线系统组成和设计方法,以及预充电单元的保护电路设计。该系统经实际使用证明效果良好。 相似文献
2.
3.
4.
Dynamic software update(DSU)patches programs on the fly.It often involves the critical task of object transformation that converts live objects of the old-version program to their semantically consistent counterparts under the new-version program.This task is accomplished by invoking an object transformer on each stale object.However,a defective transformer failing to maintain consistency would cause errors or even crash the program.We propose TOAST(Test Object trAnSformaTion),an automated approach to detecting potential inconsistency caused by object transformers.TOAST first analyzes an update to identify multiple target methods and then adopts a fuzzer with specially designed inconsistency guidance to randomly generate object states to drive two versions of a target method.This creates two corresponding execution traces and a pair of old and new objects.TOAST finally performs object transformation to create a transformed object and detects inconsistency between it and the corresponding new object produced from scratch by the new program.Moreover,TOAST checks behavior inconsistency by comparing the return variables and exceptions of the two executions.Experimental evaluation on 130 updates with default transformers shows that TOAST is promising:it got 96.0%precision and 85.7%recall in state inconsistency detection,and 81.4%precision and 94.6%recall in behavior inconsistency detection.The inconsistency guidance improved the fuzzing efficiency by 14.1%for state inconsistency detection and 40.5%for behavior inconsistency detection. 相似文献
5.
将DSU18-C-6双苦胺、钾离子形成的三元络合物萃取到有机相并用分光光度法测定钾。 相似文献
6.
分析了大型结构物海上浮装关键装置,包括桩腿耦合装置、平台支撑装置、纵荡与横荡护舷等。研究了上述关键装置的结构组成与功能、力学属性和基于MOSES软件的建模技术,重点解决了驳船、结构物(上部组块)、基础结构(导管架)、桩腿耦合装置、平台支撑装置、纵荡与横荡护舷以及驳船系泊系统的建模技术难题,最终建立了包括上述各部分的大型结构物海上浮装一体化计算机仿真环境,为进行海上浮装过程中各阶段驳船、插尖运动计算和腿耦合装置、平台支撑装置等的受力分析打下了基础。该项研究结果可以为大型结构物海上浮装的计算分析提供指导。 相似文献
7.
李建军 《军民两用技术与产品》2003,(11):34-38
介绍了Orion3.0集成开发环境的基本概念和基本操作,详细描述了从建立一个应用程序到调试,直至完成ROM映像文件的全过程,指导读者使用Orion3.0IDE开发基于OrbitaEOS的应用程序。 相似文献
8.
吴立志 《湖南工业大学学报》2003,17(1)
"一国四席"是WTO体制下的新情况,WTO争端解决机制适不适用一国四地之间的贸易争议以及如何适用之?文章首先揭示了WTO体制下"一国四席"成员关系之特征,然后着重分析了WTO争端解决机制在"一国四席"这一特殊背景下的运用,指出了该机制适用的可能性与可行性。最后针对台湾当局利用WTO争端解决机制造成两岸是对等实体的企图提出了应对的策略。 相似文献
9.
10.
DSU3采集单元在不同的环境下串音测试的结果存在很大差异,很难对其是否符合规范要求作出判断,DSU3的串音测试存在不确定性。原因是DSU3在进行串音测试时,125Hz正弦波测试信号是直接加在MEMS传感器上的,但此时MEMS传感器除了接收测试信号外,还会接收环境噪声信号,从而造成串音测试数据随环境噪声而变化的弊端。本文对串音测试不确定性的原因进行了分析,并据此提出了改进串音测试不确定性的思路:在各地震放大器输出信号中,只提取频率为125Hz的数据进行串音计算,就可以大大降低环境噪声对串音测试的影响,较为单一地反映道间串音的高低。 相似文献