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

FORMALIZATION: 作品数：42被引量：35H指数：3; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：朱景文赵克强李鸿胡海星更多>>; 相关机构：中国人民大学大连理工大学中国矿业大学中国科学院软件研究所更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家重点基础研究发展计划World Health Organization更多>>

The Anthropocene within the Geological Time Scale: a response to fundamental questions: 《Episodes》2024年第1期65-83,共19页Jan Zalasiewicz Martin J.Head Colin N.Waters Simon D.Turner Peter K.Haff Colin Summerhayes Mark Williams Alejandro Cearreta Michael Wagreich Ian Fairchild Neil L.Rose Yoshiki Saito Reinhold Leinfelder Barbara Fiałkiewicz-Kozieł Zhisheng An Jaia Syvitski Agnieszka Gałuszka Francine M.G.McCarthy Juliana Ivar do Sul Anthony Barnosky Andrew B.Cundy J.R.McNeill Jens Zinke; The Anthropocene as a prospective new,ongoing series/epoch must be defensible against all relevant concerns.We address the seven,still-relevant challenges posed to the Anthropocene Working Group by the Chair,Internati...; 关键词：proxy signals GSSP indelibility FORMALIZATION gssa stratigraphic record geological time scale

Semantic Consistency and Correctness Verification of Digital Traffic Rules: 《Engineering》2024年第2期47-62,共16页Lei Wan Changjun Wang Daxin Luo Hang Liu Sha Ma Weichao Hu; The consensus of the automotive industry and traffic management authorities is that autonomous vehicles must follow the same traffic laws as human drivers.Using formal or digital methods,natural language traffic rules...; 关键词：Autonomous driving Traffic rules DIGITIZATION FORMALIZATION VERIFICATION

Metadata as a Methodological Commons:From Aboutness Description to Cognitive Modeling: 《Data Intelligence》2023年第1期289-302,共14页Wei Liu Yaming Fu Qianqian Liu; supported by the National Social Science Foundation(Grant/Award Number:21&ZD334)。; Metadata is data about data,which is generated mainly for resources organization and description,facilitating finding,identifying,selecting and obtaining information.With the advancement of technologies,the acquisitio...; 关键词：METADATA Methodological Commons Content Architecture Data Modeling Ontology Semantic Web Semantic Formalization WEB3.0 Metaverse

Features of hardware implementation of quasi-continuous observation devices with discrete receivers: 《Visual Computing for Industry,Biomedicine,and Art》2022年第1期71-77,共7页Oleksandr Maryliv Mykhailo Slonov; This article proposes an approach to the formalization of tasks and conditions for the hardware implementation of quasi-continuous observation devices with discrete receivers in remote sensing systems.Observation devi...; 关键词：Discrete receivers Formalization of tasks Conditions of hardware implementation

Structure,Dynamic-Mechanical and Acoustic Properties of Oil Palm Trunk Modified by Melamine Formaldehyde被引量：4: 《Journal of Renewable Materials》2021年第9期1647-1660,共14页Tetti Novalina Manik Sulung Apria Nuki Nur Aini Fauziyah Mashuri Mochamad Zainuri Darminto; The authors would like to acknowledge the Beasiswa Pendidikan Pascasarjana Dalam Negeri(BPPDN)KEMDIKBUD Indonesia who provided doctoral scholarship.; The performance of oil palm trunk wastes from Banjarbaru of South Kalimantan was improved with the help of chemical modification in a two-step treatment.The first was formalization with formaldehyde solution with vary...; 关键词：Acoustic performances dynamic-mechanical FORMALIZATION oil palm trunk

Mathematical formalization of the process of crossing individuals of different populations within the framework of the quasispecies model被引量：1: 《International Journal of Biomathematics》2021年第4期131-139,共9页A.V.Sedelnikov; This paper presents a mathematically formalized description of the process of crossing individuals of different populations as a break of the first kind of functional dependencies of the population state vector compon...; 关键词：Quasispecies model CROSSING Lymantria dispar artificial population

A Cognitive Approach to the Formalization of City and County Names in China’s Hunan Province: 《Journal of Contemporary Educational Research》2020年第6期18-24,共7页Kang Liu Dan Zhang Yuexiang Xie; There were mainly six types of formalization models found in the study for 95 city and county names in China’s Hunan province,namely,the environment in a place for the place,the wish of the nomenclator for the place,...; 关键词：City and county names Formalization models Cognitive operation Cognitive study semantic frames Conceptual theory

Short-and long-term effects of architecture on the brain:Toward theoretical formalization被引量：2: 《Frontiers of Architectural Research》2019年第4期564-571,共8页Andrea de Paiva Richard Jedon; The physical environm ent affects people’s behavior and wellbeing.Some effects can be easily noticed through observation,whereas others require an in-depth study to be understood and measured.Although many alteration...; 关键词：BRAIN Neuroarchitecture NEUROSCIENCE Behavior Short term Long term

Polymetrical Analysis as Universal System of Formalization the Knowledge: 《Journal of Mathematics and System Science》2019年第3期71-85,共15页Petro P.Trokhimchuck; Problem of search of universal system of formalization the knowledge is discussed.Philisophical,mathematical,cybernetic and computing aspects of its problem are analyzed.Foundation of polymetrical analysis as variant ...; 关键词：Polymetrical ANALYSIS S.Beer centurial problem TRIPLE optimization hybrid THEORY of systems THEORY of information calculations foundation of mathematics variable HIERARCHY metascience

Using Category Theory to Explore and Model Label Event Structures: 《Journal of Computer and Communications》2019年第1期49-60,共12页Ming Zhu Jing Li; The development of a concurrent system poses unique challenges, especially those related to correctness and consistency, as such a system usually involves several interactive processes executing simultaneously. To dea...; 关键词：CONCURRENT System LES FORMALIZATION CATEGORY Theory

FORMALIZATION