In order to verify requirements model/document the consistency between software and users＇ true minds, we present a software behavior-oriented requirements visualization method. The implementation method for software...In order to verify requirements model/document the consistency between software and users＇ true minds, we present a software behavior-oriented requirements visualization method. The implementation method for software behavior-oriented requirements visualization is advanced in this paper first. Then, the basis language is introduced as the foundation of the method. At last, we put forward the tool platform that can achieve the requirement visualization, The result demonstrates that the method can generate requirement animation rapidly to check the correctness of the requirement. It can effectively reduce the requirements change and save a lot of software development costs.展开更多
This paper identifies low-carbon, energy-efficient, and green economic growth as the primary goals of China＇s new industrialization and defines productivity under new industrialization which; unlike conventional prod...This paper identifies low-carbon, energy-efficient, and green economic growth as the primary goals of China＇s new industrialization and defines productivity under new industrialization which; unlike conventional productivity, simultaneously satisfies these goals. In contrast to conventional methods for measuring productivity, this paper employs a non-radial, non-angular SBM directional distance function to estimate new industrialization productivity of industrial sectors across 30 Chinese provinces, municipalities and autonomous regions between 1998 and 2008. Our research shows that conventional measurements of productivity overestimate industrial growth in China＇s central and western regions. On the whole, prospects for growth performance of China＇s industrial sectors are not optimistic. The degree of new industrialization is higher in eastern region than in central and western regions, where balancing industrial growth with resources and the environment is a daunting task. This paper＇s conclusions support ＂environmental Kuznets curve＂ and ＂Porter hypothesis＂ but reject ＂pollution asylum hypothesis ＂.展开更多
This study investigated the relationship between carotid plaque neovascularization and diabetes mellitus（DM） by using contrast-enhanced ultrasonography. Contrast-enhanced ultrasonography was performed in 104 patient...This study investigated the relationship between carotid plaque neovascularization and diabetes mellitus（DM） by using contrast-enhanced ultrasonography. Contrast-enhanced ultrasonography was performed in 104 patients with carotid plaque thicker than 2.0 mm. There were 36 patients with DM and 68 patients without DM. The enhanced intensity in the plaque and the ratio of enhanced intensity in the plaque to that in the lumen of the carotid artery in patients with DM were significantly greater than those in patients without DM. Our study demonstrated that the enhanced intensity in patients with DM is greater than that their counterparts without DM, suggesting that carotid plaque in DM patients may have more neovessels and may be more vulnerable.展开更多
The effects of granulocyte colony-stimulation-factor （G-CSF） on stem cell mobilization and its impact on the amplification of myeloid-derived suppressor cells （MDSCs） of donor mice were ex- amined. A mouse model o...The effects of granulocyte colony-stimulation-factor （G-CSF） on stem cell mobilization and its impact on the amplification of myeloid-derived suppressor cells （MDSCs） of donor mice were ex- amined. A mouse model of stem cell mobilization was established by consecutive subcutaneous injec- tion of 100 μg/kg G-CSF for 5 days. The blood from the donor mice was routinely examined during mobilization. Stem cells and MDSCs were analyzed by flow cytometry. The immunosuppressive mole- cules derived from MDSCs in serum and spleen, including hydrogen dioxide （H202） and nitric oxide （NO）, and the activity of nitric oxide synthase （NOS） were determined during the mobilization. Apop- tosis of T lymphocytes was assessed by using Annexin-V/PI. During stem cell mobilization, the number of lymphocytes and white blood cells in the peripheral blood was increased, and peaked on the 4th day. The number of stem cells in G-CSF-treated mice was significantly greater than that in controls （P〈0.01）. The expansions of MSDCs were also observed after G-CSF mobilization, with a more notable rate of growth in the peripheral blood than in the spleen. The activity of NOS and the production of NO were increased in the donor mice, and the serum H202 levels were approximately 4-fold greater than the con- trois. Consequently, apoptosis of T lymphocytes was increased and showed a positive correlation with the elevated percentage of MDSCs. It was concluded that G-CSF could provide sufficient peripheral blood stem cells for transplantation. Exogenous administration of G-CSF caused the accumulation of MDSCs in the peripheral blood and the spleen, which could lead to apoptosis ofT lymphocytes and may offer a new strategy for the prevention and treatment of graft versus host disease.展开更多
Lanthanide heteropoly compounds K15[Ln(HSiW9O34)2]·28H2O(Ln = La, Ce, Nd), denoted as Ln(SiW9)2, were synthesized and characterized by element analysis, TG-DTA, IR, UV, XPS and XRD. The results show that partial ...Lanthanide heteropoly compounds K15[Ln(HSiW9O34)2]·28H2O(Ln = La, Ce, Nd), denoted as Ln(SiW9)2, were synthesized and characterized by element analysis, TG-DTA, IR, UV, XPS and XRD. The results show that partial oxygen in Ln(SiW9)2 was coordinated with Ln3- , where Ln-3 was in the inner side of the heteropoly anions, while the fundamental structure of SiW9 had little change. The result was supported by ion exchange experiment.展开更多
A novel algorithm using multiple spherical arrays based on spherical harmonic analysis is proposed to localize wideband acoustic sources. In the novel spherical harmonic algorithm, the re- ceived microphone signals ar...A novel algorithm using multiple spherical arrays based on spherical harmonic analysis is proposed to localize wideband acoustic sources. In the novel spherical harmonic algorithm, the re- ceived microphone signals are firstly used to do the spherical Fourier transformation. Then, the mul- tiple signal classification （MUSIC） algorithm is applied to the spherical components to obtain the an- gular-spectrum. Finally, the angular-spectrum smoothing technique is proposed to obtain the accu- rate localization of wideband sources. In contrast to the traditional single spherical array, the multi- pie spherical arrays used in this paper consist of several randomly distributed spheres in a given plane. The microphones are uniformly placed on each sphere, the same as the usual single spherical array. Simulation comparison of wideband sources localization between a single spherical array and multiple spherical arrays based on the novel algorithm is carried out to validate our proposed meth- od.展开更多
The paper targets at reasonable planning and construction of new rural communities on the basis of coordinated "three-zation"(new urbanization, industrialization and agricultural modernization, hereinafter r...The paper targets at reasonable planning and construction of new rural communities on the basis of coordinated "three-zation"(new urbanization, industrialization and agricultural modernization, hereinafter referred to as "three-zation"). Through summarizing the connotations of new rural community construction coping with the coordinated "three-zation", and analyzing the role of new rural community in the "three-zation", planning and design of Gaocun Community was taken for example to propose strategies for the planning and construction of new rural communities, and promotion of the coordinated "three-zation".展开更多
In order to optimize test flow after the default flow is modified by a tester, a new software framework for the radar fault isolation is illustrated. This framework separates all mapping algorithms from test flows so ...In order to optimize test flow after the default flow is modified by a tester, a new software framework for the radar fault isolation is illustrated. This framework separates all mapping algorithms from test flows so as to modify flow and to insert mapping algorithm dynamically in testing process. Based on this framework, a kind of optimization method of test flow is proposed and studied. By defining an objective function, we can evaluate all candidate test flows so as to get an optimized flow. An example explains how to search the flow from candidate flows.展开更多
The risks of developing complex diseases are likely to be determined by single nucleotide polymorphisms (SNPs), which are the most common form of DNA variations. Rapidly developing genotyping technologies have made it...The risks of developing complex diseases are likely to be determined by single nucleotide polymorphisms (SNPs), which are the most common form of DNA variations. Rapidly developing genotyping technologies have made it possible to assess the influence of SNPs on a particular disease. The aim of this paper is to identify the risk/protective factors of a disease, which are modeled as a subset of SNPs (with specified alleles) with the maximum odds ratio. On the basis of risk/protective factor and the relationship between nucleotides and amino acids, two novel risk/protective factors (called k-relaxed risk/protective factors and weighted-relaxed risk/protective factors) are proposed to consider more complex disease-associated SNPs. However, the enormous amount of possible SNPs interactions presents a mathematical and computational challenge. In this paper, we use the Bayesian Optimization Algorithm (BOA) to search for the risk/protective factors of a particular disease. Determining the Bayesian network (BN) structure is NP-hard; therefore, the binary particle swarm optimization was used to determine the BN structure. The proposed algorithm was tested on four datasets. Experimental results showed that the algorithm proposed in this paper is a promising method for discovering SNPs interactions that cause/prevent diseases.展开更多
基金Supported by the National Natural Science Foundation of China (91018009)the Fundamental Research Funds for the Central Universities (201121102020006)
文摘In order to verify requirements model/document the consistency between software and users＇ true minds, we present a software behavior-oriented requirements visualization method. The implementation method for software behavior-oriented requirements visualization is advanced in this paper first. Then, the basis language is introduced as the foundation of the method. At last, we put forward the tool platform that can achieve the requirement visualization, The result demonstrates that the method can generate requirement animation rapidly to check the correctness of the requirement. It can effectively reduce the requirements change and save a lot of software development costs.
文摘This paper identifies low-carbon, energy-efficient, and green economic growth as the primary goals of China＇s new industrialization and defines productivity under new industrialization which; unlike conventional productivity, simultaneously satisfies these goals. In contrast to conventional methods for measuring productivity, this paper employs a non-radial, non-angular SBM directional distance function to estimate new industrialization productivity of industrial sectors across 30 Chinese provinces, municipalities and autonomous regions between 1998 and 2008. Our research shows that conventional measurements of productivity overestimate industrial growth in China＇s central and western regions. On the whole, prospects for growth performance of China＇s industrial sectors are not optimistic. The degree of new industrialization is higher in eastern region than in central and western regions, where balancing industrial growth with resources and the environment is a daunting task. This paper＇s conclusions support ＂environmental Kuznets curve＂ and ＂Porter hypothesis＂ but reject ＂pollution asylum hypothesis ＂.
基金supported by the Natural Science Founda-tion of Zhejiang Province,China(No.LY13H180007)
文摘This study investigated the relationship between carotid plaque neovascularization and diabetes mellitus（DM） by using contrast-enhanced ultrasonography. Contrast-enhanced ultrasonography was performed in 104 patients with carotid plaque thicker than 2.0 mm. There were 36 patients with DM and 68 patients without DM. The enhanced intensity in the plaque and the ratio of enhanced intensity in the plaque to that in the lumen of the carotid artery in patients with DM were significantly greater than those in patients without DM. Our study demonstrated that the enhanced intensity in patients with DM is greater than that their counterparts without DM, suggesting that carotid plaque in DM patients may have more neovessels and may be more vulnerable.
基金supported by grants from Department of Health of Hubei Province(No.JX5B07)Department of Health of Wuhan(No.WX09B02)
文摘The effects of granulocyte colony-stimulation-factor （G-CSF） on stem cell mobilization and its impact on the amplification of myeloid-derived suppressor cells （MDSCs） of donor mice were ex- amined. A mouse model of stem cell mobilization was established by consecutive subcutaneous injec- tion of 100 μg/kg G-CSF for 5 days. The blood from the donor mice was routinely examined during mobilization. Stem cells and MDSCs were analyzed by flow cytometry. The immunosuppressive mole- cules derived from MDSCs in serum and spleen, including hydrogen dioxide （H202） and nitric oxide （NO）, and the activity of nitric oxide synthase （NOS） were determined during the mobilization. Apop- tosis of T lymphocytes was assessed by using Annexin-V/PI. During stem cell mobilization, the number of lymphocytes and white blood cells in the peripheral blood was increased, and peaked on the 4th day. The number of stem cells in G-CSF-treated mice was significantly greater than that in controls （P〈0.01）. The expansions of MSDCs were also observed after G-CSF mobilization, with a more notable rate of growth in the peripheral blood than in the spleen. The activity of NOS and the production of NO were increased in the donor mice, and the serum H202 levels were approximately 4-fold greater than the con- trois. Consequently, apoptosis of T lymphocytes was increased and showed a positive correlation with the elevated percentage of MDSCs. It was concluded that G-CSF could provide sufficient peripheral blood stem cells for transplantation. Exogenous administration of G-CSF caused the accumulation of MDSCs in the peripheral blood and the spleen, which could lead to apoptosis ofT lymphocytes and may offer a new strategy for the prevention and treatment of graft versus host disease.
文摘Lanthanide heteropoly compounds K15[Ln(HSiW9O34)2]·28H2O(Ln = La, Ce, Nd), denoted as Ln(SiW9)2, were synthesized and characterized by element analysis, TG-DTA, IR, UV, XPS and XRD. The results show that partial oxygen in Ln(SiW9)2 was coordinated with Ln3- , where Ln-3 was in the inner side of the heteropoly anions, while the fundamental structure of SiW9 had little change. The result was supported by ion exchange experiment.
文摘A novel algorithm using multiple spherical arrays based on spherical harmonic analysis is proposed to localize wideband acoustic sources. In the novel spherical harmonic algorithm, the re- ceived microphone signals are firstly used to do the spherical Fourier transformation. Then, the mul- tiple signal classification （MUSIC） algorithm is applied to the spherical components to obtain the an- gular-spectrum. Finally, the angular-spectrum smoothing technique is proposed to obtain the accu- rate localization of wideband sources. In contrast to the traditional single spherical array, the multi- pie spherical arrays used in this paper consist of several randomly distributed spheres in a given plane. The microphones are uniformly placed on each sphere, the same as the usual single spherical array. Simulation comparison of wideband sources localization between a single spherical array and multiple spherical arrays based on the novel algorithm is carried out to validate our proposed meth- od.
基金Sponsored by Key Humanities and Social Science Research Project of Henan Provincial Department of Education(2013-ZD-002)Humanities and Social Science Research Project of Henan Provincial Department of Education(2011-QN-195)Undergraduates’Innovative Experimental Project of North China University of Water Resources and Electric Power(2014-11)
文摘The paper targets at reasonable planning and construction of new rural communities on the basis of coordinated "three-zation"(new urbanization, industrialization and agricultural modernization, hereinafter referred to as "three-zation"). Through summarizing the connotations of new rural community construction coping with the coordinated "three-zation", and analyzing the role of new rural community in the "three-zation", planning and design of Gaocun Community was taken for example to propose strategies for the planning and construction of new rural communities, and promotion of the coordinated "three-zation".
文摘In order to optimize test flow after the default flow is modified by a tester, a new software framework for the radar fault isolation is illustrated. This framework separates all mapping algorithms from test flows so as to modify flow and to insert mapping algorithm dynamically in testing process. Based on this framework, a kind of optimization method of test flow is proposed and studied. By defining an objective function, we can evaluate all candidate test flows so as to get an optimized flow. An example explains how to search the flow from candidate flows.
基金supported by the National Natural Science Foundation of China(60774086 and 61173111)Ph.D.Program Foundation of Ministry of Education of China(20090201110027)
文摘The risks of developing complex diseases are likely to be determined by single nucleotide polymorphisms (SNPs), which are the most common form of DNA variations. Rapidly developing genotyping technologies have made it possible to assess the influence of SNPs on a particular disease. The aim of this paper is to identify the risk/protective factors of a disease, which are modeled as a subset of SNPs (with specified alleles) with the maximum odds ratio. On the basis of risk/protective factor and the relationship between nucleotides and amino acids, two novel risk/protective factors (called k-relaxed risk/protective factors and weighted-relaxed risk/protective factors) are proposed to consider more complex disease-associated SNPs. However, the enormous amount of possible SNPs interactions presents a mathematical and computational challenge. In this paper, we use the Bayesian Optimization Algorithm (BOA) to search for the risk/protective factors of a particular disease. Determining the Bayesian network (BN) structure is NP-hard; therefore, the binary particle swarm optimization was used to determine the BN structure. The proposed algorithm was tested on four datasets. Experimental results showed that the algorithm proposed in this paper is a promising method for discovering SNPs interactions that cause/prevent diseases.
