上海黄浦江两支流河流甲烷含量研究

甲烷是一种重要的温室气体,虽然目前大气中含量远小于二氧化碳,但排放增长率却大于后者.研究区域为上海市黄浦江支流苏州河和淀浦河,通过实验数据对比城郊春夏的甲烷排放的差异,探讨甲烷产生的机制及其与环境因子的关系,这将有助于研究河流甲烷排放对于环境变化的影响.研究结果认为河流甲烷主要来源于水中沉积物,其产生与水质、温度等因素相关;同时甲烷摩尔浓度与硝酸根离子质量体积比存在负相关性,与铵根离子质量体积比和有机碳质量分数存在正相关性.     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

关于高速公路施工中的环保监理

根据高速公路施工合同协议规定的环保监理的义务 ,结合施工实践 ,从路基施工、桥梁施工及取土场、弃土场等规范施工的要求 ,阐述环保监理的控制方法     

浅谈饭店"环境入世"

环境恶化，生态平衡破坏，使对可持续发展的研究愈来愈重要．通过对饭店经营观念的转变。创建绿色饭店环境成本和效益的分析，提出实现饭店可持续发展的途径．     

FortiGate防火墙在图书馆网络安全中的应用

论述了图书馆使用防火墙的必要性，介绍了防火墙的发展过程，指出了传统防火墙的局限性，描述了FortiGate防火墙的性能及其工作模式。     

浅谈中专化学教学中的环保教育

文章从四个方面阐述了在化学教学中如何渗透环保教育 ,以培养学生的环保意识     

设计教育中的环境教育研究

现代人类社会面临的环境问题日益严重,而解决环境问题的有效途径是环境教育。设计活动在创造人类生存的物质环境和生活方式方面起着关键作用,因而在解决环境问题方面具有重要地位。本文论述了环境教育的发展以及在设计教育中开展环境教育的作用,并就其中的问题进行了讨论。     

Developmental modes of the Neoproterozoic-Lower Paleozoic marine hydrocarbon source rocks in China

Based on the researches on rock type, the mode of occurrence, diagnostic minerals and creatures, the sedimentary geochemistry and organic facies of Chinese marine source rocks from wells and outcrops, and on the research findings of developmental modes of foreign marine source rock, the authors consider that it is impossible to objectively make clear the formation mechanism of hydrocarbon source rock with high organic matter abundance by either single mode of preservation or high organic matter productivity. According to the Chinese geological features, the formation mechanism of the Neoproterozoic-Lower Paleozoic marine source rock is generalized into four modes, namely, thermal water activity-upwelling flow-anoxic; carbonate gentle slope-upwelling flow; xerothermic climate-brine euxinic milieu; and humid climate-retained euxinic milieu; as the Lower Cambrian undercompensation basin organic facies （the Tarim Basin, South China and southwestern margin of North China）, carbonate gentle lime mud bound organic facies （the Upper Ordovician in Tazhong region of the Tarim Basin and the Lower Silurian in the Upper Yangtze Platform）, the Middle Cambrian evaporation laggon organic facies （the Tarim Basin and the Upper Yangtze Platform）, enclosed undercompensation terrigenous bay organic facies （the Middle-Upper Ordovician in the west of the Tarim Basin, the Lower Silurian Long- maxi Formation in the Upper Yangtze platform）. Chinese marine sedimentations with lower organic matter abundance are generalized into two modes of consumption-dilution mode of open epicontinental sea and depletion-dilution mode of supercompensation basin.     

谈公安院校计算机基础教学的改革问题

分析了公安院校当前在计算机基础课程教学中存在的问题，并针对这些问题提出一些改进的措施和建议，以适应当前公安教育的需要。     

Security Analysis of Discrete Logarithm Based Cryptosystems

0 IntroductionNowthere are many well known cryptosystems based ondiscrete logarithms , such as the ElGamal cryptosys-tem[1]and the digital signature algorithm(DSA)[2]. Discretelogarithms have many advantages . Breaking the discrete log-arithm modulo pri mepappears to be somewhat harder thanfactoringintegern,and elliptic curve cryptosystems may usemuchsmaller keysizesthan RSA-basedcryptosystems of com-parable security.The discrete logarithmproblemover a group can be bro-ken down into a numb…