并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.     

基于隐式梯度模型的混凝土损伤的数值模拟

分析了局部损伤模型在进行混凝土应变软化模拟时存在的问题:网络依赖性和零能量损耗问题;分别应用隐式梯度模型和局部模型对混凝土应变软化进行了模拟。计算表明该隐式梯度模型可较好避免有限元在应变软化模拟时的网络依赖性,预测出的荷载-位移响应与实际情况吻合较好。     

基于相似依赖度的属性加权决策树算法

粗糙集分析方法利用数据本身提供的信息,不需要任何先验知识即可对已有的知识进行处理,在保留关键信息的前提下,对数据进行简化并求得属性组合。在此基础上提出了一种基于相似依赖度的属性选择算法,从约简出的属性组合中选择与决策属性最为相似的核集,根据属性的相似依赖度作为决策树的加权值,从而建立决策树。通过对影响学生成绩因素的数据进行分析表明,所提出的算法是易于实施的,而且形成的决策树的准确率也有了一定的提高。     

求解线性约束凸规划问题的预估校正内点法

提出一个求解线性约束凸规划问题的预估校正内点法,方法对初始迭代点的可行性没有任何要求,并证明了所给方法等价于1阶拢动复合牛顿法,且给出了一些数值试验结果。     

超声肝图像SOFM网络识别方法

通过基于空间灰度独立矩阵的特征提取方法,采用自组织特征映射神经网络对正常肝脏、肝硬化和肝癌三类肝脏超声图像进行分类识别。实验结果表明神经网络分类器对3种肝脏超声图像的分类可以达到87%的正确率,其结果对实际辅助诊断提供了理论基础。     

基于意识形态变迁的农村公共产品供给制度创新

建国以来,我国农村公共产品供给制度经历了不同历史时期的变迁过程,但是政府主导、以制度外财政为主的供给制度并没有改变,而是沿着既有的路径继续发展。本文把农村公共产品供给制度创新看为意识形态的蜕变,按科学发展观的要求,推进农村公共产品供给一体化、均等化和服务对象的"非歧视化";完善地方政府激励制度;改革财政体制,规范中央与地方的财权和事权。     

冲击下C轴硫化镉单晶的相变特性

采用前后压电石英计方法系统地研究了c 轴硫化镉单晶在高速平面撞击下的相变特性,首次得到了这种材料的冲击Hugoniot 曲线,并观察到与相变机制有关的应力松弛和双波结构现象.与弹塑性波不同的是,这种由于相变引起的双波结构波形的弹性前驱波,在一定压力范围内,其幅值不随传播距离而衰减.实验结果推断出,相变点同时可能又是屈服点,相变与塑性两种机制也许存在某种耦合作用。     

裂纹表面线性分布力作用下I型应力强度因子的解析解

对于I型裂纹,考虑到裂纹表面受线性分布约束应力作用,利用复变函数方法,从两个基本的解析函数出发,推导出应力强度因子(SIF)和裂纹张开位移(COD)的解析解.数值计算了3种形式的应力分布,即右梯形分布(情况I)、均匀分布(情况II)和左梯形分布(情况III).通过对3种形式的应力强度因子和裂纹张开位移进行对比,发现裂纹表面约束应力的分布形式和位置对应力强度因子和裂纹张开位移有很大影响;随着约束应力区远离裂纹中心,应力强度因子减小,而裂纹中心张开位移随之增大.     

编译中的循环优化

讨论了循环优化的目标和循环优化的各种程序变换方法．程序变换可大大减少下标变量的访问时间；消除某些类型的相关，提高软件流水的“深度”；合并多个循环，有利于进行代码压缩．     

α-弱相依序列加权和的几乎处处中心极限定理

设{Xn,n≥1}为一零均值有界的α-弱相依序列,满足∑∞i=1θi<∞;{ani,1≤i≤n,n≥1}为一实值三角阵列;令Sn,k=∑ki=1aniXi,1≤k≤n.利用随机变量加权和的弱收敛定理与Borel-Cantelli引理,在适当的假设条件下,给出了非平稳有界的α-弱相依序列加权和Sn,n的几乎处处中心极限定...