具有迷向S-曲率的指数度量

研究了Finsler几何中一类特殊(α,β)-度量-指数度量F=αeks的S-曲率性质.笔者通过把指数度量的S-曲率与其特殊S-曲率的表达式进行比较,采用代数方程公式运算的方法,分析方程因式指数的变化,得到了指数度量具有迷向S-曲率的充要条件:指数度量具有迷向S-曲率当且仅当它具有迷向平均Berwald曲率.此时,该度量的S-曲率为零,且是弱Berwald度量.结论表明:对于这类特殊的(α,β)-度量来说,它的曲率性质较简单,即它有迷向S-曲率等价于它有迷向平均Berwald曲率,等价于它具有为零的S-曲率.     

三级SBR除磷脱氮工艺处理生活污水

根据生物除磷和反硝化脱氮的机理,污水的脱氮除磷存在基质竞争和泥龄方面的矛盾.为解决该矛盾开发了一种新的污水生物处理反应工艺--三级序批式活性污泥法(三级SBR法),并运用该方法处理了生活污水.该工艺将具有硝化、聚磷和去碳功能的细菌种群分别控制在三级反应器中优势生长并结合反硝化除磷技术.实验表明,处理效果稳定,COD 、TN 、TP去除率平均为87%、80%、86%,并可以减少能耗,节约碳源.该工艺能取得较好的同时脱氮除磷效果,且操作简便,运行费用低,有较好的应用前景.     

对高师数学教育专业课程建设的实践与思考

课程建设是当今教育改革的核心内容,培养合格的师资,课程改革是关键.通过对国内外高师院校数学教育专业课程设置的比对分析,面向新课程的高师数学教育课程,应以教育教学实践活动为主轴,整合高师数学教育类课程;转换课程形态,重组选修课程,加强综合课程;树立"理论够用、实践为重、体系创新、素养本位"的课程理念,使学生的生活和学习的过程成为提高人文素养、形成教育教学能力、提升实践智慧的过程.     

二硫基二苯并噻唑的绿色合成

以2-巯基苯并噻唑(M)为原料,于水相(含少量丙酮)体系中,在过氧化氢的氧化下发生反应,高产率获得二硫基二苯并噻唑(DM)。     

试析台湾当局的"公投"

运用相关法理理论阐述台湾当局"公投"的本质,揭示台湾当局企图通过推动"公投"实现"法理台独"的政治野心,分析"公投"对台湾社会和经济发展所造成的严重影响以及中美对"台独"所将采取的立场.     

面波有限频率法3-D灵敏度核函数的计算

高分辨率面波成像应克服射线理论的高频近似假设,考虑有限频率效应.该文给出了一种计算面没有限频率3-D灵敏度核函数的方法.该方法可直接计算球壳层状地球模型中面波振型特征值和特征函数,而不再需要采用球化平变换来近似计算球壳层状地球模型中面波频散参数.作者计算了相位延迟、振幅扰动和群到时延迟的3-D灵敏度核函数,并对面波有限频率效应进行了讨论.分析结果显示:面波相位延迟的3-D灵敏度核函数同2-D体波走时的核函数形状类似,说明面波具有二维传播特性.对相速度数据而言,Fresnel带方法适用于低频面波的反演,射线方法适用于高频面波的反演,而对于中等频率的面波反演应采用有限频率方法.频率的商低是相对于所要取得的分辨率而言的.在反演地壳上地幔细结构方面,群频散数据更具有优越性;然而,群到时延迟核函数的极强的旁瓣可能使得反演变得不稳定.     

水孔蛋白与生理学理论的更新

水孔蛋白（Aquaporins,AQP）是新近发现的一组与水通透有关的细胞膜转运蛋白,广泛存在于动物、植物及微生物细胞膜上．目前已有很多文献介绍水孔蛋白的发现过程和研究进展,但有关知识还没有融入高校的专业教材或及教学中去．本文首先对水孔蛋白作简单介绍,随后提出了将该进展融入生理学,更新其理论的设想.     

不确定非线性时变时滞系统的可靠H∞控制

研究了不确定非线性时变时滞系统的可靠H∞控制问题.系统考虑了状态滞后、参数的不确定性、非线性及外部扰动.参数不确定性满足匹配条件,同时非线性满足有界条件.目的是设计一个状态反馈控制器,对于所有可允许的不确定性,使得当部分执行器失效时,系统仍能保持渐近稳定.基于Lyapunov泛函方法,通过求解一个线性矩阵不等式就可得到可靠H∞状态反馈控制器.用数值算例及仿真结果验证了所给方法的有效性.     

2.4GHz非对称缝隙波导天线设计

无线网络技术在近年得到蓬勃发展,而目前无线设备的天线限制了无线通信系统的性能.针对现有无线局域网设备天线增益效果差、传输距离短、成本较高的不足,采用波导缝隙天线原理设计用于2.4 GHz的无线网络通信的非对称波导缝隙天线,为适应不同场合使用要求,设计了6种造型.在理论设计的基础上,采用常见铝合金材料,使用数控铣床加工出试验品,经反复试验和优化,制作出较为成熟的产品.在校园内架设试验网络测试表明:天线增益效果明显,信号传输距离和范围与现有产品比较有很大提升,稳定性好,抵抗恶劣环境能力较强,能够满足正常使用要求,材料成本低廉,便于生产加工.     

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

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