Inconsistencies or conflicts appearing in the integration of ontologies and general rules are handled by applying prioritizing and updating. First, a prioritized knowledge base is obtained by weighting information wei...Inconsistencies or conflicts appearing in the integration of ontologies and general rules are handled by applying prioritizing and updating. First, a prioritized knowledge base is obtained by weighting information weight. Then, based on the idea ＂abandoning the old for the new＂, the weight of each rule is greater than that of the information in ontologies. If ontologies conflict with general rules, then a new knowledge-base without any inconsistency or conflict is obtained by using rules with big weight updating information in ontologies with small weight. Thus, current logic programming solvers and description logic reasoners are employed to implement the reasoning services, such as querying etc. Updating based on prioritizing is more suitable for handling inconsistencies than other approaches to introducing non-standard semantics if knowledge bases are dynamically evolving. Moreover, a consistent knowledge base can be always maintained in the dynamical environment by updating outdated information with new information based on weighting. Finally, this approach to dealing with inconsistencies is feasibly exemplified.展开更多
After World War II,the choice of the plutonium bomb as the technology roadmap for the first French atomic bomb was not a military issue,but rather one guided by civilian nuclear technology policy.After consideration o...After World War II,the choice of the plutonium bomb as the technology roadmap for the first French atomic bomb was not a military issue,but rather one guided by civilian nuclear technology policy.After consideration of the amount of uranium to be mined,technical reserves,and the financial situation,the civilian nuclear energy project of the Commissariatàl’énergie Atomique(CEA)was based on plutonium and natural uranium as the fissile materials,which indirectly provided enough plutonium for the future development of a nuclear weapon.When the Fourth Republic decided to develop the atomic bomb,a“Common Core”was established with the CEA,a public institution,as the lead,assisted by the military.Faced by the US embargo of nuclear weapons technology,the co-existence of civilian and military branches and their collaboration to some degree in the CEA not only made it a civilian-military complex,but also facilitated breakthroughs in the core technologies of implosion,the plutonium core,the tamper,and the neutron source.The success of the first French nuclear weapons test on February 13,1960,announced that France was on its way to becoming self-reliant in the military use of nuclear science.展开更多
We study the entropy of the Gibbons-Maeda-Garfinkle-Horowitz-Strominger （GMGHS） charged black hole, originated from the effective action that emerges in the low-energy of string theory, beyond semiclassical approxi-...We study the entropy of the Gibbons-Maeda-Garfinkle-Horowitz-Strominger （GMGHS） charged black hole, originated from the effective action that emerges in the low-energy of string theory, beyond semiclassical approxi- mations. Applying the properties of exact differentials for three variables to the first law thermodynamics we derive the quantum corrections to the entropy of the black hole. The leading （logarithmic） and non leading corrections to the area law are obtained.展开更多
基金The National Natural Science Foundation of China (No60973003)
文摘Inconsistencies or conflicts appearing in the integration of ontologies and general rules are handled by applying prioritizing and updating. First, a prioritized knowledge base is obtained by weighting information weight. Then, based on the idea ＂abandoning the old for the new＂, the weight of each rule is greater than that of the information in ontologies. If ontologies conflict with general rules, then a new knowledge-base without any inconsistency or conflict is obtained by using rules with big weight updating information in ontologies with small weight. Thus, current logic programming solvers and description logic reasoners are employed to implement the reasoning services, such as querying etc. Updating based on prioritizing is more suitable for handling inconsistencies than other approaches to introducing non-standard semantics if knowledge bases are dynamically evolving. Moreover, a consistent knowledge base can be always maintained in the dynamical environment by updating outdated information with new information based on weighting. Finally, this approach to dealing with inconsistencies is feasibly exemplified.
基金a phase study of a key project of the Fourteenth Five-Year Plan of the Institute for the History of Natural Sciences,Chinese Academy of Sciences:“A Comparative Study of the Sino-Foreign History of Scientific and Technological Innovation:The Road to Scientific and Technological Self-Reliance and Self-Improvement”(中外科技创新史比较研究——科技自立自强之路)(E2291J01)
文摘After World War II,the choice of the plutonium bomb as the technology roadmap for the first French atomic bomb was not a military issue,but rather one guided by civilian nuclear technology policy.After consideration of the amount of uranium to be mined,technical reserves,and the financial situation,the civilian nuclear energy project of the Commissariatàl’énergie Atomique(CEA)was based on plutonium and natural uranium as the fissile materials,which indirectly provided enough plutonium for the future development of a nuclear weapon.When the Fourth Republic decided to develop the atomic bomb,a“Common Core”was established with the CEA,a public institution,as the lead,assisted by the military.Faced by the US embargo of nuclear weapons technology,the co-existence of civilian and military branches and their collaboration to some degree in the CEA not only made it a civilian-military complex,but also facilitated breakthroughs in the core technologies of implosion,the plutonium core,the tamper,and the neutron source.The success of the first French nuclear weapons test on February 13,1960,announced that France was on its way to becoming self-reliant in the military use of nuclear science.
基金Supported by the Universidad Nacional de Colombia.Project Code 2010100
文摘We study the entropy of the Gibbons-Maeda-Garfinkle-Horowitz-Strominger （GMGHS） charged black hole, originated from the effective action that emerges in the low-energy of string theory, beyond semiclassical approxi- mations. Applying the properties of exact differentials for three variables to the first law thermodynamics we derive the quantum corrections to the entropy of the black hole. The leading （logarithmic） and non leading corrections to the area law are obtained.
