《中国科学》上“论Ore图的泛连通性”一文的简短证明

给出一种证明Ore图的泛连通性的较简洁证明。     

平面射影变换基本定理的简洁证明

依据射影坐标变换与射影变换的密切关系，给出子平面射影变换基本定理的一个非常简洁的证明，其证明过程还提供了比较容易的解题方法，最后举例作了比较。     

XTY烫印机

该机是根据市场需求,借鉴国外技术研制成功的新产品,适用于皮革、塑料、橡胶制品的商标烫金.经江苏省轻工机械质量监督检测站检测,其各项技术指标均达到Q/3209114Q012-96标准的要求.     

上海商标战略和策略问题的思考

一、上海商标工作的基本态势 上海是我国最大的经济中心,处于改革开放的前沿,上海商标工作也有较深厚的基础,1979年恢复全国商标注册以来,商标工作发展较快,从1979年至1998年的20年间,注册商标总量由2586件增至39000多件。上海拥有一批在国内同行业中声誉卓著的商标,驰名商标数量在全国各省、市之首,近年又认定了一批市级著名商标。上海的商标管理和保护比较得力,形成了行政保护、司法保护和社会保护相互配合的     

从SCHWARZSCHILD解分析广义相对论的时空观

根据爱因斯坦重力场方程的Schwarzschild外部解，讨论了广义相对论的空——时度规，证明了引力场中的空间和时间都只有相对意义。     

数项级数中阿贝尔判别法的必要条件的证明

利用Dirichlet判别法的必要条件，来证明阿贝尔判别法的必要条件的成立，并推广到广义积分和含参变量的积分的应用上。     

定理机器证明思想的产生与发展

一、定理机器证明思想的产生与发展所谓定理的机器证明 ,是指使用计算机证明定理的成立 ,即把人证明定理的过程 ,通过一套符号体系加以形式化 ,变成一系列在计算机上自动实现的符号计算过程。其实质是把具有智能特点的推理演绎过程机械化。定理的机器证明是涉及人类智能问题的主要研究课题之一。从传统的手工证明到定理的机器证明 ,是现代数学思想方法的一次重大突破。机器证明大体上经历了这样一个过程 :公理化代数化坐标化机械化。近代的机器证明思想由莱布尼兹首先提出 ,并直接导源于他的定理证明机械化设想。到１９世纪末 ,希尔伯…     

几类适宜用反证法证明的命题

否定命题判断的相反判断 ,从而肯定原来判断的正确性 ,这种证明法称为反证法。使用反证法的步骤可归纳为 :一、假设命题的结论不成立 ,即命题结论的否定方面成立 (每个否定方面均应考虑到 ) ;二、以命题的否定方面作为条件进行推理 ,得出和已知条件、公理、定义和定理等相矛盾或自相矛盾的结论 ;三、确认命题的所有否定方面不能成立 ,从而肯定命题的结论成立。哪些命题适宜用反证法证明 ,要一般地回答这个问题是不容易的 ,也不是绝对的 ,在此 ,提出如下几类适宜用反证法证明的命题 ,仅供参考。(一 )当命题含有涉及到各种“无限”形式的结论…     

有关平均值的不等式及其证明

对两个平均值不等式，给出只用一元函数一阶导数的证明方法，同时对更为一般的平均值不等式，给出了统一的证明。     

巨额财产来源不明罪若干问题探析

本文主要分析探讨了巨额财产来源不明罪的罪名、客体、举证责任、巨额财产来源不明的证据与法定刑完善等问题。主张以拒不说明巨额财产真实来源罪作为本罪的罪名更为科学 ;本罪的客体是国家工作人员的职务廉洁性和国家机关的正常活动与威信 ;建议立法妥善解决说明是否圆满、财产持有人等问题 ;本罪的法定刑亟需完善