陕南山地烟田不同植烟年限土壤养分的变化

为给陕南山地烟草生产布局及有针对性的施肥措施提供依据,分析了陕南山地烟田不同植烟年限(0~15年)与土壤养分含量的关系。结果表明:随着植烟年限延长,有机质线性下降,全氮和速效钾显著上升,有效磷先上升后下降;氯、有效铁、有效锰、有效硼和有效铜无显著变化或变化很小,有效锌则在第1年急剧下降,之后保持稳定,10年后再次显著下降。认为陕南山地烟区烟叶生产中应适当增加有机肥的施用而合理控制氮肥、磷肥和钾肥的施用,并要注意锌肥的补充。     

The ‘Hoare logic’ of concurrent programs

Summary Hoare's logical system for specifying and proving partial correctness properties of sequential programs is generalized to concurrent programs. The basic idea is to define the assertion {P} S {Q} to mean that if execution is begun anywhere in S with P true, then P will remain true until S terminates, and Q will be true if and when S terminates. The predicates P and Q may depend upon program control locations as well as upon the values of variables. A system of inference rules and axiom schemas is given, and a formal correctness proof for a simple program is outlined. We show that by specifying certain requirements for the unimplemented parts, correctness properties can be proved without completely implementing the program. The relation to Pnueli's temporal logic formalism is also discussed.     

基于虚拟分割机制的多服务交换路由器的研究

本文提出了一处基于虚拟分割机制的可编程多服务器由器实现结构：PVSMR，并对它的三个层面的主要构成及其关键技术进行了深入研究。PVSMR基于一种有效而灵活的资源虚拟分割算法，它能够提供与多类应用相适应的、灵活的报文处理和转发控制能力。     

SlideBar: Analysis of a linear input device

The SlideBar is a physical linear input device for absolute position control of 1° of freedom, consisting of a physical slider with a graspable knob positioned near or attached to the keyboard. Its range of motion is directly mapped to a one dimensional input widget such as a scrollbar. The SlideBar provides absolute position control in one dimension, is usable in the non-dominant hand in conjunction with a pointing device, and offers constrained passive haptic feedback. These characteristics make the device appropriate for the common class of tasks characterized by one-dimensional input and constrained range of operation. An empirical study of three devices (SlideBar, mouse controlled scrollbar, and mousewheel) shows that for common scrolling tasks, the SlideBar has a significant advantage over a standard mouse controlled scrollbar in user preference. In addition, users tended to prefer it over the mousewheel (without statistical significance).     

The carcinogenicity of environmental tobacco smoke

Male strain A/J mice were exposed for 6 h a day, 5 days a week to environmental tobacco smoke (ETS) generated from Kentucky 1R4F reference cigarettes. Chamber concentrations were 87 mg/m3 of total suspended particulate matter (TSP), 246 p.p.m. of CO and 16 mg/m3 of nicotine. After 5 months, 33% of the ETS exposed and 11% of the control animals had one or several lung tumors; the difference was statistically not significant. A second group of animals exposed for 5 months to ETS was allowed to recover for another 4 months in filtered air. When they were killed, 85% of the ETS animals had lung tumors (average number per lung: 1.4 +/- 0.2), whereas in the control group 38% had lung tumors (average number of lung tumors in all animals 0.5 +/- 0.2). The differences in tumor incidence and multiplicity were statistically significant. More than 80% of all tumors were adenomas, the rest adenocarcinomas. When animals were pretreated with a carcinogen, lung tumor multiplicity was lower in the ETS exposed animals after 5 months compared with controls injected with a carcinogen and kept in air. However, after an additional 4 month recovery period in air, lung tumor multiplicities were the same in ETS plus carcinogen exposed mice as in carcinogen-treated air-exposed controls. Histopathologic and morphometric analysis of the lung tissue failed to reveal any differences between ETS exposed and control animals. However, immediately after ETS exposure, immunohistochemistry revealed increased staining for CYP1A1 in airway epithelia and lung parenchyma; following recovery in air, the staining disappeared again. Analysis of cell kinetics showed an initial burst of increased DNA synthesis in the epithelial cells of the airways and a smaller early positive response in the parenchyma. Feeding of butylated hydroxytoluene during ETS exposure did not modulate lung tumor development. It was concluded that ETS is a pulmonary carcinogen in strain A/J mice.     

Detection of congenital müllerian duct anomalies using three-dimensional ultrasound

PURPOSE: The purpose of this study was to assess the value of 3-dimensional sonography in the diagnosis of congenital müllerian duct anomalies, which cause infertility, preterm labor, and first trimester abortion. METHODS: A prospective study was undertaken in which 40 patients with histories of repeated spontaneous abortions or infertility were first examined using conventional 2-dimensional sonography or hysterosalpingography. Three-dimensional transvaginal sonography was then performed. RESULTS: Twenty-eight women had müllerian duct abnormalities, and 12 women had normal uterine anatomy. Müllerian duct defects detected in this study were unicornuate uterus (3), bicornuate uterus (3), complete or partial septate uterus (12), arcuate uterus (9), and didelphic uterus (1). The diagnosis of müllerian duct anomalies in these patients was confirmed by laparoscopic and/or hysteroscopic examinations. Three-dimensional sonography demonstrated all congenital uterine abnormalities with a sensitivity and specificity of 100%. Separate uterus and bicornuate uterus could be correctly diagnosed using 3-dimensional sonography in 11 (92%) of 12 cases and 3 (100%) of 3 cases, respectively. These 2 abnormalities were commonly confused with each other using hysterosalpingography and conventional sonography. CONCLUSIONS: Three-dimensional sonography with image reconstruction is less expensive and less invasive than hysterosalpingography for the assessment of uterine anatomy and diagnosis of müllerian duct abnormalities. The ability to visualize both the uterine cavity and the myometrium on a 3-dimensional scan facilitates the diagnosis of uterine anomalies and enables the differentiation of septate from bicornuate uteri for preoperative surgical planning.