云南高校图书馆联盟文献共享服务平台- SOUNDNESS

SOUNDNESS: 作品数：27被引量：28H指数：3; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：唐邦志魏生民景韶宇史秋梅梁银聚更多>>; 相关机构：西北工业大学河北科技师范学院河北新华科极兽药有限公司更多>>; 相关期刊：《武汉理工大学学报》《Frontiers of Computer Science》《Materials Sciences and Applications》《Wuhan University Journal of Natural Sciences》更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划秦皇岛市科技局课题国家科技部专项基金更多>>

Dry Mix Slag—High-Calcium Fly Ash Binder. Part Two: Durability: 《Materials Sciences and Applications》2024年第3期37-51,共15页Alexey Brykov Mikhail Voronkov; This work investigates durability of cement-free mortars with a binder comprised of ground granulated blast furnace slag (GGBFS) activated by high-calcium fly ash (HCFA) and sodium carbonate (Na₂CO₃; 关键词：Ground Granulated Blast-Furnace Slag High-Calcium Fly-Ash Sodium Car-bonate Blast-Furnace Slag Binder DURABILITY ASR Sulfate Attack SOUNDNESS EFFLORESCENCE

Importance of Public Engagement in Environmental Impact Assessments (EIAs) and the Benefits of Stakeholder Involvement in Project Design, Environmental Soundness, and Social Acceptability: 《Journal of Environmental Protection》2023年第11期919-931,共13页Samuel Adu Randy Amponsah Samuel Antwi Peter Mensah; The paper discusses the importance of public engagement in environmental impact assessments (EIAs) and the benefits of stakeholder involvement in project design, environmental soundness, and social acceptability. It h...; 关键词：Sustainable Mineral Production Mining Environmental Sustainability Environmental Impact Assessment

Influence of Artificial Aggregate Soundness on Concrete Performance: 《外文科技期刊数据库(文摘版)工程技术》2022年第4期141-147,共7页CHENJie NUERHASIMUMuhamaitihan; As the main component of concrete, aggregate has a significant impact on the performance of concrete. The aggregate is divided into natural aggregate and artificial aggregate according to its source, among which the a...; 关键词：artificial aggregate ROBUSTNESS concrete properties

Variant quantifiers in L_(3)-valued first-order logic: 《Frontiers of Computer Science》2021年第5期151-159,共9页Wei LI Yuefei SUI; 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 qua...; 关键词：L_(3)-valued(three-valued)first-order logic sequent QUANTIFIER soundness theorem completeness theorem

Lack of Relationship between Testicular Echotexture and Seminal Characteristics in Adult Texel Rams: 《Agricultural Sciences》2018年第8期936-946,共11页Mariana A. G. Urt Edwin W. B. Bakarji Fábio J. C. Faria Elisvania F. Santos Deiler S. Costa; The objective of this study was to determine the minimum representative area to evaluate testicular echotexture parenchyma and to identify the correlations between the intensity of pixels of the testicular parenchyma ...; 关键词：OVINE BREEDING SOUNDNESS Evaluation TESTICULAR Ultrasound

Decomposition for a new kind of imprecise information system被引量：1: 《Frontiers of Computer Science》2018年第2期376-395,共20页Shaobo DENG Sujie GUAN Min LI Lei WANG Yuefei SUI; Acknowledgements This work was partially supported by the Science and Technology Project of Jiangxi Provincial Department of Education （GJJ 161109, GJJI51126）, the National Natural Science Foundation of China （Grant Nos. 61363047, 61562061）, and the Project of Science and Technology Department of Jiangxi Province （20161BBES0051, 20161BBES0050）.; In this paper, we first propose a new kind of imprecise information system, in which there exist conjunctions （∧＇s）, disjunctions （∨＇s） or negations （＇s）. Second, this paper discusses the relation that onl...; 关键词：imprecise information systems DECOMPOSITION composition soundness and completeness

Contrary description logic: Gentzen deduction system: 《Science China(Information Sciences)》2017年第11期167-175,共9页Wei LI Yuefei SUI Jie LUO Bo CHEN; Traditional description logics are based on complementary rather than contrary concepts. This work proposes a contrary description logic based on the contrary concept constructors ~, （instead of -）. A Gentzen-type ...; 关键词：description logics CONTRADICTORY contrary SOUNDNESS COMPLETENESS

The B4-valued propositional logic with unary logical connectives ～1 /～2/┐被引量：1: 《Frontiers of Computer Science》2017年第5期887-894,共8页Wei LI Yuefei SUI; Acknowledgements This work was supported by the National Natural Science Foundation of China （Grant Nos. 91224006 and 61173063） and the Ministry of Science and Technology （201303107）.; A B4-valued propositional logic will be proposed in this paper which there are three unary logical connectives ～1, ～2, ┐ and two binary logical connectives A, v, and a Gentzen-typed deduction system will be given s...; 关键词：the Belnap logic MODALITY the soundness thecompleteness

Corporate Governance,Government Regulation and Bank Stability: 《Journal of Donghua University(English Edition)》2015年第4期700-704,共5页王宇明曲洪建高长春; Ministry of Education Humanities and Social Science Youth Fund Project,China(No.12YJC630157);Shanghai University of Engineering Science,China(No.2012pg33); By using the data collected from the years 2006 to 2012 of16 listed banks as samples,an empirical test was set up to analyze the impacts of corporate governance and government regulation towards bank stability. The re...; 关键词：corporate governance franchise value capital regulation recessive Insurance bank soundness

Breeding Soundness Examination of Breeding Bull after Infecting Mycoplasma wenyonii: 《Agricultural Science & Technology》2013年第12期1813-1814,1869,共3页李正本高光平高桂生史秋梅张艳英邵新华梁银聚; Supported by Spark Program of Ministry of Science and Technology(2012GA6200025);Science and Technology Development Plan Program in Shijiazhuang City(08150132A-3);Program of Qinhuangdao Science and Technology Bureau(200901A070)~~; [Objective] The research aimed to study the reproductive health of breed- ing bull after infecting Mycoplasma wenyoniL [Method] The blood and semen quality of breeding bull before and after drug treatment was studied ...; 关键词：Cattle Mycoplasma wenyonii Breeding soundness examination （BSE）

SOUNDNESS