Traditional first-order logic has four definitions for quantifiers,which are defined by universal and existential quantifiers.In L_(3)-valued(three-valued)first-order logic,there are eight kinds of definitions for qua...Traditional first-order logic has four definitions for quantifiers,which are defined by universal and existential quantifiers.In L_(3)-valued(three-valued)first-order logic,there are eight kinds of definitions for quantifiers;and corresponding Gentzen deduction systems will be given and their soundness and completeness theorems will be proved.展开更多
In order to ensure the effective analysis and reconstruction of forests,it is key to ensure the quantitative description of their spatial structure.In this paper,a distance model for the optimal stand spatial structur...In order to ensure the effective analysis and reconstruction of forests,it is key to ensure the quantitative description of their spatial structure.In this paper,a distance model for the optimal stand spatial structure based on weighted Voronoi diagrams is proposed.In particular,we provide a novel methodological model for the comprehensive evaluation of the spatial structure of forest stands in natural mixed conifer-broadleaved forests and the formulation of management decision plans.The applicability of the rank evaluation and the optimal solution distance model are compared and assessed for different standard sample plots of natural mixed conifer-broadleaved forests.The effect of crown width on the spatial structure unit of the trees is observed to be higher than that of the diameter at breast height.Moreover,the influence of crown length is greater than that of tree height.There are nine possible spatial structure units determined by the weighted Voronoi diagram for the number of neighboring trees in the central tree,with an average intersection of neighboring crowns reaching 80%.The rank rating of natural forest sample plots is correlated with the optimal solution distance model,and their results are generally consistent for natural forests.However,the rank rating is not able to provide a quantitative assessment.The optimal solution distance model is observed to be more comprehensive than traditional methods for the evaluation of the spatial structure of forest stands.It can effectively reflect the trends in realistic stand spatial structure factors close to or far from the ideal structure point,and accurately assesses the forest spatial structure.The proposed optimal solution distance model improves the integrated evaluation of the spatial structure of forest stands and provides solid theoretical and technical support for sustainable forest management.展开更多
Chinese has special quantifiers as a part of speech while English does not have independent quantifiers.To some degree,the difference comes from the different cultural backgrounds.
Based on the properties of ordered weighted averaging (OWA) operator and regular increasing monotone (RIM) quantifier, three methods for generating monotonic OWA operator weights are proposed. They are geometric OWA o...Based on the properties of ordered weighted averaging (OWA) operator and regular increasing monotone (RIM) quantifier, three methods for generating monotonic OWA operator weights are proposed. They are geometric OWA operator weights, equidifferent OWA operator weights and the modified RIM quantifier OWA weights. Compared with most of the common OWA methods for generating weights, the methods proposed in this paper are more intuitive and efficient in computation. And as there are more than one solution in most cases, the decision maker can set some initial condition and chooses the appropriate solution in the real decision process, which increases the flexibility of decision making to some extent. All these three OWA methods for generating weights are illustrated by numerical examples.展开更多
This paper examines the assumptions of the Rational Man （RM） model familiar in social and political studies. It is observed that the model is too restrictive in its explaining events and behavior in social and polit...This paper examines the assumptions of the Rational Man （RM） model familiar in social and political studies. It is observed that the model is too restrictive in its explaining events and behavior in social and political situations. It is suggested that the assumptions of RM model should be relaxed using the familiar methods and techniques of elementary formal logic. The concept of relevance is then introduced to take account of a ＂weaker＂ formal requirement in an attempt to explain events and processes in human action and/or behavior. The concept of ＂justification by reasons＂ is then introduced as a necessary though not sufficient requirement of explaining events and processes in social and political studies展开更多
Mesqan is a South Ethio-Semitic tonguewhich is mainly worn in day-to-day message by a people of on 179,737 communities in the Gurage Zone,Ethiopia,whose linguistic skin were not well expressed.The inner aspire of this...Mesqan is a South Ethio-Semitic tonguewhich is mainly worn in day-to-day message by a people of on 179,737 communities in the Gurage Zone,Ethiopia,whose linguistic skin were not well expressed.The inner aspire of this paper is to offer a complete account of noun phrase structures of the Mesqan tongue.The paper is expressive in character,as the lessons is mostly worried with telling what is really being in the tongue,and mostly relies on main linguistic facts.The linguistic facts,i.e.the elicited grammatical facts regarding noun phrases,was composed from local speakers of the tongue during 12 months of fieldwork mannered among 2011 and 2012 in four Mesqan villages and in Butajira,the managerial hub of the Mesqan Woreda.The head of a NP can be a pronoun,a noun or an adjective.The head alone can constitute a full noun phrase.Adjectives,nouns in the genitive,or relative clauses function as modifiers of head nouns.Quantifiers are numerals,unspecific quantifiers,determiners include the definite marker,demonstrative pronouns,and possessive suffixes occur in two positions to the head noun.Only the demonstrative pronouns and the number‘one’when used as indefinite marker occur in phrase-initial position,while all other determiners follow the head.展开更多
Objective To measure the quantities and apoptosis-related protein levels of B lymphocyte in the patients with immunorelated pancytopenia （IRP） and explore the action of B lymphocyte in the pathogenic mechanism of IR...Objective To measure the quantities and apoptosis-related protein levels of B lymphocyte in the patients with immunorelated pancytopenia （IRP） and explore the action of B lymphocyte in the pathogenic mechanism of IRP. Methods Quantifies of whole B lymphocytes and CD5^＋ B lymphocytes as well as the expressions of Fas and Bcl-2 in B lymphocytes in 35 patients with untreated IRP, 15 IRP patients in complete remission （CR）, and 10 normal controls were assayed by flow cytometry. The percentages of B lymphocyte and CD5^＋ B lymphocyte were significantly higher in untreated IRP patients than in CR IRP patients and normal controls （ P 〈 0. 05 ）, and there was no significant difference between the latter two groups （ P 〉 0. 05 ）. There was no significant difference of Fas expression in B lymphocyte among three groups （ P 〉 0. 05）. The expression of Bcl-2 in B lymphocyte was significantly higher in untreated patients than in CR patients or normal controls （ P 〈 0. 01 ）, and significantly higher in CR patients than in normal controls （ P 〈 0. 01 ）. The apoptosis. related index was significantly lower in untreated patients than in CR patients or normal controls （ P 〈 0. 05 ）, and signif. icantly lower in CR patients than in normal controls （ P 〈 0. 05 ）. The percentage of B lymphocyte was positively correlated with post-treated response time （ r = 0. 53, P 〈 0. 01 ）. Conclusion The production of auto-antibodies in IRP patients probably has some relationship with the abnormal quantifies of B lymphocyte and its subpopulations as well as with the inhibition of B lymphocyte apoptosis.展开更多
In the design of geotechnical infrastructure,engineers have to deal with naturally occurring soils and rocks which are subjected to spatial variability as well as other uncertainties such as errors in measurement and ...In the design of geotechnical infrastructure,engineers have to deal with naturally occurring soils and rocks which are subjected to spatial variability as well as other uncertainties such as errors in measurement and in modeling methods.Reliability assessment which provides a systematic approach for quantifying the risk of failure has been shown to be a promising tool for solving these challenging geotechnical engineering problems.The method provides a more consistent measure of the level of safety or“structural reliability”through the evaluation of a reliability index and the associated“failure”probability,and is a method that satisfies the need to clearly convey safety issues to the public and regulatory authorities.Various methods for calculating the reliability of geotechnical infrastructures with regard to the assessment of the ultimate and serviceability limit states have been proposed by many researchers and these approaches include:the direct Monte Carlo Simulation,Bayesian and other sampling techniques,the first-order reliability method and the second-order reliability method,the random field method,the response surface method and other surrogate models with the related probabilistic procedures.In this special issue of Geoscience Frontiers,we assemble eleven invited papers which provide insights on the latest developments and challenges in applying probabilistic and reliability methods to geotechnical infrastructure design.展开更多
The individual difference and non-repeatability in acupuncture have not only restricted the devel- opment of acupuncture, but have also affected the specificity of acupoints. The present study used instruments to cont...The individual difference and non-repeatability in acupuncture have not only restricted the devel- opment of acupuncture, but have also affected the specificity of acupoints. The present study used instruments to control needle depth, lifting and thrusting frequency, and the duration of acupuncture. Effects of the quantified acupuncture were observed at Neiguan （PC6） with different stimulation parameters. A frequency of 1, 2, or 3 Hz and duration of 5, 60, or 180 seconds were used to observe cerebral blood flow and ratio of infarct volume recovery. Results showed that stimulation at Neiguan with a frequency of 1 Hz and long duration of 180 seconds or 2/3 Hz and long duration of 5/60 seconds significantly increased cerebral blood flow and decreased the ratio of infarct volume. In- teractions between frequency and duration play a critical role in quantified acupuncture therapy.展开更多
Objective:To evaluate the correlation of the quantifiable parameters of blood flow pattern derived with dynamic CT in solitary bronchogenic adenocarcinoma(SBA).Methods:46 patients with solitary bronchogenic adenocarci...Objective:To evaluate the correlation of the quantifiable parameters of blood flow pattern derived with dynamic CT in solitary bronchogenic adenocarcinoma(SBA).Methods:46 patients with solitary bronchogenic adenocarcinomas (SBA)(diameter≤4 cm)underwent multi-location dynamic contrast material-enhanced(nonionic contrast material was administrated via the antecubital vein at a rate of 4 mL/s by using an autoinjector 90 mL,4×5 mm or 4×2.5 mm scanning mode with stable table were performed)serial CT.Precontrast and postcontrast attenuation on every scan was recorded.Perfusion (PBA),peak height(PHBA),ratio of peak height of the SPN to that of the aorta(BA-to-A ratio)and mean transit time(MTT)were calculated.The correlation between peak height of the aorta(PHA)and parameters of the SBA(PHBA,BA-to-A ratio,PBA,and MTT)and those among parameters of the SBA were assessed by means of linear regression analysis.Regression equation among parameters of the SBA were obtain by means of stepwise regression.Results:The correlation between the SBA peak height(PHBA,36.78 HU±12.02)and the aortic peak height(PHA)was significant(r=0.506,P<0.0001).No significant cor- relation was found between the BA-to-Apeak height ratio(15.33%±4.55)and the aortic peak height(r=0.130,P=0.388> 0.05)as it was between the SBA perfusion(PBA,31.86 mL/min/100 g±9.74)and the aortic peak height(r=0.049,P=0.749 >0.05).The SBA perfusion correlated with the PHBA and the BA-to-A peak height ratio(r=0.394,P=0.007<0.05;r=0.407, P=0.005<0.05).The PHBA correlated positively with the BA-to-A peak height ratio(r=0.781,P<0.0001).Mean transit time was 14.84 s±5.52.PBA=18.500+0.872×BA-to-A ratio.BA-to-A ratio=4.467+0.295×PHBA.Conclusion:The linear correlation between the SBA perfusion and BA-to-Aratio and that between BA-to-Aratio and PHBA can be expressed by equation. It is possible to design a simpler scanning procedure of investigation of bronchogenic adenocarcinoma angiogenesis.展开更多
Objective： To evaluate the correlation between the quantifiable parameters of blood flow pattern derived with dynamic CT in malignant solitary pulmonary nodules and tumor size. Methods： Sixty-eight patients with mal...Objective： To evaluate the correlation between the quantifiable parameters of blood flow pattern derived with dynamic CT in malignant solitary pulmonary nodules and tumor size. Methods： Sixty-eight patients with malignant solitary pulmonary nodules （SPNs） （diameter 〈4 cm） underwent multi-location dynamic contrast material-enhanced （nonionic contrast material was administrated via the antecubitai vein at a rate of 4mL/s by using an autoinjector, 4×5 mm or 4×2.5 mm scanning mode with stable table were performed）. Precontrast and postcontrast attenuation on every scan was recorded. Blood flow （BF）, peak, height （PHSPN）, ratio of peak height of the SPN to that of the aorta （SPN-to-A ratio） and mean transit time （MTT） were calculated. The correlation between the quantifiable parameters of blood flow pattern derived with dynamic CT in malignant solitary pulmonary nodules and tumor size were assessed by means of linear regression analysis. Results： No significant correlations were found between the tumor size and each of the peak height （PHSPN） （35.79±10.76 Hu）, ratio of peak height of the SPN to that of the aorta （SPN-to-A ratio）, （14.27%±4.37） and blood flow （BF） （30.18 mL/min/100 g±9.58） （r=0.180, P=0.142〉0.05; r=0.205, P=0.093〉0.05; r=0.008, P=0.947〉0.05）. Conclusion： No significant correlations were found between the tumor size and each of the quantifiable parameters of blood flow pattern derived with dynamic CT in malignant solitary pulmonary nodules.展开更多
The most extensive set of information on the factorsaffecting mutation induction by chemical mutagens inmice has been obtained by use of the dominant lethalassay and the specific locus method.Dominant lethalmutations ...The most extensive set of information on the factorsaffecting mutation induction by chemical mutagens inmice has been obtained by use of the dominant lethalassay and the specific locus method.Dominant lethalmutations are caused by chromosomal aberrations,and they occur shortly before or after implantation.展开更多
The possibility and rationality of introducing an bid-winning estimate based on a reasonable low price into construction bidding mode with bill of quantities were analyzed by setting up a model for bidding and tenderi...The possibility and rationality of introducing an bid-winning estimate based on a reasonable low price into construction bidding mode with bill of quantities were analyzed by setting up a model for bidding and tendering, and the functions of the estimate of reasonable low price in the bidding were revealed. On this basis, a new bidding mode of the project with bill of quantities was pro- posed. The application of the new mode will be advantageous to the promotion of the bill of quantities in China.展开更多
Land use is shaped by the interactions between nature and society, and these interactions can inhibit environmental sustainability and deplete the natural capital that provides the ecosystem services upon which humans...Land use is shaped by the interactions between nature and society, and these interactions can inhibit environmental sustainability and deplete the natural capital that provides the ecosystem services upon which humans depend. Urbanity Index and Landscape Vulnerability Indicator have been proposed to improve the impact interpretability of land use changes on sub-basin sustainability for local scenarios of biodiversity conservation. A time series of LandSat 5 Thematic Mapper remote sensing data from São Carlos municipality, Southeastern Brazil, for the years 1989, 2004 and 2014 revealed that land use changes in the sub-basins do not take place in a progressive and gradual way. Over the 25-year period, the main trends showed the loss and increase of forest cover so that it has remained quantitatively similar over time due to reduced agricultural land use. The aggregation of both indicators enabled the identification of greater naturalness and lower vulnerability, as well as lower naturalness and higher vulnerability under local sub-basin conditions, pointing the need for different strategies for sub-basin biodiversity conservation and sustainability. These preliminary scenarios provide a way to communicate problems of environmental sustainability at different landscape scales to the scientific community as well as to planners, policy makers and the broader public.展开更多
In order to achieve the model-based fault monitoring and diagnosis,an accurate model for the rotor system is necessary to locate and quantify faults.Since the dynamic characteristics of a blade-rotor system is influen...In order to achieve the model-based fault monitoring and diagnosis,an accurate model for the rotor system is necessary to locate and quantify faults.Since the dynamic characteristics of a blade-rotor system is influenced by foundation flexibility,the modeling and dynamic analyses on the foundation were sequentially investigated.Firstly,the effect of element size on the model convergence was investigated using the forward difference quotient as the slope of the frequency difference,which found that the model converged when the element size refined to 4mm.Secondly,a modal analysis and a harmonic response analysis were performed to obtain the dynamic characteristics of the foundation structure.Finally,an optimization to the foundation utilizing an additional stiffener was conducted to reduce the foundation response and make the critical speed far away from the working frequency band of 20—50Hz.展开更多
Spectral quantitative fingerprinting including ultraviolet (UV) and Fourier transform infrared (FT-IR) coupled with combustion heat (CH) analytical techniques was employed and compared for rapid screening quality grad...Spectral quantitative fingerprinting including ultraviolet (UV) and Fourier transform infrared (FT-IR) coupled with combustion heat (CH) analytical techniques was employed and compared for rapid screening quality grade and discriminating San-Huang Tablets (SHT) of different commercial brands. The systematic quantified fingerprint method (SQFM) was applied to evaluate, qualitatively and quantitatively, the quality consistency of the herbal preparation. It was possible to deduce that the quantitative similarity analysis by SQFM was enabled to make a good discrimination of the tested samples. It was a particularly useful method for the overall quality evaluation of herbal medicine and their preparations.展开更多
Ethics and morality are old and constantly updated topic. In the modern science and technology rapid development situation, study of ethics of science and technology is relatively backward. The times call for advanced...Ethics and morality are old and constantly updated topic. In the modern science and technology rapid development situation, study of ethics of science and technology is relatively backward. The times call for advanced and reasonable ethics of science-technology. Basic concepts and characteristics of ethics and morals are distinguished and defined in this paper. Three ethic essences of science-technology are abstracted from scientific-technological generation, application, and development. The three-dimension system of basic principles for scientific-technologic ethics is created, as illustrated by the portions given in this paper. The evolution formula of value system is derived, and used for appraising whether the science-technology activity is in all reason. Furthermore, it provides the theory base for quantified management. Finally, it is pointed out that morality and law should be supplemented each other in the science-technology management.展开更多
As more and more sophisticated medical equipment being purchased by hospi-tals,the selection is becoming an increasingly complex and important process.Usu-ally there are three steps in the selection process: planning,...As more and more sophisticated medical equipment being purchased by hospi-tals,the selection is becoming an increasingly complex and important process.Usu-ally there are three steps in the selection process: planning,feasibility and model se-lection evaluation.Model selection evalution is the most complex stage.The consid-展开更多
Genetically encoded biosensors based on fluorescence resonance energy transfer(FRET)have been widely applied to visualize the molecular activity in live cells with high spatiotemporal resolution.The enormous amount of...Genetically encoded biosensors based on fluorescence resonance energy transfer(FRET)have been widely applied to visualize the molecular activity in live cells with high spatiotemporal resolution.The enormous amount of video images and the complex dynamics of signaling events present tremendous challenges for data analysis and demand the development of intelligent and automated imaging analysis methods specifically envisioned for the studies of live cell imaging.We have developed a general correlative FRET imaging method(CFIM)to quantify the subcellular coupling between an enzymatic activity and a phenotypic response in live cells,e.g.at focal adhesions(FAs).CFIM quantitatively evaluated the cause-effect relation-展开更多
基金the Open Fund of the State Key Laboratory of Software Development Environment(SKLSDE-2010KF-06)Beijing University of Aeronautics and Astronautics,and by the National Basic Research Program of China(973 Program)(2005CB321901).
文摘Traditional first-order logic has four definitions for quantifiers,which are defined by universal and existential quantifiers.In L_(3)-valued(three-valued)first-order logic,there are eight kinds of definitions for quantifiers;and corresponding Gentzen deduction systems will be given and their soundness and completeness theorems will be proved.
基金funded by National Key Research and development project(2022YFD2201001)。
文摘In order to ensure the effective analysis and reconstruction of forests,it is key to ensure the quantitative description of their spatial structure.In this paper,a distance model for the optimal stand spatial structure based on weighted Voronoi diagrams is proposed.In particular,we provide a novel methodological model for the comprehensive evaluation of the spatial structure of forest stands in natural mixed conifer-broadleaved forests and the formulation of management decision plans.The applicability of the rank evaluation and the optimal solution distance model are compared and assessed for different standard sample plots of natural mixed conifer-broadleaved forests.The effect of crown width on the spatial structure unit of the trees is observed to be higher than that of the diameter at breast height.Moreover,the influence of crown length is greater than that of tree height.There are nine possible spatial structure units determined by the weighted Voronoi diagram for the number of neighboring trees in the central tree,with an average intersection of neighboring crowns reaching 80%.The rank rating of natural forest sample plots is correlated with the optimal solution distance model,and their results are generally consistent for natural forests.However,the rank rating is not able to provide a quantitative assessment.The optimal solution distance model is observed to be more comprehensive than traditional methods for the evaluation of the spatial structure of forest stands.It can effectively reflect the trends in realistic stand spatial structure factors close to or far from the ideal structure point,and accurately assesses the forest spatial structure.The proposed optimal solution distance model improves the integrated evaluation of the spatial structure of forest stands and provides solid theoretical and technical support for sustainable forest management.
文摘Chinese has special quantifiers as a part of speech while English does not have independent quantifiers.To some degree,the difference comes from the different cultural backgrounds.
文摘Based on the properties of ordered weighted averaging (OWA) operator and regular increasing monotone (RIM) quantifier, three methods for generating monotonic OWA operator weights are proposed. They are geometric OWA operator weights, equidifferent OWA operator weights and the modified RIM quantifier OWA weights. Compared with most of the common OWA methods for generating weights, the methods proposed in this paper are more intuitive and efficient in computation. And as there are more than one solution in most cases, the decision maker can set some initial condition and chooses the appropriate solution in the real decision process, which increases the flexibility of decision making to some extent. All these three OWA methods for generating weights are illustrated by numerical examples.
文摘This paper examines the assumptions of the Rational Man （RM） model familiar in social and political studies. It is observed that the model is too restrictive in its explaining events and behavior in social and political situations. It is suggested that the assumptions of RM model should be relaxed using the familiar methods and techniques of elementary formal logic. The concept of relevance is then introduced to take account of a ＂weaker＂ formal requirement in an attempt to explain events and processes in human action and/or behavior. The concept of ＂justification by reasons＂ is then introduced as a necessary though not sufficient requirement of explaining events and processes in social and political studies
文摘Mesqan is a South Ethio-Semitic tonguewhich is mainly worn in day-to-day message by a people of on 179,737 communities in the Gurage Zone,Ethiopia,whose linguistic skin were not well expressed.The inner aspire of this paper is to offer a complete account of noun phrase structures of the Mesqan tongue.The paper is expressive in character,as the lessons is mostly worried with telling what is really being in the tongue,and mostly relies on main linguistic facts.The linguistic facts,i.e.the elicited grammatical facts regarding noun phrases,was composed from local speakers of the tongue during 12 months of fieldwork mannered among 2011 and 2012 in four Mesqan villages and in Butajira,the managerial hub of the Mesqan Woreda.The head of a NP can be a pronoun,a noun or an adjective.The head alone can constitute a full noun phrase.Adjectives,nouns in the genitive,or relative clauses function as modifiers of head nouns.Quantifiers are numerals,unspecific quantifiers,determiners include the definite marker,demonstrative pronouns,and possessive suffixes occur in two positions to the head noun.Only the demonstrative pronouns and the number‘one’when used as indefinite marker occur in phrase-initial position,while all other determiners follow the head.
文摘Objective To measure the quantities and apoptosis-related protein levels of B lymphocyte in the patients with immunorelated pancytopenia （IRP） and explore the action of B lymphocyte in the pathogenic mechanism of IRP. Methods Quantifies of whole B lymphocytes and CD5^＋ B lymphocytes as well as the expressions of Fas and Bcl-2 in B lymphocytes in 35 patients with untreated IRP, 15 IRP patients in complete remission （CR）, and 10 normal controls were assayed by flow cytometry. The percentages of B lymphocyte and CD5^＋ B lymphocyte were significantly higher in untreated IRP patients than in CR IRP patients and normal controls （ P 〈 0. 05 ）, and there was no significant difference between the latter two groups （ P 〉 0. 05 ）. There was no significant difference of Fas expression in B lymphocyte among three groups （ P 〉 0. 05）. The expression of Bcl-2 in B lymphocyte was significantly higher in untreated patients than in CR patients or normal controls （ P 〈 0. 01 ）, and significantly higher in CR patients than in normal controls （ P 〈 0. 01 ）. The apoptosis. related index was significantly lower in untreated patients than in CR patients or normal controls （ P 〈 0. 05 ）, and signif. icantly lower in CR patients than in normal controls （ P 〈 0. 05 ）. The percentage of B lymphocyte was positively correlated with post-treated response time （ r = 0. 53, P 〈 0. 01 ）. Conclusion The production of auto-antibodies in IRP patients probably has some relationship with the abnormal quantifies of B lymphocyte and its subpopulations as well as with the inhibition of B lymphocyte apoptosis.
文摘In the design of geotechnical infrastructure,engineers have to deal with naturally occurring soils and rocks which are subjected to spatial variability as well as other uncertainties such as errors in measurement and in modeling methods.Reliability assessment which provides a systematic approach for quantifying the risk of failure has been shown to be a promising tool for solving these challenging geotechnical engineering problems.The method provides a more consistent measure of the level of safety or“structural reliability”through the evaluation of a reliability index and the associated“failure”probability,and is a method that satisfies the need to clearly convey safety issues to the public and regulatory authorities.Various methods for calculating the reliability of geotechnical infrastructures with regard to the assessment of the ultimate and serviceability limit states have been proposed by many researchers and these approaches include:the direct Monte Carlo Simulation,Bayesian and other sampling techniques,the first-order reliability method and the second-order reliability method,the random field method,the response surface method and other surrogate models with the related probabilistic procedures.In this special issue of Geoscience Frontiers,we assemble eleven invited papers which provide insights on the latest developments and challenges in applying probabilistic and reliability methods to geotechnical infrastructure design.
基金funded by Development Plan(973 Plan) of National Critical and Basic Research,No.2012CB518505,2010CB530500,2006CB504504
文摘The individual difference and non-repeatability in acupuncture have not only restricted the devel- opment of acupuncture, but have also affected the specificity of acupoints. The present study used instruments to control needle depth, lifting and thrusting frequency, and the duration of acupuncture. Effects of the quantified acupuncture were observed at Neiguan （PC6） with different stimulation parameters. A frequency of 1, 2, or 3 Hz and duration of 5, 60, or 180 seconds were used to observe cerebral blood flow and ratio of infarct volume recovery. Results showed that stimulation at Neiguan with a frequency of 1 Hz and long duration of 180 seconds or 2/3 Hz and long duration of 5/60 seconds significantly increased cerebral blood flow and decreased the ratio of infarct volume. In- teractions between frequency and duration play a critical role in quantified acupuncture therapy.
文摘Objective:To evaluate the correlation of the quantifiable parameters of blood flow pattern derived with dynamic CT in solitary bronchogenic adenocarcinoma(SBA).Methods:46 patients with solitary bronchogenic adenocarcinomas (SBA)(diameter≤4 cm)underwent multi-location dynamic contrast material-enhanced(nonionic contrast material was administrated via the antecubital vein at a rate of 4 mL/s by using an autoinjector 90 mL,4×5 mm or 4×2.5 mm scanning mode with stable table were performed)serial CT.Precontrast and postcontrast attenuation on every scan was recorded.Perfusion (PBA),peak height(PHBA),ratio of peak height of the SPN to that of the aorta(BA-to-A ratio)and mean transit time(MTT)were calculated.The correlation between peak height of the aorta(PHA)and parameters of the SBA(PHBA,BA-to-A ratio,PBA,and MTT)and those among parameters of the SBA were assessed by means of linear regression analysis.Regression equation among parameters of the SBA were obtain by means of stepwise regression.Results:The correlation between the SBA peak height(PHBA,36.78 HU±12.02)and the aortic peak height(PHA)was significant(r=0.506,P<0.0001).No significant cor- relation was found between the BA-to-Apeak height ratio(15.33%±4.55)and the aortic peak height(r=0.130,P=0.388> 0.05)as it was between the SBA perfusion(PBA,31.86 mL/min/100 g±9.74)and the aortic peak height(r=0.049,P=0.749 >0.05).The SBA perfusion correlated with the PHBA and the BA-to-A peak height ratio(r=0.394,P=0.007<0.05;r=0.407, P=0.005<0.05).The PHBA correlated positively with the BA-to-A peak height ratio(r=0.781,P<0.0001).Mean transit time was 14.84 s±5.52.PBA=18.500+0.872×BA-to-A ratio.BA-to-A ratio=4.467+0.295×PHBA.Conclusion:The linear correlation between the SBA perfusion and BA-to-Aratio and that between BA-to-Aratio and PHBA can be expressed by equation. It is possible to design a simpler scanning procedure of investigation of bronchogenic adenocarcinoma angiogenesis.
文摘Objective： To evaluate the correlation between the quantifiable parameters of blood flow pattern derived with dynamic CT in malignant solitary pulmonary nodules and tumor size. Methods： Sixty-eight patients with malignant solitary pulmonary nodules （SPNs） （diameter 〈4 cm） underwent multi-location dynamic contrast material-enhanced （nonionic contrast material was administrated via the antecubitai vein at a rate of 4mL/s by using an autoinjector, 4×5 mm or 4×2.5 mm scanning mode with stable table were performed）. Precontrast and postcontrast attenuation on every scan was recorded. Blood flow （BF）, peak, height （PHSPN）, ratio of peak height of the SPN to that of the aorta （SPN-to-A ratio） and mean transit time （MTT） were calculated. The correlation between the quantifiable parameters of blood flow pattern derived with dynamic CT in malignant solitary pulmonary nodules and tumor size were assessed by means of linear regression analysis. Results： No significant correlations were found between the tumor size and each of the peak height （PHSPN） （35.79±10.76 Hu）, ratio of peak height of the SPN to that of the aorta （SPN-to-A ratio）, （14.27%±4.37） and blood flow （BF） （30.18 mL/min/100 g±9.58） （r=0.180, P=0.142〉0.05; r=0.205, P=0.093〉0.05; r=0.008, P=0.947〉0.05）. Conclusion： No significant correlations were found between the tumor size and each of the quantifiable parameters of blood flow pattern derived with dynamic CT in malignant solitary pulmonary nodules.
文摘The most extensive set of information on the factorsaffecting mutation induction by chemical mutagens inmice has been obtained by use of the dominant lethalassay and the specific locus method.Dominant lethalmutations are caused by chromosomal aberrations,and they occur shortly before or after implantation.
文摘The possibility and rationality of introducing an bid-winning estimate based on a reasonable low price into construction bidding mode with bill of quantities were analyzed by setting up a model for bidding and tendering, and the functions of the estimate of reasonable low price in the bidding were revealed. On this basis, a new bidding mode of the project with bill of quantities was pro- posed. The application of the new mode will be advantageous to the promotion of the bill of quantities in China.
文摘Land use is shaped by the interactions between nature and society, and these interactions can inhibit environmental sustainability and deplete the natural capital that provides the ecosystem services upon which humans depend. Urbanity Index and Landscape Vulnerability Indicator have been proposed to improve the impact interpretability of land use changes on sub-basin sustainability for local scenarios of biodiversity conservation. A time series of LandSat 5 Thematic Mapper remote sensing data from São Carlos municipality, Southeastern Brazil, for the years 1989, 2004 and 2014 revealed that land use changes in the sub-basins do not take place in a progressive and gradual way. Over the 25-year period, the main trends showed the loss and increase of forest cover so that it has remained quantitatively similar over time due to reduced agricultural land use. The aggregation of both indicators enabled the identification of greater naturalness and lower vulnerability, as well as lower naturalness and higher vulnerability under local sub-basin conditions, pointing the need for different strategies for sub-basin biodiversity conservation and sustainability. These preliminary scenarios provide a way to communicate problems of environmental sustainability at different landscape scales to the scientific community as well as to planners, policy makers and the broader public.
基金supported by the National Key Research and Development Plan(No.2016YFF0203300)
文摘In order to achieve the model-based fault monitoring and diagnosis,an accurate model for the rotor system is necessary to locate and quantify faults.Since the dynamic characteristics of a blade-rotor system is influenced by foundation flexibility,the modeling and dynamic analyses on the foundation were sequentially investigated.Firstly,the effect of element size on the model convergence was investigated using the forward difference quotient as the slope of the frequency difference,which found that the model converged when the element size refined to 4mm.Secondly,a modal analysis and a harmonic response analysis were performed to obtain the dynamic characteristics of the foundation structure.Finally,an optimization to the foundation utilizing an additional stiffener was conducted to reduce the foundation response and make the critical speed far away from the working frequency band of 20—50Hz.
文摘Spectral quantitative fingerprinting including ultraviolet (UV) and Fourier transform infrared (FT-IR) coupled with combustion heat (CH) analytical techniques was employed and compared for rapid screening quality grade and discriminating San-Huang Tablets (SHT) of different commercial brands. The systematic quantified fingerprint method (SQFM) was applied to evaluate, qualitatively and quantitatively, the quality consistency of the herbal preparation. It was possible to deduce that the quantitative similarity analysis by SQFM was enabled to make a good discrimination of the tested samples. It was a particularly useful method for the overall quality evaluation of herbal medicine and their preparations.
文摘Ethics and morality are old and constantly updated topic. In the modern science and technology rapid development situation, study of ethics of science and technology is relatively backward. The times call for advanced and reasonable ethics of science-technology. Basic concepts and characteristics of ethics and morals are distinguished and defined in this paper. Three ethic essences of science-technology are abstracted from scientific-technological generation, application, and development. The three-dimension system of basic principles for scientific-technologic ethics is created, as illustrated by the portions given in this paper. The evolution formula of value system is derived, and used for appraising whether the science-technology activity is in all reason. Furthermore, it provides the theory base for quantified management. Finally, it is pointed out that morality and law should be supplemented each other in the science-technology management.
文摘As more and more sophisticated medical equipment being purchased by hospi-tals,the selection is becoming an increasingly complex and important process.Usu-ally there are three steps in the selection process: planning,feasibility and model se-lection evaluation.Model selection evalution is the most complex stage.The consid-
文摘Genetically encoded biosensors based on fluorescence resonance energy transfer(FRET)have been widely applied to visualize the molecular activity in live cells with high spatiotemporal resolution.The enormous amount of video images and the complex dynamics of signaling events present tremendous challenges for data analysis and demand the development of intelligent and automated imaging analysis methods specifically envisioned for the studies of live cell imaging.We have developed a general correlative FRET imaging method(CFIM)to quantify the subcellular coupling between an enzymatic activity and a phenotypic response in live cells,e.g.at focal adhesions(FAs).CFIM quantitatively evaluated the cause-effect relation-
