发电系统动态仿真监控平台研究

为了同步实时获取电力系统动态仿真数据以实现交互式仿真,使用LabVIEW软件及其数据记录和监控模块设计了一套监控平台,并利用MATLAB/Simulink软件进行了验证。构建了三相同步发电机带负载仿真模型,可通过程序控制断路器接入两种负载产生不同工况,支持现场对发电机电气参数进行连续监测,利用过程控制对象连接与嵌入OPC技术将测量值传递到虚拟仪器监控系统中实时显示各监测对象当前值和趋势图,同时实现了数据采集与存储、与模型控制交互等关键功能。实验结果表明,监控平台能正确地监控仿真模型的运行,并执行所设计的各项功能。     

RETRACTED ARTICLE: IoT-based real-time patients vital physiological parameters monitoring system using smart wearable sensors

Neural Computing and Applications -     

风力发电机组便携式电能质量监测系统

目前实际运行的风机只提供了显示和记录电能质量稳态数据的功能,而风机的运行特性和对电网的影响分析必须通过对其电能质量的一段时期的动态监测来获得.本文采用自主研制的双CPU架构的便携式电能质量分析仪,构建了通用的风力发电机组的动态监测系统,并用该系统对风电机组的电能质量进行了长期监测.利用监测结果进行分析和评判,可以为改进风电机组的控制策略、制定风电电能质量治理措施和确定治理装置的相关技术参数提供必要的依据.     

RETRACTED ARTICLE: Thermal power generation fault diagnosis and prediction model based on deep learning and multimedia systems

Multimedia Tools and Applications - In this research, we propose the thermal power generation fault diagnosis and prediction model based on deep learning and multimedia systems. The application of...     

Automatic, evolutionary test data generation for dynamic software testing

This paper proposes a dynamic test data generation framework based on genetic algorithms. The framework houses a Program Analyser and a Test Case Generator, which intercommunicate to automatically generate test cases. The Program Analyser extracts statements and variables, isolates code paths and creates control flow graphs. The Test Case Generator utilises two optimisation algorithms, the Batch-Optimistic (BO) and the Close-Up (CU), and produces a near to optimum set of test cases with respect to the edge/condition coverage criterion. The efficacy of the proposed approach is assessed on a number of programs and the empirical results indicate that its performance is significantly better compared to existing dynamic test data generation methods.     

Automatic test case generation for WS-Agreements using combinatorial testing

In the scope of the applications developed under the service-based paradigm, Service Level Agreements (SLAs) are a standard mechanism used to flexibly specify the Quality of Service (QoS) that must be delivered. These agreements contain the conditions negotiated between the service provider and consumers as well as the potential penalties derived from the violation of such conditions. In this context, it is important to assure that the service based application (SBA) behaves as expected in order to avoid potential consequences like penalties or dissatisfaction between the stakeholders that have negotiated and signed the SLA. In this article we address the testing of SLAs specified using the WS-Agreement standard by means of applying testing techniques such as the Classification Tree Method and Combinatorial Testing to generate test cases. From the content of the individual terms of the SLA, we identify situations that need to be tested. We also obtain a set of constraints based on the SLA specification and the behavior of the SBA in order to guarantee the testability of the test cases. Furthermore, we define three different coverage strategies with the aim at grading the intensity of the tests. Finally, we have developed a tool named SLACT (SLA Combinatorial Testing) in order to automate the process and we have applied the whole approach to an eHealth case study.     

Automatic test generation: a use case driven approach

Use cases are believed to be a good basis for system testing. Yet, to automate the test generation process, there is a large gap to bridge between high-level use cases and concrete test cases. We propose a new approach for automating the generation of system test scenarios in the context of object-oriented embedded software, taking into account traceability problems between high-level views and concrete test case execution. Starting from a formalization of the requirements based on use cases extended with contracts, we automatically build a transition system from which we synthesize test cases. Our objective is to cover the system in terms of statement coverage with those generated tests: an empirical evaluation of our approach is given based on this objective and several case studies. We briefly discuss the experimental deployment of our approach in the field at Thales Airborne Systems.     

Automatic test system for power characteristics of broadband TWTs

In this article, an automatic test system will be presented, which is based on LabVIEW and compatible with the general hardware platform. It aims at improving the test accuracy and efficiency of power characteristics of high‐power broadband traveling wave tubes. The key point is to demonstrate how to creatively solve the contradiction between accuracy and time in the test of saturation characteristic via self‐adaptive change of power step and how to implement the high‐precision test of fixed power characteristics via dichotomy. In order to further improve the test accuracy and practicability, input power verification is designed in the software to eliminate the adverse effects of the preamplifier, and compensation data management mechanism is used to help users obtain more accurate power characteristics of the tested broadband traveling wave tube. In addition, multi‐level software protection for helix current is designed, apart from hardware protection of power supply, with the purpose to level up system security. Finally, the reliability and practicability of the automatic test system are verified by data comparison and data analysis, and the automatic system can vastly improve the measurement efficiency of power characteristics in the productive process of broadband traveling wave tubes.     

Automatic test case generation for structural testing of function block diagrams

ContextFunction Block Diagram (FBD) is increasingly used in safety-critical applications. Test coverage issues for FBDs are frequently raised by regulators and users. However, there is little work at this aspect on testing FBD at model level. Our previous study has designed a new data-flow test coverage criterion, FB-Path Complete Condition Test Coverage (FPCC), that can directly test FBD structures and effectively detect function mutation errors. Nevertheless, because FPCC scheme involves several data-flow concepts and thus it is somewhat complicated to comprehend and to generate FPCC-complied test cases. An automatic test suite generator for FPCC is highly desirable.ObjectiveThis study designs an automatic test case generator, FPCCTestGen, for FPCC so as to enhance the practicability and acceptance of the FPCC approach.MethodFirst, a supporting infrastructure for performing automatic FBD-to-UPPAAL-for-FPCC transformation is designed. The supporting infrastructure includes templates, declarations, and functions as building blocks for transformation. Then, for each input FBD, represented in PLCopen XML format, FPCCTestGen performs parsing and converts FBD components into corresponding UPPAAL model components using aforementioned building blocks. After that, queries related to FPCC characteristics are submitted to UPPAAL model checker for verification. Finally, the verification traces are analyzed to obtain a FPCC-complied test suite.ResultsA safety injection system is used as a case study. Preliminary results show that the generated test suite achieves the highest FPCC percentage with a near optimal number of test cases.ConclusionThis automatic test case generation tool is effective and thus, can promote the use of the new test coverage criterion. Methodology used in FPCCTestGen is generic and can be applied to test suite generation for other test criteria on data-flow programs.     

基于OFGA的软件测试用例自动生成

为提高测试用例生成的质量和效率,提出一种基于最优家族遗传算法(OFGA)的软件测试用例自动生成新算法。基于OFGA的测试用例生成算法在执行过程中适当缩小搜索区域,从而在相对更小的区域内快速寻找最优解。因此,OFGA能比较快地加速算法的收敛,提高算法的效率,在测试用例的生成上具有较大的应用潜力。由实验结果可知,新算法比遗传算法(GA)在测试用例自动生成上耗时更少,效果更佳。     

Automatic generation of test specifications for coverage of system state transitions

Adequate system testing of present day application programs requires satisfactory coverage of system states and transitions. This can be achieved by using a system state model. However, the system state models are rarely constructed by system developers, as these are large and complex. The only state models that are constructed by the developers are those of individual objects. However test case generation for state-based system testing based on traversal of statecharts of individual objects appears to be infeasible, since system test cases would have to be specified in the form of scenario sequences rather than transitions on individual object statecharts. In this paper, we propose a novel approach to coverage of elementary transition paths of an automatically synthesized system state model. Our technique for coverage of elementary transition paths would also ensure coverage of all states and transitions of the system model.     

RETRACTED ARTICLE: Designing statistical assessment healthcare information system for diabetics analysis using big data

Health services research provides a multi-disciplinary area of scientific exploration in relation to financial systems, social factors, organizational processes, and health technologies. With the help of big data, the huge amount of data can well be stored and handled effectively for diagnosis and also proper treatment of diseases can be monitored with these emerging technologies. In recent years, Diabetes Mellitus is non-transmittable illnesses that are a matter of concern in most of the developing countries. This paper proposes a model of a statistical assessment, healthcare information system for Diabetes Analysis employing big data. The performance metric such as accuracy and F-measure for the proposed statistical assessment model is evaluated by Hadoop framework, the results are comparatively higher than existing methods.

     

RETRACTED ARTICLE: Design of traffic object recognition system based on machine learning

Neural Computing and Applications - In recent years, researchers have proposed many methods to solve the problem of obstacle detection. However, computer vision-based vehicle detection and...     

DLJ: A dynamic line-justification algorithm for test generation

Lne justification is a basic factor in affecting the efficiency of algorithms for test generation.The existence of reconvergent fanouts in the circuit under test results in backtracks in the process of line justification.In order to reduce the number of backtracks and shorten the processing time between backtracks,we present a new algorithm called DLJ(dynamic line justification)in whic two techniques are employed.1.A cost function called “FOCOST” is proposed as heuristic information to represent the cost of justifying a certain line.Whn the relations among the lines being justified are“and”,the line having the highest FOCOST should be chosen.When the relations are“or”,the line having the lowest FOCOST should be chosen.The computing of the FOCOST of lines is very simple.2.Disjoint justification cubes dynamically generated to perform backtracks make the backtrack number of the algorithm minimal.When the backtrace with cube C1 does not yield a solution,the next cube to be chosen is C‘2=C2-{C1,C2}.Experimental results demonstrate that the combination of the two techniques effectively reduces the backtracks and accelerates the test generation.     

数据库系统测试中测试用例的自动规范方法

数据库系统测试用例格式不规范,影响了测试用例的重用.为了解决这一问题,对依据数据库系统测试的特点进行了研究.提出了一个简单的测试用例格式规范,以及能自动规范已有测试用例的算法--用例行为跟踪算法.实现对数据库系统现有测试用例的自动规范,为进一步的测试用例自动生成研究奠定了基础.最后以MySQL的测试框架为实例,验证该算法的可行性.