命题推理的新图式(英文)

本文引进新图式的概念,并且给出一个关于命题推理有效判定的方法。它解决了证明论中命题逻辑部分的一个重要问题。由于此方法直观,机械,可用于计算机对人工智能问题的处理。     

等价鞅测度模型在欧式认股权证定价中的应用

介绍了认股权证,并利用等价鞅测度定理给出欧式认股权证定价的一般公式,如修正一些基本假设,可推导一些应用于特殊情况的权证定价公式.     

线性离散动力系统的稳定性判定准则

首先对不可约矩阵A的模等于谱半径的特征值的分布情况给出了说明,用其证明文献[2]中定理2将变得十分简单,然后给出了系统(1)渐近稳定的充要条件.     

一类RNA二级结构的计数

应用组合计数技巧研究了一类RNA二级结构的计数问题,给出了序列[1,n]的二级结构数和序列[1,n]上恰有k个基对的二级结构数的精确表达式.     

关于Dirichlet L-函数的一个4次加权均值

利用Gauss和的定义、三角和估计及其解析方法讨论了Dirichlet L-函数的一个4次加权均值，得出一个有趣的加权均值分布公式．     

命题逻辑中几种常见的推理证明方法

数理逻辑是《离散数学》的难点之一．其主要原因是内容比较抽象且方法较独特，加之题型以知识较广的证明题居多．而命题逻辑又是数理逻辑的基础，熟练而灵活地掌握好命题逻辑中推理证明的方法既是学习命题逻辑的重点，又会为进一步学习谓词逻辑打下良好的基础．本文结合适当的例题总结了命题逻辑中几种常见的推理证明方法，以期在帮助学生掌握命题逻辑的推理证明方法的同时，又能对学生进行逻辑思维能力的训练，培养学生分析问题和解决问题的能力．     

合金铸铁激光处理的探讨——Ⅱ.激光辐照工艺参数的控制

用热传导方程控制激光辐照温度,建立了一种新回归方程以控制激光辐照硬化深度,选用卡尔丹公式列热传导方程及同归方程联立求解,可得到同时满足一定的硬化深度及表面最高温度双重要求的工艺参数,此种方法可作为激光硬化处理工艺参数的控制或预报,对本合金铸铁的激光硬化处理,其表面温度的下限应大于其熔点温度,即以表面产生微熔的快速冷凝处理为宜,并以选取低功率慢扫描为最佳。     

卟啉传感阵列图像特征值自动提取方法

针对卟啉传感阵列(PSA)图像,设计了一种特征提取算法。该算法首先利用radon变换的方法实现了PSA图像倾斜自动校正;而后通过二值投影与数学统计学结合的方法来进行网格划分,根据网格划分的卟啉点区域对图像进行局部阈值分割,从而定位出卟啉点区域,最后采用比例半径法从已定位的卟啉点区域内提取出每个卟啉点的特征。该算法解决了弱信号卟啉点识别难的问题,提取的特征值最大程度的反映了卟啉点的信息。通过对NH3、异戊二烯、庚醛等气体进行试验,结果表明该算法能够很好的提取出PSA图像中卟啉点的特征值。     

A CONNECTED GRAPH IS PATH-POSITIVE IFF ITS SPECTRAL RADIUS IS AT LEAST TWO

ＡＣＯＮＮＥＣＴＥＤＧＲＡＰＨＩＳＰＡＴＨ－ＰＯＳＩＴＩＶＥＩＦＦＩＴＳＳＰＥＣＴＲＡＬＲＡＤＩＵＳＩＳＡＴＬＥＡＳＴＴＷＯ￥ＳＨＩＲｏｎｇｈｕａ（ＤｅｐａｒｔｍｅｎｔｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓ，ＮａｎｊｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＳ...     

面向FSAE竞赛的某赛车动力学仿真及试验验证

建立了考虑空气动力学因素的北京理工大学2010FSAE赛车多体动力学虚拟样机及2010中国大学生方程式汽车大赛耐久赛的赛道模型.在多体动力学仿真软件ADAMS/Car环境中,仿真了北京理工大学2010FSAE赛车的直线加速比赛和耐久赛首圈比赛过程.仿真结果表明,得到的赛车车速、车身纵向加速度和车身侧向加速度等数据与实测数据具有较强的一致性.验证了2010FSAE赛车多体动力学虚拟样机的准确性.