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

QUANTIFIER: 作品数：13被引量：8H指数：2; 导出分析报告; 相关领域：语言文字更多>>; 相关作者：刘新旺宋淑敏更多>>; 相关机构：东南大学中国计量学院更多>>; 相关期刊：《Frontiers of Computer Science》《US-China Foreign Language》《齐齐哈尔大学学报（哲学社会科学版）》《Science Bulletin》更多>>; 相关基金：中国博士后科学基金国家自然科学基金国家重点基础研究发展计划国家科技支撑计划更多>>

Research on wear state prediction of ball end milling cutter based on entropy measurement of tool mark texture images: 《Journal of Central South University》2025年第1期174-188,共15页LI Mao-yue LU Xin-yuan LIU Ze-long ZHANG Ming-lei; Project(51975169)supported by the National Natural Science Foundation of China;Project(LH2022E085)supported by the Natural Science Foundation of Heilongjiang Province,China。; Efficient tool condition monitoring techniques help to realize intelligent management of tool life and reduce tool usage costs.In this paper,the influence of different wear degrees of ball-end milling cutters on the t...; 关键词：ball-end cutter wear tool condition monitoring surface texture texture quantifier sample entropy

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

Heuristics in Language Comprehension: 《Journal of Behavioral and Brain Science》2018年第7期430-446,共17页Veena D. Dwivedi Kaitlin E. Goertz Janahan Selvanayagam; We used a sentence-picture matching task to demonstrate that heuristics can influence language comprehension. Interpretation of quantifier scope ambiguous sentences such as Every kid climbed?a tree was investigated. S...; 关键词：CONCEPTUAL EVENT Knowledge Language QUANTIFIER SCOPE SCRIPTS HEURISTICS

An Application of ＇Willingness to Pay＇ Method as a Quantifier for Environmental Impact Assessment: 《Journal of Environmental Science and Engineering(A)》2017年第9期479-486,共8页Odysseas Kopsidas; The preservation/restoration of natural environment is frequently entailing excessive cost （paid by people through taxation） while it is a source of additional income for both, the State and the people, due to touri...; 关键词：CVM （Contingent Valuation Method） environmental impact WTP （Willingness to Pay） logit model parametric approach non-parametric approach probit model.

Entanglement Quantifier Based on Atomic Wehrl Entropy for Non-Linear Interaction between a Single Two-Level Atom and SU(1,1) Quantum System被引量：1: 《Journal of Quantum Information Science》2014年第1期44-53,共10页Sayed Abdel-Khalek Manal Al-Quthami Mohamed M. A. Ahmed; In this paper, we study the dynamics of the atomic inversion, scaled atomic Wehrl entropy and marginal atomic Wehrl density for a single two-level atom interacting with SU(1,1) quantum system. We obtain the expectatio...; 关键词：Scaled ATOMIC Wehrl Entropy ATOMIC Q-FUNCTION ATOMIC Inversion

Optional Movements Derive Japanese Relative Clauses＇: 《US-China Foreign Language》2013年第9期645-658,共14页Hisashi Morita; This paper aims to show that relative clauses in Japanese are derived through two types of movements： scrambling and quantifier floating. Both of them are optional operations in Japanese. After presentation of eviden...; 关键词：SCRAMBLING quantifier floating scope interaction reconstruction effects the head-raising or promotion analysis

A Cross-Linguistic Comparison of Determiner Arrangement and its Pedagogic Implications: 《海外英语》2012年第16期262-265,共4页赵娟; The surface configurations of quantifiers and scope-determiners in Chinese and English NPs show both similarities and differences which may result in acquisition bewilderment for Chinese learners of English. Various E...; 关键词：QUANTIFIER scope-determiner arrangement SEMANTIC w

Some OWA operator weights determination methods with RIM quantifier: 《Journal of Southeast University(English Edition)》2007年第S1期76-82,共7页刘新旺; The National Key Technology R&D Program of China during the 11th Five-Year Plan Period(No.2006BAH02A06); Based on the quantifier guided method,an ordered weighted averaging(OWA)weights generating method under given orness level with regular increasing monotone(RIM)quantifiers is proposed.Then the RIM quantifier based OWA...; 关键词：ordered weighted averaging operator orness measure aggregation weights

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS被引量：3: 《Journal of Systems Science & Complexity》2006年第3期307-330,共24页Deepak KAPUR; This research was partially supported by an National Science Foundation(NSF);Information Technology Research(ITR)award CCR-0113611;an NSF award CCR-0203051.; A method using quantifier-elimination is proposed for automatically generating program invariants/inductive assertions. Given a program, inductive assertions, hypothesized as parameterized formulas in a theory, are as...; 关键词：Automated software analysis and verification inductive assertion loop invariant quantifier elimination.

中英文化中量词对比研究(英文)被引量：3: 《齐齐哈尔大学学报（哲学社会科学版）》2006年第4期139-140,共2页宋淑敏; 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.; 关键词：CHINESE English quantifier DIFFERENCE CULTURE

QUANTIFIER