Please wait a minute...
欢迎访问中国科学院大学学报,今天是

本期目录

2012年, 第29卷, 第6期 上一期    下一期
数学与物理学
用辛算法模拟单摆的振荡
刘成保, 陈玉福
2012, (6): 721-730.  DOI: 10.7523/j.issn.2095-6134.2012.6.001
摘要 ( 1365 ) HTML ( ) PDF (1182KB) ( 1256 )

从哈密尔顿体系的角度,采用辛算法求解单摆的大角度摆动难题. 构造了二阶和四阶辛格式,并在长时间的模拟中得到稳定和准确的数值解. 此外, 基于辛算法的良好性质,给出可用来估计振荡周期的近似极值点方法.

时间测度链上具非线性中立项的二阶动力方程的振动性
杨甲山
2012, (6): 731-737.  DOI: 10.7523/j.issn.2095-6134.2012.6.002
摘要 ( 1019 ) HTML ( ) PDF (428KB) ( 901 )
研究时间测度链上的一类具有非线性中立项的二阶非线性变时滞动力方程的振动性. 利用时间测度链上的理论和一些分析技巧, 通过引入参数函数和Riccati变换, 得到该方程振动的几个充分条件. 给出了一些例子以说明主要结论.
一类具有扩散系数和连续偏差变元的中立型偶阶偏泛函微分方程的振动性
林文贤
2012, (6): 738-742.  DOI: 10.7523/j.issn.2095-6134.2012.6.003
摘要 ( 881 ) HTML ( ) PDF (301KB) ( 815 )
研究一类具有连续偏差变元和非线性扩散系数的偶阶中立型偏泛函微分方程的振动性. 借助广义Riccati变换和微分不等式,获得这类方程分别在Robin和Dirichlet边值条件下所有解振动的若干新的充分性条件,表明其振动是由时滞量引起的. 所得结果推广了最近文献的相关结果.
基于半张量积方法的布尔函数矩阵表示的一些应用
赵寅, 高旭, 程代展
2012, (6): 743-749.  DOI: 10.7523/j.issn.2095-6134.2012.6.004
摘要 ( 1369 ) HTML ( ) PDF (205KB) ( 1088 )
利用矩阵的半张量积, 布尔函数可以被表示为矩阵形式. 通过这个方法, 我们给出了布尔函数从真值表到多项式形式转换的一个简洁的证明, 并研究了布尔函数的线性结构.
分段常值多相图像分割的变分水平集方法
李忠伟, 倪明玖
2012, (6): 750-756.  DOI: 10.7523/j.issn.2095-6134.2012.6.005
摘要 ( 1062 ) HTML ( ) PDF (1807KB) ( 769 )
基于变分水平集方法,建立一种具有噪声去除能力的分段常值多相图像分割模型. 该模型能在完成噪声去除的同时完成图像分割,从而缩短针对噪声图像的分割时间;其次,基于十进制数和二进制数转换,构造区域划分的特征函数表达式,从而建立一个新的多相图像分割模型;最后把该多相图像分割模型应用于合成图像和医学图像的分割.实验结果表明,与Chan-Vese模型相比,该模型能更快地提取噪声图像中的目标.
基于标量衍射理论的图像解密三维信息构造方法
傅长明, 杨玉花, 李拓, 陈岳东, 程栋, 王雅丽, 史祎诗
2012, (6): 757-766.  DOI: 10.7523/j.issn.2095-6134.2012.6.006
摘要 ( 1011 ) HTML ( ) PDF (4001KB) ( 978 )
提出合理设置相位延迟以提高光学三维信息解密质量的方法. 利用多个垂直于同一光轴的二维函数,分别以离轴和同轴的形式构造简单三维信息. 采取基于相位抽取的光学三维信息加密算法进行模拟,验证了同轴构造三维信息解密质量受噪声干扰较大,且噪声的产生与加密过程中的相位抽取无关. 通过考察信息相位分布和相位延迟对解密质量的影响,证明合理设置相位延迟可降低解密噪声. 设计2种相位延迟设置方案,分析相应的约束条件.
化学与生命科学
喜旱莲子草花序正反向SSH cDNA文库的构建及EST分析
王兰英, 陈洁, 刘卫
2012, (6): 767-774.  DOI: 10.7523/j.issn.2095-6134.2012.6.007
摘要 ( 1057 ) HTML ( ) PDF (1723KB) ( 1115 )
利用SSH技术构建了喜旱莲子草雌雄同花和雄蕊心皮化花序的正反向基因表达的cDNA文库. 对文库部分克隆分析发现,EST功能涉及花性别发育、细胞代谢、生长发育、抗性适应、转录调控、酶调节、叶绿体和胞质基因、细胞内组件等8种不同功能类型.共筛选到8类与已知调控花性别发育相关的EST,如HD基因家族、MADS-box基因家族、线粒体基因、CCLS4家族蛋白等.
环境科学与地理学
基于面向对象的TM_LBV变换水体信息提取
周文鑫, 何隆华, 马荣华, 刘桂林, 苑惠丽
2012, (6): 775-779.  DOI: 10.7523/j.issn.2095-6134.2012.6.008
摘要 ( 1277 ) HTML ( ) PDF (2289KB) ( 800 )
以南京市为研究区,基于面向对象的分类方法,对TM影像进行LBV变换,选择B分量阈值进行水体信息提取. 结果表明,水体信息提取精度为94.6%. 与基于像元的B分量阈值法和基于像元及面向对象的改进的归一化水体指数(MNDWI)阈值法相比,该方法提取水体信息快速准确,不但消除了山体阴影和城市建筑物的影响,还减少了分类"椒盐现象". 该方法简单易行,适用于水体信息的自动提取.
基于景观格局指数的生态完整性动态评价
李鑫, 田卫
2012, (6): 780-785.  DOI: 10.7523/j.issn.2095-6134.2012.6.009
摘要 ( 989 ) HTML ( ) PDF (770KB) ( 995 )
运用景观生态学的原理和方法,采用景观优势度、植被生物量,以及景观多样性3个景观格局指数,从结构和稳定性两方面构建生态完整性综合指数,对丰满水电站库周生态完整性的动态变化进行评价. 结果表明,生态完整性综合指数从1979年的0.8698下降到2008年的0.8419,生态完整性没有根本性的改变,但恶化趋势明显.
刃边法的MTF评价精度分析
刘亮, 李显彬, 姜小光, 吴玮, 张宝军, 杨典华
2012, (6): 786-792.  DOI: 10.7523/j.issn.2095-6134.2012.6.010
摘要 ( 1135 ) HTML ( ) PDF (1989KB) ( 853 )
通过开展仿真实验和理论分析,系统地研究大气、靶标倾角、靶标对比度和随机噪声、边缘探测精度和ERF拟合模型对调制传递函数(MTF)评价精度的影响,并对各种仿真参数下的MTF总体评价精度进行分析. 分析结果对利用刃边法开展在轨MTF评价具有指导意义.
信息与电子科学
SAR天线相位中心的分析及测量
孙慧峰, 邓云凯, 雷宏, 石力
2012, (6): 793-798.  DOI: 10.7523/j.issn.2095-6134.2012.6.011
摘要 ( 1570 ) HTML ( ) PDF (1571KB) ( 987 )
从合成孔径雷达(SAR)系统的工作原理出发,分析了SAR天线相位中心的实际含义和定位需求,总结出相位中心在天线口径面上最佳二维坐标和相对插入相移2项指标.利用几何光学原理和最小二乘估计,给出了2项指标的测量方法,并给出了一部双子孔径SAR相控阵天线的相位中心测量实例.
计算机科学
PKI应用系统互操作性检测工具的设计与实现
蔡权伟, 林璟锵, 荆继武, 尚铭
2012, (6): 799-804.  DOI: 10.7523/j.issn.2095-6134.2012.6.012
摘要 ( 1153 ) HTML ( ) PDF (845KB) ( 821 )
国家标准《PKI互操作性评估准则》提出了用于PKI服务系统和PKI应用系统的互操作性评估模型和互操作能力等级评估标准. 然而,如何使用该标准来设计和实现PKI互操作性检测工具、确定系统的互操作能力等级,仍存在不少问题. 本文总结了PKI互操作性检测工具(尤其对于PKI应用系统)的设计和实现中存在的问题,并提出了解决方案.
有限域中的循环矩阵在密码学方面的相关问题
赵岩, 林东岱
2012, (6): 805-814.  DOI: 10.7523/j.issn.2095-6134.2012.6.013
摘要 ( 1156 ) HTML ( ) PDF (713KB) ( 1298 )
利用有限域上循环矩阵的性质,使用2种不同方法去解决有限域上可逆循环矩阵的个数问题. 最后给出有限域上可逆循环矩阵个数的计算公式,并对多变量密码学中的循环矩阵的应用进行简要分析, 这对矩阵理论研究和相关密码学的分析有促进作用.
存储型XSS攻击向量自动化生成技术
陈景峰, 王一丁, 张玉清, 刘奇旭
2012, (6): 815-820.  DOI: 10.7523/j.issn.2095-6134.2012.6.014
摘要 ( 1272 ) HTML ( ) PDF (712KB) ( 978 )
针对危害性最为严重的存储型XSS漏洞的特点及其触发方式,设计并实现了一款自动生成存储型XSS攻击向量的工具.使用该工具对中国2个大型视频分享网站的日志发布系统进行测试,发现6类导致存储型XSS漏洞的攻击向量.实验结果验证了该方法及测试工具的有效性,并说明中国视频网站仍存在着较大安全隐患.
基于2D-3D泛轮廓点对应的三维刚体目标的迭代姿态估计
冷大炜, 马洪兵, 孙卫东
2012, (6): 821-828.  DOI: 10.7523/j.issn.2095-6134.2012.6.015
摘要 ( 1314 ) HTML ( ) PDF (1279KB) ( 910 )
以单目观测下三维刚体目标的姿态估计为研究对象,针对现有迭代估计方法存在的收敛半径小和收敛速度慢的问题,提出一种新的基于2D-3D泛轮廓点对应的迭代姿态估计方法.与现有的基于数值优化的方法不同,本方法从输入图像的2D泛轮廓点出发,着眼于显性地建立输入图像到目标三维模型的2D-3D特征投影对应关系,进而以此显性投影对应关系对目标的三维姿态参数进行估计.实验结果表明,该方法在算法复杂性、收敛半径和收敛速度上均有明显改进.
管理科学
基于波士顿矩阵的科研产出均衡度评价
陈远平, 周子博, 邵培培
2012, (6): 829-833.  DOI: 10.7523/j.issn.2095-6134.2012.6.016
摘要 ( 893 ) HTML ( ) PDF (1255KB) ( 1069 )
将波士顿矩阵引入到研究所的科研产出均衡度评价. 根据科研管理的实际情况,将波士顿矩阵的象限内容,以及矩阵的横、纵坐标进行重新定义,并通过中国科学院ARP系统数据计算得出的科研产出基尼系数进行均衡度评价分析.
简报
复射影空间中的极小曲面的几何
付景超, 宇岩
2012, (6): 834-840.  DOI: 10.7523/j.issn.2095-6134.2012.6.017
摘要 ( 892 ) HTML ( ) PDF (189KB) ( 828 )
计算了法数量曲率,得到高斯曲率、 Kähler角、第二基本形式长度的平方和法数量曲率之间的基本关系,还给出共形极小球面有常数Kähler角的条件.
氧杂蒽酮对脂肪酸合酶的抑制作用及构效分析
权小芳, 马晓丰
2012, (6): 841-846.  DOI: 10.7523/j.issn.2095-6134.2012.6.018
摘要 ( 834 ) HTML ( ) PDF (1074KB) ( 843 )
研究山竹壳中存在的氧杂蒽酮类化合物对脂肪酸合酶(FAS)全反应的抑制作用,发现具有不同官能团和取代基的化合物抑制FAS的能力不同,其IC50从1.24 μmol/L至1000 μmol/L以上不等.分析这些化合物抑制FAS能力和其结构之间的关系,发现了一系列的构效关系规律.
GST-β-catenin-His双标签融合蛋白的原核表达、纯化及鉴定
尹会龙, 袁莉
2012, (6): 847-852.  DOI: 10.7523/j.issn.2095-6134.2012.6.019
摘要 ( 1048 ) HTML ( ) PDF (942KB) ( 842 )
应用RT-PCR技术扩增β-catenin的cDNA序列,并且在基因下游引入6×His标签序列,克隆至表达载体pGEX-4T-1. 经测序鉴定后,将重组质粒转入BL21pLysS感受态细菌,经IPTG诱导表达,采用Glutathione Sepharose 4B和Ni柱分步纯化GST-β-catenin-His融合蛋白. 所得产物经SDS-PAGE检测,在114 kDa处显示特异条带,与GST-β-catenin-His融合蛋白预期分子量相符. 经Western Blotting鉴定,所纯化蛋白能被β-catenin抗体、GST抗体和His抗体识别,为进一步研究β-catenin的功能提供了基础和前提.