一流本科数学课程双万计划建设的多级模糊综合评判模型及应用研究

基于当前高校办学定位和人才培养目标定位,建设适应创新型、复合型、应用型人才培养的需要,许多高校正进行双一流本科课程建设。模糊综合评判法,作为一种模糊数学评价方法,被用于各个领域,取得了很好的效果。本文将这种方法用于分析当前高校一流本科数学课程双万计划建设,并以华东交通大学信息与数学专业课程为例,得到了一些评判结果。实例分析表明该方法具有可行性与有效性。     

介绍一个与材料相关的研究型综合化学实验——壳聚糖的制备与表征

在中国科学技术大学夏季学期的研究型实验课程"化学科研基础训练"中开设"壳聚糖的制备与表征"综合实验,以龙虾壳为原料,通过除蛋白、脱盐、脱色、脱乙酰等一系列反应,制备得到目标产物壳聚糖。运用红外光谱、核磁共振仪、黏度法、滴定等对产品的结构及性能进行表征。     

因素空间理论与知识表示的数学框架（Ⅷ）─—变权综合原理

本文是文［１－７］的继续，研究变权综合问题，从确定变权的经验公式入手引出了变权原理，给出了变权的公理化定义，讨论了与之有关的均衡函数及其梯度向量。     

采用多元化的教学手段,提高物理人才的综合素质——南开大学物理学基础科学人才培养基地建设经验介绍

介绍了南开大学国家物理学基础科学研究人才培养基地在十多年的建设中,通过多元化的教学手段提高学生的学习自主性,通过加强科研训练提高物理人才综合素质的经验和取得的成果.     

可重构制造系统重组过程中设备选择模型的研究

根据生产任务选择加工设备进行制造资源重组是实现可重构制造系统的关键问题之一，由于设备的选择涉及到多种因素，既有定量指标，又有定性指标，传统的依靠人工经验的方法显得力不从心。本文首先结合实际情况，提出了一套设备选择评价体系，通过对模糊判断矩阵采用最小对数二乘法确定各评价因素的权重系数，针对定性指标和定量指标采用不同的方法确定其性能指标值，通过模糊积分对评判指标进行综合评判，最后进行了实例研究。所提出的方法有效地简化了决策过程，为可重构制造系统设备选择提供了一套行之有效的方法。     

可集成量子计算中的非近邻相互作用

我们研究一维自旋1／2链中的非近邻相互作用的影响。和近邻相互作用相比，非近邻的相互作用强度一般会较弱，因而在以前的许多方案中，这种长程的相互作用被忽略了。本文首先估计由被忽略的非近邻相互作用所引起的量子逻辑门的误差。我们得到的结果是，这项误差不仅和非近邻相互作用的强度有关，更依赖于一维自旋链所包含的粒子数，忽略非近邻相互作用有可能会对可集成量子计算造成影响。我们进一步研究如何消除或者压缩这种长程的相互作用所造成的影响。我们提出了一个量子计算方案。在这种方案中，次近邻的相互作用的影响被完全消除，从而我们可以使量子逻辑门的精度得以提高。我们也讨论了这种方案在超导量子计算体系里面的物理实现问题。     

第三种波粒二象性的揭示及其实验验证

简单回顾了Einstein 1905年揭示的第一种波粒二象性（光的波粒二象性）与de Broglie 1923年揭示的第二种波粒二象性（实物粒子的波粒二象性）及其实验验证过程，指出了这两种波粒二象性的本质差别，分析了波粒二象性的逻辑体系并指出：只要把Gan1995年揭示的“经典（电磁）场在结构上的颗粒性”当作“第三种波粒二象性”就能构成“三种波粒二象性”的完美组合，利用“波粒二象性的相变假说”还可以把这“三种波粒二象性”和谐地统一起来。借助于经典条件下光的经典理论与量子理论究竟哪一个更为精确的实验判决（见《光散射学报》）2006年第1期第75．79页《Lorentz-Compton佯谬与一个双赢判决性散射实验设计》）还可以完成“第三种波粒二象性”和“波粒二象性的相变假说”的实验验证。     

一道解析几何题的多种解法

解析几何是用代数方法研究几何问题的数学分支，其中的题目可涉及到函数，三角，不等式等各种数学知识，这就决定了一个解析几何问题可能有多种不同的解法。解析几何的一题多解可以提高思维的灵活性，拓展人的思路，进而可以提高解决数学综合问题的能力。下面就以一道解析几何题给出几种不同的解法。     

信用担保风险的模糊综合评审研究

信用担保机构是连接银行和企业的桥梁，对于改善企业融资环境和拓展银行业务具有重要意义，信用担保风险的评审是担保机构能否生存及有效运行的关键。信用风险的评审机制主观性强，对担保项目进行客观，公正的评审比较困难。本采用模糊数学中的综合判别方法，全面考虑风险评审所涵盖的各种风险指标及其重要度，建立了定性分析与定量分析方法相结合的信用担保风险综合评审模型，为担保机构提供了一种相对科学、客观的评审方法。     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.