判定问题相关论文
税收协定亦称“税收条约”,是主权国家签订的处理相互间税收分配关系的书面协议。避免双重征税协定是指有关国家为避免对纳税人的......
对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向。我们对极小不可满足公式集感兴趣主要基于两方面的原因：一是大......
一个CNF公式F称为极小不可满足的(MU)，如果F是不可满足，并且在F中删去任意一个子句后所得到的公式是可满足的。一个MU中的公式F称为......
全等三角形是中考中的热点，从填空题、选择题到解答题，处处可以发现它的身影，如单独考查或渗透到其他知识的过程中考查，形式多种多样，各......
非奇H矩阵是一类很重要的特殊矩阵，在矩阵理论和实际应用中具有重要意义。它在计算数学、数学物理、控制系统的稳定性等领域中有着......
一个时期以来,假冒伪劣消防产品充斥市场,一些不法单位和个人违法生产销售、持证造假、偷工减料、以次充好、以假乱真等现象比较普......
2012年7月,由五名特种狙击手组成的中国代表队,参加了一场国际特种狙击手比赛。这五位选手都是百发百中的“枪王”。另有七个国家......
JJF1070-2005《定量包装商品净含量计量检验规则》中,对样本平均实际含量的判定规则是：样本平均实际含量应大于或等于标注净含量减......
时间效率是衡量算法优劣的一个重要因素。判定类问题作为软件开发中的常见问题，有很多解决方法。研究表明，运用Huffman算法可以建立......
在农业技术推广实际工作中,我们经常会遇到水稻田间含杂的判定问题：杂交水稻田间含杂,农民首先就会想到是种子质量有问题,并且理所......
FK165型扩音机的功率放大电路是全直耦型电路，只要其中有一个管子损坏（击穿），那么整个电路各晶体管的电压均会变得不正常。然而，这就给......
可计算理论建立于二十世纪三十年代.可计算理论的研究对象有三个:(1)判定问题;(2)可计算函数;(3)计算复杂性.判定问题主要是判定方......
对一类带弧费用约束的最短路径问题进行了研究,即对于网络中两个给定的顶点s,t,找出s和t之间的一条路,使得在满足总费用不超过一个......
本文研究了传统公钥密码方案，设计并实现了一种基于素域椭圆曲线的公钥密码算法。该方法从Diffie Hellman判定问题出发，辅以抗碰撞的......
浙江省出口优势产业,也大多是受技术性生贸易措施影响较大的产业.机电仪器类企业继续遭受最大影响,纺织鞋帽类浙江省传统出口行业......
就 y·=-∑4i=1αixi-(∑2i=0αixi)y,x·=y类方程的中心焦点判定,给出了2个判定定理.通过直接计算,可简化对此类系统的中......
巩文杰因四川省宜宾五粮液集团有限公司（以下简称五粮液公司）、北京家乐福商业有限公司（以下简称家乐福公司）涉嫌侵犯专利权，向北京市第......
“公共利益”是个非常重要的法律概念，但要科学地制订立法定义却有一定理论难度。要克服这种困难．应采用分散立法的思路和“递归定义......
根据所知学方法的基本原则，从形式化规定和内在要求来看，一门学问的基本问题这门学问的判定问题与可能与可能性问题；哲学的制定问题可......
本文呈述一种泛系论研究纲领,主要是从泛系理性、泛系变分运筹理念论述数理工医文社史哲的某些统一性探索和许多跨学科否定问题的......
<正> 当你在网上通过电子商务系统把一笔巨款转入预期的账户时,你一定是心安神泰,因为你相信这种系统是安全可靠的。当你被告知,它......
1问题的提出考查空间想像能力是数学高考的一个热点，在试题中的表现形式多样，其形式之一就是对空间几何图形在平面内的射影可能出现......
<正>《义务教育数学课程标准(2011版)》指出:"有效的数学学习活动不能单纯地依赖模仿与记忆,动手实践、自主探索与合作交流是学生......
在印后加工过程中．我们主要通过间断性抽检来检查产品是否达到工艺要求。检查时，我们常遇到各种各样的质量问题．这些问题不仅影响产品......
<正>中考压轴题中的等腰三角形判定问题,往往和线段垂直平分线、勾股定理、相似三角形、方程、函数等知识揉合在一起,来考查同学们......
<正>一、问题背景化学平衡状态的判定是一类常见题型,考查形式多样,考查方法灵活,这种题目难度不是特别大,但是做起来比较容易失分......
机械化证明定理,目前值得注意的是Tarski关于初等几何与初等代数定理的机械证明法。他以及后来一些研究工作者的方法,大都基于Stur......
现代计算学科大家族中有许多分支,如并行计算、网格计算、高性能计算、情感计算、虚拟计算、移动计算、云计算、移动云计算……但......
<正> 为什么有必要在讲述数学模型时介绍计算复杂性理论呢?一方面,在建立数学模型的过程中,必须同时考虑如何求解的问题,因此就要......
<正>阿兰·麦席森·图灵(Alan Mathison Turing,1912-1954)的一生短暂而富有传奇色彩。他不仅在数学、逻辑学和计算机科学等诸多领......
该起船舶买卖合同纠纷在处理约定限期办理权属变更手续的违约认定及责任判定问题时,涉及合同纠纷的几个常见争议问题,包括合同条款......
NP完全性理论不仅是计算机科学的重大研究课题,而且也是每个软件工作者必备的知识。M. R. Garey和D. S. Johnson合著的“COMPUTERS......
真与假问题，是古今中外哲学家反复研究的一个古老问题，也是一个涉及从日常生活到科学研究的广泛领域的基本问题。尽管人们对这一问题......
