当期目录

    

2016年 第52卷 第2期 刊出日期：2016-03-20

上一期   下一期

小球藻Chlorella variabilis NC64A二酰甘油酰基转移酶基因的克隆表达与功能研究

杨金水, 高全秀, 李兆胜, 邢冠岚, 袁红莉

2016, 52(2):  187-192.  DOI: 10.13209/j.0479-8023.2015.148

摘要 ( )   HTML   PDF (3607KB) ( )  

相关文章 | 计量指标

为了揭示二酰甘油酰基转移酶(DGAT)在小球藻油脂合成过程中的作用, 对单细胞小球藻Chlorell avariabilis NC64A 的二酰甘油酰基转移酶进行原核克隆表达及功能初步研究。结果表明, 其编码序列为894bp, 编码 297 个氨基酸, 表达蛋白的表观分子量为 33 kDa, pI 9.48。保守结构域分析表明, 该蛋白属于Lysophospholipid acyltransferases (LPLATs)超家族, 具有二酰甘油酰基转移酶活性, 序列位点H68, L71, F76, R94, I97 和GAA (144?146)组成特定的酰基受体结合口袋, 能够结合酰基?酰基载体蛋白(ACP)或者酰基辅酶A上的酰基, 催化三酰甘油合成的最后一步。表达蛋白与SsPDAT 和AtPDAT 的序列相似性分别为32%和24%, 表明该蛋白可能具有磷脂酰甘油酰基转移酶(PDAT)活性, 能利用磷脂上的酰基合成三酰甘油。因此, 采用薄层层析方法以L-α-磷脂酰胆碱和 1,2-二油酰-sn-甘油为底物, 检测到其确实具有PDAT 活性, 表明限氮条件下NC64A 中DGAT 的PDAT 活性可能促进了膜脂降解耦合三酰甘油的合成。

一种针对FPGA密码模块的非侵入式故障攻击

廖楠, 崔小欣, 廖凯, 王田, 于敦山, 程玉芳

2016, 52(2):  193-198.  DOI: 10.13209/j.0479-8023.2015.126

摘要 ( )   HTML   PDF (1335KB) ( )  

相关文章 | 计量指标

在FPGA平台上, 利用降低电源电压的方法使电路关键路径上的数据建立失败, 从而达到注入故障的目的。基于合适的故障模型, 攻击者可以有效地获取密钥信息，实现了针对密码模块的高效率、低成本的非侵入式故障攻击方法。攻击实验利用一台电压源和一台个人电脑, 通过8组正确和错误密文对, 成功地恢复出一个FPGA 中AES密码模块的128 bit完整密钥。

NB-MAFIA: 基于N-List的最长频繁项集挖掘算法

沈戈晖, 刘沛东, 邓志鸿

2016, 52(2):  199-209.  DOI: 10.13209/j.0479-8023.2015.125

摘要 ( )   HTML   PDF (643KB) ( )  

相关文章 | 计量指标

本文在深度优先搜索的框架上, 引入基于项集前缀树节点链表的项集表示方法N-List, 提出一个高效的最长频繁项集挖掘算法NB-MAFIA。N-List的高压缩率和高效的求交集方法可以实现项集支持度的快速计算, 同时采用对搜索空间的剪枝策略和超集检测策略来提高算法效率。在多个真实和仿真数据集上, 通过实验评估了NB-MAFIA和两个经典算法。实验结果表明NB-MAFIA在多数情况下优于其他算法, 尤其在真实和稠密数据集上优势更为明显。

气溶胶光学厚度及Ångström指数遥感反演的不确定性对紫外线指数计算的影响

饶俊峰, 张显峰, 潘一凡

2016, 52(2):  210-218.  DOI: 10.13209/j.0479-8023.2015.114

摘要 ( )   HTML   PDF (1538KB) ( )  

相关文章 | 计量指标

以地面站观测为参照, 分析香港地区2005—2013年间MISR气溶胶光学厚度产品和Ångström指数的不确定性, 通过辐射传输方程模拟该不确定性对香港地区夏季和冬季地方时06:00—18:00之间紫外线指数造成的影响。结果表明, 气溶胶光学厚度的不确定性在夏季和冬季对紫外线指数造成的偏差最大分别为0.55和0.36, Ångström指数不确定性在夏季和冬季对紫外线指数造成的偏差最大分别为0.13和0.11。对比世界卫生组织划分的紫外线危害等级, 不论是气溶胶光学厚度还是Ångström指数的不确定性, 所引起的紫外线风险等级的最大偏差为一级, 夏、冬季基本上都不会影响对民众发布的紫外线风险分级。因此, 可认为使用MISR气溶胶光学厚度产品以及Ångström指数计算紫外线指数是可靠的。

全国低风速气象特征分析

郭梦婷, 蔡旭晖, 宋宇

2016, 52(2):  219-226.  DOI: 10.13209/j.0479-8023.2015.116

摘要 ( )   HTML   PDF (944KB) ( )  

相关文章 | 计量指标

利用1985—2014年NCDC数据库345个地面站的气象资料, 统计全国低风速条件的日变化、月际变化、年际变化和持续性等基本特征, 分析低风速频率空间分布的规律和季节变化。选取哈尔滨、乌鲁木齐、北京和成都4 个代表城市, 分析不同地区低风速条件的特征和年际变化情况。结果表明: 1) 30年间, 全国低风速频率约为40%, 其中哈尔滨低至25%, 成都高达60%; 2) 低风速出现频率表现为夜间高、白天低的特征; 3) 全国从9月至次年1月, 低风速状况出现频繁, 之后不断减少, 春季4月达到最低, 哈尔滨秋季的低风速频率最高, 其他3 个代表城市皆是秋冬季的低风速频率最高; 4) 全国持续3个小时(及以上)的低风速状况出现概率为36%, 其中成都地区的低风速持续性高, 持续12小时(及以上)的概率达到20%; 5) 全国低风速频率的总体空间分布是南方高北方低, 内陆高沿海低, 分布的范围和频率随季节变化; 6) 哈尔滨的低风速频率有明显增加趋势, 其他3个代表城市的长期变化趋势不明显。

安徽早三叠世巢湖龙前肢比较及分类学意义

周敏

2016, 52(2):  227-233.  DOI: 10.13209/j.0479-8023.2015.077

摘要 ( )   HTML   PDF (7548KB) ( )  

相关文章 | 计量指标

由于标本少和保存情况不好等原因, 对巢湖龙(Chaohusaurus)解剖学特征缺少详细描述, 安徽地区巢湖龙的种级分异尚存争议。经过对比研究北京大学地质博物馆馆藏的采自安徽巢湖的鱼龙标本与相关模式标本, 基于骨骼形态及腕骨骨化程度等方面的差异, 将标本分为两类。将研究标本及相关模式标本等进行聚类分析, 结果表明存在两个类群。将前肢骨骼数据作图, 显示存在两条生长序列, 该结果推翻了之前的巢县陈氏龙和小巧陈氏龙均为龟山巢湖龙后出同物异名的结论。据此推断, 巢湖马家山地区的巢湖龙可能存在两个物种。厘清巢湖龙的种间关系有助于全球早三叠世原始鱼龙类的对比研究, 并对探讨鱼龙的早期演化具有十分重要的意义。

安徽巢湖早三叠世原始鱼龙类的结构和行为特征及其对鱼龙类起源研究的启示

鲁昊, 季承, 倪培刚, 周敏, 付宛璐

2016, 52(2):  234-240.  DOI: 10.13209/j.0479-8023.2015.115

摘要 ( )   HTML   PDF (790KB) ( )  

相关文章 | 计量指标

鱼龙类(Ichthyosaurs)起源于早三叠世晚期, 以往发现的鱼龙类已高度适应水生生活, 其身体结构无任何能将其与可能的陆地祖先相联系的陆生适应特征。针对近年在安徽巢湖下三叠统奥伦尼克阶采集的柔腕短吻龙(Cartorhynchus)和含胚胎巢湖龙两件鱼龙类标本, 通过对柔腕短吻龙的荐前椎数目(31节)、吻长与头骨长之比(0.35)、前肢长与荐前椎长之比(0.45)的研究以及与后期鱼龙类相关数据和骨骼形态学的对比, 认为柔腕短吻龙结构更为原始, 可两栖生活。结合对早三叠世含胚胎巢湖龙、侏罗纪含胚胎狭翼鱼龙幼体保存情况的对比分析, 认为巢湖龙虽比柔腕短吻龙身体结构更进化, 且完全适应水生生活, 但其生殖行为仍然保持陆生爬行动物头位胎生的特征。鱼龙类在其陆地祖先逐渐演化至适应水生生活的过程中, 结构的适应性特征(如肢体的鳍状化、吻部的增长等)和行为特征(如生产方式的变化)的变化不同步, 前者的改变更早。

井震联合非均质储层改造规模的非线性表征方法

杜书恒, 师永民, 徐启, 方媛媛, 盛英帅

2016, 52(2):  241-248.  DOI: 10.13209/j.0479-8023.2015.079

摘要 ( )   HTML   PDF (3041KB) ( )  

相关文章 | 计量指标

朝阳沟油田Ⅲ类区块井网经过两次加密调整和重复压裂, 部分储层仍无法建立有效驱动体系, 油水井措施效果差, 剩余油采出程度低。考虑到对压裂缝扩展条件及非均质储层改造程度认识不足的实际情况, 通过测井与地震联合的手段开展油藏三维地应力场建模, 以弹性理论为基本依据, 预测非对称压裂缝全缝长扩展情况, 提出“相对应力”和“改造因子”概念, 给出相对应力?改造因子非线性经验关系式, 划定形成填砂裂缝的相对应力值范围, 并据此判断储层压裂后改造规模情况。研究结果对油田开发中后期开发层系的选定, 提高油田最终采收程度将起到较重要的指导作用。

全球变暖背景下青藏高原多年冻土分布变化预测

焦世晖, 王凌越, 刘耕年

2016, 52(2):  249-256.  DOI: 10.13209/j.0479-8023.2015.112

摘要 ( )   HTML   PDF (5599KB) ( )  

相关文章 | 计量指标

根据青藏高原及周边地区温度数据和多年冻土分布, 模拟2099年青藏高原多年冻土面积与各类多年冻土分布的变化情况。结果显示: 青藏高原地区在年均温升高1.8ºC的情况下, 大片多年冻土在高原西北部收缩至76.6°E 以东, 岛状多年冻土在高原东南部大面积消融, 高山多年冻土在帕米尔高原、喜马拉雅山地区收缩明显, 多年冻土总面积是现代的83.4%; 在年均温升高4ºC的情况下, 大片多年冻土收缩至77.4°E以东, 岛状多年冻土中部小范围退缩, 高山多年冻土在祁连山地区消融明显, 仅在帕米尔高原、喜马拉雅山山脉、祁连山山脉、横断山脉等高海拔山地发育, 多年冻土总面积是现代的73%; 在年均温升高6ºC的情况下, 大片多年冻土收缩至78°E, 岛状多年冻土仅在中西部发育, 高山多年冻土在部分极高山地区零星发育, 多年冻土总面积是现代的50.8%。

晋陕峡谷北部盘塘‒黑峪口地区黄河阶地序列及其形成年代

刘运明, 李有利, 周葆华

2016, 52(2):  257-264.  DOI: 10.13209/j.0479-8023.2015.139

摘要 ( )   HTML   PDF (797KB) ( )  

相关文章 | 计量指标

野外考察发现, 陕西省神木县盘塘至山西兴县黑峪口黄河两岸发育四级第四纪河流阶地, 阶地前缘基座出露, 与现今黄河河面高差分别为12, 50, 80 和130 m。四级阶地上覆盖厚度不等的黄土层, 其厚度在T1阶地上最大约为20 m, 在T2阶地上约为33 m, 在T3阶地上不同区域黄土厚度不一, 最厚处约为37 m, 在T4阶地上黄土层厚度最大, 约为43 m。分别对T2阶地、T3阶地和T4阶地上河流相砂层进行电子自旋共振(ESR)测年样品采集。ESR测年结果显示, T2阶地的形成时代约为 0.609 Ma, T3阶地的形成时代约为0.876 Ma, T4阶地的形成时代为0.97±0.107 Ma。为了与测年结果相互印证, 对T3和T4阶地上的黄土进行磁化率和古地磁样品的采集。古地磁结果显示, T3阶地上的黄土底层未能到达B/M界限, 说明黄土层底部年龄不超过0.78 Ma, 比河流相砂层的ESR 测年结果更年轻。T4阶地黄土底部年龄约为1.07 Ma, 与ESR测年结果的差别在ESR 测年的误差范围内。四级阶地在形成年代上与兰州以及三门峡地区的阶地可以对比, 说明构造运动控制的河流阶地在黄河中上游地区普遍存在。作为对之前工作的补充, 对区域内一级第三纪阶地重新进行古地磁采样和测试, 并结合四级第四纪阶地, 对黄河在该区的侵蚀速率进行探讨。

一种地理信息检索的定性模型

高勇, 姜丹, 刘磊, 林星, 邬伦

2016, 52(2):  265-273.  DOI: 10.13209/j.0479-8023.2015.113

摘要 ( )   HTML   PDF (511KB) ( )  

相关文章 | 计量指标

提出一种定性地理信息检索方法, 用于地理信息的定性表达、语义匹配、推理和结果排序, 可以避免目前定量地理信息检索中语义信息丢失问题。采用命题逻辑方法综合表达查询和文档中的主题信息和地理语义信息, 将文档与查询的相关性度量分为主题相似度和地理相似度。前者通过命题关键词间加权本体距离获得。后者可进一步分为概念相似度和位置相似度, 分别基于地理本体和空间语义度量。由于信息的表达形式为命题和信息单元, 采用证据理论和模糊逻辑对上述子相关性度量进行统一建模。所提方法可以基于语义检索网页中的定性地理信息, 并对相关文档进行排序。这种检索和排序方法符合人类空间认知, 因此可以有效提高地理信息检索的效率。

北京市平原造林生态系统服务价值评估

唐秀美, 潘瑜春, 高秉博, 郜允兵

2016, 52(2):  274-278.  DOI: 10.13209/j.0479-8023.2015.151

摘要 ( )   HTML   PDF (358KB) ( )  

相关文章 | 计量指标

结合北京市平原造林相关数据, 运用生态经济学原理和方法, 采用影子工程法、机会成本法和替代成本法等方法, 对北京市 100 万亩的平原造林生态系统服务价值进行评估。结果表明, 北京市平原造林生态系统服务的价值为 325.89 亿元, 各生态服务功能的重要性由大到小依次为调节气候功能、净化空气功能、固碳释氧功能、降低噪声功能、固土保肥功能、涵养水源功能。研究结果为进一步推动北京市平原造林工程建设、制定生态补偿政策及确定生态补偿标准提供了参考。

青藏高原生态屏障区近10 年生态系统结构变化研究

牟雪洁, 赵昕奕, 饶胜, 黄琦, 柴慧霞

2016, 52(2):  279-286.  DOI: 10.13209/j.0479-8023.2015.108

摘要 ( )   HTML   PDF (3457KB) ( )  

相关文章 | 计量指标

以2000, 2005和2010年3期生态系统类型数据为基础, 采用生态系统转移矩阵、动态度等统计分析方法, 研究青藏高原生态屏障区近10年的生态系统结构变化及驱动因素分析。研究结果表明: 1) 近10年屏障区内生态系统结构较为稳定, 以草地生态系统为主, 约占研究区总面积的69%; 2) 生态用地与非生态用地均有增加或减少, 其中湿地增加2660.9 km², 草地减少1377.5 km², 城镇面积增加224.6 km², 农田面积减少163.4 km², 荒漠减少1388.5 km²; 3) 受人类活动影响较大的城镇、农田类型变化速率明显高于湿地等生态用地, 2000—2010年城镇面积以2.88% 的年平均增长率迅速增加, 农田面积以0.64%的年均速率持续减少, 而湿地年均增长率仅为0.44%; 4) 生态系统类型整体转移量较小, 仅为整个研究区的0.5%, 其中草地→湿地、荒漠→湿地的转移量最大, 两个转移方向的总转移比例达到69%; 5) 自然因素和人为因素是生态系统结构变化的共同驱动因素, 其中气候变化是引起湿地面积增加的主要自然因素, 人口与GDP的急速增长导致城镇不断扩张, 其深层次原因是工矿业的发展, 载畜量增加是引起草地退化的主要原因, 但生态保护工程对草地生态系统恢复具有积极作用。

德兴铜矿地区土壤微生物的分布特征研究

杨诗琴, 郝瑞霞, 吴沣, 姜源

2016, 52(2):  287-294.  DOI: 10.13209/j.0479-8023.2015.110

摘要 ( )   HTML   PDF (4637KB) ( )  

相关文章 | 计量指标


摘要 为了研究长期采矿对矿区环境微生物的影响, 以江西德兴铜矿周围环境土壤为研究对象, 利用微生物
培养法、核酸序列分析法、透射电镜等手段, 分析和研究德兴铜矿地区土壤微生物的分布特征, 并探讨表层
土壤微生物与重金属的空间依存关系。研究结果表明, 在实验室条件下, 大坞河?沽口河岸和祝家村土壤中
可培养微生物共有13 种, 大坞河–沽口河岸和祝家村土壤中的细菌在种类和分布层位上具有一定的相似性;
但在真菌方面, 大坞河–沽口河岸和祝家村土壤之间相似性不明显。大坞河–沽口河岸与祝家村土壤剖面中微
生物的分布与重金属元素含量具有一定的相关性, 但并非为简单的线性关系, 还受到多种环境因素的影响。

非资源消费型野生动物旅游者的环境态度研究——以澳大利亚海豚探索中心为例

丛丽, 吴必虎, 张玉钧, David Newsome

2016, 52(2):  295-302.  DOI: 10.13209/j.0479-8023.2016.295

摘要 ( )   HTML   PDF (372KB) ( )  

相关文章 | 计量指标

通过对前往澳大利亚班布里海豚探索中心的访客进行调研, 使用新生态范式量表, 运用K-means聚类分析、方差分析等定量方法, 探析游客对在野外生境中接触海豚的环境态度及差异性, 主要结论如下。首先, 受访者样本总体环境态度分为三类: 近人类中心主义、近生态中心主义和立场中立者, 样本总体的环境态度归属近生态中心主义。其次, 不同环境态度群组的人口社会学特征具有差异性。人口社会学特征中, 性别和学历在环境态度存在显著性差异(p≤0.05)。不同年龄、收入和家庭状况对环境态度无显著性差异(p≤0.05)。最后, 旅游行为中旅游经历、信息来源途径对环境态度具有显著差异, 旅行同伴、消费额和停留时间对环境态度无显著性差异; 重游意愿对风险感知具有显著性差异, 满意度无显著性差异。研究结果有助于理解野生动物旅游者特征和理解人与野生动物接触的复杂过程, 对野生动物旅游目的地管理具有重要意义。

北京市乡村地域多功能时空分异研究

唐林楠, 潘瑜春, 刘玉, 唐秀美

2016, 52(2):  303-312.  DOI: 10.13209/j.0479-8023.2015.150

摘要 ( )   HTML   PDF (1780KB) ( )  

相关文章 | 计量指标

以北京13 个区县为研究对象, 通过构建乡村地域多功能评价模型, 分析乡村经济发展、农产品生产、社会保障、生态服务及旅游休闲五项功能的时空分异特征, 并探讨其未来的功能定位。结果表明, 乡村地域各类功能空间分布差异明显: 经济发展功能和社会保障功能集中于近郊平原区, 农产品生产功能集中于远郊平原区, 生态服务与旅游休闲功能集中于远郊山区。受经济发展基础、地理区位、地形条件及相关政策等因素的影响, 近郊平原区、远郊平原区和远郊山区三类区域之间以及区域内部的五项功能的发展程度存在明显差异。未来将结合地区资源现状及发展差异, 围绕区县乡村地域功能定位合理配置资源, 促进各区县乡村功能的全面协调发展。

薄膜太阳能电池再循环的经济可行性研究——以山东省为例

李沫, 童昕

2016, 52(2):  313-319.  DOI: 10.13209/j.0479-8023.2015.153

摘要 ( )   HTML   PDF (889KB) ( )  

相关文章 | 计量指标

以山东省为例, 按照世界自然基金会(WWF)的中国8760电网模型和山东省太阳能消费需求潜力, 设置2050 年山东省太阳能光伏电池装机总量和空间分布的情景分析模型。在此基础上, 根据铜铟镓硒薄膜太阳能电池组件的物质流构成, 计算实现材料再循环的成本收益, 并评估3种情景下实现资源回收和再循环的经济可行性。1) 规模经济情景: 按照运输成本最小化假设, 全省建立一家集中循环处理设施; 2) 市场导向情景: 在人口最密集的两个大都市区(济南和青岛)附近建立集中循环处理设施; 3) 生产者责任延伸情景: 由6家铜铟镓硒生产企业利用生产区位提供循环处理设施。结果表明, 生产者责任延伸情景具有最佳的成本收益结果, 由此进一步探讨生产者责任延伸制度对再生能源技术方向和基础设施发展的意义。

大学校园食堂低碳绩效研究——以北京大学康博斯食堂为例

黄柏玮, 吕斌

2016, 52(2):  320-326.  DOI: 10.13209/j.0479-8023.2016.320

摘要 ( )   HTML   PDF (360KB) ( )  

相关文章 | 计量指标

用生态足迹量化方法评估校园食堂饮食产生的碳足迹, 研究结果说明校园食堂产生可观的碳足迹排放量。提出用生态标签标明校园使用者饮食足迹的排放量, 以减少食物浪费和不必要的食物需求, 并对食材碳排放的结构进行调整, 全面减少碳排放, 以达到构建绿色生态校园的发展目标。

基于内容分析法的气候变化报道国际比较

吴彤, 徐建华

2016, 52(2):  327-335.  DOI: 10.13209/j.0479-8023.2015.124

摘要 ( )   HTML   PDF (681KB) ( )  

相关文章 | 计量指标

采用内容分析法, 剖析1997—2012年《纽约时报》、《卫报》、《澳大利亚人报》和《中国日报》在《联合国气候变化框架公约》下每年一度的缔约方大会期间关于气候变化的1549篇报道, 就其历年来的报道数量、使用的信息框架、信息源状况以及针对中国的报道数量状况进行分析, 并对2009年12月至2013年6月《纽约时报》、《卫报》和《澳大利亚人报》针对中国的315 篇气候变化报道进行态度分析。结果表明: 1) 当有新的条约或协议出台时, 媒体会给予更多的报道; 2) 各国媒体使用的报道框架与其所属国的国际气候变化谈判立场相关联; 3)《纽约时报》、《卫报》和《澳大利亚人报》对中国谈判形象的报道整体上负面, 但在国际合作和国内政策上进行了正面报道。

基于城乡联系的农村居民点布局优化研究——以重庆市为例

杨昕, 贺贤华, 毛熙彦, 贺灿飞

2016, 52(2):  336-344.  DOI: 10.13209/j.0479-8023.2015.132

摘要 ( )   HTML   PDF (1089KB) ( )  

相关文章 | 计量指标

以重庆市义和镇、石龙镇和润溪乡为例, 引入引力模型, 分析不同区位村镇的城乡联系强度和资源禀赋, 确定3 种不同的村镇发展类型。构建包括特色指标和普适指标两类指标的居民点综合适宜性评价体系, 将各镇居民点划分为重点发展型、保留改造型和迁村并点型3 种类型进行空间引导和优化。为适应不同乡镇的发展定位, 示范镇农村居民点的优化模式分别体现集聚扩张、内部调整和迁并整合的特征。对不同类型农村居民点优化过程和技术进行探讨, 为3个示范镇的规划提供科学依据。

环境因素对降解型生物膜形成的影响

张楠, 熊富忠, 温东辉, 于聪, 李琪琳

2016, 52(2):  345-353.  DOI: 10.13209/j.0479-8023.2015.244

摘要 ( )   HTML   PDF (7630KB) ( )  

相关文章 | 计量指标

采用改良微孔板法, 考察pH、温度、培养时间和目标污染物浓度4 个环境因子对3 株氮杂环芳烃降解菌成膜的影响。结果表明, pH、温度、培养时间对生物膜的形成影响显著, 且各降解菌的最佳成膜条件分别为: BC026成膜的最适pH为7, 最适温度为35℃, 培养时间为36 小时; BW001成膜的最适pH为8, 最适温度为35℃, 培养时间为48小时; BW004成膜的最适pH为7~9, 最适温度为40℃, 培养时间为36小时。在0~1600 mg/L的目标污染物浓度内, 目标污染物对生物膜形成的影响不显著。

用项目反应理论编制中文版远程联想测验(RAT)

肖微, 姚翔, 邱永桃

2016, 52(2):  354-362.  DOI: 10.13209/j.0479-8023.2015.123

摘要 ( )   HTML   PDF (426KB) ( )  

相关文章 | 计量指标

遵循远程联想理论, 筛选适用于中国中学生群体的远程联想测验题本; 运用项目反应理论, 构建双参数模型, 使用来自广东、甘肃和湖北3所中学2659名初中学生的结果进行项目分析检验。遵照标准参照测验的编制原则, 选取难度为3.00~3.00, 区分度为0.30~2.50以及θ(π0)处信息量大于0.20的项目, 编制了中文版远程联想测验(RAT)(计91个项目)。该中文版RAT与托伦斯创造力测验、伦科创造力测验和瑞文智力测验的成绩正相关, 该测验可以预测中学生的学业成绩和教师评价的创造力表现。此外, 还讨论了该测验在实践中的应用价值。

基于逻辑的形式化验证方法: 进展及应用

陈钢, 于林宇, 裘宗燕, 王颖

2016, 52(2):  363-373.  DOI: 10.13209/j.0479-8023.2015.131

摘要 ( )   HTML   PDF (538KB) ( )  

相关文章 | 计量指标

近年来, 形式化方法发展很快, 一些技术已经产生工业应用。以逻辑系统为主线, 分析几个影响力比较大的形式化验证技术和验证工具, 以帮助应用工程师选择并使用形式化工具。主要包括命题演算和时态逻辑方面的SAT、BDD、模型检测和SMT, 谓词逻辑方面的ACL2、VDM方法和B方法, 以及高阶逻辑方面的HOL、PVS 和COQ。还介绍形式化方法在学术界和工业界的应用情况, 最后给出几个商业化的形式化验证工具。



1995—2014年废水资源回收研究发展态势分析——基于文献计量学方法及数据

张丽, 刘阳生

2016, 52(2):  374-382.  DOI: 10.13209/j.0479-8023.2015.152

摘要 ( )   HTML   PDF (808KB) ( )  

相关文章 | 计量指标

为了深入了解废水资源回收相关研究的全球状况和前沿动态, 客观地反映相关国家在该领域的科学能力和科学影响, 利用ISI Web of Science引文数据库, 采用文献计量学方法, 对1995—2014年SCI收录的相关文献进行计量分析。结果表明: 1) 1995—2014年SCI收录的废水资源回收领域论文中, 水回收所占比例最高, 为72.0%; 2) 废水资源回收主要涉及环境科学、环境工程、水资源、化学工程、生物技术与应用微生物等学科, 其中环境科学学科论文年度增长速度最快; 3) 发表论文数和论文被引用率排名均靠前的国家为美国、西班牙和印度, 中国论文数增长的趋势最为显著; 4) 美国加利福尼亚大学、印度理工学院以及西班牙科学研究理事会3个研究机构在当前废水资源回收领域综合实力最强, 中国科学院、清华大学等机构近几年国际影响力有明显提升。