Designing and optimizing complex scientific code for new computing architectures is a challenging task. To address this issue in the E3SM land model (ELM) development, we developed a software tool called SPEL, which f...Designing and optimizing complex scientific code for new computing architectures is a challenging task. To address this issue in the E3SM land model (ELM) development, we developed a software tool called SPEL, which facilitates code generation, verification, and performance tuning using compiler directives within a Function Unit Test framework. In this paper, we present a SPEL extension that leverages the version control system (e.g., Git) to autonomous code generation and demonstrate its application to continuous code integration and development of the ELM software system. The study can benefit the scientific software development community.展开更多
Although static program analysis methods are frequently employed to enhance software quality,their efficiency in commercial settings is limited by their high false positive rate.The EUGENE tool can effectively lower t...Although static program analysis methods are frequently employed to enhance software quality,their efficiency in commercial settings is limited by their high false positive rate.The EUGENE tool can effectively lower the false positive rate.However,in continuous integration(CI)environments,the code is always changing,and user feedback from one version of the software cannot be applied to a subsequent version.Additionally,people find it difficult to distinguish between true positives and false positives in the analytical output.In this study,we developed the EUGENE-CI technique to address the CI problem and the EUGENE-rank lightweight heuristic algorithm to rate the reports of the analysis output in accordance with the likelihood that they are true positives.On the three projects ethereum,go-cloud,and kubernetes,we assessed our methodologies.According to the trial findings,EUGENE-CI may drastically reduce false positives while EUGENE-rank can make it much easier for users to identify the real positives among a vast number of reports.We paired our techniques with GoInsight~1 and discovered a vulnerability.We also offered a patch to the community.展开更多
A winding system is a time-varying system that considers complex nonlinear characteristics,and how to control the stability of the winding tension during the winding process is the primary problem that has hindered de...A winding system is a time-varying system that considers complex nonlinear characteristics,and how to control the stability of the winding tension during the winding process is the primary problem that has hindered development in this field in recent years.Many nonlinear factors affect the tension in the winding process,such as friction,structured uncertainties,unstructured uncertainties,and external interference.These terms severely restrict the tension tracking performance.Existing tension control strategies are mainly based on the composite control of the tension and speed loops,and previous studies involve complex decoupling operations.Owing to the large number of calculations required for this method,it is inconvenient for practical engineering applications.To simplify the tension generation mechanism and the influence of the nonlinear characteristics of the winding system,a simpler nonlinear dynamic model of the winding tension was established.An adaptive method was applied to update the feedback gain of the continuous robust integral of the sign of the error(RISE).Furthermore,an extended state observer was used to estimate modeling errors and external disturbances.The model disturbance term can be compensated for in the designed RISE controller.The asymptotic stability of the system was proven according to the Lyapunov stability theory.Finally,a comparative analysis of the proposed nonlinear controller and several other controllers was performed.The results indicated that the control of the winding tension was significantly enhanced.展开更多
The relationship between major quality tools such as quality function development (QFD), failure mode and effects analysis (FMEA), design of experiments (DOE) and statistical process control (SPC) is analyzed ...The relationship between major quality tools such as quality function development (QFD), failure mode and effects analysis (FMEA), design of experiments (DOE) and statistical process control (SPC) is analyzed through an extensive review of the literature and the concurrent quality engineering philosophy, and a basic structure for the integration of quality tools is presented. An integrated quality management system (IQMS) is developed using C++ Builder, running in the Windows 2000 Server environment with the basic internet connections, and SQL Server 2000 as the platform for developing the database, An illustrative example applying IQMS to the continuous quality improvement for a crane equipment manufacturing is reported. The result shows that the application of IQMS can optimize the process of design and manufacturing, shorten the cycle time of product, reduce the cost, and realize quality improvement continuously, The proposed integrated framework with IOMS is believed to be applicable to continuous quality improvement in many manufacturing companies.展开更多
This study investigated how the mode in which the reading-writing integrated continuation task was conducted modulates the effects of second language(L2) syntactic alignment, through the English motion event construct...This study investigated how the mode in which the reading-writing integrated continuation task was conducted modulates the effects of second language(L2) syntactic alignment, through the English motion event construction with manner verbs. Ninety Chinese students were assigned to either of the two experimental groups or a control group, and they all experienced a pretest, an alignment phase and a posttest. In the alignment phase, the two experimental groups completed a reading-writing integrated continuation task but in different modes. For the multi-turn mode,participants reconstructed a picture story by continuing the episodes extracted from the story with one episode presented and continued at a time;for the single-turn mode, the first half of the same picture story was presented as a chunk, and then participants read and continued it. Results show that L2 learners aligned with the target structure in completing the story, and the alignment effect was retained in the posttest conducted after a delay of two weeks. Moreover, syntactic alignment was modulated by task mode with the multi-turn group exhibiting stronger immediate and longterm alignment effects. We conclude that the continuation task is a fruitful context for L2 structural alignment, and the magnitude of alignment effect hinges on interactive intensity.展开更多
The research and application of airborne gravimetry technology has become one of the hottest topics in gravity field in recent years. Downward continuation is one of the key steps in airborne gravimetry data processin...The research and application of airborne gravimetry technology has become one of the hottest topics in gravity field in recent years. Downward continuation is one of the key steps in airborne gravimetry data processing, and the quality of continuation results directly influence the further application of surveying data. The Poisson integral iteration method is proposed in this paper, and the modified Poisson integral discretization formulae are also introduced in the downward continuation of airborne gravimerty data. For the test area in this paper, compared with traditional Poisson integral discretization formula, the continuation result of modified formulae is improved by 10.8 mGal, and the precision of Poisson integral iteration method is in the same amplitude as modified formulae. So the Poisson integral iteration method can reduce the discretization error of Poisson integral formula effectively. Therefore, the research achievements in this paper can be applied directly in the data processing of our country's airborne scalar and vector gravimetry.展开更多
Abstract: In the light of an increasing software complexity, many product variants and challenging market conditions, the automotive industry focuses two mitigation approaches: development processes and SW (softwar...Abstract: In the light of an increasing software complexity, many product variants and challenging market conditions, the automotive industry focuses two mitigation approaches: development processes and SW (software) architecture are standardized while model-driven software development technologies are progressively applied for series development. However, software architecture is subject to a continuous shift of requirements and boundary conditions. At the same time, process standards ensure necessary quality but also cause a dramatic increase of the SW development effort. There exists a methodical gap between process and market requirements on one hand and reusable standardized software functions with a high quality on the other. In this paper, an approach is presented that aims for the continuous extension of powertrain control software with increasing quality based on existing boundary conditions and a consequent methodical extension of existing technical concepts. We address this by the development of a sustainable software architecture which enables the safeguarding of consistent design principles and thus higher development efficiency. Moreover, it opens the door to a comprehensive quality assurance concept based on the agile software development principle Continuous Integration. Finally, the feasibility of this approach and software quality assessment results are shown by the application for a gasoline engine in the vehicle.展开更多
A Bernstein type theorem and a converse theorem of best approximation by polynomials in Bergman spaces Hq^p(p>0,q>1) are proved.Some proofs and results in [1] are in proved.
In this paper, we first propose a metamaterial structure by etching the same two interdigital fingers on the upper ground of quarter mode substrate integrated waveguide(QMSIW). The simulated results show that the pr...In this paper, we first propose a metamaterial structure by etching the same two interdigital fingers on the upper ground of quarter mode substrate integrated waveguide(QMSIW). The simulated results show that the proposed QMSIWbased metamaterial has a continuous phase constant changing from negative to positive values within its passband. A periodic leaky-wave antenna(LWA), which consists of 11 QMSIW-based metamaterial unit cells, is designed, fabricated,and measured. The measured results show that the fabricated antenna achieves a continuous beam scanning property from backward-43° to forward +32° over an operating frequencyrange of 8.9 GHz–11.8 GHz with return loss better than 10 d B.The measured antenna gain keeps consistent with the variation of less than 2 d B over the operating frequency range with a maximum gain of 12 d B. Besides, the measured and simulated results are in good agreement with each other, indicating the significance and effectiveness of this method.展开更多
文摘Designing and optimizing complex scientific code for new computing architectures is a challenging task. To address this issue in the E3SM land model (ELM) development, we developed a software tool called SPEL, which facilitates code generation, verification, and performance tuning using compiler directives within a Function Unit Test framework. In this paper, we present a SPEL extension that leverages the version control system (e.g., Git) to autonomous code generation and demonstrate its application to continuous code integration and development of the ELM software system. The study can benefit the scientific software development community.
基金the Project"Research on the protection technology of endogenous safety for industrial control system"supported by National Science and Technology Major Project(2016YFB08002)。
文摘Although static program analysis methods are frequently employed to enhance software quality,their efficiency in commercial settings is limited by their high false positive rate.The EUGENE tool can effectively lower the false positive rate.However,in continuous integration(CI)environments,the code is always changing,and user feedback from one version of the software cannot be applied to a subsequent version.Additionally,people find it difficult to distinguish between true positives and false positives in the analytical output.In this study,we developed the EUGENE-CI technique to address the CI problem and the EUGENE-rank lightweight heuristic algorithm to rate the reports of the analysis output in accordance with the likelihood that they are true positives.On the three projects ethereum,go-cloud,and kubernetes,we assessed our methodologies.According to the trial findings,EUGENE-CI may drastically reduce false positives while EUGENE-rank can make it much easier for users to identify the real positives among a vast number of reports.We paired our techniques with GoInsight~1 and discovered a vulnerability.We also offered a patch to the community.
基金Supported by National Key R&D Program of China (Grant No.2018YFB2000702)National Natural Science Foundation of China (Grant No.52075262)Fok Ying-Tong Education Foundation of China (Grant No.171044)。
文摘A winding system is a time-varying system that considers complex nonlinear characteristics,and how to control the stability of the winding tension during the winding process is the primary problem that has hindered development in this field in recent years.Many nonlinear factors affect the tension in the winding process,such as friction,structured uncertainties,unstructured uncertainties,and external interference.These terms severely restrict the tension tracking performance.Existing tension control strategies are mainly based on the composite control of the tension and speed loops,and previous studies involve complex decoupling operations.Owing to the large number of calculations required for this method,it is inconvenient for practical engineering applications.To simplify the tension generation mechanism and the influence of the nonlinear characteristics of the winding system,a simpler nonlinear dynamic model of the winding tension was established.An adaptive method was applied to update the feedback gain of the continuous robust integral of the sign of the error(RISE).Furthermore,an extended state observer was used to estimate modeling errors and external disturbances.The model disturbance term can be compensated for in the designed RISE controller.The asymptotic stability of the system was proven according to the Lyapunov stability theory.Finally,a comparative analysis of the proposed nonlinear controller and several other controllers was performed.The results indicated that the control of the winding tension was significantly enhanced.
基金This project is supported by National Natural Science Foundation of China (No.70372062)Tianjin City Key Technologies R&D Program(No.04310881R)New Century Excellent Talent Program of Education Ministry of China(No.NCET-04-0240).
文摘The relationship between major quality tools such as quality function development (QFD), failure mode and effects analysis (FMEA), design of experiments (DOE) and statistical process control (SPC) is analyzed through an extensive review of the literature and the concurrent quality engineering philosophy, and a basic structure for the integration of quality tools is presented. An integrated quality management system (IQMS) is developed using C++ Builder, running in the Windows 2000 Server environment with the basic internet connections, and SQL Server 2000 as the platform for developing the database, An illustrative example applying IQMS to the continuous quality improvement for a crane equipment manufacturing is reported. The result shows that the application of IQMS can optimize the process of design and manufacturing, shorten the cycle time of product, reduce the cost, and realize quality improvement continuously, The proposed integrated framework with IOMS is believed to be applicable to continuous quality improvement in many manufacturing companies.
文摘This study investigated how the mode in which the reading-writing integrated continuation task was conducted modulates the effects of second language(L2) syntactic alignment, through the English motion event construction with manner verbs. Ninety Chinese students were assigned to either of the two experimental groups or a control group, and they all experienced a pretest, an alignment phase and a posttest. In the alignment phase, the two experimental groups completed a reading-writing integrated continuation task but in different modes. For the multi-turn mode,participants reconstructed a picture story by continuing the episodes extracted from the story with one episode presented and continued at a time;for the single-turn mode, the first half of the same picture story was presented as a chunk, and then participants read and continued it. Results show that L2 learners aligned with the target structure in completing the story, and the alignment effect was retained in the posttest conducted after a delay of two weeks. Moreover, syntactic alignment was modulated by task mode with the multi-turn group exhibiting stronger immediate and longterm alignment effects. We conclude that the continuation task is a fruitful context for L2 structural alignment, and the magnitude of alignment effect hinges on interactive intensity.
基金supported by the open foundation of State Key Laboratory of Geodesy and Earth's Dynamics(SKLGED2017-1-1-E)the National Natural Science Foundation of China(41304022, 41504018,41404020)+1 种基金the National 973 Foundation(61322201, 2013CB733303)the open foundation of Military Key Laboratory of Surveying,Mapping and Navigation of Engineering,Information Engineering University
文摘The research and application of airborne gravimetry technology has become one of the hottest topics in gravity field in recent years. Downward continuation is one of the key steps in airborne gravimetry data processing, and the quality of continuation results directly influence the further application of surveying data. The Poisson integral iteration method is proposed in this paper, and the modified Poisson integral discretization formulae are also introduced in the downward continuation of airborne gravimerty data. For the test area in this paper, compared with traditional Poisson integral discretization formula, the continuation result of modified formulae is improved by 10.8 mGal, and the precision of Poisson integral iteration method is in the same amplitude as modified formulae. So the Poisson integral iteration method can reduce the discretization error of Poisson integral formula effectively. Therefore, the research achievements in this paper can be applied directly in the data processing of our country's airborne scalar and vector gravimetry.
文摘Abstract: In the light of an increasing software complexity, many product variants and challenging market conditions, the automotive industry focuses two mitigation approaches: development processes and SW (software) architecture are standardized while model-driven software development technologies are progressively applied for series development. However, software architecture is subject to a continuous shift of requirements and boundary conditions. At the same time, process standards ensure necessary quality but also cause a dramatic increase of the SW development effort. There exists a methodical gap between process and market requirements on one hand and reusable standardized software functions with a high quality on the other. In this paper, an approach is presented that aims for the continuous extension of powertrain control software with increasing quality based on existing boundary conditions and a consequent methodical extension of existing technical concepts. We address this by the development of a sustainable software architecture which enables the safeguarding of consistent design principles and thus higher development efficiency. Moreover, it opens the door to a comprehensive quality assurance concept based on the agile software development principle Continuous Integration. Finally, the feasibility of this approach and software quality assessment results are shown by the application for a gasoline engine in the vehicle.
基金This paper is a part of the author's series of letures at the Mathematical Institute of the Hungarian Academy of Sciences while visiting Hungary sent by the state Education Committee,the People's Republic of China.
文摘A Bernstein type theorem and a converse theorem of best approximation by polynomials in Bergman spaces Hq^p(p>0,q>1) are proved.Some proofs and results in [1] are in proved.
基金Project supported by the National Natural Science Foundation of China(Grant No.61372034)
文摘In this paper, we first propose a metamaterial structure by etching the same two interdigital fingers on the upper ground of quarter mode substrate integrated waveguide(QMSIW). The simulated results show that the proposed QMSIWbased metamaterial has a continuous phase constant changing from negative to positive values within its passband. A periodic leaky-wave antenna(LWA), which consists of 11 QMSIW-based metamaterial unit cells, is designed, fabricated,and measured. The measured results show that the fabricated antenna achieves a continuous beam scanning property from backward-43° to forward +32° over an operating frequencyrange of 8.9 GHz–11.8 GHz with return loss better than 10 d B.The measured antenna gain keeps consistent with the variation of less than 2 d B over the operating frequency range with a maximum gain of 12 d B. Besides, the measured and simulated results are in good agreement with each other, indicating the significance and effectiveness of this method.