利用投影时序逻辑的多内核进程调度建模与验证

针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑(PTL)的定理证明方法来验证进程调度.使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S,并将系统期望的性质描述为PTL公式P,在PTL公理系统的基础上,通过证明S蕴含P是否为一个定理来验证系统是否具备该性质.以2内核处理器上的多级反馈队列算法的正确性为案例进行检验,结果表明所提方法可验证多内核处理器进程调度的系统性质,保证多内核进程调度的可靠性.由于多内核处理器的进程调度具备了并发系统的主要特点,因此该方法也适用于一般的并发系统验证.     

带孔圆柱面的离散方法

本文利用几何变换使圆柱面的离散工作在平面上进行。并应用二次投影变换以减少计算三角形单元节点坐标的时间。所用方法具有直观性与精确性,并能容易地发现计算中的错误。     

混凝土冬季施工理论与施工工艺

混凝土是我国建筑工程的主要结构材料，研究和改进混凝土冬季施工技术，实现混凝土常年均衡作业，对加快国民经济的发展具有发展意义。     

《古舟子咏》中信天翁被射杀情节之透析

《古舟子咏》是英国浪漫主义杰出代表,＂湖畔派诗人＂之一塞缪尔·泰勒·柯尔律治（Samuel Taylor Coleridge）的经典诗作。此诗神秘怪诞,寓意丰富。而笔者所关心的是信天翁为何被射杀,及这一简单故事情节在全诗中的作用及与主题的关系。本文将从作者的创作技巧,宗教象征意义和心理学角度三方面来分析。     

实Hilbert空间之闭子空间对闭区间的最佳同时逼近

本文得到实Hilbert空间之闭子空间对闭区间的最佳同时逼近公式。     

基于材料英语特征的翻译技巧

针对材料英语的一些基本特征以及英汉翻译过程中出现的问题和原因进行了分析探讨,指出材料工作者要了解材料英语的文体和语言特点,翻译时要采取已经普遍接受的译法,不能完全直译,更不能任意创造。同时介绍了翻译过程中常用的一些基本技巧,并通过例句对其进行了详尽阐述。     

数学实验课程建设的研究

数学实验是我国高校新开设的一门课程，目前正处于探索和试点阶段。本文结合教学实际，就如何设计数学实验课程的教学内容、教学方法等进行了系统的讨论。     

男子铁饼出手速度及旋转技术剖析

本文通过中、外运动员的出手速度及旋转技术的分析、对比,探求我国男子铁饼成绩落后的原因,从而为铁饼的科学化训练提供一定的依据.     

关于D∞的一个基本投射不等式

该文给出D∞的一个基本投射不等式．它在文[1]证明D∞是一个外延λ-模型时的地位是重要的，但文[1]将它误认为一个等式的多次应用．     

回转体轴测形态图计算理论和方法

以光滑曲面立体和逐片光滑曲面立体的视觉事件类型为基础， 轴测投影下投影球的划分，研究了棱线多于两条和具有顶点的回转体特有的视觉事件，即三条棱线之间的三重点型和相切交叉型以及顶点和轮廓曲线之间的多重视觉事件。