COUNTEREXAMPLE

作品数:18被引量:19H指数:2
导出分析报告
相关领域:自动化与计算机技术理学更多>>
相关机构:清华大学更多>>
相关期刊:《Journal of Computer Science & Technology》《Applied Mathematics》《Acta Mathematica Sinica,English Series》《Science China Mathematics》更多>>
相关基金:国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金上海市自然科学基金更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-10
视图:
排序:
On Performance Characteristics of a Nonparametric Subset Selection Procedure with a Small Randomized Block Experimental Design
《Applied Mathematics》2024年第9期630-650,共21页Gary C. McDonald Sajidah Alsaeed 
This article addresses the issue of computing the constant required to implement a specific nonparametric subset selection procedure based on ranks of data arising in a statistical randomized block experimental design...
关键词:Rank Statistics Least Favorable Configuration Probability of Correct Selection Slippage Configuration Equal Spaced Configuration Counterexample Configuration 
On Convexification for a Class of Global Optimization Problems
《Journal of the Operations Research Society of China》2022年第3期427-446,共20页Qian Yan Xin-Min Yang Zhi-You Wu 
founded by the National Natural Science Foundation of China(Nos.11991024,11871128,and 11771064).
In this paper,firstly,we give a counterexample to point out there exist deficiencies in our previous works(Wu et al.in J Glob Optim 31:45-60,2005).In addition,we improve the corresponding results.Finally,an example is...
关键词:Global optimization DEFICIENCY COUNTEREXAMPLE Monotone optimization Convexification method 
Counterexample of Local Fractional Order Chain Rule and Modified Definition of Local Fractional Order
《Journal of Donghua University(English Edition)》2020年第6期521-525,共5页FAN Kai ZHOU Cunlong 
Major Science and Technology Project in Shanxi Province of China(Nos.20181101008 and 20181102015);Supplementary Platform Project of“1331”Project in Shanxi Province in 2018,China。
Fractional calculus is a powerful tool for modeling nonlinear systems.It is necessary to discuss the basic properties of fractional order before solving a fractional order model.Using the formula of power function def...
关键词:local fractional order chain rule fractional complex transformation fractal derivative 
Development of Entropy Change in Philosophy of Science被引量:2
《Journal of Philosophy Study》2020年第9期517-524,共8页Yi-Fang Chang 
Entropy is important in philosophy of science,but some fallacies originate from the misunderstanding entropy increases.The basis of thermodynamics is the statistics and its basic principle of statistical independence....
关键词:philosophy of science ENTROPY world view internal interaction COUNTEREXAMPLE 
Comments on "Some new distance measures for type-2 fuzzy sets and distance measure based ranking for group decision making problems"被引量:1
《Frontiers of Computer Science》2018年第2期396-400,共5页Sukhveer SINGH Harish GARG 
In this article, we have pointed out that some propositions corresponding to the distance measure between the type-2 fuzzy sets (T2FSs) as provided by Singh (Frontiers of Computer Science, 2014, 8(5), 741-752), ...
关键词:type-2 fuzzy set distance measure incorrect assertion COUNTEREXAMPLE 
Lazy Slicing for State-Space Exploration被引量:1
《Journal of Computer Science & Technology》2012年第4期872-890,共19页黄少滨 黄宏涛 陈志远 吕天阳 张涛 
Supported by the National Natural Science Foundation of China under Grant No. 60873038;the National Key Technology Research and Development Program of the Ministry of Science and Technology of China under Grant Nos. 2009BAH42B02 and 2012BAH08B02
CEGAR (Counterexample-guided abstraction refinement)-based slicing is one of the most important techniques in reducing the state space in model checking. However, CEGAR-based slicing repeatedly explores the state sp...
关键词:counterexample-guided abstraction refinement spurious counterexample over-approximate slicing local refinement lazy slicing 
A Characterization of Counterexamples to the Kodaira-Ramanujam Vanishing Theorem on Surfaces in Positive Characteristic
《Chinese Annals of Mathematics,Series B》2011年第5期741-748,共8页Qihong XIE 
supported by the National Natural Science Foundation of China (No. 10901037);the Doctoral Program Foundation of the Ministry of Education of China (No. 20090071120004);the Scientific Research Foundation for the Returned Overseas Chinese Scholars,State Education Ministry
The author gives a characterization of counterexamples to the Kodaira-Ramanujam vanishing theorem on smooth projective surfaces in positive characteristic.More precisely,it is reproved that if there is a counterexampl...
关键词:CHARACTERIZATION COUNTEREXAMPLE Kodaira-Ramanujam vanishing 
Financial Intermediation Development and Economic Growth:Does the Chinese Counterexample Exist?被引量:11
《China & World Economy》2010年第5期22-36,共15页Yaojun Yao 
supported by the Social and Humanity Sciences Foundation of the Ministry of Education of the People's Republic of China for young people (No.09YJC790243);the National Natural Science Foundation of China (No. 70773103);the Project of Key Research Base of Human and Social Sciences (Finance) for Colleges in Zhejiang Province (Grant Number of Academic Education of Zhejiang [2008]255)
In terms of the degree-of-freedom of bank loan decision-making, the ratio of loans of private enterprises and individuals to total loans is used to measure the development of China 's financial intermediation. Applyi...
关键词:economic growth financial intermediafion generalized method of moments-system estimation 
Deadlock detection using abstraction refinement
《Journal of Shanghai University(English Edition)》2010年第1期1-5,共5页曾红卫 
supported by the Natural Science Foundation of Shanghai (Grant No.09ZR1412100);the National Natural Science Foundation of China (Grant No.60673115);the Shanghai Leading Academic Discipline Project (Grant No.J50103)
This paper adopts counterexample guided abstraction refinement scheme to alleviate the state explosion problem of deadlock detection. We extend the classical labeled transition system models by qualifying transitions ...
关键词:deadlock detection state explosion extended labeled transition system abstraction refinement COUNTEREXAMPLE 
A counterexample of the Euler condition:the Appell-Hamel dynamical system on a horizontally moving plate
《Chinese Physics B》2009年第8期3131-3134,共4页徐山杉 李书民 Berakdar Jamal 
supported by the National Natural Science Foundation of China (Grant Nos 10874169 and 10674125);and the National Basic Research Program of China (Grant No 2007CB925200);Li Shu-Min is grateful to DAAD and DFG for financial supportduring his stay in Germany
As a counterexample of the Euler condition for nonholonomic constraint problems [H. C. Shen, Acta Phys. Sin. 54, 2468 (2005)], we investigate the Apell-Hamel dynamical system on a horizontally moving plate. The inco...
关键词:Euler condition nonholonomic constraint Appell-Hamel dynamical system Newtonsolution 
检索报告 对象比较 聚类工具 使用帮助 返回顶部