用于C语言程序验证的性质描述语言C-PDL

为了保证程序的正确性,可以先将程序抽象成模型,再采用模型检测技术对模型进行验证.模型检测工具只接受形式化的性质描述语言,而一般程序员很难正确地使用,因此,文章提出了半形式化的描述语言C-PDL,并介绍了采用C-PDL描述性质的验证系统.C-PDL采用时序逻辑语言XYZ/AE的语法结构,结合了C语言程序性质的特点,引入规范模式系统,其语法简单且描述能力强.另外,C-PDL表达式可以方便地转换成模型检测工具识别的各种时序逻辑公式.     

安徽省运动训练系统人才存在的问题与对策

在分析安徽省运动训练系统内人才结构性基础上,运用管理学和社会学的研究方法,针对省情对其人才队伍学历状况、年龄结构、任教来源以及专业学科建设等方面所存在的问题进行了较系统的研究.     

地面占压荷载作用下的管道应力分析

占压导致地基下沉和管道变形.建立了地基-管道的三维有限元模型,分析占压载荷作用下管道的应力与变形.模型考虑了管-土间的相互作用和管底夯实地基,符合占压管道的实际载荷情况.结果表明:管道在上覆土体和夯实地基的不均匀作用下发生局部弯曲和椭圆化变形;上覆土体越软,管道变形越大,管底夯实地基起到阻止管道下沉的作用,二者弹性模量相差越大,管道在夯实地基边缘处的环向弯曲应力越高;内压起到抵抗管道变形的作用,但其影响程度较小;薄壁大口径管道的应力水平和变形程度相对较高,上覆土体对大口径管道横截面变形有较大的约束作用;占压载荷与管道横截面的椭圆化变形率近似呈线性关系,依据极限椭圆化变形率可以确定管道所能承受的安全占压载荷.     

一类数列极限的几种常用方法

有关数列极限的问题,一种是利用极限定义证明题,另一种是利用极限的四则运算法则计算题。主要讨论"∞/∞"型数列极限的几种常见求法。     

舒适性集中式空调系统末端设备之我见

介绍了舒适性集中式空调系统的末端设备,指出了末端设备的一些问题,提出了舒适性集中式空调系统达到理想空调效果的解决办法。     

中和法测定煤油中的反式羟肟

羟肟类萃取剂目前广泛应用于铜的溶剂萃取中。据报道,国外对反式羟肟的测定,一般应用紫外分光光度法,薄层层析分离——红外光谱测定法,和电位法。但是对工业生产上含有煤油的羟肟铜萃取剂中反式羟肟的测定,至今尚未见到简便合适的方法报导。我们赴恩平铜矿开门办学过程中,在铜矿党组织的领导下,进行了中和法测定煤油中反式羟肟的试验。中和法是基于反式羟肟饱和萃取铜时定量置换出氢离子,然后用氢氧化钠溶液滴定所放出的氢离子,间接测定反式羟肟的浓度。     

矩阵理论在求分式线性递推数列通项公式中的应用

特殊的分式线性递推数列通项公式可用等差(比)数列知识求得,一般的分式线性递推数列通项公式可用其系数矩阵的特征值、特征向量等矩阵理论而求得。     

海藻酸钠热稳定性的研究

本文用偏光显微镜、激光散射及旋转粘度汁等技术，较系统地检测了经受不同热处理时间的新配制的海藻酸钠水溶液的行为。发现溶液分层、各向异性和粘度等特性都发生规律性变化：前二者随热处理时间增加而加速、加大，并表现出明显的液晶行为；后者则逐渐降低。     

变厚度薄板的摄动边界元法

从变厚度薄板的基本微分方程出发，先把方程化这无量纳形式，然后提出问题的小参数，利用模拟载荷概念，导出了求解变厚度薄板在各种边界条件下弯曲问题的边界元法。