双循环半群上的同余

双循环半群在逆半群的研究中起着重要的作用,对此类半群上的同余关系进行了探讨,从而得到一些重要的结论.     

智能仪表人机界面的软件自动生成系统

设计了一种基于图形LCD显示模块的智能仪表人机界面的软件自动生成系统.从智能仪表和液晶显示器的发展趋势和需求入手,通过对现有智能仪表的界面分析,完成了PC机上组态式人机界面编辑平台的设计和开发,并且解决了代码的自动生成与转换问题.其目的是为各种智能仪表人机界面软件的设计与开发提供一种自动生成工具,缩短仪表产品的开发周期.     

快速Delaunay逐点插入网格生成算法

对插入形心的Delaunay逐点插入算法,提出按单元可插度分组的双向链表组数据结构,避免了对最大可插度单元的搜索。采用了邻接单元搜索、双向链表存储、随机方向搜索、邻接旋转、几何量继承等技术,使算法的计算时间与生成单元数近似呈线性关系,时间复杂度达到O(N1.05),N为生成单元数。算例表明,在一台AMD Athlon3200 (主频2.0GHz)PC上,该算法的四面体单元生成速度达每秒50000个以上。     

关于C*-代数中的可逆元和酉元的凸组合

讨论了Hilbert空间上的C^*-代数A中的可逆群和酉群的一些关系，证明了C^*-代数A中的元素A是可逆的充要条件是存在两个非负实数λ1和λ2，且λ1≠λ2以及酉群中的两个元素U1和U2使得A=λ1U1 λ2U2，给出了λ代数A中范数不大于1的可逆元的全体闭包和酉群的一些关系。     

超越传统的数学学习观

传统的学习心理学一直把对学习结果的掌握等同于实际的学习过程.就其本质而言,是把学习活动的研究简单化为对学习结果的研究.从哲学解释学角度看,数学学习过程本质上是数学理解的发生过程,数学学习的结果是一种具有暂时性的"个体性知识",而"个体性知识"的"客观性"保证在于对这些知识的理解的不断循环和反思;同时数学学习也是意义生成的过程,不同的人看到的是事物的不同方面,不存在唯一的标准的理解,任何一个前理解都是理解的基础.     

基于VB环境的滚齿刀辅助设计系统

介绍了基于VB环境的滚齿刀CAD系统的构成与主要模块功能．该系统可对滚齿刀的齿形及结构参数进行设计计算，并将结果保存到数据库中进行管理，借助VB的强大功能和AutoCAD与高级语言的接口，可获AutoCAD的图形交换文件DXF，并自动生成滚齿刀的零件图纸等设计文件．     

广义分离变量非线性非自治系统的部分变元全局稳定性

利用一般分离变量Lyapunov函数方法 ,讨论了一类非线性非自治系统的解关于部分变元的全局稳定性 ,得到了保证平凡解关于部分变元全局稳定的几个充分性条件     

广义Fibonacci数列的通项

著名的Fibonacci数列|Fn|，其中F0=F1=1，Fn 1=Fn-1，(n=1，2，…)，在许多实际问题中都有着极其广泛的应用．Fibonacci数列通项的得出方法多种多样．在文献[2]用生成函数的方法得出了Fibonacci数列通项的基础上，将Fibonacci数列由各项取自然数推广至各项取任意实数，得到广义Fibonacci数列，其中R0=a，R1=b，Rn 1=uRn-1(n=1，2，…)．其中a，b，u，v∈R．并用生成函数的方法得出推广后的广义Fibonacci数列的通项．希望这种方法可应用在求有关递推数列的通项中．     

可执行代码级优化器生成框架

编译基础设施生成的编译器对与目标机特征相关的优化支持不足 ,同时嵌入式应用系统的发展要求高质量的目标代码 ,为此 ,提出一种可执行代码级优化器生成框架EOGF (executable optimizer generation framework) ,以及该框架的关键支撑技术。与现有的编译器生成工具相结合 ,如 GCC(GNU com piler collection) ,可以实现高质量编译器的快速开发 ,并可以方便地充分利用目标机特点进行相关优化 ,提高目标代码质量。实验结果证明 ,EOGF是一个简便、灵活且有效的可执行代码级优化器生成工具     

平行苯环和夹心小基团体系间电荷转移的研究

利用密度泛函理论(DFT)对两苯环和夹心小基团NO、H2O和NH+4的体系进行了电荷转移研究.通过改变两苯环间距获得不同体系的能量和平衡几何构型.在模型A和模型C中当两苯环间距分别为0.60和0.58nm时有最大稳定化能,电荷转移显著.模型B中两苯环间距为0.53nm时有最大稳定化能,但电荷转移不显著.电子转移矩阵元Vrp在B3LYP 6-31G 水平用Koopmans理论计算.在模型A中随着两苯环间距增大,Vrp随之增大.Vrp在模型C的变化趋势与模型A的正好相反.在模型B中随着两苯环间距增大,Vrp先增大后减小.