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.展开更多
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.
基金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.
