Java Beans is a standard for software components. For checkingthe consistency of the Java Beaus semantic constraints with its implementation,this paper proposes a formal Java Beaus Description Language (JBDL) to speci...Java Beans is a standard for software components. For checkingthe consistency of the Java Beaus semantic constraints with its implementation,this paper proposes a formal Java Beaus Description Language (JBDL) to specifycomponent semantic constraints. The JBDL logic is based on many sorted firstorder logic and Computation Tree Logic (CTL), with extension of some facilities inspecifying object oriented features. A framework for dynamic checking Java Beaussemantic constraines in JBDL form is described in this paper and some experimentalresults are showed by examples.展开更多
Compact calli derived from immature spikelet of a foxtail millet variety—Jigu 11cann’t be directly used for protoplast isolation because of its firm physical structure,and must beloosened with subculturing in M<s...Compact calli derived from immature spikelet of a foxtail millet variety—Jigu 11cann’t be directly used for protoplast isolation because of its firm physical structure,and must beloosened with subculturing in M<sub>1</sub>,M<sub>2</sub> and M<sub>3</sub> media successively and altering these media compo-sitions.The loosened calli can be selected from the regulation and used for protoplast isolationsuccessfully.Rate of protoplast division in KM<sub>8</sub>P medium was 12.3—33.5%.Calli derivedthrough protoplast division are loose and cann’t be used directly for plan regeneration because ofits soft physical structure.When they were subcultured in N<sub>6</sub>—1,N<sub>6</sub>—2,N<sub>6</sub>—3 and N<sub>6</sub>—4 media,in which the media compositions were changed,the compact calli were obtained and 129 plantletswere regenerated from them.101 plants,which grew to maturity after transplanting the plantletsinto field,exhibited sterility in some degree.Most of the subsequent lines derived from the regen-erated plants were sterile and only two lines could get normal reproduction.展开更多
Chinese traditional villages have the characteristics of both intangible and tangible cultural heritage,and are the largest cultural heritage left by farming civilization in China. Under the synchronous propulsion of ...Chinese traditional villages have the characteristics of both intangible and tangible cultural heritage,and are the largest cultural heritage left by farming civilization in China. Under the synchronous propulsion of new four modernizations and the coordinated development of urban and rural areas,the important issues we face are to protect the Chinese traditional villages,inherit the agricultural heritage,and develop the farming culture resources. There are 60 Chinese traditional villages in the Wuling Mountain area. This article introduces the Chinese traditional villages in the area,analyzes its Chinese traditional village protection and beautiful village construction,and puts forward corresponding recommendations.展开更多
Broad beans were divided into six groups and implanted with N+ beam of 30 KeV, 8 × 1016/cm2 per time for various radiating times respectively. Besides the statistics of its vigor of germination, the M1 root-tip c...Broad beans were divided into six groups and implanted with N+ beam of 30 KeV, 8 × 1016/cm2 per time for various radiating times respectively. Besides the statistics of its vigor of germination, the M1 root-tip cells of these broad beans were systematically analyzed on their changes in mitotic percentage, morphology and behavior of chromosomes, along with the structure o f cytoskeletons, including microtubule and intermediate filament. Based on all results of these studies, our opinions have been expressed in the report on the mechanism of low-energy N+ beams effecting on higher dicotyledons such as broad beau.展开更多
文摘Java Beans is a standard for software components. For checkingthe consistency of the Java Beaus semantic constraints with its implementation,this paper proposes a formal Java Beaus Description Language (JBDL) to specifycomponent semantic constraints. The JBDL logic is based on many sorted firstorder logic and Computation Tree Logic (CTL), with extension of some facilities inspecifying object oriented features. A framework for dynamic checking Java Beaussemantic constraines in JBDL form is described in this paper and some experimentalresults are showed by examples.
文摘Compact calli derived from immature spikelet of a foxtail millet variety—Jigu 11cann’t be directly used for protoplast isolation because of its firm physical structure,and must beloosened with subculturing in M<sub>1</sub>,M<sub>2</sub> and M<sub>3</sub> media successively and altering these media compo-sitions.The loosened calli can be selected from the regulation and used for protoplast isolationsuccessfully.Rate of protoplast division in KM<sub>8</sub>P medium was 12.3—33.5%.Calli derivedthrough protoplast division are loose and cann’t be used directly for plan regeneration because ofits soft physical structure.When they were subcultured in N<sub>6</sub>—1,N<sub>6</sub>—2,N<sub>6</sub>—3 and N<sub>6</sub>—4 media,in which the media compositions were changed,the compact calli were obtained and 129 plantletswere regenerated from them.101 plants,which grew to maturity after transplanting the plantletsinto field,exhibited sterility in some degree.Most of the subsequent lines derived from the regen-erated plants were sterile and only two lines could get normal reproduction.
基金Supported by Humanities and Social Sciences Planning Fund of the Ministry of Education(11YJA850019)Science and Technology Innovation Project of the Ministry of Culture(2011021)
文摘Chinese traditional villages have the characteristics of both intangible and tangible cultural heritage,and are the largest cultural heritage left by farming civilization in China. Under the synchronous propulsion of new four modernizations and the coordinated development of urban and rural areas,the important issues we face are to protect the Chinese traditional villages,inherit the agricultural heritage,and develop the farming culture resources. There are 60 Chinese traditional villages in the Wuling Mountain area. This article introduces the Chinese traditional villages in the area,analyzes its Chinese traditional village protection and beautiful village construction,and puts forward corresponding recommendations.
文摘Broad beans were divided into six groups and implanted with N+ beam of 30 KeV, 8 × 1016/cm2 per time for various radiating times respectively. Besides the statistics of its vigor of germination, the M1 root-tip cells of these broad beans were systematically analyzed on their changes in mitotic percentage, morphology and behavior of chromosomes, along with the structure o f cytoskeletons, including microtubule and intermediate filament. Based on all results of these studies, our opinions have been expressed in the report on the mechanism of low-energy N+ beams effecting on higher dicotyledons such as broad beau.