基于Unigraphics机械零件有限单元法的静态分析

介绍了使用三维设计软件Unigraphics进行机械产品计算的有限单元法。     

算子代数上的(α, β)-导子的空间实现性

研究算子代数上的(α,β)-导子的空间实现性.设(d)是B(X)的子代数,α和β是B(X)上的自同构,δ是从(d)到B(X)的(α,β)-导子.如果δ是传递的、自反的(α,β)-导子,则δ是拟空间实现的,也就是说,存在一个稠定义的闭线性算子T:Dom(T)→X,使得β(A) (Dom(T)(∈) Dom(T)和δ(A)x＝(Tβ(A)-α(A)T)x((∨)A∈(d),x∈Dom(T))成立.如果δ是传递的、自反的有界(α,a)-导子,而且(d)的范数闭包(d)包含一个极小左理想,则δ是空间实现的,而且其实现元是惟一的.具体地说,存在T∈B(X),使得δ(A)＝Tα(A)-α(A)T对任意的A∈(d)都成立,而且δ的实现元T在相差一个常数因子的条件下是惟一的.     

高职高专机械数字化设计的探索与实践

本文论述了高职高专的教育理论与实践课程整合中存在的一些问题;针对高职高专机械数字化设计,以任务驱动整合模式、“教学实践合一”整合模式为例,对高职高专教育理论课与实践课的整合方法做了一些有益的探索和实践。     

基于UG NX4．0的凸轮机构运动学仿真

介绍了软件UGNX4．0的机构仿真功能,在此基础上对凸轮机构的仿真过程作了较详细的陈述,给出推杆位移、速度和加速度曲线,为利用UG实现机构的CAD／CAE一体化作出有益的探索。     

似乎不相关线性模型线性约束下参数估计的一个最优性

本文讨论似乎不相关线性模型在齐次线性约束条件下的参数估计，给出了条件可估函数c＇β在条件lβ=0下的最佳线性无偏估计c＇βl，然后从一个新的角度刻划了估计c＇βl的一个最优性，即c＇βl落在以被估参数c＇β为中心的任意一个球内的概率不小于任一个满足Lβ=0的线性无偏估计落在此球内的概率。     

四连杆机构运动仿真设计

介绍了软件UG NX4.0的机构运动仿真设计中的应用,在此基础上对四连杆机构的仿真过程作了较详细的陈述,给出了从动件位移、速度和加速度曲线。为利用UG实现机构的CAD/CAE一体化作出有益的探索。     

三元概念的增量式构造方法

三元概念的构造方法是三元概念分析的核心问题之一，当条件逐个增加时，研究三元概念的增量式构造方法 .首先，详细分析增加一个新的条件后原三元背景中三元概念的变化以及新增加的条件对新背景的三元概念的影响.分别针对下述四种情况给出充分必要条件：（1）新添加的条件对原背景的三元概念不影响，它仍旧是新三元背景的三元概念；（2）原背景的三元概念被替换掉，它不再是新三元背景的三元概念，替换后的三元概念的外延和内涵与原来一致，但是方式增加了新的条件；（3）原背景的三元概念与新的条件共同生成一个新的三元概念；（4）新增加的条件不借助任何原背景的三元概念生成新的三元概念.在此基础上给出基于条件的三元概念的增量式构造算法.最后，通过实例阐明增量式方法生成三元概念的详细过程.     

高等数学分层次教学的探索与实践

随着招生规模的不断扩大,我校生源质量参差不齐,学生入学时的基础差异也很大,这给高等数学教学带来了前所未有的难度,为了改变这一现状,根据多年来高等数学课程教学的经验,探讨在我院实施高等数学分层次教学的必要性、意义、具体实施方案等,提出相应的对策和建议。     

严格循环算子代数上的拓扑

一般算子代数上的强拓扑和范数拓扑不一致,范数拓扑强于强拓扑。本文证明,对于Banach空间上的严格循环算子代数而言,其上的这两种拓扑却是等价的。     

线性空间上的线性算子的自反性

论证了Banach空间X上的有界线性算子B是2-自反的。2-自反不一定意味着自反，但是，如果X是复数域上的无限维的线性空间，B是X上的线性变换，而且WB={p(B)：p是任意的复数系数的多项式}是严格循环的，则B是代数性自反的。