With the development of ultra-wide coverage technology,multibeam echo-sounder(MBES)system has put forward higher requirements for localization accuracy and computational efficiency of ray tracing method.The classical ...With the development of ultra-wide coverage technology,multibeam echo-sounder(MBES)system has put forward higher requirements for localization accuracy and computational efficiency of ray tracing method.The classical equivalent sound speed profile(ESSP)method replaces the measured sound velocity profile(SVP)with a simple constant gradient SVP,reducing the computational workload of beam positioning.However,in deep-sea environment,the depth measurement error of this method rapidly increases from the central beam to the edge beam.By analyzing the positioning error of the ESSP method at edge beam,it is discovered that the positioning error increases monotonically with the incident angle,and the relationship between them could be expressed by polynomial function.Therefore,an error correction algorithm based on polynomial fitting is obtained.The simulation experiment conducted on an inclined seafloor shows that the proposed algorithm exhibits comparable efficiency to the original ESSP method,while significantly improving bathymetry accuracy by nearly eight times in the edge beam.展开更多
Established system equivalences for transition systems, such as trace equivalence and failures equivalence, require the ob- servations to be exactly identical. However, an accurate measure- ment is impossible when int...Established system equivalences for transition systems, such as trace equivalence and failures equivalence, require the ob- servations to be exactly identical. However, an accurate measure- ment is impossible when interacting with the physical world, hence exact equivalence is restrictive and not robust. Using Baire met- ric, a generalized framework of transition system approximation is proposed by developing the notions of approximate language equivalence and approximate singleton failures (SF) equivalence. The framework takes the traditional exact equivalence as a special case. The approximate language equivalence is coarser than the approximate Slc equivalence, just like the hierarchy of the exact ones. The main conclusion is that the two approximate equiva- lences satisfy the transitive property, consequently, they can be successively used in transition system approximation.展开更多
Stainless steel(SS)is one of the most widely used engineering materials in marine engineering.However,its corrosion in the marine atmospheric environment due to the high concentration of Cl-is a problem.The SS corrosi...Stainless steel(SS)is one of the most widely used engineering materials in marine engineering.However,its corrosion in the marine atmospheric environment due to the high concentration of Cl-is a problem.The SS corrosion is a threat to the development and security of marine industry;therefore,evaluating the corrosion resistance of SSs is necessary.In this work,atmospheric corrosion detection probes based on a symmetrical electrode system were used to study the corrosion behaviors of 304 SS and 2205 duplex stainless steel(DSS)in a simulated marine atmosphere.A theoretical model for electrochemical noise(EN)data analysis based on the Thevenin electrochemical equivalent circuit(EEC)model was established.The relationship between the EN characteristic parameters and the corrosion rate was obtained.The Thevenin EEC model analysis showed that the relationship between the noise resistance(Rn),the noise impedance[Rsn(f)],and the impedance modulus(|Z(f)|)was Rn≈Rsn=■.Thus,Rn and Rsn can be used as indicators for quantitative corrosion evaluation.The results of EN detection for the 304 SS and 2205 DSS showed that in a simulated marine atmospheric environment,the passive fi lms on the two SSs were relatively intact at the initial exposure stage,and their dissolution rates were slow.The corrosion resistance of the 2205 DSS was higher than that of the 304 SS.With the deposition of Cl-on the SS surface,pitting was initiated and the dissolution rate increased.The pitting initiation process on the SS surface was random,and part of the active pores could be repassivated.展开更多
The paper presents a new pedagogical method for finding the Thevenin and Norton equivalent circuits of a linear electric circuit (LEC) at the n-different pairs of terminals simultaneously, regardless of the circuit to...The paper presents a new pedagogical method for finding the Thevenin and Norton equivalent circuits of a linear electric circuit (LEC) at the n-different pairs of terminals simultaneously, regardless of the circuit topology and complexity. The proposed method is appropriate for undergraduate electrical and electronic engineering students leading to straightforward solutions, mostly arrived at by inspection, so that it can be regarded as a simple and innovative calculation tool for Thevenin equivalents. Furthermore, the method is easily adapted to computer implementation. Examples illustrating the method’s scientific and pedagogical reliability, as well as real test results and statistically-sound data assessing its functionality are provided.展开更多
基金The Natural Science Foundation of Shandong Province of China under contract Nos ZR2022MA051 and ZR2020MA090the National Natural Science Foundation of China under contract No.U22A2012+2 种基金China Postdoctoral Science Foundation under contract No.2020M670891the SDUST Research Fund under contract No.2019TDJH103the Talent Introduction Plan for Youth Innovation Team in universities of Shandong Province(innovation team of satellite positioning and navigation)。
文摘With the development of ultra-wide coverage technology,multibeam echo-sounder(MBES)system has put forward higher requirements for localization accuracy and computational efficiency of ray tracing method.The classical equivalent sound speed profile(ESSP)method replaces the measured sound velocity profile(SVP)with a simple constant gradient SVP,reducing the computational workload of beam positioning.However,in deep-sea environment,the depth measurement error of this method rapidly increases from the central beam to the edge beam.By analyzing the positioning error of the ESSP method at edge beam,it is discovered that the positioning error increases monotonically with the incident angle,and the relationship between them could be expressed by polynomial function.Therefore,an error correction algorithm based on polynomial fitting is obtained.The simulation experiment conducted on an inclined seafloor shows that the proposed algorithm exhibits comparable efficiency to the original ESSP method,while significantly improving bathymetry accuracy by nearly eight times in the edge beam.
基金supported by the National Natural Science Foundation of China(1137100311461006)+4 种基金the Natural Science Foundation of Guangxi(2011GXNSFA0181542012GXNSFGA060003)the Science and Technology Foundation of Guangxi(10169-1)the Scientific Research Project from Guangxi Education Department(201012MS274)Open Research Fund Program of Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis(HCIC201301)
文摘Established system equivalences for transition systems, such as trace equivalence and failures equivalence, require the ob- servations to be exactly identical. However, an accurate measure- ment is impossible when interacting with the physical world, hence exact equivalence is restrictive and not robust. Using Baire met- ric, a generalized framework of transition system approximation is proposed by developing the notions of approximate language equivalence and approximate singleton failures (SF) equivalence. The framework takes the traditional exact equivalence as a special case. The approximate language equivalence is coarser than the approximate Slc equivalence, just like the hierarchy of the exact ones. The main conclusion is that the two approximate equiva- lences satisfy the transitive property, consequently, they can be successively used in transition system approximation.
基金the National Natural Science Foundation of China(No.51701140)。
文摘Stainless steel(SS)is one of the most widely used engineering materials in marine engineering.However,its corrosion in the marine atmospheric environment due to the high concentration of Cl-is a problem.The SS corrosion is a threat to the development and security of marine industry;therefore,evaluating the corrosion resistance of SSs is necessary.In this work,atmospheric corrosion detection probes based on a symmetrical electrode system were used to study the corrosion behaviors of 304 SS and 2205 duplex stainless steel(DSS)in a simulated marine atmosphere.A theoretical model for electrochemical noise(EN)data analysis based on the Thevenin electrochemical equivalent circuit(EEC)model was established.The relationship between the EN characteristic parameters and the corrosion rate was obtained.The Thevenin EEC model analysis showed that the relationship between the noise resistance(Rn),the noise impedance[Rsn(f)],and the impedance modulus(|Z(f)|)was Rn≈Rsn=■.Thus,Rn and Rsn can be used as indicators for quantitative corrosion evaluation.The results of EN detection for the 304 SS and 2205 DSS showed that in a simulated marine atmospheric environment,the passive fi lms on the two SSs were relatively intact at the initial exposure stage,and their dissolution rates were slow.The corrosion resistance of the 2205 DSS was higher than that of the 304 SS.With the deposition of Cl-on the SS surface,pitting was initiated and the dissolution rate increased.The pitting initiation process on the SS surface was random,and part of the active pores could be repassivated.
文摘The paper presents a new pedagogical method for finding the Thevenin and Norton equivalent circuits of a linear electric circuit (LEC) at the n-different pairs of terminals simultaneously, regardless of the circuit topology and complexity. The proposed method is appropriate for undergraduate electrical and electronic engineering students leading to straightforward solutions, mostly arrived at by inspection, so that it can be regarded as a simple and innovative calculation tool for Thevenin equivalents. Furthermore, the method is easily adapted to computer implementation. Examples illustrating the method’s scientific and pedagogical reliability, as well as real test results and statistically-sound data assessing its functionality are provided.