The C programming language is expressive and flexible, but not safe; as its expressive power and flexibility are obtained through unsafe language features, and improper use of these features can lead to program bugs w...The C programming language is expressive and flexible, but not safe; as its expressive power and flexibility are obtained through unsafe language features, and improper use of these features can lead to program bugs whose causes are hard to identify. Since C is widely used, and it is impractical to rewrite all existing C programs in safe languages, so ways must be found to make C programs safe. This paper deals with the unsafe features of C and presents a survey on existing solutions to make C pro- grams safe. We have studied binary-level instrumentation tools, source checkers, source-level instrumentation tools and safe dialects of C, and present a comparison of different solutions, summarized the strengths and weaknesses of different classes of solutions, and show measures that could possibly improve the accuracy or alleviate the overhead of existing solutions.展开更多
Moving analogy target is a key component of the performance testing system in TV tracking equipment. A new method is provided to produce the moving analogy target whose motion speed, track, contrast and size can be va...Moving analogy target is a key component of the performance testing system in TV tracking equipment. A new method is provided to produce the moving analogy target whose motion speed, track, contrast and size can be varied. The video signal transformed by video switching card is used to test the performances of the electronic box of TV tracking equipment. These performances include minimal tracking contrast, minimal size of tracking target, maximal tracking speed and capture time.展开更多
This paper analyzes current status of teachers＇ speaking test, applies presently mature C/S system structure and oilers a network way for teachers＇ speaking exam. We provide the whole process of design and developme...This paper analyzes current status of teachers＇ speaking test, applies presently mature C/S system structure and oilers a network way for teachers＇ speaking exam. We provide the whole process of design and development in online speaking exam, illustrate several functional designs including item bank construction, auto-generating examination paper and test paper analysis and discuss various network programming development technology during teachers＇ speaking network examination intensively. Directed by software engineering theory, the system is finally designed and realized through feasible research, requirement analysis, general design, detailed design, and tests with popular system development language and powerful database management.展开更多
This paper argues that the translation principle of ＂faithfulness, expressiveness and elegance＂ is good enough to evaluate translations of cosmetics directions and there is no need to refer to other translation prin...This paper argues that the translation principle of ＂faithfulness, expressiveness and elegance＂ is good enough to evaluate translations of cosmetics directions and there is no need to refer to other translation principles. This argument is supported by revising some poor translations of cosmetics directions.展开更多
The purpose of this paper is to complement the results by Lanzani and Stein(2017) by showing the dense definability of the Cauchy-Leray transform for the domains that give the counter-examples of Lanzani and Stein(201...The purpose of this paper is to complement the results by Lanzani and Stein(2017) by showing the dense definability of the Cauchy-Leray transform for the domains that give the counter-examples of Lanzani and Stein(2017), where L^p-boundedness is shown to fail when either the "near" C^2 boundary regularity, or the strong C-linear convexity assumption is dropped.展开更多
基金Project (No. 2003AA1Z1060) supported by the National Hi-Tech Research and Development Program (863) of China
文摘The C programming language is expressive and flexible, but not safe; as its expressive power and flexibility are obtained through unsafe language features, and improper use of these features can lead to program bugs whose causes are hard to identify. Since C is widely used, and it is impractical to rewrite all existing C programs in safe languages, so ways must be found to make C programs safe. This paper deals with the unsafe features of C and presents a survey on existing solutions to make C pro- grams safe. We have studied binary-level instrumentation tools, source checkers, source-level instrumentation tools and safe dialects of C, and present a comparison of different solutions, summarized the strengths and weaknesses of different classes of solutions, and show measures that could possibly improve the accuracy or alleviate the overhead of existing solutions.
文摘Moving analogy target is a key component of the performance testing system in TV tracking equipment. A new method is provided to produce the moving analogy target whose motion speed, track, contrast and size can be varied. The video signal transformed by video switching card is used to test the performances of the electronic box of TV tracking equipment. These performances include minimal tracking contrast, minimal size of tracking target, maximal tracking speed and capture time.
文摘This paper analyzes current status of teachers＇ speaking test, applies presently mature C/S system structure and oilers a network way for teachers＇ speaking exam. We provide the whole process of design and development in online speaking exam, illustrate several functional designs including item bank construction, auto-generating examination paper and test paper analysis and discuss various network programming development technology during teachers＇ speaking network examination intensively. Directed by software engineering theory, the system is finally designed and realized through feasible research, requirement analysis, general design, detailed design, and tests with popular system development language and powerful database management.
文摘This paper argues that the translation principle of ＂faithfulness, expressiveness and elegance＂ is good enough to evaluate translations of cosmetics directions and there is no need to refer to other translation principles. This argument is supported by revising some poor translations of cosmetics directions.
基金supported by the National Science Foundation of USA (Grant Nos. DMS1503612 (Lanzani) and DMS-1265524 (Stein))
文摘The purpose of this paper is to complement the results by Lanzani and Stein(2017) by showing the dense definability of the Cauchy-Leray transform for the domains that give the counter-examples of Lanzani and Stein(2017), where L^p-boundedness is shown to fail when either the "near" C^2 boundary regularity, or the strong C-linear convexity assumption is dropped.
