Presents the fin-propeller test set-up to solve the problem of roll stabilization with ships in full speed range, withwhich, tests were run in water rank for acquisition of data, and concludes from data acquired that ...Presents the fin-propeller test set-up to solve the problem of roll stabilization with ships in full speed range, withwhich, tests were run in water rank for acquisition of data, and concludes from data acquired that the fin-propeller test set-up produces more lift than simple fin, and provides lateral thrust as well, and it is therefore an effective roll stabilization devicefor ships in full speed range.展开更多
The digital substation system consists of an Intelligent Electronic Device (IED) which requires information for the supervision, protection, and control, as well as a client operating system for substation operation. ...The digital substation system consists of an Intelligent Electronic Device (IED) which requires information for the supervision, protection, and control, as well as a client operating system for substation operation. IEC 61850 communication standard has been defined for information exchange between heterogeneous digital devices in such substations. Currently, the Korea Electric Power Corporation (KEPCO) digital substation system uses unbuffered reporting and Generic Object Oriented Substation Events (GOOSE) communication functions for monitoring, protection and control automation. However, it is expected that the Setting Group function will be needed to operate adaptive intelligent substation system. The Setting Group function is advantageous in that it is possible to change the setting of the IED in one unified way through the client operating system, rather than changing the correction value of an IED through different manufacturer-based engineering tools. In order to utilize the Setting Group function of the IED in real substation scenario, it is necessary to test both the communication function with the host operating device and the electric functional test to ensure that correction value is properly changed. In this paper, we introduce the IEC 61850 Setting Group function, and propose a method that can integrate communication function and electrical function test of an IED conforming to the setting group functionality. We also tested the Setting Group function of the actual IED device through the proposed integrated functional test method and analyzed the results. We were able to simplify the process of testing both the electrical and communication signals in digital substations.展开更多
The relativity of instructions of motor control digital signal processor (MCDSP) in the design is analyzed. A method for obtaining a minimum instruction set in plac e of the complete instruction set during generatio...The relativity of instructions of motor control digital signal processor (MCDSP) in the design is analyzed. A method for obtaining a minimum instruction set in plac e of the complete instruction set during generation of testing procedures is giv en in terms of the processor presentation matrix between micro-operators and in structions of MCDSP.展开更多
To verify the effectiveness and correctness of the protection settings in ring structure Shipboard Power System (SPS), a digital-physical hybrid simulation platform at China Ship Development and Design Center (CSDDC) ...To verify the effectiveness and correctness of the protection settings in ring structure Shipboard Power System (SPS), a digital-physical hybrid simulation platform at China Ship Development and Design Center (CSDDC) has been built, which aims to give double verification effect of design scheme and physical device. The platform consists of eMEGAsim digital simulator, signal power amplifiers and digital-analog interface equipments. With this platform, the multiple protection device of ring structure grid can be accessed to form a close-loop test system. Since eMEGAsim model-simulated faults and actual protection device actions are on real time, the tripping settings of each device as well as their coordinate performance between multiple devices can be verified in this close-loop test.展开更多
In software testing, many troublesome faults are caused by interaction of input parameters. If automatic efficient test-case generator（AETG）, in parameter order（IPO） or orthogonal Latin square is used in the softw...In software testing, many troublesome faults are caused by interaction of input parameters. If automatic efficient test-case generator（AETG）, in parameter order（IPO） or orthogonal Latin square is used in the software system under test, the whole test set cannot be run completely due to time or budget constraints. In this paper, according to the number of parameter k and their values n, a software system under test can be divided into four types. As for k-2 system, an algorithm was proposed to construct test rases, based on the longitudinal binary string set and method of controlling variables. As for k-n valued parameters whose n was a prime or power of prime, a method of covering array of test sets was designed to construct test sets by taking orthogonal array and derive arrays from orthogonal array and two useful conditions. As for k parameters whose n-value was not all equal, an experience algorithm was presented in this paper. The experimental results show that the size of test sets from the proposed methods is better than that from AETG, IPO, and orthogonal Latin square.展开更多
大语言模型(Large Language Model, LLM),尤其是一些预训练的深度神经网络,拥有强大的表征学习能力,不仅能学习典型的软件缺陷,还能够深度分析软件隐含的缺陷,给出风险提示和改进建议。大模型的应用,使得测试方法和流程更加智能化,且能...大语言模型(Large Language Model, LLM),尤其是一些预训练的深度神经网络,拥有强大的表征学习能力,不仅能学习典型的软件缺陷,还能够深度分析软件隐含的缺陷,给出风险提示和改进建议。大模型的应用,使得测试方法和流程更加智能化,且能够发现之前难以捕捉的复杂缺陷。航天器软件以其独特性、专业性、复杂性、高可靠性、高安全性的特点,需要通过专业的方法训练专业的大模型来满足航天嵌入式软件测试的需要。研究表明,大模型结合有效的测试方法形成的完备思维链(Chain of Thought, Cot)可以有效提高软件缺陷检出率。将测试专家的思维和大模型相结合,用专家思维链引导大模型查找软件缺陷,在提示词中增加测试专家的思维链可以有效提升软件缺陷检出效率,保证软件质量,显著提升测试团队的整体专业水平。展开更多
In this paper the structure-based test generation algorithm has been studied for the problem that test patterns are obtained by determined finite faults set in the past. This Algorithm can find out all test patterns o...In this paper the structure-based test generation algorithm has been studied for the problem that test patterns are obtained by determined finite faults set in the past. This Algorithm can find out all test patterns one tithe, so faults detection is very convenient. By simulation, the smallest test patterns set can be obtained and faults coverage rate is 100%.展开更多
Image segmentation is a key and fundamental problem in image processing,computer graphics,and computer vision.Level set based method for image segmentation is used widely for its topology flexibility and proper mathem...Image segmentation is a key and fundamental problem in image processing,computer graphics,and computer vision.Level set based method for image segmentation is used widely for its topology flexibility and proper mathematical formulation.However,poor performance of existing level set models on noisy images and weak boundary limit its application in image segmentation.In this paper,we present a region consistency constraint term to measure the regional consistency on both sides of the boundary,this term defines the boundary of the image within a range,and hence increases the stability of the level set model.The term can make existing level set models significantly improve the efficiency of the algorithms on segmenting images with noise and weak boundary.Furthermore,this constraint term can make edge-based level set model overcome the defect of sensitivity to the initial contour.The experimental results show that our algorithm is efficient for image segmentation and outperform the existing state-of-art methods regarding images with noise and weak boundary.展开更多
Computer administering of a psychological investigation is the computer representation of the entire procedure of psychological assessments—test construction, test implementation, results evaluation, storage and main...Computer administering of a psychological investigation is the computer representation of the entire procedure of psychological assessments—test construction, test implementation, results evaluation, storage and maintenance of the developed database, its statistical processing, analysis and interpretation. A mathematical description of psychological assessment with the aid of personality tests is discussed in this article. The set theory and the relational algebra are used in this description. A relational model of data, needed to design a computer system for automation of certain psychological assessments is given. Some finite sets and relation on them, which are necessary for creating a personality psychological test, are described. The described model could be used to develop real software for computer administering of any psychological test and there is full automation of the whole process: test construction, test implementation, result evaluation, storage of the developed database, statistical implementation, analysis and interpretation. A software project for computer administering personality psychological tests is suggested.展开更多
文摘Presents the fin-propeller test set-up to solve the problem of roll stabilization with ships in full speed range, withwhich, tests were run in water rank for acquisition of data, and concludes from data acquired that the fin-propeller test set-up produces more lift than simple fin, and provides lateral thrust as well, and it is therefore an effective roll stabilization devicefor ships in full speed range.
文摘The digital substation system consists of an Intelligent Electronic Device (IED) which requires information for the supervision, protection, and control, as well as a client operating system for substation operation. IEC 61850 communication standard has been defined for information exchange between heterogeneous digital devices in such substations. Currently, the Korea Electric Power Corporation (KEPCO) digital substation system uses unbuffered reporting and Generic Object Oriented Substation Events (GOOSE) communication functions for monitoring, protection and control automation. However, it is expected that the Setting Group function will be needed to operate adaptive intelligent substation system. The Setting Group function is advantageous in that it is possible to change the setting of the IED in one unified way through the client operating system, rather than changing the correction value of an IED through different manufacturer-based engineering tools. In order to utilize the Setting Group function of the IED in real substation scenario, it is necessary to test both the communication function with the host operating device and the electric functional test to ensure that correction value is properly changed. In this paper, we introduce the IEC 61850 Setting Group function, and propose a method that can integrate communication function and electrical function test of an IED conforming to the setting group functionality. We also tested the Setting Group function of the actual IED device through the proposed integrated functional test method and analyzed the results. We were able to simplify the process of testing both the electrical and communication signals in digital substations.
文摘The relativity of instructions of motor control digital signal processor (MCDSP) in the design is analyzed. A method for obtaining a minimum instruction set in plac e of the complete instruction set during generation of testing procedures is giv en in terms of the processor presentation matrix between micro-operators and in structions of MCDSP.
文摘To verify the effectiveness and correctness of the protection settings in ring structure Shipboard Power System (SPS), a digital-physical hybrid simulation platform at China Ship Development and Design Center (CSDDC) has been built, which aims to give double verification effect of design scheme and physical device. The platform consists of eMEGAsim digital simulator, signal power amplifiers and digital-analog interface equipments. With this platform, the multiple protection device of ring structure grid can be accessed to form a close-loop test system. Since eMEGAsim model-simulated faults and actual protection device actions are on real time, the tripping settings of each device as well as their coordinate performance between multiple devices can be verified in this close-loop test.
基金National Natural Science Foundation of China ( No. 61073163)Project of Science and Technology Commission of Shanghai Municipality,China ( No. 09220503000)
文摘In software testing, many troublesome faults are caused by interaction of input parameters. If automatic efficient test-case generator（AETG）, in parameter order（IPO） or orthogonal Latin square is used in the software system under test, the whole test set cannot be run completely due to time or budget constraints. In this paper, according to the number of parameter k and their values n, a software system under test can be divided into four types. As for k-2 system, an algorithm was proposed to construct test rases, based on the longitudinal binary string set and method of controlling variables. As for k-n valued parameters whose n was a prime or power of prime, a method of covering array of test sets was designed to construct test sets by taking orthogonal array and derive arrays from orthogonal array and two useful conditions. As for k parameters whose n-value was not all equal, an experience algorithm was presented in this paper. The experimental results show that the size of test sets from the proposed methods is better than that from AETG, IPO, and orthogonal Latin square.
文摘大语言模型(Large Language Model, LLM),尤其是一些预训练的深度神经网络,拥有强大的表征学习能力,不仅能学习典型的软件缺陷,还能够深度分析软件隐含的缺陷,给出风险提示和改进建议。大模型的应用,使得测试方法和流程更加智能化,且能够发现之前难以捕捉的复杂缺陷。航天器软件以其独特性、专业性、复杂性、高可靠性、高安全性的特点,需要通过专业的方法训练专业的大模型来满足航天嵌入式软件测试的需要。研究表明,大模型结合有效的测试方法形成的完备思维链(Chain of Thought, Cot)可以有效提高软件缺陷检出率。将测试专家的思维和大模型相结合,用专家思维链引导大模型查找软件缺陷,在提示词中增加测试专家的思维链可以有效提升软件缺陷检出效率,保证软件质量,显著提升测试团队的整体专业水平。
文摘In this paper the structure-based test generation algorithm has been studied for the problem that test patterns are obtained by determined finite faults set in the past. This Algorithm can find out all test patterns one tithe, so faults detection is very convenient. By simulation, the smallest test patterns set can be obtained and faults coverage rate is 100%.
基金supported in part by the NSFC-Zhejiang Joint Fund of the Integration of Informatization and Industrialization(U1609218)NSFC(61772312,61373078,61772253)+1 种基金the Key Research and Development Project of Shandong Province(2017GGX10110)NSF of Shandong Province(ZR2016FM21,ZR2016FM13)
文摘Image segmentation is a key and fundamental problem in image processing,computer graphics,and computer vision.Level set based method for image segmentation is used widely for its topology flexibility and proper mathematical formulation.However,poor performance of existing level set models on noisy images and weak boundary limit its application in image segmentation.In this paper,we present a region consistency constraint term to measure the regional consistency on both sides of the boundary,this term defines the boundary of the image within a range,and hence increases the stability of the level set model.The term can make existing level set models significantly improve the efficiency of the algorithms on segmenting images with noise and weak boundary.Furthermore,this constraint term can make edge-based level set model overcome the defect of sensitivity to the initial contour.The experimental results show that our algorithm is efficient for image segmentation and outperform the existing state-of-art methods regarding images with noise and weak boundary.
文摘Computer administering of a psychological investigation is the computer representation of the entire procedure of psychological assessments—test construction, test implementation, results evaluation, storage and maintenance of the developed database, its statistical processing, analysis and interpretation. A mathematical description of psychological assessment with the aid of personality tests is discussed in this article. The set theory and the relational algebra are used in this description. A relational model of data, needed to design a computer system for automation of certain psychological assessments is given. Some finite sets and relation on them, which are necessary for creating a personality psychological test, are described. The described model could be used to develop real software for computer administering of any psychological test and there is full automation of the whole process: test construction, test implementation, result evaluation, storage of the developed database, statistical implementation, analysis and interpretation. A software project for computer administering personality psychological tests is suggested.
