我国商标法修改的最新进展及其完善研究（上）

商标法是保障市场经济健康发展的重要法律。随着形势变化,我国《商标法》滞后性日益明显。2013年8月第三次修正的《商标法》简化了商标注册申请程序,便利了申请人及时获得商标注册,规范了商标使用行为,提高了对商标专用权的保护力度了,强化了商标法律制度规范市场公平竞争秩序的功能和作用,同时注重协调和平衡商标法律关系,实现了私权保护和维护公共利益的有效平衡。我国修改后的《商标法》是一部兼具本体化、国际化和现代化特色的知识产权法。它的实施必将对中国市场经济发展发挥极为重要的作用。同时,囿于多方面限制,该法仍然存在若干值得进一步完善的问题,需要加以研究并提出对策。     

时“美国绿卡”及“自动丧失中国国籍证明书”持有人的国籍解读

随着中外交流的不断增多,有的外国人来华定居或加入中国国籍,有的中国公民赴国外定居或加入外国国籍。对原内地中国公民而言,如果他们持有美国主管机关颁发的“美国绿卡”或中国驻外使领馆出具的“自动丧失中国国籍证明书”,是否意味着他们已丧失中国国籍？     

两个Hermite矩阵之和的特征值的注记

《MatrixAnalysis》[1]和《Topics inMatrixAnalysis》[2]是矩阵理论方面的经典著作.书中论述了矩阵分析的经典方法和现代方法,不仅涵盖了几乎所有的基础理论,还广泛涉及其它相关学科的各种论题.我们在学习该书的过程中发现,文献[1]Theorem 4.3.6(c)是个假命题,而在文献[1]Theo     

我国驰名商标的特殊法律保护

一、我国对驰名商标的法律保护制度 对于驰名商标的法律保护制度,我国相关法律法规制定的时间相对于国际社会较迟。在1985年以前,对于驰名商标的保护,我国国内法律几乎处于一片空白的状态,根本没有出台相关的保护规定。在法制的实践过程当中,我国也曾经把《巴黎公约》里对于驰名商标的保护内容作为依据对国外的一些驰名商标进行保护,但随着改革开放的发展与深入,我国法律在驰名商标保护方面的缺陷与空白严重地阻碍到了我国大部分企业不断发展的步伐。     

关于数论函数不等式δ(ψ(1)+ψ(2)+…+ψ(n))≥n(n+1)

对于正整数k,设δ(k)和ψ(k)分别是k的约数和函数和Dedekind函数,其中前者与完全数问题有关[1],后者则是另一类常用的数论函数———Euler函数的对偶形式[2].对于正整数n,设nf(n)=∑k=1ψ(k)(1)对此,Bencze[3]曾经提出:当n≥2时,必有(δf(n))≥n(n 1)(2)这是一个迄今尚未解决的     

利用微分学理论证明不等式的常用方法

不等式的证明是《高等数学》课程的重要内容之一.为了帮助学员更熟练地掌握利用微分学理论证明不等式的方法,本文就利用微分学理论证明不等式的常用方法进行总结,提出可以利用函数的单调性、利用拉格朗日中值定理和利用泰勒公式三种方法来证明不等式.     

论古代科学发现优先权的确立原则与判定标准——以勾股定理与毕达哥拉斯定理的发现为例

通过对勾股定理与毕达哥拉斯定理发现与证明方法比较,考证了中西方对勾股定理的发现均符合现代科学发现的定义,提出了中国与西方几乎同时独立发现勾股定理。根据时间敏感性差异原理,指出了古代科学发现优先权的确立原则和判定标准,中西方这种独立的发现开辟了中西方科学发展的不同模式。     

两个重要极限的简便证法及评析

函数是高等数学的重要组成部分,对函数主要是通过极限来研究的,而其中的2个重要极限在分析数学中经常遇见,在求解极限问题中占有很重要的地位,使初学者理解和运用极限存在的2个准则以及由它们所推导出的2个重要极限是高数学习中的一个很重要的目的。但是,教学中往往注重2个重要极限在求极限过程当中的运用,而忽略了它们本身的证明,并且现有教材给出的证明大都比较复杂,针对这一现象,为了拓展学生在数学学习中的思维,对现有教材2个重要极限的传统证明方法,给出了简单评析,指出了存在的问题。采用圆的渐开线和算术几何平均不等式理论,运用极限存在的2个准则,分别给出2个重要极限的简便证法,避免了循环证明的嫌疑,使学生易于理解和接受。     

司法证明过程的性质——司法证明标准的制度性替代

司法证明标准的确定必须考虑司法证明过程的特殊性质,惟有在此基础上建构的司法证明标准才有可能是恰当的。不考虑司法证明过程的特殊性质而直接借用它种证明的证明标准建构或充当司法证明的证明标准都值得商榷。运用逻辑语言分析的方法,分析了司法证明过程的特殊性质,讨论了其它司法证明标准存在的困难,提出了建构司法证明标准的一般框架。     

网络可信平台的设计与实现

介绍了网络可信平台的研究与实现,采用可信度量机制以保证网络计算终端的安全为基础,利用远程证明机制对网络接入终端的可信性验证,根据验证结果决定对整个网络计算环境的访问控制,利用传统网络安全技术和可信计算技术实现了全新的网络安全体系结构.