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

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

一类二阶m点边值问题的正解存在性

泛函分析的某些方法对常微分方程定性问题(如多点边值问题)的研究起着非常重要的作用。Runyun Ma和Nelson Castaned。讨论了多点边值问题的正解存在性．利用锥上不动点定理研究了一类二阶m点边值问题的正解存在性，推广了Runyun Ma和Nelson Castaneda的结果．     

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

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

Burgers方程的非古典势对称群及显式解

该文对Burgers方程的非古典势对称群进行研究，得到几类非古典势对称群生成元并用其求得Burgers方程的相应特解，这些新特解不能由Burgers方程本身的古典Lie对称与非古典Lie对称来获得。     

含复铰平面十杆运动链构件交叉的识别

提出了识别含复铰平面十杆运动链构件交叉的一种新方法，利用能够反映多副杆和复铰特点的构件邻接矩阵。构造运动链的缩减运动链，进而得到缩减运动链的广度优先生成树和三个基本回路。通过回路的公共边界判断网孔的接壤类型，据此建立了构件交叉的识别准则和方法，并在含复铰平面十杆单自由度运动链中成功地识别出有构件交叉的无复铰运动链11种、含复铰运动链341种。     

海象也喜欢用“右手”

一项新的研究表明,海象也像人类一样有用左手或右手的习惯。 来自丹麦瑞典等北欧国家的研究人员对北极地区的海象群进行了跟踪调查研究,他们发现89%的海象喜欢使用右鳍肢掘开海底的沉沙觅食.科研人员还通过对博物馆23只海象标本的测量发现,它们右边的肩脾骨、脑上膊和尺骨明显大于左边,这和他们的野外观察资料一致,这意味着海象使用右前肢的时向多一些。 其他海祥哺乳动物中,有,7%的座头鲸喜欢用右鳍拍击水面另外,小鸡啄食时习惯将右眼转向地面,至少有三种蟾赊更喜欢用右前肢擦去脸上的碎屑当然,并非所有的生物都是“右撇子”:当鱼类向食物…     

Toeplitz代数的K1-群

证明了在强拟凸域上，它的拓扑边界上的连续函数代数的K1-群同构于边界上的Toeplitz代数的K1-群与Z的直和。并进一步证明了在复平面C上，任意区域的拓扑边界上的连续函数代数的K1-群与它边界上的同伦群同构．     

关于极小非幂零群的正规Sylow子群的换位子群的生成元集

讨论了极小非幂零群的正规Sylow子群P的换位子群P’，确定了换位子群P’的一个生成元集．从而用简单的和纯群论方法得到换位子群P’的阶|P’|的上界，并进而得到不等式|P’|≤|P|^1／3．此外，通过相关的本原单位根，给出了换位子群P’的阶|P’|达到这个上界的一个必要条件。     

一个可控制的代理签名方案

在代理签名方案中，代理签名人可以代表原始签名人生成签名，在已知的各种代理签名方案中，代理签名人的签名次数为一次性的．在有些情形，需要一次委托，多次签名，而已知的代理签名方案不能满足这个需要，作者给出了一个新的代理签名方案，这个方案能够控制代理签名人的签名内容和次数。