5H-10,11-二氢二苯骈(b,f)氮杂的催化脱氢研究

对５Ｈ－１０，１１－二氢二苯骈（ｂ，ｆ）氮杂艹卓的催化脱氢工艺进行了研究，并探讨了催化剂用量、反应温度和氧化剂对产物产率的影响     

合肥市秋季、早冬灰椋鸟活动规律

于2001年9月至2002年1月，对合肥市秋季和早冬灰椋鸟集群活动规律进行了观察，结果表明：9月底在合肥市始见大群的灰椋鸟夜柄于法国梧桐上，11月中旬夜栖群个体数量达到高峰，12月上中旬开始成批离开合肥市，这期间，白天的觅食群和夜晚的夜柄群活动规律明显不同，前者数量小，在市区及郊区的农田和村庄附近活动；后者数量很大，主要栖息在法国梧桐上，光照强度是决定灰椋鸟早上飞离夜栖地时间的主要因子，随着夜长日短，有推迟飞离，提早返回的趋势，食物主要是香樟，苦楝等7种植物的果实。     

高贵的赝品

波兰这个曾经在地图上几度消失又几度再现的国家，虽然不大，却面面俱到，丘陵、高地、湖泊、森林……编织着波兰闲适的生活。波兰又像个中转站，濒临波罗的海，东面与俄罗斯、白俄罗斯、乌克兰相邻，西面与德国相接，南面则邻接捷克和斯洛伐克。这个简单的地理定义，也让她在不知不觉中成了连接东西欧的焦点，成了商家和兵家的必争之地。     

造盖术为主的联合术式治疗大龄儿童发育性髋关节脱位

目的:探讨大龄儿童发育性髋关节脱位的特点,分析讨论其发病机制及防治措施.方法:对5～9.5岁发育性髋关节脱位患儿16例(20髋)采取以造盖术为主的联合术式治疗.结果:随访1年,X线检查髋臼指数平均校正10°,股骨头与髋臼同心情况明显改善,无一例再脱位.结论:造盖术为主的联合术式治疗大龄儿童发育性髋关节脱位是一种简单、可行、安全的方法,值得推广.     

信息化环境中供用电技术专业教学改革和实践

随着当今社会信息化的飞速发展，对人才的使用要求也在不断变化，为适应这种变化，供用电技术专业教学改革已是非常必要。本文介绍了河南机电高等专科学校供用电技术专业教学改革的目标、指导思想和教学改革的过程。供用电技术专业教育将继续进一步体现“能力本位”思想，实现产学合作，注重实际，逐步推行职业技能鉴定，扩大学生就业面，努力培养出适应时代发展的高级应用性综合技术人才。     

关于小分子激发态的量子化学计算技巧

讨论了小分子激发态的量子化学计算中的一些技巧性的问题。探讨了如何解决在自治场UHF方法计算激发态过程中有时会遇到难以获得确定电子态的困难。对于激发态的构型优化和能量精确计算也探索出了一套有效的工作步骤。     

0—1多项式与命题逻辑

本文提出了0-1多项式,并将命题逻辑公式转化为0-1多项式.     

基于静态插装和约束求解的整数漏洞检测

以C源码为研究对象,提出了一种基于静态插装和约束求解的整数漏洞检测方法.首先在C源码中可能的整数漏洞点前面插装检测代码,同时定位可能导致整数漏洞的输入源,并将其标记为符号变量.之后将静态插装后的源码编译成可执行代码,并进行(符号和具体执行的)混合执行.在动态执行的过程中,通过对插装代码对应的符号约束进行求解,可以检测整数漏洞是否存在,以及获得当整数漏洞存在时符号变量相应的具体取值.进一步地,通过对从程序入口点到整数漏洞点所经过路径上的所有条件跳转约束进行求解,获得引导程序到达整数漏洞点时符号变量相应的具体取值.结合两者可以辅助生成触发漏洞的输入用例.基于CVE(通用漏洞披露)通告的实验表明本系统能够成功检测到相应漏洞.     

梅花鹿骨形态发生蛋白BMP4基因的克隆与序列分析

通过提取梅花鹿肝脏总RNA以及采用RT-PCR技术,成功克隆梅花鹿骨形态发生蛋白BMP4基因序列,并对其核酸序列、蛋白质序列,功能保守区、亲疏水性进行生物信息学分析,同时构建序列进化树以及部分结构的三维模型.该序列已提交Genbank(索取号:HQ877675).该研究可为日后通过基因工程手段表达重组梅花鹿BMP蛋白并探究其药理作用提供基础.     

郑州市域粉质黏土相似材料配比试验研究

文章结合郑州市轨道交通10号线盾构下穿南水北调干渠工程，针对盾构掘进的粉质黏土地层工况，根据相似理论计算相似材料的相似比尺，通过大量的相似材料配比试验，配制出一种新的粉质黏土相似材料，相比于原状粉质黏土，该相似材料呈现出“高密度、高摩擦角、低黏聚力、低压缩模量”的性质特点；通过对铁粉质量、锯末质量比、膨润土质量比、水质量4个因素的敏感性分析，获得铁粉、锯末等基础材料对相似材料物理力学性质指标的敏感性，并提出严控含水量的重要性。研究成果可为开展粉质黏土相似模型试验提供相似材料配比方案，为郑州市域该土层内的相关工程建设提供参考。