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.展开更多
美国Borland公司推出的重量型C^(++)语言软件包——Borland C^(++)3.1 Application Framework(应用程序框架),是DOS和Windows环境下程序设计的理想软件平台。一、运行环境与组成成分Borland C^(++)3.1&AF软件包安装后所占用的硬盘...美国Borland公司推出的重量型C^(++)语言软件包——Borland C^(++)3.1 Application Framework(应用程序框架),是DOS和Windows环境下程序设计的理想软件平台。一、运行环境与组成成分Borland C^(++)3.1&AF软件包安装后所占用的硬盘空间约50MB。其运行环境是386或以上机型,至少需配置1MB扩充内存,MS DOS 3.0或以上版本,MSWindows 3.0或以上版本,另外至少需要5～6MB的硬盘空间用于磁盘切换(Swap)。C^(++)3.1&AF软件包由两大部分组成:Borland C^(++)3.1 for DOS(基于DOS的C^(++)编译器及其工具)和Borland C^(++)3.1 for Windows(基于Windows的C^(++)编译器及其工具)。具体包括:C^(++)IDE/CMD for DOS基于DOS的C^(++)集成开发环境和命令行形式程序;C^(++)IDE for Windows基于Windows的C^(++)展开更多
基金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.
文摘美国Borland公司推出的重量型C^(++)语言软件包——Borland C^(++)3.1 Application Framework(应用程序框架),是DOS和Windows环境下程序设计的理想软件平台。一、运行环境与组成成分Borland C^(++)3.1&AF软件包安装后所占用的硬盘空间约50MB。其运行环境是386或以上机型,至少需配置1MB扩充内存,MS DOS 3.0或以上版本,MSWindows 3.0或以上版本,另外至少需要5～6MB的硬盘空间用于磁盘切换(Swap)。C^(++)3.1&AF软件包由两大部分组成:Borland C^(++)3.1 for DOS(基于DOS的C^(++)编译器及其工具)和Borland C^(++)3.1 for Windows(基于Windows的C^(++)编译器及其工具)。具体包括:C^(++)IDE/CMD for DOS基于DOS的C^(++)集成开发环境和命令行形式程序;C^(++)IDE for Windows基于Windows的C^(++)
