一种组合式基于调用栈的程序切片方法

通过调用栈提取当前调用上文信息,对传统的静态程序切片约简,可获得基于调用栈的程序切片,进行有效的程序调试.针对目前该切片计算需构造系统依赖图(SDG)而造成大程序分析效率较低等问题,提出相关子程序分析算法,通过仅分析程序中部分与切片标准相关的子程序,而不是所有子程序来提高分析效率,同时提出一种组合式基于调用栈的程序切片...     

“2010.6.26”云南东部特大暴雨天气过程分析

利用NCEP资料、常规气象资料和云南省闪电定位系统资料,对2010年6月25日20时～26日08时发生在云南东部的特大暴雨天气过程进行分析.结果表明:700 hPa的暖式切变是主要影响天气系统;高空风切变和中低层的水汽辐合是造成云南东部特大暴雨天气过程的主要原因;气层上冷下暖、上干下湿的位势不稳定区,是云南东部短时强对流天气的有利条件;卫星云图、云南闪电定位资料与特大暴雨天气过程有着较好的对应关系.     

β分子筛负载SO42- /FeaO3固体超强酸的制备及酯化性能研究

利用浸渍法将Fe2(SO4)3溶液负载到β分子筛上,经过焙烧制得β分子筛负载SO2-4-/Fe2O3固体超强酸催化剂.并以乙酸丁酯的酯化反应为探针,考查了β分子筛与Fe2(SO4)3的质量比、焙烧时间、焙烧温度对催化剂酯化性能的影响,得到了较佳的制备条件:Fe与β分子筛质量比为5:2,焙烧温度550C,焙烧时间4h.用指示剂法测其酸强度H0≤12.7,为固体超强酸.     

试论职前英语教师的专业发展——同伴录像在免费师范生教育实习中的有效应用

为创新实践教学、提高实习实效,在免费师范生教育实习中开展基于社会建构主义、多模态话语分析理论的同伴录像.通过构建基于同伴录像的教育实习体系,在集体备课→导师教案指导→上课与同伴录像→录像回放→刺激回忆与导师、同伴讨论→个体反思→教学新设计→教学新行动等循环往复的过程中,提升实习生的课堂教学自信与专业发展意识,发展与他人合作交流的能力,提高教学技能与反思能力,促进了职前英语教师的专业发展.     

热电热泵与热虹吸管组合的新型热水器的研究

研究了一种热电热泵与热虹吸传热组合的新型快热式热水器.首先,以丙酮为工质,以挠性不锈钢波纹管为蒸汽管和冷凝液管,对一种新型的平板分体式热虹吸装置进行了实验研究,得到了最佳充液率、表面温差分布等性能参数.在此基础上,将热虹吸装置、热电制冷模块、内翅片平板型散热器等进行系统组合为一种新型快热式热水器,对系统各部件的匹配进行了优化,并对各环节进行了传热强化.参照相关技术标准,建立了样机性能测试系统,样机比普通电热水器节省电耗38%以上.该组合型样机具备双循环型热电热泵热水器节能、环保、安全等优势,但比后者系统更为简化,并消除了制约系统整体寿命的瓶颈,更具备技术优越性和应用便利性.     

二维群集Vicsek模型的动理学方程的一个二阶精度格式

提出了求解二维群集Vicsek模型的动理学方程的一个二阶精度格式,其中二阶精度的算子分裂技术用于解耦对流项和碰撞项,高分辨MUSCL格式用于对流项的离散,而谱方法和二阶隐式龙格库塔方法分别用于在速度和时间方向近似碰撞部分子问题.给出了几个用于检验格式精度和有效性的一维和二维数值实验.数值结果表明,所提出的格式具有二阶精度;与文[J Comput Phys,2015,297:32-46]中的一阶格式比,它能较好地分辨黎曼问题解中的间断.     

基于信息等量压缩的单星星光-惯性制导原理研究

星光-惯性制导是一种复合制导体制,它能有效地提高弹道导弹的命中精度.首先建立了单星平台星光制导的测量模型与修正模型,提出了信息等量压缩的概念,研究了其基本原理.在此基础上,阐明了单星方案能够与双星方案达到同样精度的原理,为快速确定单星最佳测星方位提供了理论依据.最后分析了导航星偏离最佳星方位时的制导误差,并提出了一种补偿方法.     

底框-抗震墙结构抗震性能分析

底层框架抗震墙结构在发生地震时候,由于上下结构形式不同和各构件抗侧力体系抗震差异使得这类房屋的抗震性能较为复杂,结构刚度沿竖向分布也不连续,侧向变形也不均匀,易于发生在相对较薄弱的底层。文章按照相似原理,通过模型试验分析了底层框架抗震墙结构的抗震性能。     

河南省高等职业教育的问题与对策研究

河南省的高等职业教育在20多年的发展过程中取得了长足的进步,但就其现状来说,仍是全省高等教育中的薄弱环节。本文对河南省高等职业教育中存在的问题进行了细致分析,并在此基础上提出了一些对策。     

基于方格的道路网络中出租车乘客效应函数模型和优化策略（英文）

为解决乘客根据最优策略进行选择乘坐出租车的问题,提出了一种基于方格道路网络的乘客效用函数模型。假设出租车司机和乘客在网上都可以清晰地看到和知道彼此的地理位置和目的地的情况下,分析了可能出现的三种情况,构建了相对应的三个等效函数。出租车的速度和出租车与乘客的距离能够影响这几个等效函数。仿真结果显示,出租车的速度和出租车到乘客的距离确实是2个重要的自变量,与之前推导的理论和策略符合。乘客能够根据不同的出租车与它位置的距离判断出最优策略,从而选择最优的出租车搭乘。