住宿生活

原本黑漆漆的宿舍,突然间亮了。“该起床了,别偷懒,快起来刷牙洗脸。”生活管理老师扯着嗓门大喊。但我赖在床上不想起来。“老师,头痛,今天请个假吧!”“轰……”老师的“老本行”又来了,实在是受不了,还是起来吧!再见了,周公大人!再见了,我亲爱的温暖被窝!“叠好被子,不然中午扣你们的分。”瞧!老师又拿出看家的本领,在老师的威逼利诱下,我迅速叠好被子,抓起盆子,以光的速度来到洗衣台前。唉!真是出门不利,洗衣台早就站满了人,可怜我这瘦小的身躯想挤也挤不进去,只好耐心地等待。折腾了半天,终于可以重归教室。“你起来回答。”老师指着我…     

高性能计算机的关键技术和发展趋势

介绍高性能计算机的关键技术和发展趋势。简要回顾高性能计算机的发展历史和当前形势，重点讨论大规模并行处理（MPP）所面临的挑战，包括可扩展性、友善性和可用性。介绍神威高性能计算机及其应用情况，并对如何发展我国高性能计算机提出一些初浅的看法。     

检察机关对民事执行活动监督的法律依据——基于解释学的视角

最高人民法院法复(1995)5号《关于对执行程序中的裁定的抗诉不予受理的批复》指出:根据《中华人民共和国民事诉讼法》的有关规定,人民法院为了保证已发生法律效力的判决、裁定或者其他法律文书的执行而在执行程序中作出的裁定,不属于抗诉的范围。因此,人民检察院针对人民法院在执行程序中作出的查封财产裁定提出抗诉,于法无据,人民法院不予受理。该司法解释直接限制了检察机关对民事执行活动的法律监督权。也正是该司法解释的出台致使检察机关对民事执行活动的法律监督走入困境。本文正是基于此困境下对检察机关对民事执行活动监督的法律依据从解释学的角度作一考量。     

支撑科技创新的高效能计算

高效能计算是从高性能计算逐步演变而来的,高性能计算(high performance computing)是计算机科学的一个分支,研究如何开发超级计算机以及在其上运行的软件,这些软件旨在把一个大的程序分解成许多小程序,以便在许多处理器上同时运行,快速实现问题的求解.     

先天综合判断何以不可能

先天综合判断是康德解决自然科学必然性而引入的术语，本文简要的分析了先天综合判断的形成背景和根据，通过分析康德所认为先天综合判断可能的论据，以及结合了当今科学命题的一些特点，从而认为先天综合判断是不可能的。     

APT结晶母液处理新工艺

根据钨钼化合物性质的差异 ,运用分子设计的理论和方法 ,研究出一种用选择性沉淀法从APT结晶母液中除去钼及砷、锑、锡等杂质 ,并从除钼后的溶液中进一步回收WO3和NH4Cl的新工艺 .回收的WO3以APT形态产出 ,其质量达GB1 0 1 1 6— 88中APT— 0级要求 ,回收率达 90 %～ 95 % ;回收的NH4Cl质量完全符合配制解吸液的要求 ,其实收率达 6 0 %以上 .和工业上处理APT结晶母液的现行工艺相比 ,该工艺能带来明显的经济效益     

镁—芦丁极谱络合吸附波的研究

在0.05m ol.L- 1KOH底液中(pH= 12.6),用单扫示波极谱法可获得镁—芦丁络合物吸附波,镁浓度在1.0×10- 7～5.0×10- 6m ol.L- 1 范围内与二阶导数波峰高有线性关系,检测限为8.0×10- 8m ol.L- 1,测得电活性络合物组成为Mg(Ⅱ)∶Rt= 1∶2,条件稳定常数为β= 5.4×109     

不完备信息下生态补偿中主客体的两阶段动态博弈

由于环境问题的突出和经济发展的不平衡, 对环境质量要求较高的区域(补偿方)就会对环境质量较差的区域(被补偿方)提供一定的援助, 期望被补偿方改善环境质量. 但是由于环境资源能够给其带来收益以及策略性获取更多补偿金额动机的存在, 就会导致许多的补偿项目不会取得预期的效果甚至失败. 从动态博弈的角度出发, 首先建立了完全信息下补偿方和被补偿方的静态贝叶斯博弈模型, 分析了博弈双方在完全信息下的占优策略选择; 然后假设被补偿方执行环境政策和标准的力度(分为强硬型和软弱型)为其私有信息, 建立了不完全信息下两阶段动态博弈模型, 分析了两个区域的策略选择以及不完全信息如何影响补偿大小和环境质量.     

基于改进PSO的电站锅炉低NO_X燃烧优化

燃煤锅炉NOx排放是造成环境污染的重要因素,影响NOx排放的因素众多而且复杂。首先建立了锅炉NOx排放支持向量机模型,并利用实炉热态数据对模型进行了校验。接着应用一种改进的粒子群优化算法,对锅炉运行参数进行了优化,并与一般线性粒子群优化算法进行了对比。结果表明,NOx排放量均有明显的降低,但改进的优化算法收敛性更好,为优化锅炉燃烧提供了更好的方式。