简介：

简介：

简介：在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理.

简介：逻辑推理的方法和探索工具——类比思维若谷数学学习能使人聪明，故人们称数学是“思维的体操”类比思维就是“思维体操”中非常重要，非常关键的一节，著名数学教育家波利亚曾说过：“类比是获得发现的源泉，是最富创造性的逻辑推理方法和探索工具”。实际上，类比是根据...

简介：盛产明星的娱乐圈在表面光鲜的背后有时也充满争斗与无奈．但在这个被称为“大染缸”的地方．同样可以找到充满孩子气的人物。这些人把他们近乎最纯真、透明的一面带给了大家．难能可贵是他们保有—份童心。其中有些人的才华．个性与自我让他们成为人们心中的另一类风景，没有太多的商业性消遣性与虚伪性，他们拨动着琴弦像拨开肉体暴露灵魂。

简介：对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。

简介：根据目前我国激光器条件和制靶技术，提出在靶球DD区掺入Ar或氖元素，在一定的电子温度条件下，这些元素将发射特征谱线，实验上通过测量特征谱线强度，观察和研究靶球压缩和形变过程。另外，实验还可以通过DD界面和外壳物质电子温度梯度，用光强差方法，分辨靶球压缩和变形过程。

简介：工件如图1所示，材料为1Crl8Ni9Ti，焊接结构件。加工的主要难点是工件内孔深且为盲孔，内孔底部为球面，几何精度要求高，薄壁，刚性差，容易引起变形。

简介：关于邵小军改行做家具的原因，有不同说法，有朋友说小军是受了某密友的蛊惑，那时密友住在马甸附近，有一阵子忽然爱上了逛宜家，逛完以后跟小军说“小军啊，那些家具看着也不难做，你哪天做点试试！”还有一种说法是当年有个乐队的MTV拍摄需要另类风格的道具：

简介：推广了数值积分中著名的辛普生公式，讨论了中值点的渐近性．

简介：爆炸逻辑网络是用炸药非常规爆轰特性实现的传爆序列，它由多个爆炸逻辑单元（逻辑零门、与门和破坏性交叉通路）组成，主要运用在定向战斗部等常规武器系统中，起引爆控制作用。2005年，研制出爆炸逻辑零门（设计参数间隙L为0．3～2．1）、破坏性交叉通路（设计参数夹角动35°～60°）。但是作为应用技术，爆炸逻辑网络的可靠性关系到整个武器系统可靠性，关系到武器能否准确打击预定目标。

简介：在本文中,我们定义了拟GP-内射模,并且得到了关于它的一些结果.这些结果总结了GP-内射环和拟P-内射模的一些结果.

简介：

简介：由简单仪器搭配组建的经典实验一般具有原理清楚、过程明了的优点,而且有助于提高学生动手能力和设计实验的能力,不应轻视.直接利用现代先进科学仪器的实验若能与经典实验结合将取得更好的教学效果.允许考研的学生灵活安排上专业实验课的时间,会使学生专心上好实验课.

简介：在假定标的资产价格服从纯生跳跃过程的条件下,研究一类多资产期权--资产权重不同的交换期权,并在风险中性的条件下建立相应的定价方程,运用条件期望等相关知识得出交换期权的解析公式.文中最后列出一些特殊纯生跳跃扩散型交换期权的定价的例子.

简介：

简介：在陈仲、洪祖德编写的《高等数学研究生入学试题与典型例题选解》(南京大学出版社,1986年版)第105页上,载有北京航空学院1986年研究生入学考试的一道试题及其证法如下:设f(x)是在[a,b]上的连续严格单调函数,在(a,b)内可导,且f(a)=a内必存在η_i,i=1,2,…,n,使

简介：

简介：建立了涉及n维单形内点的两个几何不等式,作为其特例得到n维Euler不等式的推广.

简介：物理学习内驱力是影响大学物理学习成功的关键因素，而大学物理学习者在学习动机的方面与中学物理学习者有比较大的差别，因此要一个成功的大学物理教学过程必须充分考虑到大学物理学习者的学习动机特点。本文通过介绍内驱力的再认识和工科大学生物理学习内驱力的分析，简要探讨如何提高学生的物理学习内驱力及学习动机激发问题。