从经典归纳主义的兴衰历程看归纳法职能的演变

经过休谟"归纳问题"的诘难和波普尔反归纳主义的冲击,经典归纳主义从兴盛逐渐走向衰落,与这一过程相伴随的则是人们对归纳法职能的看法发生了显著的变化。经典归纳主义从兴盛逐渐走向衰落的历史启示我们,决不能夸大归纳法在科学发现和证实中的作用,特别是不能夸大归纳法在科学发现中的作用。     

代数方法在C语言图形打印问题中的应用

介绍了C语言程序设计中的难点问题——图形打印问题的解决方案，详细论述了如何利用代数方法来解决这一双重循环问题的具体措施。     

数字图书馆与知识产权保护

在论述数字图书馆建设过程中所涉及的知识产权问题的基础上,从侵权的服务环节、服务项目、技术保护等方面对数字图书馆中知识产权保护问题进行了探讨。     

项目教学法在PLC课程中的运用

分析了项目教学法在PLC课程中运用的重要性,探讨了项目教学法在PLC课程中的运用。     

对面向对象分析法进行比较评估的一种新方法

提出一种新的比较框架，其中包含了一系列面向对象分析（OOA）方法共同的基本特性．以5种著名的面向对象分析方法为例，阐述了如何通过它们的特性细节，对面向对象分析方法进行分析、比较和评估．     

共轭斜量法在某些特征向量上收敛速度的估计

设 Ａ是对称正定矩阵，λ_1是 Ａ 的最大或最小特征值，χ_1是对应的特征向量．｛zk｝是用共轭斜量法求解方程组 Αχ＝ｂ时的近似解序列，ｅi＝Ａ～(_1)b-zi,本文给出了|x_1～Tei|较合理的上界估计式。从而为分析预处理共轭斜量法提供了进一步的理论基础。     

北桥设计中的总线周期精确事务级建模

总线周期精确事务级建模能解决系统设计中的仿真精度和速度之间的矛盾。以北桥中的总线设计为背景,采用SystemC中接口方法调用的原理,实现了对Wishbone总线的周期精确事物级建模,并给出了具体的实现方法和测试方法,具有一定的通用性。     

边界拟合坐标系中的流动方程

本文提出了流体力学解析边界拟合坐标系方法，及建立在这种坐标系基础上对流动方程进行摄动处理的方法，并列举几种流动建立了解析边界拟合坐标系中的方程。     

第二类非线性Fredholm型积分方程数值解的超收敛性

本文讨论第二类非线性Ｆｒｅｄｈｏｌｍ型积分方程数值解的超收敛性，以Ｇａｌｅｒｋｉｎ方法为基础建立了该类方程的Ｇａｌｅｒｋｉｎ算法、小波Ｇａｌｅｒｋｉｎ算法以及它们相应的迭代校正格式，证明了两种算法数值解的超收敛性，不仅将Ｈａｍｍｅｒｓｔｅｉｎ积分方程的结果推广到第二类非线性Ｆｒｅｄｈｏｌｍ型积分方程，而且应用小波分析工具得到了更精确的结果．     

SrFCl:Eu~(2+)晶体的电子自旋共振谱研究

用程序降温法生长了SrFCl:Eu~(2+)晶体,并测量了它的电子自旋共振谱。应用最小二乘法拟合技术对g因子及自旋哈密顿参数进行了精确拟合。报道了各向异性的g因子及有关自旋哈密顿参量。发现并归属了Eu~(2+)的高阶禁阻跃迁。