A Planning Method for Operational Test of UAV Swarm Based on Mission Reliability

The unmanned aerial vehicle(UAV)swarm plays an increasingly important role in the modern battlefield,and the UAV swarm operational test is a vital means to validate the combat effectiveness of the UAV swarm.Due to the high cost and long duration of operational tests,it is essential to plan the test in advance.To solve the problem of planning UAV swarm operational test,this study considers the multi-stage feature of a UAV swarm mission,composed of launch,flight and combat stages,and proposes a method to find test plans that can maximize mission reliability.Therefore,a multi-stage mission reliability model for a UAV swarm is proposed to ensure successful implementation of the mission.A multi-objective integer optimization method that considers both mission reliability and cost is then formulated to obtain the optimal test plans.This study first constructs a mission reliability model for the UAV swarm in the combat stage.Then,the launch stage and flight stage are integrated to develop a complete PMS(Phased Mission Systems)reliability model.Finally,the Binary Decision Diagrams(BDD)and Multi Objective Quantum Particle Swarm Optimization(MOQPSO)methods are proposed to solve the model.The optimal plans considering both reliability and cost are obtained.The proposed model supports the planning of UAV swarm operational tests and represents a meaningful exploration of UAV swarm test planning.

THE SCHUR TEST OF COMPACT OPERATORS

Infinite matrix theory is an important branch of function analysis.Every linear operator on a complex separable infinite dimensional Hilbert space corresponds to an infinite matrix with respect a orthonormal base of the space,but not every infinite matrix corresponds to an operator.The classical Schur test provides an elegant and useful criterion for the boundedness of linear operators,which is considered a respectable mathematical accomplishment.In this paper,we prove the compact version of the Schur test.Moreover,we provide the Schur test for the Schatten class S_(2).It is worth noting that our main results can be applicable to the general matrix without limitation on non-negative numbers.We finally provide the Schur test for compact operators from l_(p) into l_(q).

General Consideration of Measuring System for Operational Test of Thyristor Valves of Ultra High Voltage DC Power Transmission

Thyristor valve is one of the key equipments for ultra high voltage direct current(UHVDC) power transmission projects.Before being installed on site,they need to be tested in a laboratory in order to verify their operational performance to satisfy the technical specification of project related.Test facilities for operational tests of thyristor valves are supposed to enable to undertake more severe electrical stresses than those being applied in the thyristor valves under test(test objects).On the other hand,the stresses applied into the test objects are neither higher nor lower than specified by the specification,because inappropriate stresses applied would result in incorrect evaluation of performance on the test objects,more seriously,would cuase the damage of test objects with expensive cost losing.Generally,the process of operational tests is complicated and performed in a complex synthetic test circuit(hereafter as STC),where there are a lot of sensors used for measuring,monitoring and protection on line to ensure that the test circuit functions in good condition.Therefore,the measuring systems embedded play a core role in STC,acting like "eyes".Based on the first project of building up a STC in China,experience of planning measuring systems is summarized so as to be referenced by related engineers.

Software Operational Profile Based Test Case Allocation Using Fuzzy Logic

Software operational profile （SOP） is used in software reliability prediction, software quality assessment, performance analysis of software, test case allocation, determination of ＂when to stop testing,＂ etc. Due to the limited data resources and large efforts required to collect and convert the gathered data into point estimates, reluctance is observed by the software professionals to develop the SOP. A framework is proposed to develop SOP using fuzzy logic, which requires usage data in the form of linguistics. The resulting profile is named fuzzy software operational profile （FSOP）. Based on this work, this paper proposes a generalized approach for the allocation of test cases, in which occurrence probability of operations obtained from FSOP are combined with the criticality of the operations using fuzzy inference system （FIS）. Traditional methods for the allocation of test cases do not consider the application in which software operates. This is intuitively incorrect. To solve this problem, allocation of test cases with respect to software application using the FIS model is also proposed in this paper.

Analysis on testing and operational reliability of software

Software reliability was estimated based on NHPP software reliability growth models. Testing reliability and operational reliability may be essentially different. On the basis of analyzing similarities and differences of the testing phase and the operational phase, using the concept of operational reliability and the testing reliability, different forms of the comparison between the operational failure ratio and the predicted testing failure ratio were conducted, and the mathematical discussion and analysis were performed in detail. Finally, software optimal release was studied using software failure data. The results show that two kinds of conclusions can be derived by applying this method, one conclusion is to continue testing to meet the required reliability level of users, and the other is that testing stops when the required operational reliability is met, thus the testing cost can be reduced.

An Operational Test Method for VSC-HVDC Valves Based on Modular Multi-level Converters

为给基于模块化多电平换流器（modular multi-levelconverter,MMC）的电压源换流器高压直流输电（voltagesourced converter HVDC,VSC-HVDC）换流阀提供有效的检验手段,以验证其设计的正确性及其运行可靠性,对换流阀的运行特性和关键应力进行分析,提出基于原理等效的MMC阀运行试验方法,设计试验电路并阐明其运行机理。搭建的PSCAD电磁暂态仿真模型和实际的试验验证证明了试验方法的正确性和有效性。

Principle and operation of Jing-well point temperatures' test

Principle and operation of Jing-well point temperatures' test is a method to diagnose and treat diseases by measuring and comparing the symmetrical Jing-well point temperature of human body 12 meridians.It is an important supplement to traditional Chinese medicine four diagnoses. The theoretical basis are that the Jing-well is closely related to Meridians and Viscera, the basic traditional Chinese medicine principle of 'governing exterior to infer interior' and the balancing phenomenon of Meridians. In this paper, the operation steps and treatment measures of Jing-well point temperatures' test are put forward, and 2 successful cases are given. At the end of this paper, the prospect of this method is discussed.

Investigation into Equivalency of Synthetic Test Circuit Used for Operational Tests of Thyristor Valves for UHVDC

With the growth of capacity of high voltage direct current(HVDC) transmission lines,the ratings of thyristor valves,which are one of the most critical equipments,are getting higher and higher.Verification of performance of thyristor valves particularly designed for HVDC project plays an important role in the handover of products between the manufacturer and the client.Conventional test facilities based on philosophy of direct test cannot meet the requirements for modern thyristor valves.New test facilities with high ratings are necessarily built based on philosophy of synthetic test.Over the conventional direct test circuit,the later is an economical and feasible solution with less financial investment and higher test capability.However,the equivalency between the synthetic test and the direct test should be analyzed technically in order to make sure that the condition of verification test in a synthetic test circuit should satisfy the actual operation condition of thyristor valves existing in a real HVDC project,just as in a direct test circuit.Equivalency analysis is focused in this paper,covering the scope of thyristor valves' steady state,and transient state.On the basis of the results achieved,a synthetic test circuit of 6 500 A/50 kV for operational tests of thyristor valves used for up to UHVDC project has newly been set up and already put into service in Xi'an High Voltage Apparatus Research Institute Co.,Ltd.(XIHARI),China.Some of the results have been adopted also by a new national standard of China.

Operational modal identification of suspension bridge based on structural health monitoring system

An output-only modal identification method by a combination use of the peak-picking method and the cross spectrum methods are presented. Meanwhile, a novel mode shape optimum method of the deck is proposed. The methods are applied to the operational modal identification system of the Runyang Suspension Bridge, which can be used to obtain the modal parameters of the bridge from out-only data sets collected by its structural health monitoring system （SHMS）. As an example, the vibration response data of the deck, cable and tower recorded during typhoon Matsa excitation are used to illustrate the program application. Some of the modal frequencies observed from deck vibration responses are also found in the vibration responses of the cable and the tower. The results show that some modal shapes of the deck are strongly coupled with the cable and the tower. By comparing the identification results from the operational modal system with those from field measurements, a good agreement between them is achieved, but some modal frequencies identified from the operational modal identification system （OMIS）, such as L1 and L2, obviously decrease compared with those from the field measurements.

Research on Hydrodynamics Model Test for Deepsea Open-Framed Remotely Operated Vehicle

This paper presents the features of newly designed hydrodynamics test for the scaled model of 4500 m deepsea open-framed remotely operated vehicle （ROV）, which is being researched and developed by Shanghai Jiao Tong University. Accurate hydrodynamics coefficients measurement and spatial modeling of ROV are significant for the maneuverability and control algorithm. The scaled model of ROV was constructed by 1：1.6. Hydrodynamics coefficients were measured through VPMM and LAHPMM towing test. And dynamics model was derived as a set of equations, describing nonlinear and coupled 5-DOF spatial motions. Rotation control motion was simulated to verify spatial model proposed. Research and application of hydrodynamics coefficients are expected to enable ROV to overcome uncertainty and disturbances of deepsea environment, and accomplish some more challengeable and practical missions.

Optimal selection of tests for fault detection and isolation in multi-operating mode system

The complex systems are often in the structure of multi-operating modes, and the components implementing system functions are different under different operation modes, which results in the problems that components often fail in different operating modes, faults can be only detected in specified operating modes, tests can be available in specified operating modes,and the cost and efficiency of detecting and isolating faults are different under different operating modes and isolation levels. Aiming at these problems, an optimal test selection method for fault detection and isolation in the multi-operating mode system is proposed by using the fault pair coding and rollout algorithm. Firstly,the faults in fault-test correlation matrices under different operating modes are combined to fault-pairs, which is used to construct the fault pair-test correlation matrices under different operating modes.Secondly, the final fault pair-test correlation matrix of the multioperating mode system is obtained by operating the fault pair-test correlation matrices under different operating modes. Based on the final fault pair-test correlation matrix, the necessary tests are selected by the rollout algorithm orderly. Finally, the effectiveness of the proposed method is verified by examples of the optimal test selection in the multi-operating mode system with faults isolated to different levels. The result shows that the proposed method can effectively mine the fault detection and isolation ability of tests and it is suitable for the optimal test selection of the multi-operating mode system with faults isolated to the replacement unit and specific fault.

Boolean operations of STL models based on edge-facet intersection

For the data processing of the Rapid Prototyping Manufacturing, Boolean operation can offer a versatile tool for editing or modifying the STL model, adding the artificial construction, and creating the complex assistant support structure to meet the special technical requests. The topological structure of STL models was built firstly in order to obtain the neighborhood relationship among the triangular facets. The intersection test between every edge of one solid and every facet of another solid was taken to get the intersection points. According to the matching relationship of the triangle index recorded in the data structure of the intersection points, the intersection segments array and the intersection loop were traced out. Each intersected triangle was subdivided by the Constrained Delaunay Triangulations. The intersected surfaces were divided into several surface patches along the intersection loops. The inclusion prediction between the surface patch and the other solid was taken by testing whether the candidate point was inside or outside the solid region of the slice. Detecting the loops for determination of the valid intersection lines greatly increases the efficiency and the reliability of the process.

Statistical Properties and Confidence Limits about the Mean Time between the Failures (MTBF) in Failure-free Period Life Test (FFPLT)

On the basis of strict mathematical description about Failure_Free Period Life Test (FFPLT), the statistical properties of the tests and optimal confidence limit of the parameter are discussed in detail and corresponding calculating formulae are found out.

Perception and attitude of theatre staff to preoperative HIV testing at the University of Port Harcourt Teaching Hospital

Objective:To elucidate the awareness and approach to pre-operative human immunodeficiency virus(HIV) testing and emphasis on the attendant components of HIV testing.Methods: The study was conducted at the theatres of the University of Port Harcourt Teaching Hospital among 123 nursing,anaesthetic,and operating staff.A descriptive cross sectional design was adopted with stratified sampling.The study instrument was a structured,self administered pro forma.Results:All respondents were all aware of HIV infection and all had transmission through infected blood and tissues(100.0%).88.6%had infection through needle stick injuries, 62.6%through vertical transmission,and 98.4%through blood transfusion.Sixty three percent of respondents correctly knew what preoperative testing was,while 58.5%were aware of the preoperative testing policy of the hospital.All respondents favoured the policy of preoperative testing.Attitudinal values to seropositive patients were not very different as 72.4%of respondents claimed they treated every patient as high risk,and all respondents used personal protective equipment.Conclusions:Routine HIV testing now represents a conventional means providing patients with knowledge of their HIV status.Such testing should be accompanied by informed consent,counselling,confidentiality,protection,and access to treatment.

Study on the Effect of Multi-Type Current Transformers Hybrid Operation on Differential Protection of the Bus Based on Dynamic Simulation

This paper analyzes characteristics of multi type current transformers hybrid operation for each branch of the bus and their effects on differential protection of the bus. By theoretically analyzing transmission characteristics of multi type current transformers and their influence factors, we study the dynamic model testing method of multi type current transformers for the bus, and design 3 kinds of testing schemes by making the equivalent model based on the field of P-level current transformer, TPY-level current transformer and electronic current transformer, and build the hybrid operation testing platform of multi type current transformers. Finally, we compare and analyze the transmission characteristics difference of multi type current transformers on the same branch and the characteristics difference of hybrid operation in two successive external faults, analyze the cause behind the differences, and put forward the corresponding improvement measures.

SMINER:Detecting Unrestricted and Misimplemented Behaviors of Software Systems Based on Unit Test Cases

Despite the advances in automated vulnerability detection approaches,security vulnerabilities caused by design flaws in software systems are continuously appearing in real-world systems.Such security design flaws can bring unrestricted and misimplemented behaviors of a system and can lead to fatal vulnerabilities such as remote code execution or sensitive data leakage.Therefore,it is an essential task to discover unrestricted and misimplemented behaviors of a system.However,it is a daunting task for security experts to discover such vulnerabilities in advance because it is timeconsuming and error-prone to analyze the whole code in detail.Also,most of the existing vulnerability detection approaches still focus on detecting memory corruption bugs because these bugs are the dominant root cause of software vulnerabilities.This paper proposes SMINER,a novel approach that discovers vulnerabilities caused by unrestricted and misimplemented behaviors.SMINER first collects unit test cases for the target system from the official repository.Next,preprocess the collected code fragments.SMINER uses pre-processed data to show the security policies that can occur on the target system and creates a test case for security policy testing.To demonstrate the effectiveness of SMINER,this paper evaluates SMINER against Robot Operating System(ROS),a real-world system used for intelligent robots in Amazon and controlling satellites in National Aeronautics and Space Administration(NASA).From the evaluation,we discovered two real-world vulnerabilities in ROS.

Mechanical Analysis of a Multi-Test String in High-Temperature and High-Pressure Deep Wells

The mechanical behavior of the test string in deep wells is generally relatively complex as a result of the high temperature and high pressure,severe dogleg and buckling effects,which in some circumstances can even lead to string failure.Traditional computational methods for the analysis of these behaviors are often inaccurate.For this reason,here a more accurate mechanical model of the test string is introduced by considering variables such as temperature,pressure,wellbore trajectory,and buckling,as well as combining them with the deformation and string constraint conditions brought in by changes in temperature and pressure during the tripping,setting,and test operations.The model is validated by applying it to a specific high-pressure gas well(located in Northeast Sichuan).

高压断路器操动机构驱动电机及其控制技术研究

高压断路器操动机构用电机驱动提高了断路器运行的可靠性与可控性,因此设计了一套适用于126 kV真空断路器的电机操动机构。基于操动机构动力学分析结果确定驱动电机转矩、转速要求,提出一种有限转角永磁无刷电机设计方案,研制样机进行联机试验完成动作要求检验。在此基础上,设计分段转矩控制策略,结合驱动电机输出转矩需求将操动机构的运动过程分为4个阶段,从降低触头碰撞、避免预击穿现象发生、提高断路器工作可靠性角度对各阶段电机输出转矩进行动态调节。结果表明:所研制的驱动电机配合分段转矩控制策略,在保证灭弧室对操动机构动作时间、动作速度要求的前提下,实现了操动机构的运动过程优化和工作可靠性提高,促进了断路器智能化操作进程。

引入相量算子和流向算子的天鹰优化算法

针对天鹰优化算法搜索效率不足,容易陷入局部最优的缺点,提出多策略改进天鹰优化算法(MIAO).引入广义正态分布优化算法(GNDO),将该算法得出的结果与天鹰优化算法第1阶段得出的结果进行比较,筛选出这2种优化算法下的最优值.该操作扩大了搜索空间,提高了解的质量.引入相量算子,将第2阶段变为自适应的非参数优化,提高算法的高维优化能力.针对天鹰优化算法在迭代后期存在种群多样性降低、局部开发能力不足的问题,在天鹰算法的第3阶段引入流向算子,使信息可以在每个个体间相互传递,提高种群信息的利用率,增强天鹰优化算法的开发性能.通过对16个测试函数寻优对比分析以及Wilcoxon秩和检验可知,MIAO的寻优能力和收敛速度都有较大的提升.为了验证MIAO算法的实用性和可行性,采用所提算法求解减速器设计问题,通过实际工程优化问题的实验对比分析可知,MIAO算法在处理现实优化问题上具有一定的优越性.