Homo-urbanicus is a planning concept which treats a human being as a rational animal with distinct material,social and intellectual characteristics,and a human settlement as a space in which human beings seek and offe...Homo-urbanicus is a planning concept which treats a human being as a rational animal with distinct material,social and intellectual characteristics,and a human settlement as a space in which human beings seek and offer opportunities for connection.Human-centered planning is the application of classical Natural Law(balance between self-preservation and mutual preservation)to the matching of human needs and human settlements.展开更多
Buckling of a woven fabric is analyzed in this paper when it is subjected to a simple shear in warp direction.The equation to determine the buckling direction (buckling wave direction) is obtained and it is found that...Buckling of a woven fabric is analyzed in this paper when it is subjected to a simple shear in warp direction.The equation to determine the buckling direction (buckling wave direction) is obtained and it is found that the buckling direction is related to the critical amount of shear.It is shown that the out-of-plane buckling of fabric is possible and only a flexural buckling mode can exist.The buckling condition for flexural mode is obtained and the curve for that is illustrated.展开更多
A two-level supply chain model involving one supplier and one retailer with linear demand is developed, and supply chain coordination mechanisms under asymmetric information (the retailer' s cost structure is asymme...A two-level supply chain model involving one supplier and one retailer with linear demand is developed, and supply chain coordination mechanisms under asymmetric information (the retailer' s cost structure is asymmetric information) are proposed by employing game theory in two scenarios: coordination mechanisms under asymmetric information in a regular scenario (without disruption); and coordination mechanisms under asymmetric information in an irregular scenario ( with retailer cost disruptions). It is optimal for the supply chain to maintain the original production plan and to guarantee a steadily running system if variations of retailer costs are sufficiently low and do not exceed an upper bound. This shows that the original production plan has certain robustness under disruptions. Decisions must be re-made if a retailer' s cost change is greater and exceeds an upper bound. Impacts of retailer cost disruptions on the order quantity, the retail price, the wholesale price and each party' s as well as the system' s expected profits are investigated through numerical analyses.展开更多
To alleviate the amount of work involved in constructing a domain ontology, starting with the base of an existing terminological-rich thesaurus is better than starting from scratch. With a case study of reengineering ...To alleviate the amount of work involved in constructing a domain ontology, starting with the base of an existing terminological-rich thesaurus is better than starting from scratch. With a case study of reengineering the Defense Science and Technology Thesaurus into a prototype military aircraft ontology, a four-phase thesaurus-based methodology is introduced and investigated, which consists of identifying the application purpose, overall design, designing in detail and evaluation. Designing in detail is the core step, converting the terms and semantic relationships of the thesaurus into an ontology and supplementing richer semantic relationships. The resulting prototype ontology includes 87 concepts and 34 relationships, and can be extended and scaled up to a full-fledged domain ontology in the future. Eight universal genres of relationships of this ontology are preliminarily summarized and analyzed, including equivalent relationships, approximate relationships, generic/abstract relationships, part/whole relationships, cause/effect relationships, entity/location relationships etc., and the normalization of semantic relationships is critical to the merging and reusing of follow-up multiple ontologies.展开更多
In order to study the failure mechanism of backfill and the reasonable matches between backfill and rock mass, and to achieve the object of safe and efficient mining in metal mine, four types of backfills were tested ...In order to study the failure mechanism of backfill and the reasonable matches between backfill and rock mass, and to achieve the object of safe and efficient mining in metal mine, four types of backfills were tested under uniaxial compression loading, with cement?tailing ratios of 0.250:1, 0.125:1, 0.100:1 and 0.083:1, respectively. With the help of the stress?strain curves, the deformation and failure characteristics of different backfills with differing cement?tailing ratios were analyzed. Based on the experimental results, the damage constitutive equations of cemented backfills with four cement?tailing ratios were proposed on the basis of damage mechanics. Moreover, comparative analysis of constitutive model and experimental results were made to verify the reliability of the damage model. In addition, an energy model using catastrophe theory to obtain the instability criteria of system was established to study the interaction between backfill and rock mass, and then the system instability criterion was deduced. The results show that there are different damage characteristics for different backfills, backfills with lower cement?tailing ratio tend to have a lower damage value when stress reaches peak value, and damage more rapidly and more obviously in failure process after peak value of stress; the stiffness and elastic modulus of rock mass with lower strength are more likely to lead to system instability. The results of this work provide a scientific basis for the rational strength design of backfill mine.展开更多
This paper approaches the Communicative Approach (CA) from ontological perspective by making structural and functional analyses with consideration of influential variables in the communicative language teaching. In ...This paper approaches the Communicative Approach (CA) from ontological perspective by making structural and functional analyses with consideration of influential variables in the communicative language teaching. In terms of entitative dimension, the basic components of the CA are communicative subjects, context and situation, content, and mode. From the functional perspective, the CA helps to improve the learners' ability to communicate in the target language, the dual construction of the learners and the target culture, and the mutual development of the teacher and the learners.展开更多
Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term...Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.展开更多
In GIS field, great varieties of information from different domains are involved in order to solve actual problems. But usually spatial information is stored in diverse spatial databases, manipulated by different GIS ...In GIS field, great varieties of information from different domains are involved in order to solve actual problems. But usually spatial information is stored in diverse spatial databases, manipulated by different GIS platforms. Semantic heterogeneity is caused due to the distinctions of conception explanations among various GIS implements. It will result in the information obtaining and understanding gaps for spatial data sharing and usage. An ontology-based model for spatial information semantic interoperability is put forward after the comprehensive review of progress in ontology theory, methodology and application research in GIS domain.展开更多
Starting with a simple presentation of location determination techniques, physical location and geographic location as two common kinds of location description methods are discussed. The semantic location concept is t...Starting with a simple presentation of location determination techniques, physical location and geographic location as two common kinds of location description methods are discussed. The semantic location concept is then introduced and a correction is given, which especially emphasizes that location property is an important part of semantic location. By analyzing the connotation and extension of every geographic location, what should be contained in a location property is determined. Using a hierarchical model, the relations and associations among locations are clearly described. To realize a formalized description of semantic location, an ontology technique that can adequately describe semantic information of location is used. Organized by ontology web language, a location ontology model allows semantic location to be read and processed by computer. The location ontology model realizes the knowledge description of location information and establishes an important foundation to personalized preference services in location based services.展开更多
Objective:To explore the pharmacological action mechanism of Fang Ji Huang Qi decoction(FHD)in the treatment of rheumatoid arthritis(RA)by network pharmacology.Methods:The chemical compositions and functional targets ...Objective:To explore the pharmacological action mechanism of Fang Ji Huang Qi decoction(FHD)in the treatment of rheumatoid arthritis(RA)by network pharmacology.Methods:The chemical compositions and functional targets of the TCM were retrieved using the systematic pharmacological analysis platform TCMSP,and the gene name of each target protein was obtained from the UniProtKB network platform.The targets of RA were queried through the CTD database.The protein–protein interaction network was constructed in the STRING database,and the network visualization analysis was performed in Cytoscape.The Gene Ontology and Kyoto Gene and Genomic Encyclopedia pathways enrichment analyses of key target proteins were performed using the DAVID data platform.Results:A total of 472 drug active ingredients were screened from the TCMSP database.Seventy-five disease targets from the CTD database were screened.The compound-target network map contained further screened out 98 components and corresponding 75 targets.The key compounds included quercetin and kaempferol.The key targets were prostaglandin G/H synthase 2 and nitric oxide synthase 2.The protein-protein interaction network consisted of 75 proteins,of which 37 were key proteins,including tumor protein 53,JUN and interleukin-6.There were 260 Gene Ontology entries,of which 246 were biological processes.Fifty-five Kyoto Gene and Genomic Encyclopedia pathways were enriched,mainly the cancer pathway,NOD-like receptor signaling pathway,and Toll-like receptor signaling pathway,which are involved in the action mechanism of FHD.Conclusion:The results of this study preliminarily verified the basic pharmacological action mechanism of FHD in the treatment of RA,laying a foundation for elucidating its mechanism of action.展开更多
In order to recognize one's intention from the communication, both the meaning and the emotion are necessary to be interpreted correctly. But until now the study of fine-grained theory of emotion is still full of cha...In order to recognize one's intention from the communication, both the meaning and the emotion are necessary to be interpreted correctly. But until now the study of fine-grained theory of emotion is still full of challenges. This paper analy- zes emotion category according to the statistics of Affective Word (AW) hierarchy and descries an e- motion ontology from Chinese knowledge resource semi-automatically created for human machine in- teraction. The emotion hierarchy is called complex emotion. Firstly, over 7 000 AWs have been annota- ted and theft detailed explanations had been collected for an affective lexicon and then the consistent rela- tionships are automatically parsed and a serial of e- motion hierarchical structures are built up. More than 50 affective categories are extracted by a lexical clustering algorithm and about 5 000 nouns and ad- jectives and 2 000 verbs are categorized into the predicate hierarchy. The results have been evaluated to be valid by two metrics.展开更多
Although there have been existing competitions among web service (WS) providers, they still have opportunities to cooperate together for common profits. WS community as a mean to provide an ontological organizati...Although there have been existing competitions among web service (WS) providers, they still have opportunities to cooperate together for common profits. WS community as a mean to provide an ontological organization of WSs that share the same domain of interest has realized this kind of fancy in the sense that providers can work together to compete against others outside the community. Service selection in WS community is different from the traditional service selection, since WS community should take into account its own benefits. Therefore, we propose a hybrid approach to make service selection in WS community. The approach considers the profits of both WS community and the services within it. The experimental evaluation shows that the approach has a great advantage over other approach without consideration of community's benefits.展开更多
Exotic options, or “path-dependent” options are options whose payoff depends on the behavior of the price of the underlying between 0 and the maturity, rather than merely on the final price of the underlying, such a...Exotic options, or “path-dependent” options are options whose payoff depends on the behavior of the price of the underlying between 0 and the maturity, rather than merely on the final price of the underlying, such as compound options, reset options and so on. In this paper, a generalization of the Geske formula for compound call options is obtained in the case of time-dependent volatility and time-dependent interest rate by applying martingale methods and the change of numeraire or the change of probability measure. An analytic formula for the reset call options with predetermined dates is also derived in the case by using the same approach. In contrast to partial differential equation (PDE) approach, our approach is simpler.展开更多
Using the Splitting Hopkinson Pressure Bar (SHPB) experimental system, investigations were made into the dynamic mechanical performances of underground soft rocks. The experiments proved that the measured stress-str...Using the Splitting Hopkinson Pressure Bar (SHPB) experimental system, investigations were made into the dynamic mechanical performances of underground soft rocks. The experiments proved that the measured stress-strain curves display the characteristics of plastic deformation. By making use of a revised overstress constitutive formula for the stress model and by taking into account that the strain rate and strain are a function of I - E(t)/Eo, a revised overstress constitutive formula for the stress model was simplified by applying dimensional analysis and consequently, a simplified overstress formula was obtained for the stress model. Then, by taking into consideration the effects of damage under a dynamic load on the dynamic loading strength of the rock, the continuous damage theory and the statistical strength theory were introduced into the development of the simplified overstress constitutive formula for the stress model. Hence, a damage-based constitutive formula for an overstress model, which can be appropriately applied to the analysis of full dynamic stress-strain curves, was developed. By using the simplified damage-based constitutive formula for an overstress model, the actually measured curves are fitted, indicating that the fitting curves and those actually measured are in good agreement.展开更多
Amphioctopus fangsiao is one of the most economically important species and has been considered to be a candidate for aquaculture. In order to facilitate its fine-scale genetic analyses, we constructed a normalized fu...Amphioctopus fangsiao is one of the most economically important species and has been considered to be a candidate for aquaculture. In order to facilitate its fine-scale genetic analyses, we constructed a normalized full-length library successfully and developed a set of microsatellite markers in this study. The normalized full-length library had a storage capacity of 6.9×105 independent clones. The recombination efficiency was 95% and the average size of inserted fragments was longer than 1000 bp. A total of 3440 high quality ESTs were obtained, which were assembled into 1803 unigenes. Of these unigenes, 450(25%) were assigned into 33 Gene Ontology terms, 576(31.9%) into 153 Kyoto Encyclopedia of Genes and Genomes pathways, and 275(15.3%) into 22 Clusters of Orthologous Groups. Seventy-six polymorphic microsatellite markers were identified. The number of alleles per locus ranged from 4 to 17, and the observed and expected heterozygosities varied between 0.167 and 0.967 and between 0.326 and 0.944, respectively. Twelve loci were significantly deviated from Hardy-Weinberg equilibrium after Bonferroni correction and no linkage disequilibrium was found between different loci. This study provided not only a useful resource for the isolation of the functional genes, but also a set of informative microsatellites for the assessment of population structure and conservation genetics of A. fangsiao.展开更多
This paper discribes a data representation for WordNet 2.1 based on Web Ontology Language (OWL). The main components of WordNet database are transformed as classes in OWL, and the relations between synsets or lexcial ...This paper discribes a data representation for WordNet 2.1 based on Web Ontology Language (OWL). The main components of WordNet database are transformed as classes in OWL, and the relations between synsets or lexcial words are transformed as OWL properties. Our conversion is based on the data file of WordNet instead of the Prolog database. This work can be used to enrich the work in progress of standard conversion of WordNet to the RDF/OWL representation at W3C.展开更多
To making the decision of the developing blue prints,ideal point method was selected to estimate the life cycle cost with effectiveness of torpedo.At the same time,the concept of grey relational entropy of the grey sy...To making the decision of the developing blue prints,ideal point method was selected to estimate the life cycle cost with effectiveness of torpedo.At the same time,the concept of grey relational entropy of the grey system theory was adopted to compute the distance between each blue print and the ideal point(or negative ideal point).The blue print,nearest to the ideal point and farthest to the negative ideal point,is the best one.As an example,four blue prints of torpedo were estimated.The result indicates the practical value of this method.展开更多
The goal of this paper is to take a further step towards an ontological approach for representing requirements information. The motivation for ontologies was discussed. The definitions of ontology and requirements ont...The goal of this paper is to take a further step towards an ontological approach for representing requirements information. The motivation for ontologies was discussed. The definitions of ontology and requirements ontology were given. Then, it presented a collection of informal terms, including four subject areas. It also discussed the formalization process of ontology. The underlying meta-ontology was determined, and the formalized requirements ontology was analyzed. This formal ontology is built to serve as a basis for requirements model. Finally, the implementation of software system was given.展开更多
文摘Homo-urbanicus is a planning concept which treats a human being as a rational animal with distinct material,social and intellectual characteristics,and a human settlement as a space in which human beings seek and offer opportunities for connection.Human-centered planning is the application of classical Natural Law(balance between self-preservation and mutual preservation)to the matching of human needs and human settlements.
基金Supported by National Natural Science Foundation of China!(No.1 9772 0 32 )
文摘Buckling of a woven fabric is analyzed in this paper when it is subjected to a simple shear in warp direction.The equation to determine the buckling direction (buckling wave direction) is obtained and it is found that the buckling direction is related to the critical amount of shear.It is shown that the out-of-plane buckling of fabric is possible and only a flexural buckling mode can exist.The buckling condition for flexural mode is obtained and the curve for that is illustrated.
基金The National Natural Science Foundation of China(No70671021)Jiangsu Postdoctoral Foundation (No0601015C)
文摘A two-level supply chain model involving one supplier and one retailer with linear demand is developed, and supply chain coordination mechanisms under asymmetric information (the retailer' s cost structure is asymmetric information) are proposed by employing game theory in two scenarios: coordination mechanisms under asymmetric information in a regular scenario (without disruption); and coordination mechanisms under asymmetric information in an irregular scenario ( with retailer cost disruptions). It is optimal for the supply chain to maintain the original production plan and to guarantee a steadily running system if variations of retailer costs are sufficiently low and do not exceed an upper bound. This shows that the original production plan has certain robustness under disruptions. Decisions must be re-made if a retailer' s cost change is greater and exceeds an upper bound. Impacts of retailer cost disruptions on the order quantity, the retail price, the wholesale price and each party' s as well as the system' s expected profits are investigated through numerical analyses.
文摘To alleviate the amount of work involved in constructing a domain ontology, starting with the base of an existing terminological-rich thesaurus is better than starting from scratch. With a case study of reengineering the Defense Science and Technology Thesaurus into a prototype military aircraft ontology, a four-phase thesaurus-based methodology is introduced and investigated, which consists of identifying the application purpose, overall design, designing in detail and evaluation. Designing in detail is the core step, converting the terms and semantic relationships of the thesaurus into an ontology and supplementing richer semantic relationships. The resulting prototype ontology includes 87 concepts and 34 relationships, and can be extended and scaled up to a full-fledged domain ontology in the future. Eight universal genres of relationships of this ontology are preliminarily summarized and analyzed, including equivalent relationships, approximate relationships, generic/abstract relationships, part/whole relationships, cause/effect relationships, entity/location relationships etc., and the normalization of semantic relationships is critical to the merging and reusing of follow-up multiple ontologies.
基金Projects(2013BAB02B05,2012BAB08B01)supported by the National Science and Technology Support Program of ChinaProject(2013JSJJ029)supported by the Teacher Foundation of Central South University,ChinaProject(51074177)supported by the Joint Funding of National Natural Science Foundation and Shanghai Baosteel Group Corporation,China
文摘In order to study the failure mechanism of backfill and the reasonable matches between backfill and rock mass, and to achieve the object of safe and efficient mining in metal mine, four types of backfills were tested under uniaxial compression loading, with cement?tailing ratios of 0.250:1, 0.125:1, 0.100:1 and 0.083:1, respectively. With the help of the stress?strain curves, the deformation and failure characteristics of different backfills with differing cement?tailing ratios were analyzed. Based on the experimental results, the damage constitutive equations of cemented backfills with four cement?tailing ratios were proposed on the basis of damage mechanics. Moreover, comparative analysis of constitutive model and experimental results were made to verify the reliability of the damage model. In addition, an energy model using catastrophe theory to obtain the instability criteria of system was established to study the interaction between backfill and rock mass, and then the system instability criterion was deduced. The results show that there are different damage characteristics for different backfills, backfills with lower cement?tailing ratio tend to have a lower damage value when stress reaches peak value, and damage more rapidly and more obviously in failure process after peak value of stress; the stiffness and elastic modulus of rock mass with lower strength are more likely to lead to system instability. The results of this work provide a scientific basis for the rational strength design of backfill mine.
文摘This paper approaches the Communicative Approach (CA) from ontological perspective by making structural and functional analyses with consideration of influential variables in the communicative language teaching. In terms of entitative dimension, the basic components of the CA are communicative subjects, context and situation, content, and mode. From the functional perspective, the CA helps to improve the learners' ability to communicate in the target language, the dual construction of the learners and the target culture, and the mutual development of the teacher and the learners.
基金National Natural Science Foundation ofChina(No.70 2 710 3 8)
文摘Ontology is defined as an explicit specification of a conceptualization. In this paper, an extended ontology model was constructed using description logics, which is a 5-tuples including term set, individual set, term definition set, instantiation assertion set and term restriction set. Based on the extended model, the issue on ontology checking was studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivalence checking and term disjointness checking, can be reduced to the satisfiability checking, and satisfiability checking can be transformed into instantiation consistence checking.
基金Supported by the National Natural Science Foundation of China ( No. 40601083 ), the National Key Basic Research and Development Program of China ( No. 2004CB318206).
文摘In GIS field, great varieties of information from different domains are involved in order to solve actual problems. But usually spatial information is stored in diverse spatial databases, manipulated by different GIS platforms. Semantic heterogeneity is caused due to the distinctions of conception explanations among various GIS implements. It will result in the information obtaining and understanding gaps for spatial data sharing and usage. An ontology-based model for spatial information semantic interoperability is put forward after the comprehensive review of progress in ontology theory, methodology and application research in GIS domain.
基金Supported by the Open Research Fund Program of the Geomatics and Applications Laboratory, Liaoning Technical University (No. 2005001).
文摘Starting with a simple presentation of location determination techniques, physical location and geographic location as two common kinds of location description methods are discussed. The semantic location concept is then introduced and a correction is given, which especially emphasizes that location property is an important part of semantic location. By analyzing the connotation and extension of every geographic location, what should be contained in a location property is determined. Using a hierarchical model, the relations and associations among locations are clearly described. To realize a formalized description of semantic location, an ontology technique that can adequately describe semantic information of location is used. Organized by ontology web language, a location ontology model allows semantic location to be read and processed by computer. The location ontology model realizes the knowledge description of location information and establishes an important foundation to personalized preference services in location based services.
文摘Objective:To explore the pharmacological action mechanism of Fang Ji Huang Qi decoction(FHD)in the treatment of rheumatoid arthritis(RA)by network pharmacology.Methods:The chemical compositions and functional targets of the TCM were retrieved using the systematic pharmacological analysis platform TCMSP,and the gene name of each target protein was obtained from the UniProtKB network platform.The targets of RA were queried through the CTD database.The protein–protein interaction network was constructed in the STRING database,and the network visualization analysis was performed in Cytoscape.The Gene Ontology and Kyoto Gene and Genomic Encyclopedia pathways enrichment analyses of key target proteins were performed using the DAVID data platform.Results:A total of 472 drug active ingredients were screened from the TCMSP database.Seventy-five disease targets from the CTD database were screened.The compound-target network map contained further screened out 98 components and corresponding 75 targets.The key compounds included quercetin and kaempferol.The key targets were prostaglandin G/H synthase 2 and nitric oxide synthase 2.The protein-protein interaction network consisted of 75 proteins,of which 37 were key proteins,including tumor protein 53,JUN and interleukin-6.There were 260 Gene Ontology entries,of which 246 were biological processes.Fifty-five Kyoto Gene and Genomic Encyclopedia pathways were enriched,mainly the cancer pathway,NOD-like receptor signaling pathway,and Toll-like receptor signaling pathway,which are involved in the action mechanism of FHD.Conclusion:The results of this study preliminarily verified the basic pharmacological action mechanism of FHD in the treatment of RA,laying a foundation for elucidating its mechanism of action.
基金supported by the Ministry of Education,Science,Sports and Culture,Grant-in-Aid for Scientific Research under Grant No.22240021the Grant-in-Aid for Challenging Exploratory Research under Grant No.21650030
文摘In order to recognize one's intention from the communication, both the meaning and the emotion are necessary to be interpreted correctly. But until now the study of fine-grained theory of emotion is still full of challenges. This paper analy- zes emotion category according to the statistics of Affective Word (AW) hierarchy and descries an e- motion ontology from Chinese knowledge resource semi-automatically created for human machine in- teraction. The emotion hierarchy is called complex emotion. Firstly, over 7 000 AWs have been annota- ted and theft detailed explanations had been collected for an affective lexicon and then the consistent rela- tionships are automatically parsed and a serial of e- motion hierarchical structures are built up. More than 50 affective categories are extracted by a lexical clustering algorithm and about 5 000 nouns and ad- jectives and 2 000 verbs are categorized into the predicate hierarchy. The results have been evaluated to be valid by two metrics.
文摘Although there have been existing competitions among web service (WS) providers, they still have opportunities to cooperate together for common profits. WS community as a mean to provide an ontological organization of WSs that share the same domain of interest has realized this kind of fancy in the sense that providers can work together to compete against others outside the community. Service selection in WS community is different from the traditional service selection, since WS community should take into account its own benefits. Therefore, we propose a hybrid approach to make service selection in WS community. The approach considers the profits of both WS community and the services within it. The experimental evaluation shows that the approach has a great advantage over other approach without consideration of community's benefits.
基金Project (No. Y604137) supported by the Natural Science Foundationof Zhejiang Province, China
文摘Exotic options, or “path-dependent” options are options whose payoff depends on the behavior of the price of the underlying between 0 and the maturity, rather than merely on the final price of the underlying, such as compound options, reset options and so on. In this paper, a generalization of the Geske formula for compound call options is obtained in the case of time-dependent volatility and time-dependent interest rate by applying martingale methods and the change of numeraire or the change of probability measure. An analytic formula for the reset call options with predetermined dates is also derived in the case by using the same approach. In contrast to partial differential equation (PDE) approach, our approach is simpler.
基金supported by funds from the National Natural Science Foundation of China (Nos. 51374013, 51174005 and 51134012)the Huo Yingdong Funds for Young Teachers to Conduct Researches on Basic Sciences (No. 121050)+1 种基金the academic research activities subsidies for academic and technical leaders and backup candidate in Anhui provincethe funds for the Doctoral Program of Higher Education (No. 20133415110006)
文摘Using the Splitting Hopkinson Pressure Bar (SHPB) experimental system, investigations were made into the dynamic mechanical performances of underground soft rocks. The experiments proved that the measured stress-strain curves display the characteristics of plastic deformation. By making use of a revised overstress constitutive formula for the stress model and by taking into account that the strain rate and strain are a function of I - E(t)/Eo, a revised overstress constitutive formula for the stress model was simplified by applying dimensional analysis and consequently, a simplified overstress formula was obtained for the stress model. Then, by taking into consideration the effects of damage under a dynamic load on the dynamic loading strength of the rock, the continuous damage theory and the statistical strength theory were introduced into the development of the simplified overstress constitutive formula for the stress model. Hence, a damage-based constitutive formula for an overstress model, which can be appropriately applied to the analysis of full dynamic stress-strain curves, was developed. By using the simplified damage-based constitutive formula for an overstress model, the actually measured curves are fitted, indicating that the fitting curves and those actually measured are in good agreement.
基金the National Natural Science Foundation of China (Nos. 31302215, 31272643)the Shandong Provincial Natural Science Foundation (Nos. BS2014NY010, ZR2013CQ030)the Shandong Provincial Primary Research and Development Projects (No. 2015GNC110017)
文摘Amphioctopus fangsiao is one of the most economically important species and has been considered to be a candidate for aquaculture. In order to facilitate its fine-scale genetic analyses, we constructed a normalized full-length library successfully and developed a set of microsatellite markers in this study. The normalized full-length library had a storage capacity of 6.9×105 independent clones. The recombination efficiency was 95% and the average size of inserted fragments was longer than 1000 bp. A total of 3440 high quality ESTs were obtained, which were assembled into 1803 unigenes. Of these unigenes, 450(25%) were assigned into 33 Gene Ontology terms, 576(31.9%) into 153 Kyoto Encyclopedia of Genes and Genomes pathways, and 275(15.3%) into 22 Clusters of Orthologous Groups. Seventy-six polymorphic microsatellite markers were identified. The number of alleles per locus ranged from 4 to 17, and the observed and expected heterozygosities varied between 0.167 and 0.967 and between 0.326 and 0.944, respectively. Twelve loci were significantly deviated from Hardy-Weinberg equilibrium after Bonferroni correction and no linkage disequilibrium was found between different loci. This study provided not only a useful resource for the isolation of the functional genes, but also a set of informative microsatellites for the assessment of population structure and conservation genetics of A. fangsiao.
基金Project supported by the National Natural Science Foundation of China (No. 60373080)the 985 Project of Zhejiang University, China
文摘This paper discribes a data representation for WordNet 2.1 based on Web Ontology Language (OWL). The main components of WordNet database are transformed as classes in OWL, and the relations between synsets or lexcial words are transformed as OWL properties. Our conversion is based on the data file of WordNet instead of the Prolog database. This work can be used to enrich the work in progress of standard conversion of WordNet to the RDF/OWL representation at W3C.
基金the Doctorate Foundation of Northwestern Polytechnical University (Grant No.CX200304)
文摘To making the decision of the developing blue prints,ideal point method was selected to estimate the life cycle cost with effectiveness of torpedo.At the same time,the concept of grey relational entropy of the grey system theory was adopted to compute the distance between each blue print and the ideal point(or negative ideal point).The blue print,nearest to the ideal point and farthest to the negative ideal point,is the best one.As an example,four blue prints of torpedo were estimated.The result indicates the practical value of this method.
基金HighTechnologyResearch andDevelopment Program"863" (No.2 0 0 2 AA4114 2 0 )National NaturalScienceFoundation of China (No.60 3 740 71)
文摘The goal of this paper is to take a further step towards an ontological approach for representing requirements information. The motivation for ontologies was discussed. The definitions of ontology and requirements ontology were given. Then, it presented a collection of informal terms, including four subject areas. It also discussed the formalization process of ontology. The underlying meta-ontology was determined, and the formalized requirements ontology was analyzed. This formal ontology is built to serve as a basis for requirements model. Finally, the implementation of software system was given.