Dear Editor,I am Dr.Ji-Hong Wu,from the Department of Ophthalmology,Eye&ENT Hospital of Fudan University,China.I write to present a case report of retinitis pigmentosa(RP)caused by novel digenic heterozygous mutati...Dear Editor,I am Dr.Ji-Hong Wu,from the Department of Ophthalmology,Eye&ENT Hospital of Fudan University,China.I write to present a case report of retinitis pigmentosa(RP)caused by novel digenic heterozygous mutations in a Chinese family.展开更多
Non-crop habitats may play a vital role in conservation biological control. This study tested the effect of ryegrass (Lolium multiflorum L.) strips on aphid and la- dybird populations in adjacent winter wheat fields...Non-crop habitats may play a vital role in conservation biological control. This study tested the effect of ryegrass (Lolium multiflorum L.) strips on aphid and la- dybird populations in adjacent winter wheat fields. The field experiment was conducted in three ryegrass-margin wheat plots and three control plots in 2010 in North China. In spring, the same aphid species, Sitobion miscanthi (Takahashi), was found in both the ryegrass strips and wheat plots. The population density of ladybirds in the ryegrass strips (3.5 4- 0.9/m2) was significantly higher than in the wheat plots (1.5 4- 0.5/m2). We cut the ryegrass, forcing the ladybirds to migrate to the wheat fields. Three and eight days after cutting the ryegrass, the aphid numbers in the ryegrass-margin wheat plots decreased significantly: they were 19.9% and 53.6%, respectively, lower than in control plots. In the early period of ladybird population development, the percentage of larvae was greater in the ryegrass-margin wheat plots than in controls, and the peak number of pupae in the ryegrass-margin wheat plots occurred 5 days earlier than in the control plots. The results suggest that ryegrass strips may promote the development of ladybird populations. Cutting ryegrass can manipulate ladybirds to enhance biological aphid control in wheat fields. The efficiency of this management approach is discussed.展开更多
Static buffer overflow detection techniques tend to report too many false positives fundamentally due to the lack of software execution information. It is very time consuming to manually inspect all the static warning...Static buffer overflow detection techniques tend to report too many false positives fundamentally due to the lack of software execution information. It is very time consuming to manually inspect all the static warnings. In this paper, we propose BovInspector, a framework for automatically validating static buffer overflow warnings and providing suggestions for automatic repair of true buffer overflow warnings for C programs. Given the program source code and the static buffer overflow warnings, BovInspector first performs warning reachability analysis. Then, BovInspector executes the source code symbolically under the guidance of reachable warnings. Each reachable warning is validated and classified by checking whether all the path conditions and the buffer overflow constraints can be satisfied simultaneously. For each validated true warning, BovInspector provides suggestions to automatically repair it with 11 repair strategies. BovInspector is complementary to prior static buffer overflow discovery schemes. Experimental results on real open source programs show that BovInspector can automatically validate on average 60% of total warnings reported by static tools.展开更多
基金Supported by National Natural Science Foun-dation of China(No.81470623No.81470624+1 种基金No.81470625)National Key Basic Research Program of China(No.2013 CB967503)
文摘Dear Editor,I am Dr.Ji-Hong Wu,from the Department of Ophthalmology,Eye&ENT Hospital of Fudan University,China.I write to present a case report of retinitis pigmentosa(RP)caused by novel digenic heterozygous mutations in a Chinese family.
文摘Non-crop habitats may play a vital role in conservation biological control. This study tested the effect of ryegrass (Lolium multiflorum L.) strips on aphid and la- dybird populations in adjacent winter wheat fields. The field experiment was conducted in three ryegrass-margin wheat plots and three control plots in 2010 in North China. In spring, the same aphid species, Sitobion miscanthi (Takahashi), was found in both the ryegrass strips and wheat plots. The population density of ladybirds in the ryegrass strips (3.5 4- 0.9/m2) was significantly higher than in the wheat plots (1.5 4- 0.5/m2). We cut the ryegrass, forcing the ladybirds to migrate to the wheat fields. Three and eight days after cutting the ryegrass, the aphid numbers in the ryegrass-margin wheat plots decreased significantly: they were 19.9% and 53.6%, respectively, lower than in control plots. In the early period of ladybird population development, the percentage of larvae was greater in the ryegrass-margin wheat plots than in controls, and the peak number of pupae in the ryegrass-margin wheat plots occurred 5 days earlier than in the control plots. The results suggest that ryegrass strips may promote the development of ladybird populations. Cutting ryegrass can manipulate ladybirds to enhance biological aphid control in wheat fields. The efficiency of this management approach is discussed.
基金This work was supported by the National Natural Science Foundation of China under Grant No.62032010partially by the Postgraduate Research and Practice Innovation Program of Jiangsu Province of China.
文摘Static buffer overflow detection techniques tend to report too many false positives fundamentally due to the lack of software execution information. It is very time consuming to manually inspect all the static warnings. In this paper, we propose BovInspector, a framework for automatically validating static buffer overflow warnings and providing suggestions for automatic repair of true buffer overflow warnings for C programs. Given the program source code and the static buffer overflow warnings, BovInspector first performs warning reachability analysis. Then, BovInspector executes the source code symbolically under the guidance of reachable warnings. Each reachable warning is validated and classified by checking whether all the path conditions and the buffer overflow constraints can be satisfied simultaneously. For each validated true warning, BovInspector provides suggestions to automatically repair it with 11 repair strategies. BovInspector is complementary to prior static buffer overflow discovery schemes. Experimental results on real open source programs show that BovInspector can automatically validate on average 60% of total warnings reported by static tools.