支持移动更新的弱可串行化实时并发控制

研究了非对称通信数据广播环境中的一致性问题,提出使用弱可串行化正确性准则．形式化定义了弱可串行化这种新的正确性准则,证明了弱可串行化比冲突可串行化宽松且能始终保证数据库的一致性,给出了保证弱可串行化的充分必要条件．基于时标段排序原理,提出了可在移动客户端同时支持更新事务和只读事务的弱可串行化实时并发控制协议WBCC—MUR．通过性能评价实验验证了新协议的有效性：WBCC—MUR协议能有效改进移动事务的平均响应时间、更好地满足数据广播环境中高性能事务处理的要求．     

含孔型缺口的纤维金属层板剩余强度

纤维金属层板(fiber metal laminates,FMLs)作为混合层板家族中一员,由铝合金层和预浸料层交替铺设而成.相比于铝合金板,含缺口的纤维金属层板强度下降更为明显.为研究含孔型缺口的纤维金属层板的剩余强度,测试了光滑试样的静力拉伸性能和缺口试样的剩余强度.分析了铺层结构对剩余强度的影响,引入应力失效模型预测了纤维金属层板含孔型缺口的剩余强度,讨论了含缺口纤维金属层板的失效模式、损伤萌生和扩展过程.结果显示:带孔GLARE3层板的强度下降约为40%,铺层增加后缺口敏感性下降,特征长度增加,约在90%的剩余强度时缺口处有损伤发生.     

序半群的K-理论

设S为幺半群,1为其单位元,B是非空集合.若有映射(S在B上的作用)S×B→B满足s(tb)=(st)b,1b=b,其中s,t∈S,b∈B,则称B为(左)S-系.宋光天利用有限生成投射S-系讨论了半群的Grothendieck群和Whitehead群.在文[6]中,作者给出了无零元序幺半群S上的投射序S-系的结构.本文首先利用不可分强凸子系给出了序S-系的分解定理,然后给出了投射序S-系的结构,最后讨论了序半群上的Grothendieck群.     

连续媒体层次存储中磁带库调度收益分析

层次存储技术是存储和管理海量连续媒体数据的有效手段. I/O请求的调度是层次存储研究中的重要问题,目前也有很多的调度算法,但它们之间缺乏定量的分析和对比,使得调度算法的选择缺少可靠的依据.该文利用排队论对调度收益进行定量分析,分析了它与系统平均队长等因素的定量关系,并得到调度在平均等待时间上的收益与原始等待时间的关系,指出它们近似成二次曲线关系.仿真试验表明了这些结论的有效性,它对于层次存储管理系统中, I/O请求调度算法的选择具有很好的指导作用.     

赋范空间中次线性泛函的有界性问题

研究了次线性算子在赋范空间上的有界性问题及赋范空间上的次线性泛函,并对其连续性进行了讨论.对有穷维赋范空间上满足一定约束条件的次线性泛函的有界性进行了证明,得到与有穷维向量空间上的任意两个范数等价相类似的结果.     

钻芯法检测混凝土强度影响因素试验分析

通过混凝土强度无损检测试验处理结果,依同条件试块抗压强度值为基准,发现与钻芯法检测结果存在不同程度的差异,且分散程度大,为此结合试验过程,对钻芯法的影响因素做出分析并提出了相应注意事项及对策,从而在规范操作、减小外界影响前提下,进一步提高钻芯法检测精度,或与其它方法结合使用提供更准确的检测数据.     

基于机房共享策略求解机房排课问题研究

为进一步提高高校机房使用效率,分析基于机房共享策略的机房排课问题的影响因素、约束条件及求解目标,构建了相应的数学模型.仿真实验表明,基于机房共享策略的排课方法能有效解决机房排课问题.此外,进一步探讨了共享课程占比、多次排课、选课规模等因素对基于共享策略机房排课效果的影响.     

应用关系矩阵表示偏序集平均高度的方法

针对计算不便制约偏序集决策方法应用的应用问题.在原偏序集比较与排序公式基础上,分析了偏序集上集、下集元素个数的计算过程,根据关系矩阵与偏序矩阵能够相互转换的原理,应用关系矩阵来表示上下集.证明发现,上集对应与关系矩阵的列向量,下集对应与关系矩阵的行向量;多个偏序集的合成可以转换为多个关系矩阵运算.结论表明,应用关系矩阵能大大简化运算,明显降低运算量.     

对俄罗斯,内蒙古拳击运动员身体机能,素质测试结果的对比分析

对俄罗斯和内蒙古拳击运动员身体机能、素质测试结果进行对比分析，为今后科学训练是供依据。     

碳钢件回火工艺的计算机辅助设计

用计算机来设计碳钢件的回火工艺，可以充分考虑影响回火工艺的各方面的因素，综合利用前人的经验，实现回火工艺的优化，并能准确预测碳钢件回火后的组织和力学性能。