模型化推理与理论的建构

理论模型并不完全与理论一致.模型化推理的逻辑特征在于在原型与模型之间,以及模型与理论假设之间尽可能地建立起可靠的、完善的逻辑联系.利用模型化推理建构理论时,首先是提出模型,然后对其进行检验,最后根据检验结果,看看这个模型是否代表待说明现象的内在结构.理论的延伸可沿两条不同的路线进行.一是形式化的延伸;二是非形式化的延伸,它又可区分为两类:展开与发展.     

对新形势下审计理论的再思考

对当今审计界存在的现象和问题进行分析,提出新形势下审计理论创新的必要性及创新方法。     

图G_i~(S*)(P,2(sum form j=1 to n)mj)的伴随多项式因式分解的图论方法及应用

通过研究图的伴随多项式的因式分解 ,给出了证明非色唯一图的一种新方法 ,并且得到了若干图簇的色等价图的结构性质     

分数Hamilton圈与分数树形图

定义有向图的分数有向Hamilton圈和分数支撑树形图，讨论分数Hamilton圈、分数旅行售货员问题和分数支撑树形图基于线性规划的等价定义及多项式时间算法。     

障碍可越路线规划的符号图方法

本文给出２—Ｄ路线规划问题在障碍可越情况下的启发式符号方法．这一方法利用推理规则在由图像信息导出的连通图知识结构上进行启发式符号Ａ搜索以对空间关系进行分析和分类，以符号描述形式给出两声间路线规划方案．     

Mindlin层合圆柱壳理论的Hamiltonian结构与辛解析解

通过引进状态变量及其对偶变量。建立Ｍｉｎｄｌｉｎ层合圆柱壳的Ｈａｍｉｌｔｏｎ正则方程．在辛几何数学框架下，采用共轭辛正交归一关系给出各种复杂边界条件下的精确解．     

多自由度系统振动的Barnett-Lothe矩阵

利用Stroh理论的本征方程与多自由度振动的方程非常相似特点,将Stroh理论推广到多自由度系统振动的分析研究中,获得多自由度振动的Barnett-Lothe矩阵及Barnett-Lothe积分公式,避免了求解特征值和特征向量的麻烦。     

试析目标设置理论在科研组织的应用

如何实现对科研人员进行有效的组织激励是科研管理的核心内容，合理的目标设置则是其中甚为重要的方面。针对科研活动的特点，结合管理科学中目标设置理论的研究结论，重点讨论了科研组织目标激励中如下几个方面的问题：科研组织及其成员间的目标协同，科研目标难度和明确度的合理设置，以及科研人员目标取向的引导等。     

滚齿切削图形的解析求法

本文提出了求滚齿图形的解析方法,用该方法可以方便而精确地求出各种类型滚刀的切削图形,并能在计算机上直接打印出来。它既可以用来分析各种类型滚刀的切削过程,又可以作为滚刀计算机辅助设计的一个环节,以寻求更加高效和高耐用度的滚刀齿形。     

现代颚式破碎机设计与展望

根据现有的文献记载,作者对颚式破碎机的设计理论及应用、机型及其系列、结构和创新等进行了较全面的回顾与展望。