加快农村初中数学教师培训的步代

本文分析了农村地区 (县以及县以下 )初中数学教师培训的现状 ,提出加快农村地区师资培训步伐的若干策略     

组蛋白去甲基化酶LSD1的结构和功能研究进展

组蛋白去甲基化酶LSD1的发现是表观遗传学领域的重要进展,揭示了组蛋白赖氨酸甲基化和其他化学修饰如乙酰化、磷酸化、泛素化等一样是一个动态调节的过程.结构和功能研究显示 LSD1调控着基因转录的激活和抑制以及p53的活性,在癌症的发生和发展中起着重要的作用,是一个潜在的抗癌药物开发靶蛋白.     

急性胰腺炎患者CRP和IL-6水平检测及临床意义

目的:C-反应蛋白和IL-6测定在诊断轻、重型胰腺炎患者中的临床应用价值。方法:血清CRP测定采用快速比浊法,IL-6测定采用双抗体夹心ELISA法。结果:重型胰腺炎患者CRP和IL-6水平显著高于轻型胰腺炎患者;显著高于正常健康对照组(P<0.01)。结论:CRP和IL-6水平测定可为早期诊断和区别轻、重型胰腺炎提供可靠的实验依据。     

星载逆合成孔径激光成像雷达空间碎片观测

分析了星载ISAIL对空间碎片目标成像的原理,根据空间碎片目标自旋运动的特点,提出了一种结合压缩感知与复逆Radon变换的低重频成像算法。该算法结合压缩感知技术和复逆Radon变换，只需发射带宽很窄的激光信号,并对单个距离单元处理即可实现对目标的高分辨率二维成像，解决了系统脉冲重频率对成像的限制。仿真验证表明：此算法不仅可以解决对空间碎片目标成像过程中系统重频率不够的问题,而且通过大幅度减小信号带宽降低了激光信号调制技术对成像的影响，算法是可行性。     

一种复合词典的自动构建算法

从不同结构的词典中可自动构建出一部复合词典的算法。新的复合字典中同时包含有源词典的分类信息和语义信息，自动补充部分源词典中不存在的信息。     

沸石-Cu2O复合材料的制备及其光催化研究

以CuSO4·5H2O和葡萄糖为原料,以13-X型沸石为载体,采用水浴法制备了沸石-Cu2O纳米复合材料.用X射线衍射(XRD)、扫描电镜(FESEM)、X光电子能谱(XPS)对其进行了表征,表明粒径为400nm左右纯的Cu2O微粒均匀地分散在沸石中.以模拟太阳光灯为光源,对亚甲基蓝溶液进行光催化降解实验,在最佳条件下降解1h,降解率可达到99.8%,表明沸石-Cu2O复合材料在可见光区具有良好的催化活性.该催化剂重复使用4次后降解率还比较高,而且依旧保持立方晶型、没有被氧化成CuO,证明所合成的催化剂物理化学性质都比较稳定.     

波动方程第二类边界条件齐次化函数与解的关系

基于传统的齐次化边界条件方法，讨论了波动方程初边值问题第二类非齐次边界条件一般形式的齐次化辅助函数问题，采用傅立叶级数法证明了对同一定解问题，在不同齐次化函数下的解在适定意义下是等价的。     

Verification of Interdomain Routing System Based on Formal Methods

In networks,the stable path problem (SPP) usually results in oscillations in interdomain systems and may cause systems to become unstable.With the rapid development of internet technology,the occurrence of SPPs in interdomain systems has quite recently become a significant focus of research.A framework for checking SPPs is presented in this paper with verification of an interdomain routing system using formal methods and the NuSMV software.Sufficient conditions and necessary conditions for determining SPP occurrence are presented with proof of the method's effectiveness.Linear temporal logic was used to model an interdomain routing system and its properties were analyzed.An example is included to demonstrate the method's reliability.     

Optimization model coupling both chemical compositions and high-temperature characteristics of sintering materials for sintering burden

We developed a mathematical optimization model coupling chemical compositions and high-temperature characteristics of sintering materials, targeting the best quality and lowest cost. The simplex algorithm was adopted to solve this model. Four kinds of imported iron ores, two kinds of Chinese iron ore concentrates, and two kinds of fluxes were selected to verify both the model and the algorithm. The results confirmed the possibility of considering both chemical compositions and high-temperature characteristics of iron ores in the optimization model. This model provides a technical roadmap to obtain a precise mathematical correlation between the lowest cost and the grade of iron in sinters based on the condition of given raw materials, which can provide a reference to adjust the grade of iron in the sintering process for enterprise.     

高性能计算的发展

 继理论科学和实验科学之后,高性能计算成为人类科学研究的第三大范式。作为科技创新的重要手段,高性能计算广泛应用于核爆模拟、天气预报、工程计算等众多领域,是当代科技竞争的战略制高点,集中体现一个国家的综合实力。本文介绍高性能计算发展的历史和现状,分析当前高性能计算所面临的问题和挑战,探讨高性能计算未来的发展方向。