线性无关向量组正交化的矩阵解法

利用矩阵的初等变换,给出了线性无关向量组正交化的矩阵解法,使用该方法使得线性无关向量组正交化过程更加简捷易行。     

正蕴涵BCK-代数的伴随半群

本文讨论了正蕴涵BCK－代数的剩余刻划;证明了具有条件（S）的正蕴涵BCK－代数的伴随半群是一个下半格。     

伴随矩阵的若干性质

从特殊矩阵的伴随矩阵的关系考察了伴随矩阵的性质。     

Solutions of Two-point BVP in Banach Spaces

IntroductionGuoetal.[1]discussedthetwo-pointboundaryvalueproblem(BVP)forordinarydifferentialequationsinBanachspaces,-u″=f(t,u),　t∈I=[0,1]u(0)=u(1)=0andgavesomeconclusions.Usingthemonotoneiterationtechnique,SongFumindiscussedthesameBVP[1]andshoweditsmaximalandminimalsolutions[2].Inmoregeneralboundaryvaluecondi-tions,GuoandSun[3]discussedBVPinreflexiveBanachspacesandmadeseveralconclusions.InthisworkthefollowingBVPinrealBanachspace,E,isconsidered.Lu(-p(t)u′)′ q(t)u=f(t,u),B0uau(0)-…     

篮球比赛中三分远投运用的探讨

通过现场观察、统计和数据的归纳整理,对远投命中率、个人和战术三分球、远投区域、远投时间和远投队员等进行讨论和分析．篮球比赛中,必须加强终场前的远投战术配合训练,提高战术远投,加强弧顶和两侧底角区域的远投,提高组织后卫和中锋的远投能力,提高远投队员的心理训练水平和对抗能力．     

双曲型叶片的数控加工模型研究

给出双曲型点构成的叶片工作面的解析方程,并用主曲率方法给出了刀具参数、数控加工中的步长和行距的定量计算模型,最后用等螺距叶片工作面算例验证本文所供方法不但确保了叶片工作面造型精度,而且大大地提高了加工效率．     

泛光照明效果的计算机模拟

从实际灯具的配光曲线及被照面材料的反射特性入手,运用光度学和色度学的计算方法,详细介绍了泛光照明效果的计算机模拟程序的设计思想和分析方法,按照这一思想设计的软件在泛光照明设计中将十分有用。     

整数规划的凸填充函数算法

改造文献［１］的求解连续总体优化问题的凸填充函数算法使之适于求解整数规划问题．首先,在求出整数规划问题的一个离散局部极小解的基础上构造了整数规划问题的凸填充函数;其次,通过寻找该填充函数的离散局部极小解,以期找到整数规划问题的比当前离散局部极小解好的解．本文的算法是直接法,数值试验表明算法是有效的．     

一个两点边值问题多重正解的存在性

利用不动点指数的同伦不变性和最大值原理,经过构造一个函数,得到了非线性两点边值问题至少存在两个正解的新的充分条件．该结果在Ｄｉｒｉｃｈｌｅｔ边值问题的情况下,严格优于文献［１］的相应结果．     

高等级公路施工测量

讨论全站仪配合ＰＣ－Ｅ５００袖珍计算机使用统一坐标系统进行高等级公路施工测量,重点分析高等级公路施工阶段,控制点、细部点的坐标计算方法和测设方法．