Cryptomelane（KxMn8-xO16）： Natural active octahedral molecular sieve（OMS-2）

The Xiangtan manganese deposit (XTM) used to be considered a supergene oxide manganese ore in South China. We reported a new identification of the naturally outcropping cryptomelane by examining the physical, chemical and structural features of the XTM supergene oxide manganese ore. The MnO2 content was over 90%, K2O more than 3%, and water from 2.2%-3.1% which is similar to one in zeolite. The cell parameters of the cryptomelane were given as a0 = 0.9974 nm, b0 = 0.2863 nm, c0 = 0.9693 nm and β= 91.47°. There was a larger pseduotetragonal tunnel in the natural cryptomelane that was formed by [MnO6] octahedral double chains with aperture of 0.462×0.466 nm2, filled with K cations resulting in some Mn3+ substituting for Mn4+ to balance the negative charges of structure. The finding is important not only for prospecting manganese resources in South China, but also in application of octahedral molecular sieve of natural cryptomelane as that developed in the tetragonal molecular sieve of natural zeolite o     

非齐次线性系统状态的收敛性质

用泛函分析方法讨论了(连续时间/离散时间)非齐次线性系统的收敛性质,该结果可用于处理经济控制论中的许多宏微观经济的线性系统模型,因此具有一定的实际意义。另外,针对带有锥有界非齐次项的不确定线性系统,也讨论了其全局渐进稳定性,给出一个有趣结果。     

煤炭城市自然灾害的防治及可持续发展的探讨

从煤炭城市可持续发展的角度出发，对采煤引起的自然灾害进行了系统的论述，并为煤炭城市可持续发展战略的顺利实施提出了切实可行的防治对策。     

北京一次降雪的云物理过程作用模拟

应用非静力平衡MM5 V3模式对2001年12月7日一次北京降雪过程进行了数值模拟试验，对云和降水物理过程的作用进行了初步分析。试验结果表明：本次降雪过程是从对流层上层形成冰核向下发展的，中高空的强低温和上升运动区与冰粒子及雪的分布基本吻合，为降雪的进一步发展提供了有利的条件。     

两多模相干态的叠加态光场的等幂N次Y压缩

根据量子力学态叠加原理,构造了由多模复共轭相干态|{zj(a)}>q和多模复共轭相干态的相反态等幂次|{-zj(b)}>q的线性叠加所组成的振幅不等的非对称两态叠加多模叠加态光场|Ψn(2)>q(j=1,2,3,…,q),利用多模压缩态理论研究了态|Ψn(2)>q的等幂次N次方Y压缩特性。结果表明:在各模的平均光子数不相等而对应模的初始相位相等亦即Rj(a)≠Rj(b)且ψj(a)=ψj(b)=ψj的条件下,如果各模的初始相位ψj和态间的初始相位差θpq(R)-θnq(R)=△θ满足一定取值关系,则无论压缩次数N为奇数还是偶数,态|Ψn(2)>q的两个正交相位分量均可分别呈现周期性变化的等幂次N次方Y压缩效应,但N是奇数时的压缩深度大于N是偶数时的压缩深度。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

基于力信息的机器人接触状态下作业的技能学习

为实现机器人接触状态下作业的演示编程，使机器人获得人的基于力信息的作业技能，首先提出了描述接触状态的元素接触形式，用元素接触形式序列建立技能模型，根据不同的接触形式具有的不同腕力分布，利用支持向量机(SVM)对不同的元素接触形式进行辨识，在此基础上机器人获得人在接触状态下的作业技能，实现了演示编程方法中最关键的一步。     

试论达尔文进化论在生态学发展中的地位

介绍了现代生态学发展的特点和达尔文的进化论及完善过程，认为达尔文提出的生态思想是朴素的生态观，其进化论是种—种群的进化，从本质上并未涉及到其他生态学等级的进化；必须以普遍联系的系统观和时空观评价生态学发展现状，生态学研究也必须注重局部各因子之间、整体与局部之间的作用关系。初步探讨了能否象牛顿力学那样将自然选择力作为推动生物进化的“万有引力”的生态学研究问题。     

一类基于非线性状态反馈的机器人操作手的鲁棒控制

考查了一类具有非匹配不确定性的非线性系统的全局稳定性及其在机器人鲁棒控制中的应用,针对机器人系统存在参数不确定性以及外界干扰的情况，利用非线性鲁棒控制理论给出了连续状态反馈控制器．考虑不确定性存在情况下跟踪误差的渐近收敛性．最后给出了两连杆刚性机器人的仿真例子，验证了其控制效果．     

木伦自然保护区鱼类调查简报

通过调查发现木伦自然保护区有鱼类41种，分别属于4目13科34属，占龙江水系鱼类总数的38．3％．并了解了其分布、食性及丰富度.