Hilbert空间中Lipschitz伪压缩映像不动点的杂交投影算法

给出了Hilbert空间中Lipschitz伪压缩映像不动点的一个杂交投影算法,并利用所给出的杂交投影算法与新的发析技巧证明了一个强收敛定理.所得结果肯定地回答了Marino和Xu所提出的一个公开问题,从而将近期的许多相关结果推广到更一般的场合.     

建筑工程中地下变电站的建设与施工

本文针对地下变电站建设中所面临的问题,提出将变电站与民用建筑结合建设的措施。     

中国矿业大学:探索与行业高校相适宜的产学研合作新模式

作为一所具有鲜明行业特色的高校,中国矿业大学"依矿而建,以矿为名,因矿而强",虽历经百年沧桑,但始终高举矿业大旗,肩负科技报国使命.学校矿业类学科齐全、人才培养类型层次丰富,是国家"211工程"和"985工程"优势学科创新平台项目重点建设的教育部直属高校.中国矿业大学地处江苏省北部徐州市,近年来,学校采取多种形式推动产学研合作,探索出与行业相适宜的产学研合作新模式,积极主动地为煤炭行业和地方经济建设服务,创造了一大批有较高显示度的高水平科技成果,取得了显著的经济效益和社会效益.     

拓扑空间中几类紧性的非标准刻画

利用非标准分析理论,对拓扑中的紧性、相对紧、局部紧性进行非标准刻画,简化原有证明,使它们的本质性质更为清晰,使拓扑学在理论上更加深刻.     

基于NTFS的文件访问控制研究

为开发基于NTFS的程序,解决因NTFS对文件访问进行控制而导致系统文件被限制访问的问题,对NTFS的文件访问控制机制进行研究。研究了以安全ID作为主关键字查找$SDS数据块,以及从$SDS数据块中解析出50H属性的主要过程。通过实验总结出了50H属性中32位访问掩码的具体格式及每位掩码代表的访问权限。以上研究结果可应用于基于NTFS的文件访问的自主控制,提高相关程序开发的自由度。实验结果表明,通过修改文件的50H属性可解除设置在Windows系统文件上的访问限制。     

十个最具戏剧性的发明

薯片是大家最常见的零食。可是他的发明却非常的偶然。一天。有位客人几次把炸薯片送回厨房,要求把马铃薯切得再薄一些。炸得时间再长一点。厨师ChefGeorgeCrum很生气。于是他把马铃薯切得非常薄,炸得卷曲了、脆了,然后又加了盐。他认为这样一定很难吃,结果令人吃惊,那个客人居然非常满意。     

三株甘蔗糖蜜酒精发酵高产酵母菌株的筛选

从甘蔗糖厂的废弃物中筛选到3株甘蔗糖蜜酒精发酵高产菌株MF1001、MF1002和MF1003,经rDNAITS序列同源比对鉴定为酿酒酵母(Saccharomyces cerevisiae)的不同菌株。3个菌株均可以完全利用葡萄糖和蔗糖,部分利用棉子糖和半乳糖,均不能利用乳糖和木糖。MF1001发酵甘蔗糖蜜的残糖含量明显低于目前使用的生产菌株,略低于标准测定菌株CICC31149和CICC31279,MF1002和MF1003的残糖含量略低于目前使用的生产菌株。与生产菌株相比,3个菌株在甘蔗糖蜜的生长速率略低,但是维持高菌数的时间较长。按目前甘蔗糖蜜酒精生产的发酵工艺,3个菌株30℃发酵72h的醪液酒精含量分别为14.26%(V/V)、14.48%(V/V)和13.50%(V/V),比目前生产使用的菌株高19.5%~28.6%;37℃发酵40h的醪液酒精含量分别为12.03%(V/V)、12.06%(V/V)和12.14%(V/V),比目前生产使用的菌株高10.0%~11.7%。这3个菌株具有提高甘蔗糖蜜发酵醪液酒精含量的潜在工业价值。     

时滞不确定系统的非脆弱状态反馈鲁棒控制

研究带有非线性摄动的时滞系统的非脆弱状态反馈鲁棒控制问题.首先通过构造一个Lyapunov-Krasovskii泛函,利用积分不等式,并引入含有自由权矩阵的恒等式,表示出所给泛函沿系统的导数,再利用S-过程推导出系统时滞相关鲁棒稳定的充分条件;然后利用线性矩阵不等式(LMI)技巧,并结合Schur补给出了系统非脆弱状态反馈控制器的设计方法.两个数值算例验证了所得结果的可行性与有效性.     

关于超实数域^＊R的基数的一些注记

本文证明了在扩大的分析的非标准模型中超实数域^*R，超有理数域^*Q，超自然数集^*N等集合的基数可以大于任何“标准基数”．     

密闭爆发器中体膨胀压力修正公式

本文就《内弹道学》一书中关于火药气体膨胀作功所引起的压力修正公式提出异议,并从弹性力学和材料力学出发,重新推导了密闭爆发器中由于火药气体膨胀作功所引起的压力修正公式.