代数规范的可计算实现

本文给出代数规范可计算实现的定义,证明了每一个可计算实现都可用特定的三元组来形式描述。在该定理的基础上,可进一步讨论可计算实现的性质.     

人权问题的哲学思考

“人权”是当前世界各国人民普遍关注的问题。如何认识人权,不同的人由于各自的阶级立场和价值取向不同,对人权可以作出不同的解释,并赋于不同的内容。归结起来,大体有两种对立的观点:一种认为,人权是普遍的,没有国界、没有国家主权的限制;一种认为,凡人权都是具体的、特殊的,各个国家中人们亨受的人权不可能是一样的。笔者认为,以上两种观点都存在偏面性,在这个问题上,用唯物辩证法加以分析,对于我们正确理解人权是会有所帮助的。 (一) 无论是国内人权还是国际人权,都是既有个性,又有共性,是共性和个性的统一。唯物辩证法告诉我们:一方面共性寓于个性之中,共性要通过个性表现出来。另一方面,个性一定要与共性相联系而存在,“个别一定要与一般相联系而存在”。在阶级对立的社会里,不同阶级和阶层的人     

夹杂对Ⅰ型裂纹应力强度因子影响的一般近似解

利用相变增韧理论和Eshelby等效夹杂方法,给出任意形状夹杂对Ⅰ型裂纹应力强度因子影响的近似解析解．和有限元分析结果比较表明,由于引入远场应力对夹杂的作用,导出的近似解有较好的精度,适用于处理较大尺寸和具有任意形状的夹杂对Ⅰ型裂纹应力强度因子的影响．     

α—三甲硅氧基烃基膦酸二烷基酯的合成

磷硅试剂与羰基化合物反应是制备α-三甲硅氧基烃基膦酸二烷基酯的简单而有效的方法。本文报导了用此法合成十二个α-三甲硅氧基烷基膦酸二乙酯的反应条件以及产物的IR和H~1-NMR数据,初步探讨了影响反应的有关因素。     

N-芳酰基-N'-羧基烷基硫脲衍生物的合成

通过芳酰基异硫氰酸酯与不同氨基酸反应 ,合成了 8个新的 N-芳酰基 -N -羧基烷基硫脲衍生物 ,利用红外光谱、核磁共振氢谱及元素分析等确定了它们的结构 ,并对反应条件的选择性进行了进一步的探索 .     

相应力对双相钢Bauschinger效应的影响

本文根据各向同性和各向异性硬化模型,利用有限单元法计算了双相钢的反向(压缩)流动曲线.计算结果清楚地揭示了由塑性变形不均匀产生的相应力对Bauschinger 效应的影响规律:使反向曲线在较低的载荷下进入屈服,初始流动阶段具有较高的硬化率,不产生永久软化.     

显微组织对双相钢Bauschinger效应及残余相应力的影响

本文应用有限单元法分析了预变形、粒子尺寸、体积分数和组分相的屈服强度比对双相钢的 Bauschinger Effect(BE)及残余相应力的影响.对 BE 和残余相应力之间的关系、非弹性卸载、卸载塑性及反向变形对 BE 和残余相应力的影响也作了讨论.一些计算分析和相应的实验结果相比较,符合较好.     

2004年全国健美操锦标赛山西代表队技术分析

通过对2004年全国健美操竞技组的成套动作技术指标定量统计分析，表明：①运动员参赛成套动作的编排思路、发展方向与国际趋势一致，与冠军选手差距不明显。②选手在成套动作完成过程中表现出的技术规范性、健美操基本功、专项技术的发力控制以及技术魅力方面与全国高水平运动员还有差距，选手难度动作完成的质量方面还有待提高。     

富文本编辑(RTE)控件在试题库系统中的应用

在应用PowerBulider进行试题库系统的开发时,采用富文本编辑 (RTE)控件来完成试题编辑和组卷功能,富文本编辑控件实际上是一个PB内嵌的、能够使 用PB脚本编程的编辑器,支持字体属性(字体、字号、加粗、斜体等)、字符与段落格式(对齐、缩进等)和打印内容.能够按富文本格式取得编辑区中的内容,并将其存储到数据库中.采用这种方式开发的试题编辑器使用简单,不仅能够实现一般编辑器所具有的编辑功能,还能限制组卷者对试题的更改.     

微表处技术在预防性养护工程中的应用

大量超限、超栽车在路上行驶,使沥青路面出现不同程度的磨损、光滑、松散、坑槽等病害;为延长下一次路面大修改造周期,进行微表处预防性养护处理,改善路面的抗滑性能,修复车辙,提高路面的行驶安全质量.