基于动态规划的自动向量化方法

由于SLP自动向量化算法使用的启发式策略会丢失一定的向量化机会,本文提出一种基于动态规划的自动向量化方法DPSLP,该方法采用比SLP更加激进的策略在基本块内寻找候选的SIMD指令分组,依据动态规划方程计算指令分组的代价并从众多指令分组中选择最优的分组进行向量化转换.实验结果显示,DPSLP与SLP相比测试程序的运行时间平均减少了8%,静态指令代价平均减少10%,平均向量宽度增加66.4%.      

利用模板实现持久类

介绍了利用模板技术在母语中定义持久类的实现方法．该方法通过抽象持久类的一般特性定义出持久类的共同的类模板，定义持久类的过程就是由类模板生成模板类的过程．该方法完全区分持久语义和挥发语义，能很好地处理属性的多态性，易于管理持久对象，为最终实现面向对象数据库和持久性程序设计语言提供了很好的基础     

双层线性规划的一种全局优化方法

根据双层线性规划全局最优解可在约束域极点上达到的性质和线性规划对偶理念,引进上层目标函数对应的一种割平面约束,对双层线性规划的约束域不断进行切割,求得问题更好的可行解,提出了一种利用单纯形法寻找双层线性规划全局最优解的方法。算例说明了算法的求解过程,并验证了算法的有效性。     

单调化与极大熵相结合解非单调规划问题

对约束函数单调而目标函数非单调的规划问题,给出了目标函数的一种新的单调化变换公式.先引入极大熵函数,将多个约束的非线性规划问题,转化为只含一个约束的规划问题.再将转化后的只有一个约束的规划问题转化为一个单调规划问题,并证明了其等价性.     

案例教学法在“C语言程序设计”课程中的应用

根据C语言程序设计教学的现状及课程特点,采用案例教学法,研究了教学案例的选择、组织教学及考核方式.教学实践结果证明,案例教学法能够调动学生学习的积极性,教学效果良好.     

一种求解单调方程组的范数下降共轭梯度法

提出一种求解大规模非线性单调方程组的范数下降共轭梯度算法.所提算法推广了Xiao,Song,Wang等提出的求解无约束优化问题的基于BB循环步长的共轭梯度算法,并结合Solodov和Svaiter提出的投影梯度算法.所提算法迭代形式简单、储存量小,且每步迭代不需要方程组的导数信息.本文证明算法的全局收敛性,并做数值试验验证算法在求解非线性单调方程组方面的有效性.     

钻柱隔振理论及钻井效率分析

应用有限元法建立了钻柱隔振的力学模型，对钻柱进行了纵向振动的动力响应分析和固有频率计算，比较了常规钻柱和隔振钻柱钻头处的位移、井口处的位移以及钻压的变化．钻柱隔振后，其固有频率远高于常规钻井时的激振频率，因此隔振后的钻柱可以避免发生共振现象，提高钻井效率．钻柱隔振理论可以为隔振器的设计和应用提供可靠的理论基础．     

挛缩膝关节髌韧带应力松弛及蠕变特性的实验研究

探讨兔挛缩膝关节髌韧带的应力松弛和蠕变特性。通过将兔膝关节伸直位制动６周,复制伸直型挛缩膝关节动物模型,然后分别在３７℃、４２℃的条件下,对正常组和制动组髌韧带行应力松弛和蠕变试验。正常组和制动组髌韧带均表现出较明显的应力松弛和蠕变现象;无论是正常组还是制动组,３７℃与４２℃之间髌韧带的最大应力松弛率和最大蠕变率均无显著性差异（Ｐ＞０．０５）,制动组４２℃髌韧带的最大蠕变率较正常组４２℃有显著性增加（Ｐ＜０．０１）。１．髌韧带的这种应力松弛和蠕变特性从机制上解释了牵引、夹板等疗法在挛缩关节康复治疗中的有效性;２．３７℃和４２℃的温差对髌韧带的最大应力松弛率和最大蠕变率均无显著影响     

凸曲面平头立铣刀刀位轨迹的计算方法

采用球面刀在三坐标数控机床上加工具有凸曲面工位的零部件时，往往会导致几何形状误差，对此，运用点涉法原理，推导出在凸曲面上确定平头立铣刀五轴和三轴数控联动加工刀位轨迹的计算方法。     

江苏省工业企业科技投入抽样调查方案设计

根据最优化分析原理,提出类型抽样方式结合0-1整数规划的抽样调查方案设计的方法,并将这一方法成功地应用于江苏省工业企业科技投入的抽样方案设计.计算结果表明,本法的抽样效果,比简单随机抽样提高1.5倍.本文还就江苏省工业企业科技投入的分类标志的选择、分组数目的决定、抽样方案的检查,分组标志与主要科技指标的关系及根据科技投入的特点考虑抽样方案的地域均衡和行业均衡等方面,进行了详细分析.本文提供的方法可为全国其它省市科技抽样调查,洪灾损失及其它社会经济现象的抽样调查方案设计提供参考.