利用半导体致冷片研制小型电冰箱

阐述了半导体制冷技术的发展和原理,应用半导体制冷技术制作了半导体冰箱,并进行了实验测试.     

Heisenberg群上具有临界指数的次椭圆方程解的不存在性

本文将（1．1）推广到了Heisenberg群上并且讨论了（1．2）解的不存在．     

加压精馏塔馏出 甲醇纯度在线控制方案

运用纯物质压力与温度关系式,通过对甲醇加压精制塔的顶部压力、温度信号进行数据采集、处理与统计,摸索出相对准确的经验值与纯度经验公式,及时给出在线纯度检测值,便于操作人员快捷调节工艺,稳定生产,节约能源。     

黄藏寺工程大断面洞挖施工

黄藏寺水利枢纽工程未来将会代替黑河中游的19座水库,并且其中有九座平原水库是坐落于黑河湿地的国家级自然保护区。根据国家相关规定的要求,黄藏寺水利工程是一项调蓄工程,具体是针对黑河的干流骨干,同时也是一项保护生态和推进扶贫开发的工程。因而对于在工程建设过程中出现的问题,应当及时的采取有效措施进行解决,从而为工程施工的顺利进行,提供有利的建设环境。     

优入圣域:王阳明、孔子教育方法之比较

王阳明立志"学为圣人",在教育方法上也希图"优入圣域"。阳明一反当时知识学的教育路径,转而倡导孔子明白简实、因材施教的教育方法,使儒学反求诸己的身心之学得以重新展开。然而,阳明多是运用语言思辨,让生徒进行形而上的体悟,孔子却是从形而下的生活中去矫正生徒的性情;阳明对生徒多持肯定态度,张扬其成圣的勇气,孔子对生徒则更多是加以裁抑和矫正,力图使之成为中和的君子。     

Heisenberg群上p-sub-Laplace算子的一类Hardy型不等式及其应用

利用正则化及逼近的方法,获得了Heisenberg群上p-sub-Laplace算子的一类强Hardy不等式,推广了已有文献中p的取值范围,并进一步弥补了去除原点的缺陷.作为应用,讨论了与该算子相关的一类非线性算子的正定性与下无界性,并给出了它的一个正解.     

Greiner算子在R2n+1上的Poincaré不等式及Hardy-Sobolev不等式

基于Greiner算子,建立函数的表示公式,获得了R2n+1上的一类Poincaré不等式,并利用已有的结果,得到R2n+1上的一类Hardy-Sobolev不等式,包含了已有文献的相关结果。     

基于Intel IXP2350的IP-DSLAM系统的研究与实现

IXP2350是Intel公司推出的新一代网络处理器．具有强大的网络处理性能、高度的可编程性、灵活的网络处理功能。DSLAM是xDSL技术的一种应用最广泛的局端接入设备。提出了一种基于IXP2350的IP—DSLAM的实现方案．系统可连接64路ADSL用户线路，解决了系统局端的接入问题。     

基于超文法的扩展文法转换技术

针对带有优先级的扩展巴克斯范式(EBNF), 普通的语法分析技术很难适用于该文法的问题, 给出了扩展文法的形式定义, 提出一种基于超文法的EBNF到巴克斯范式(BNF)的转换算法, 并给出转换的正确性证明, 该算法在ATLAS语言编译器的开发中得到了实际应用和验证.     

一类p-次双权退化椭圆算子及其边值问题的唯一性

通过对广义Baouendi-Grushin算子L=△x |x|2α△y(α>0,x∈Rn,y∈Rm)的向量场分别加权,提出一类失去反自共轭性双权退化向量场.通过讨论泛函的严格凸性,在有界单连通区域内,给出p次退化椭圆算子的第一特征值的单一性.