图论教学中的可拓变换

图的控制理论是图论教学中的重要部分,确定图的某种控制数是图控制论中不能缺少的内容.在证明图的控制数下界时,往往会因为需要考虑的情况太多使得证明过程异常复杂甚至无法证明.提出了图的控制中的可拓变换方法.方法 通过主动可拓变换及其传导变换改变顶点物元的量值,可以将某些情形排除,从而简化控制数下界的证明过程.在教学中,学生更...     

自组织等离子体光子晶体的光谱研究

利用双水电极介质阻挡放电装置,在空气和氩气组成的混合气体气体放电中,观察到了一种由放电丝自组织而形成的等离子体光子晶体.该晶体的结构由多个四边形的晶胞构成.每个晶胞由中心点、交叉点及连线组成,分别对应细等离子体柱、粗等离子体柱和片状等离子体.利用发射光谱法,研究了处于不同位置的等离子体状态,以及等离子体参量随着氩气含量的变化趋势.通过采集氮分子(N2)第二正带系(C3Πu→B3Πg)发射谱线,分别计算出了不同位置的等离子体的分子振动温度.通过氩原子696.57 nm(2P2→1S5)谱线的展宽,研究了不同位置的电子密度.实验结果表明:不同位置的等离子体具有不同的分子振动温度和电子密度.即他们所处的等离子体状态是不同的.在相同的氩气含量下,粗等离子体柱、细等离子体柱和片状等离子体的分子振动温度依次增高,且均随着氩气含量的增加而下降.在相同的氩气含量下,粗等离子体柱、细等离子体柱,片状等离子体的电子密度依次减小,且随着氩气含量的增加而下降.因为等离子体电子密度不同,对光的折射率是不同的,因此在该晶体结构中,粗等离子体柱、细等离子体柱,片状等离子体具有的折射率是不同的,他们与周围未放电的区域自组织形成了结构比较复杂的等离子体光子晶体.     

对“学生实验失败”的分析与思考

学生实验是形之有效的、让学生亲自实践来培养实验能力的一种主要形式,充分发挥学生实验的效用,对于全面提高化学教学质量具有特殊意义。     

化学衍生化技术及其在质谱成像中的应用进展

近年来,随着质谱成像(mass spectrometry imaging, MSI)技术的不断发展与完善,众多基于MSI的分析策略已被广泛应用于生物内/外源分子原位、定性、定量可视化研究,其中又以基质辅助激光解析电离质谱成像(matrix assisted laser desorption/ionization MSI, MALDI-MSI)和DESI-MSI(desorption electrospray ionization MSI)最为常用.相较于传统分子影像方法, MSI技术具有高灵敏、高通量、无需标记等优点,但仍存在一些不足,尤其在低极性、难电离中性分子原位分析中短板明显.针对这一难题,化学衍生化技术的发展与应用已成为极其重要的手段之一.本文系统性地综述了多种化学衍生化技术,如酯化衍生化、酰化衍生化、加成衍生化、取代衍生化、氧化衍生化及其他衍生化技术,在MALDI-MSI及DESI-MSI分子表征中的应用进展.可以预见,化学衍生化技术的不断发展与完善将进一步拓展MSI技术在原位代谢组学、原位脂质组学、原位蛋白质组学、原位糖组学等领域的应用范围.     

浅谈GPS技术与高等级公路测量

全球定位系统为公路勘测设计工作者提供了一个可靠的提高外业测量精度及进度的工具,随着GPS越来越多地出现在人们的生产、生活中,这一先进的测量手段会被更广泛地应用到公路勘测工作中,从而可提高作业效率,缩短设计周期,推动交通事业的发展和公路的建设。     

汾渭盆地地裂缝成因研究中的若干关键问题

汾渭盆地是我国地裂缝发育最强烈的地区,地裂缝类型多样,成因复杂。本文概述了汾渭盆地地裂缝的分布规律,分析了目前汾渭盆地地裂缝成因研究中存在的主要问题,重点围绕构造型地裂缝的成因问题,提出如下研究思路:通过多学科联合手段,重点研究汾渭盆地地裂缝灾害的分布规律及其与活动构造的分布关系与成生联系,建立构造地裂缝的地质结构模型;将现代物理数值模拟技术与高精度观测技术相结合,分析研究构造活动启动地裂缝灾害的力学机理以及构造作用与抽水作用耦合致裂机理;以GPS观测资料为约束,将汾渭盆地地裂缝的成生与青藏、华北大陆变形的动力学过程联系起来,研究该区地裂缝与现今中国大陆动力学的内在联系,揭示大陆驱动力产生地质灾害的动力学机制与模式。     

New nonconforming finite element method for solving transient Naiver-Stokes equations

For transient Naiver-Stokes problems, a stabilized nonconforming finite element method is presented, focusing on two pairs inf-sup unstable finite element spaces, i.e., pNC/pNC triangular and pNQ/pNQ quadrilateral finite element spaces. The semi- and full-discrete schemes of the stabilized method are studied based on the pressure projection and a variational multi-scale method. It has some attractive features： avoiding higher-order derivatives and edge-based data structures, adding a discrete velocity term only on the fine scale, being effective for high Reynolds number fluid flows, and avoiding increased computation cost. For the full-discrete scheme, it has second-order estimations of time and is unconditionally stable. The presented numerical results agree well with the theoretical results.     

一种基于Spring的轻量级面向服务组件框架

面向服务组件将面向服务的概念引入组件模型中,支持松耦合的面向服务应用软件的开发.本文提出一种基于Spring框架的轻量级面向服务组件框架SSCF(Spring-based Service Component Framework),利用Spring的依赖注入和远程服务访问技术,简化面向服务组件的编程模型、增加编程自由度、提高组件运行效率.给出了SSCF框架中服务组件模型的逻辑结构模型、描述方法和连接通信机制以及框架实现的关键技术.该框架简化了面向服务组件的开发,与SCA(Service Component Architecture)实现框架Apache Tuscany相比,性能上具有一定的优势.