|
完全稠密二叉偏序理论可量词消去的新证明=New
proof for quantifier elimination of complete dense binary orders |
|
|
作者 |
傅莺莺,沈复兴,吴茂念 |
|
第一作者单位 |
北京师范大学数学科学学院,北京,100875 |
|
摘要 |
利用理论的代数素模型和简单闭性质，给出了完全稠密二叉偏序理论可量词消去的新的简短的证明. |
|
关键词 |
量词消去;
完全稠密二叉偏序;
代数素模型; 简单闭性质 |
|
资助基金 |
国家自然科学基金资助项目(60310213) |
|
|
|
|
篇名 |
催化分枝过程的波动极限定理=Fluctuation
limit theorems for catalytic CBI-processes |
|
作者 |
马春华 |
|
第一作者单位 |
北京师范大学数学科学学院,北京,100875 |
|
摘要 |
带移民的催化分枝过程(催化CBI-过程)被定义为一类由白噪声与
Poisson 随机测度驱动的随机方程的唯一强解.主要研究此类催化CBI-过程的低密度波动极限,所得到的极限过程为带非负跳的仿射马氏过程. |
|
关键词 |
催化分枝过程;
仿射过程; 移民; 白噪声;
Poisson 随机测度;
波动极限定理 |
|
资助基金 |
国家自然科学基金资助项目(10121101) |
|
|
|
|
篇名 |
加权Hardy空间H~(u)中解析函数的积分表示=Integral representation of analytic functions in weighted Hardy space H~(u) |
|
作者 |
郝顺利,邓冠铁 |
|
第一作者单位 |
北京师范大学数学科学学院,数学与复杂系统教育部重点实验室,北京,100875 |
|
摘要 |
证明了加权Hardy空间H~(u)中的函数可以用它在半平面边界上的积分表示出来. |
|
关键词 |
解析函数； 加权Hardy空间；
积分表示 |
|
资助基金 |
国家自然科学基金资助项目(10671022);
高等学校博士学科点专项科研基金资助项目(20060027023) |
|
|
|
|
篇名 |
Dirichlet级数的奇点=Singularities
of Dirichlet series |
|
作者 |
邓冠铁 |
|
第一作者单位 |
北京师范大学数学科学学院,数学与复杂系统教育部重点实验室,北京,100875 |
|
摘要 |
给出了确定由Dirichlet级数表示的解析函数的奇点的位置的条件. |
|
关键词 |
Dirichlet级数;
密度;
奇点 |
|
资助基金 |
国家自然科学基金资助项目(10671022);
教育部博士点基金资助项目(20060027023) |
|
|
|
|
篇名 |
三种空间现实集合种群模型的比较=A
comparison of three models for spatially realistic metapopulation |
|
作者 |
张勇,刘来福,徐汝梅 |
|
第一作者单位 |
北京师范大学数学科学学院,北京,100875 |
|
摘要 |
介绍了适合于研究真实的集合种群动态的3种空间现实集合种群模型：关联函数模型、状态转移模型和模拟模型，简述了它们各自的建模过程，指出了3种模型各自的前提假设、应用时的局限性以及模型结果的优点和不足之处.
关联函数模型简单易用，适合于研究局域种群能够快速达到栖息地斑块承载力的处于随机灭绝-再殖平衡状态的集合种群；状态转移模型无需假设集合种群处于平衡状态，适合于研究拥有多年的局域种群灭绝和再殖数据的集合种群；模拟模型是与种群真实动态最为接近的能够同时描述集合种群及其各局域种群动态的模型，适合于研究对种群的生物背景知识非常了解且收集了大量数据的集合种群.
结合各模型的优缺点及适用范围，根据所研究对象的特点及掌握的数据，就可以选择出合适的模型来研究集合种群的动态.
|
|
关键词 |
集合种群； 空间现实模型；
关联函数模型；
状态转移模型； 模拟模型 |
|
资助基金 |
国家自然科学基金重大资助项目(39893360);
国家自然科学基金资助项目(79970113) |
|
|
|
|
篇名 |
关于双曲空间中椭圆的周长=Perimeter
of ellipse in hyperbolic space |
|
作者 |
王幼宁,吴英丽 |
|
第一作者单位 |
北京师范大学数学科学学院,北京,100875 |
|
摘要 |
在双曲空间中，对椭圆的周长及平均绝对曲率做出细致考察. |
|
关键词 |
双曲空间;
椭圆; 周长;
平均绝对曲率 |
|
资助基金 |
国家自然科学基金资助项目(10371008) |
|
|
|
|
篇名 |
奇异积分算子在Triebel-Lizorkin空间的有界性=The
boundedness of singular integral operator on Triebel-Lizorkin spaces |
|
作者 |
陈冬香,张锐 |
|
第一作者单位 |
北京师范大学数学科学学院,北京,100875 |
|
摘要 |
主要讨论某类卷积算子在Triebel-Lizorkin空间的有界性.作为应用,同时得到了分数次积分算子,强奇异积分算子和乘子算子在Triebile-Lizork空间的有界性. |
|
关键词 |
Triebel-Lizorkin空间; 分数次积分算子;
强奇异积分算子;
乘子算子 |
|
资助基金 |
国家自然科学基金资助项目(10571014);
江西师范大学成长基金资助项目 |
|
|
|
|
篇名 |
一类特殊的归纳环及双向归纳环=One
type particular inductive rings and bi-inductive rings |
|
作者 |
马鑫,王世强,沈复兴 |
|
第一作者单位 |
北京师范大学数学科学学院,北京,100875 |
|
摘要 |
证明了环理论扩充到具有量词消去理论时，其任意模型都是归纳环，而且带有一阶可定义序关系的环理论扩充到具有量词消去时，其模型是双向归纳环. |
|
关键词 |
归纳环； 双向归纳环；
量词消去 |
|
资助基金 |
国家自然科学基金重点资助项目(19931020) |
|
|
|
|
篇名 |
超新星的最新统计分析=Latest
statistical analysis on supernovae |
|
作者 |
徐玢,李宗伟 |
|
第一作者单位 |
北京师范大学天文学系,北京,100875 |
|
摘要 |
用截至2007年4月10日的Asiago超新星星表及Sternberg天文台超新星样本分析了各类超新星在不同哈勃型星系中的分类;统计得出了爆发在同一个寄主星系中的多发超新星,并对它们的发现时间间隔进行了统计;分析了高红移超新星的分布趋势. |
|
关键词 |
超新星;
哈勃星系型; 多发超新星; 高红移超新星 |
|
资助基金 |
国家自然科学基金资助项目(10673007) |
|
|
|
|
篇名 |
元胞自动机法寻找社团结构=Community
detection with cellular automata |
|
作者 |
陈宏斌,胡延庆,狄增如 |
|
第一作者单位 |
北京师范大学管理学院,北京,100875 |
|
摘要 |
提出了一种 “元胞自动机”方式寻找社团结构的方法．该方法基于Radicchi等人于2004年提出的“强社团”定义,并对寻找该定义下的社团结构有极佳的效果,在128个格点的经典人工网的应用中可以达到100％正确划分．该方法具有较低的复杂度:O(N2lgN). |
|
关键词 |
元胞自动机;
社团划分; 算法 |
|
资助基金 |
国家自然科学基金资助项目(70431002，70771011) |
|
|
|
|
篇名 |
电子掺杂gossamer超导体基态相图研究=Ground-state
phase diagrams of electron-doped gossamer superconductor |
|
作者 |
邱环环,刘芬芬,梁颖,袁峰 |
|
第一作者单位 |
青岛大学物理科学学院,山东青岛,266071 |
|
摘要 |
在t-t′-t″-J-U模型下，应用Gutzwiller平均场近似的方法，研究了电子型掺杂铜氧化物高温超导材料Nd2-xCexCuO4基态时的相图.结果表明，在大U极限下，电子型掺杂材料反铁磁长程序直到最佳掺杂浓度附近都存在.随着U的减小，反铁磁长程序以更快的速度消失，同时d波超导序也受到抑制.这些都与数值计算结果定性一致. |
|
关键词 |
t-t′-t″-J-U模型；电子掺杂；gossamer超导体；Gutzwiller近似 |
|
资助基金 |
国家自然科学基金资助项目(10404001) |
|
|
|
|
篇名 |
基于可变斜率自适应增量调制算法的ZigBee网络语音通信方案=ZigBee
network voice communication scheme besed on variant slpoe adaptive delta
modulation algorithm |
|
作者 |
王建明,陈琳,申娟,喻春飞 |
|
第一作者单位 |
北京师范大学信息科学与技术学院,北京,100875 |
|
摘要 |
为了满足ZigBee网络中日益迫切的语音通信的需求,提出了一种基于可变斜率自适应增量调制算法的网络语音通信方案．在码率较低的情况下,获得了较好的网络语音通信效果．而且不至于明显增加网络节点的复杂程度和软硬件开销,不会显著影响网络通信性能．证明了在ZigBee网络中进行语音通信的可行性及其发展潜力. |
|
关键词 |
ZigBee网络;
语音通信;
增量调制 |
|
资助基金 |
|
|
|
|
|
篇名 |
基于BP神经网络的水稻害虫自动识别=Automatic
rice pest insects recognition based on BP neural network |
|
作者 |
周曼,周明全 |
|
第一作者单位 |
北京师范大学信息科学与技术学院,北京,100875 |
|
摘要 |
针对水稻害虫自动识别问题,对害虫图像采用基于骨架的形态特征提取方法,自动提取害虫的骨架点的分支数、骨架累计长、横轴纵轴比、圆形性,以此作为BP神经网络的输入因子,并以从20种害虫图像提取的特征值,训练网络,较好地解决了这一问题． |
|
关键词 |
图像识别;
特征提取; BP神经网络; 骨架 |
|
资助基金 |
国家自然科学基金重点资助项目（60736008/F010207）；国家自然科学基金面上资助项目（606731008/F020106） |
|
|
|
|
篇名 |
免疫遗传算法在排课问题中的应用=The
application of immune genetic algorithm in the problem of timetabling |
|
作者 |
韦玉,冯速 |
|
第一作者单位 |
北京师范大学信息科学与技术学院,北京,100875 |
|
摘要 |
将基于疫苗和免疫规划的免疫遗传算法应用于排课问题中,并结合贪心策略,提出一种适于解决多软约束条件的排课方案．方案中,针对软约束条件特征和教务经验提取疫苗,对遗传算法的缺点进行弥补．通过将该算法应用于具体课程编排,证实了该方法优于传统的遗传方法． |
|
关键词 |
排课;
免疫遗传算法; 遗传算法; 免疫算法; 智能优化算法 |
|
资助基金 |
国家自然科学基金资助项目(60273015) |
|
|
|
|
篇名 |
基于ZigBee技术的低功耗无线抄表系统的设计与实现=Design
and implementation of a wireless and low power consumption meter reading
system based on ZigBee technology |
|
作者 |
谢慧鹏,王建明,张晶晶 |
|
第一作者单位 |
北京师范大学信息科学学院,北京,100875 |
|
摘要 |
利用ZigBee技术解决了无线抄表系统功耗过大的问题,并给出了低功耗方案的硬件设计与软件设计．该方案将电池的使用寿命由原来的不到30
h提高到超过一年,在实践中取得良好的效果． |
|
关键词 |
ZigBee; 低功耗;
无线抄表 |
|
资助基金 |
|
|
|
|
|
篇名 |
阳极氧化法制备TiO2纳米管阵列及其表征=Preparation
and characterization of titania nano-tube array by anodic oxidation |
|
作者 |
廖斌,覃礼钊,吴晓玲,张旭,刘安东 |
|
第一作者单位 |
北京师范大学教育部射线束技术与材料改性重点实验室,
北京师范大学低能核物理研究所,
北京市辐射中心,北京,100875 |
|
摘要 |
采用阳极氧化法在钛金属表面制备出致密有序的TiO2纳米管膜层.利用FESEM、XRD方法研究了不同阳极氧化时间、电解液组成以及退火对TiO2纳米管形貌的影响.讨论了TiO2纳米管的形成机制. |
|
关键词 |
TiO2; 纳米管;
阳极氧化 |
|
资助基金 |
国家“八六三”计划资助项目(2001AA338020) |
|
|
|
|
篇名 |
多壁碳纳米管与镍纳米颗粒复合物的制备及研究=Preparation
and characterization of nanocomposite MWCNTs/Ni |
|
作者 |
周小沫,聂海晶,赵越,周印希,范楼珍 |
|
第一作者单位 |
北京师范大学化学学院,北京,100875 |
|
摘要 |
利用电化学方法制备了多壁碳纳米管与镍纳米颗粒复合物(MWCNTs／Ni)．研究了其形貌及对糖类的氧化催化性能．与同样条件制备的镍玻璃碳(GC／Ni)电极比较发现, MWCNTs／Ni具有更好的电化学催化性能,对葡萄糖、蔗糖具有更高的检出灵敏度． |
|
关键词 |
碳纳米管;
纳米镍; 复合材料; 催化氧化 |
|
资助基金 |
国家自然科学基金资助项目(20473014,
20773015) |
|
|
|
|
篇名 |
使用无细胞翻译体系合成尿激酶原突变体蛋白=A
cell-free translational system for mutant prourokinase |
|
作者 |
井健 |
|
第一作者单位 |
北京师范大学生命科学学院,北京市基因工程药物及生物技术重点实验室,北京,100875 |
|
摘要 |
应用无细胞翻译体系对KGD-尿激酶原重组蛋白质进行表达,表达产物以可溶状态存在,约占体系总蛋白质量分数的5％．使用亲和层析技术对表达产物进行纯化,纯化产物具有较好的分子均一性,并表现出明显的纤溶活性. |
|
关键词 |
无细胞翻译体系;
KGD-尿激酶原;
表达; 纯化;
纤溶活性 |
|
资助基金 |
国家自然科学基金资助项目(30540071) |
|
|
|
|
篇名 |
红曲菌Fosmid文库的构建与分析=Construction
and analysis of a Monascus Fosmid library |
|
作者 |
李燕萍,许杨,阮琼芳,魏康霞,郭亮,严少华 |
|
第一作者单位 |
南昌大学中德联合研究院,
南昌大学食品科学教育部重点实验室,
南昌,
330047 |
|
摘要 |
采用低熔点琼脂糖包埋红曲菌细胞核制成胶块,然后利用蛋白酶K消化被包埋的细胞核,纯化胶块里的大片段DNA,随机剪切法回收40
kb左右的DNA,与 Fosmid载体连接,经包装、转染构建红曲菌的基因组Fosmid文库,库容量为3×104,平均插入片段长度为36.6 kb．将其中7 700个单克隆保存于21块384孔微孔板中,-80℃储存．该文库符合黏粒文库的品质要求，为克隆聚酮化合物基因簇或其他重要基因及其功能的研究奠定了基础. |
|
关键词 |
红曲菌;
基因组; Fosmid文库 |
|
资助基金 |
国家自然科学基金资助项目(30460006);
江西省自然科学基金资助项目(0530081) |
|
|
|
|
篇名 |
中国卫矛属种皮微形态特征及其系统学意义=Micromorphological
characteristics of seed coat in the genus Euonymus of China |
|
作者 |
师丽花,李艳,刘全儒 |
|
第一作者单位 |
北京师范大学生命科学学院,北京,100875 |
|
摘要 |
利用扫描电子显微镜对卫矛属刺果组12种2变种及其余4个组11种植物种子的种皮微形态进行了观察研究,
结果表明,
种皮纹饰可分为6种类型: 即网纹型、 负网纹型、
梯纹型、 嚼烂型、
复网纹型和山峰状凸起型;
研究结果不支持将厚叶卫矛(E.
hemsleyanus Loes.)作为星刺卫矛(E.
actinocarpus Loes.)的异名, 而支持将短刺刺果卫矛(E.
acanthocarpus var. lushanensis C. Y. Cheng)作为独立的种——庐山刺果卫矛(E.
lushanensis F. H. Chen et Chen H. Wang). |
|
关键词 |
卫矛属;
刺果组; 种皮微形态; 系统学意义 |
|
资助基金 |
国家自然科学基金资助项目(39899400,30499340) |
|
|
|
|
篇名 |
生态环境综合治理模式研究——以宁夏重点风沙区为例=Patterns
of comprehensive eco-environment control: a case with key windy-sandy
regions in Ningxia |
|
作者 |
王宏,顾林生,李晓兵,张新华,李赞成,杨斌 |
|
第一作者单位 |
北京师范大学资源学院,北京,100875 |
|
摘要 |
在宁夏重点风沙区生态环境综合治理的项目实施过程中提出了生态恢复重建模式:围栏封育,退牧还草模式、生态农业经济圈模式、人工造林和种草治沙模式;项目实施主体带动模式:大户带动的小户,以集体联户协调小农户,由国有农场实施项目示范区．通过对实地农户受益调查的分析可见,基于合理的生态恢复模式,生态环境综合治理项目的实施为当地居民提供了更为合理的资源利用方式和更好的发展机会,使居民改变资源利用方式,促进了经济发展． |
|
关键词 |
生态恢复模式;
主体带动模式; 重点风沙区 |
|
资助基金 |
国家自然科学基金资助项目(30670398);
宁夏日元贷款中期评估资助项目 |
|
|
|
|
篇名 |
基于相干植被模型和ASAR数据的玉米地后向散射特征研究=Application
a coherent vegetation backscattering model to corn field and comparison
with envisat ASAR data |
|
作者 |
王 芳,孙国清,吴学睿 |
|
第一作者单位 |
北京师范大学地理学与遥感科学学院,
遥感科学国家重点实验室,北京,100875 |
|
摘要 |
在微波一阶相干散射模型的基础上提出了针对玉米作物的相干散射模型,模型中使用物理光学(PO)和无限长介电圆柱体近似方法计算玉米叶片和秆的单散射体矩阵,并在模型中考虑了不同散射机制之间相互作用所产生的相干分量.使用吉林省公主岭地区玉米地部分生长周期内的实测数据和同步获取的多角度、多时相的先进合成孔径雷达(ASAR)图像数据对该模型进行了验证,并初步分析了误差产生的原因. |
|
关键词 |
相干散射模型;
先进合成孔径雷达;
玉米地 |
|
资助基金 |
长江学者和创新团队发展计划资助项目 |
|
|
|
|
篇名 |
涡动相关法测量波文比的一个校准问题=A
calibration problem in applying eddy-covariance technique to measure
Bowen ratio |
|
作者 |
朱锴,高琼,张智才,周婵 |
|
第一作者单位 |
北京师范大学资源学院,北京,100875 |
|
摘要 |
涡动相关法是目前国内外研究碳循环的一种最可靠的微气象学方法;而波文比是反映生态系统能量状况的重要参量.应用涡动相关法实际测量波文比时,由于自然或人为原因,不同时间安装的传感器存在着测量偏差.如何确保测量数据的准确性关系到整个涡动相关-波文比系统的精度.本文基于内蒙古太仆寺旗实验站的实际情况,提出了一种通过回归关系用新传感器校准旧传感器的方法.结果表明,该方法能够有效地校准旧传感器所测数值.此外,本文还对校准过程中产生的统计检验、回归分析、仪器校准年限等问题作了进一步讨论. |
|
关键词 |
涡动相关;
波文比; 校准; 回归分析;
配对样本t检验 |
|
资助基金 |
国家自然科学基金资助项目(40671071;30590384) |
|
|
|
|
篇名 |
全张量步长适应性脑白质纤维跟踪改进算法=An
improved method for full tensor fiber tractography with adaptive
stepping |
|
作者 |
刘晓东,蔡子凡,王婷婷,姚力,卢洁 |
|
第一作者单位 |
北京师范大学认知神经科学与学习国家重点实验室,北京,100875 |
|
摘要 |
由于成像设备及技术本身的限制,以及纤维跟踪算法的局限,准确刻画纤维结构遇到许多困难.本文在张量偏转(tensor
deflection, TEND)算法基础上,提出了一种基于全张量及历史跟踪信息的适应性步长纤维跟踪算法.该算法结合纤维跟踪历史,利用全张量信息与相应的适应性步长值来计算纤维跟踪的前进方向. |
|
关键词 |
磁共振成像;
弥散张量成像; 张量偏转; 纤维跟踪; 步长 |
|
资助基金 |
国家自然科学基金资助项目(60628101);
北京市自然科学基金资助项目(4061004) |
|
|
|
|
篇名 |
义务教育阶段教师配置差异性研究=Difference
analysis of the teacher distribution in compulsory education |
|
作者 |
拱雪,
李克强,张熙 |
|
第一作者单位 |
北京教育科学研究院,北京,100101 |
|
摘要 |
构建了衡量教师配置状况的指标体系,从数量、质量、结构3个角度,运用平均值法、改进的塞尔系数法,结合2003—2005年教育统计数据对我国义务教育阶段教师配置的现状及差异性进行分析．得到的结论有:数量方面,义务教育阶段师班比逐年增加；
质量方面,义务教育阶段高级教师比例逐年提升；
结构方面,义务教育阶段教师年龄主要分布在30～40岁间,平均年龄稳步增长;义务教育阶段教师质量的差异最为显著,塞尔系数分解发现,小学省际差异占总体差异2/3左右,远大于城乡差异,初中则城乡差异大于省际差异,约占总体差异2/3,但无论是小学还是初中教师质量的差异都有缩减的趋势． |
|
关键词 |
师班比;
高级教师比例; 年龄结构; 平均值; 改进的塞尔系数; 城乡差异; 省际差异 |
|
资助基金 |
北京市教育科学“十一五”规划重点课题资助项目(AAB06178) |