用数学方法解决物理实验问题

建立并用数学软件求解物理实验模型，利用数学软件MATHEMETICA对模型求解，分别得到了在频率比发生微小变化和初相差发生微小变化的情况下，李萨茹图形发生的相应变化，从而得出结论：实验中观察到李萨茹图形的持续变化是由两个相互垂直的方向上振荡的初相差发生缓慢变化造成的。从而结束了教学过程中对相关问题的争论。     

工件带安装时间平行机排序问题的列生成算法

研究了工件带与加工次序有关的安装时间的平行机排序问题，给出它的整数规划模型，并结合动态规划和分支定界方法，给出它的列生成算法．通过试验表明：算法对中等规模的问题是有效的，它可以计算到10台机器和60个工件甚至含有更多大工件的大规模问题．     

意象组配及其原则

研究意象组配及其原则，有助于还原意象本真，丰富创作本论，揭示文学创作的内在规律。意象组配通常有三种方式：单象式、多象式和变形式，遵循着六条基本原则：“意”对“象”应有引领作用；“意”与“象”应有一个最佳象征切合点；组配的意象应有一定的延伸性；组配的意象应有一定的暗示性；组配的意象应有一定的独创性；组配的意象应有一定的复合美。     

Identify Implicit Communities by Grap Clustering

How to find these communities is an important research work. Recently, community discovery are mainly categorized to HITS algorithm, bipartite cores algorithm and maximum flow/minimum cut framework. In this paper, we proposed a new method to extract communities. The MCL algorithm, which is short for the Markov Cluster Algorithm, a fast and scalable unsupervised cluster algorithm is used to extract communities. By putting mirror deleting procedure behind graph clustering, we decrease comparing cost considerably. After MCL and mirror deletion, we use community member select algorithm to produce the sets of community candidates. The experiment and results show the new method works effectively and properly.     

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

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

超越传统的数学学习观

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

广义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是一个简便、灵活且有效的可执行代码级优化器生成工具     

基于图形用户界面的软件测试技术

软件测试是软件开发的重要环节，由于软件界面越来越复杂，软件的图形用户界面(GUI)测试也成了一项复杂而烦琐的工作。本文阐述了GUI测试的概念，提出了GUI测试的一般流程及测试指南，同时给出了GUI测试的主要方法，并重点介绍了GUI自动化测试技术。     

干式机体有限元分析中的前处理过程

在求解计算过程越来越自动化的前提下，有限元计算结果的准确与否主要依赖于前处理过程处理是否得当，前处理过程已成为直接决定有限元计算结果成败的重要因素。本文详细阐述了I-DEAS9软件在采用薄壁干式气缸套的XN2105型柴油机机体的有限元分析前处理过程中，实体造型、单元选择、网格划分、单元质量的检查与修理、计算工况的选择及边界条件的确定与施加等方面的具体应用。通过采取整体分块、手动局部加密和自动划分网格相结合的方法建立了该机体的有限元模型。经验表明，文中所采用的思路和方法具有实用、高效、适应性强的特点，对类似的处理与分析具有借鉴意义。