BCK—代数中对偶理想的分解

有界BCK-代数的一个子集D叫做一个对偶理想,如果它满足(1)1∈D;(2)N(Ny*Nx)∈D和x∈D蕴涵y∈D,x,y∈X.X的一个对偶理想D有一个既约(质)分解,如果D是有限多个既约(质)对偶理想的交。本文证明下述结果:如果有界BCK-代数X的每一个对偶理想是有限生成的,则X的每个对偶理想有一个既约分解;如果有界BCK-上半格的每个对偶理想是有限生成的,则X的每个对偶理想有一个质分解.     

郑州森林公园冬季鸟类调查

2000年至2003年，在每年的11月至翌年2月，采用定点与样线相结合的方法，对郑州市国家森林公园冬季鸟类进行了系统的调查研究，共记录鸟类31种，隶属于8目、15科。其中夜鹭、灰椋鸟、寒鸦、灰喜鹊、树麻雀、山斑鸠等6种鸟类数量占绝对优势，构成了本区鸟类的主体。根据调查资料，对该区鸟类的区系组成、优势种群的活动规律进行了分析。并对该区鸟类的保护与管理提出了建议。     

砂桩复合地基防止桥头跳车的研究

高速公路桥台与路堤衔接处的跳车是高速公路建设中急需解决的问题之一。从分析造成高速公路桥头跳车现象的原因出发,对几种有代表性的处理方法进行了探讨,然后提出并着重讨论了应用砂桩复合地基处理桥头跳车的加固机理和具体工程实践。     

素质教育与高校体育改革初探

针对高校体育在素质教育中的地位与作用进行探索,提出了高校体育在实施素质教育中的措施及对策,以促进高校体育改革的深化。     

铝生产能源结构及流程优化分析

基于现有铝工业的生产流程结构特征及能源利用情况,对比分析铝、钢铁生产流程的冶金本质,划分铝生产流程工序区段,综合分析铝工业能源结构和能量耗散规律.参照钢铁节能技术的实践,指出铝工业在流程优化与改进、能源结构优化、废弃物资源化利用及余能回收综合利用等方面具有系统节能潜力,提出电解工序后高效、有序运行的生产流程结构模式.     

生物能开发与利用

生物能由太阳能转换而来,它蕴藏在植物、动物和微生物等有机体中,是人类赖以生存的物质基础。生物质作为能源利用,在转换系统的每一个环节都可为人类造福,它具有全程良性循环的特征。人类的衣、食、住、行要靠它解决,其废弃物可作为能源提供,最终的残余物可作腐殖质还田,排放的二氧化碳是绿色植物进行光合作用所必需的资源之一,而且扩大地球上的绿色面积会使由于过量排放二氧化碳已经恶化的环境得到改善。这个特征是任何其他能源所不具备的。生物质能有多种形式,可以是固体、气体和液体,可取代任何化石燃料。生物质能是可增殖和再     

豆油-苯乙烯共聚物的悬浮制备

采用悬浮聚合法将豆油与苯乙烯进行自由基共聚,制备支化和部分交联的聚合材料。结果表明,豆油与苯乙烯发生了共聚,聚合物中甘油酯基最高摩尔分数达到0.81%,豆油单元的质量分数达到6.50%。聚合温度85.0℃,反应时间4.0h,反应物中悬浮剂（聚乙烯醇）的质量分数0.15%,反应物中豆油的质量分数在10%时,共聚物的分子量达到最大值。共聚物中甘油酯基的含量随着反应物豆油含量的增加而增加。当反应物豆油的质量分数为10%时,凝胶的质量分数达到最大值3.70%。     

智能调温聚氨酯固-固相变材料的研究

采用化学改性的方法,将不同含量,不同分子量的聚乙二醇(PEG)接枝到以聚醚型的聚氨酯(PU)上,制备出一种新型的固-固相变材料。并通过红外光谱法(IR),示差扫描量热法(DSC)来研究合成材料的结构与相变行为。结果表明,PEG成功地接枝在高分子链PU上,且具有较好的相变焓,适合的相变温度,并当PEG分子量相同时,随着PEG含量的增加,相变材料相变焓增大,热切热稳定性有明显改善,当PEG含量相同,PEG分子量在600～2000时,随着分子量的增加,材料的相变焓增大。     

自适应采样间隔的无线传感器网络多目标跟踪算法

多目标跟踪是无线传感器网络当前研究的热点问题。针对多目标跟踪存在耗能较大,跟踪丢失等问题,提出了一种自适应采样间隔的多目标跟踪算法。采用跟踪目标的定位元数据来对目标的运动模式进行建模。基于扩展的卡尔曼滤波器来预测跟踪目标状态,采用预测目标定位的概率密度函数构建跟踪簇。通过定义跟踪目标中心,基于马氏距离来量化主节点 MN 的选举过程。通过跟踪目标重要性和其与MN之间的距离来量化目标的影响强度,并以此构建自适应采样间隔的多目标跟踪算法。基于MATLAB进行了仿真实验,实验结果显示,本文设计的跟踪算法能准确预测目标的运动轨迹,能随着运动目标的状态实时采用自适应的采样间隔。通过数据分析得知,本文提出的算法能在实现 WSN网络节能的基础上提高跟踪精度。     

一类Burgers方程的精确解

微分方程包含线性和非线性微分方程。微分方程研究的主体是非线性微分方程,特别是非线性偏微分方程。很多意义重大的自然科学和工程技术问题都可归结为非线性偏微分方程的研究。另外,随着研究的深入,有些原来可用线性偏微分方程近似处理的问题,也必须考虑非线性的影响。从传统的观点来看,求偏微分方程的精确解是十分困难的。经过几十年的研究和探索,人们已经找到了一些构造精确解的方法。借助于Cole-Hope变换,积分变换法和拟解的方法,获得Burgers方程,(2+1)维Burgers方程,(2+1)维高阶Burgers方程的新的精确解。这种方法可以解决一系列的偏微分方程。