2018年 第1期
2018, (1): 1-10.
doi: 10.3969/j.issn.1000-5641.2018.01.001
摘要
HTML全文
PDF 354KB
摘要:
考虑一个抛物型梯度约束的变分不等式 \begin{document} $\min\Big\{v_t-\dfrac{1}{2}\sigma^2v_{xx}-\mu v_x+cv,\;v_x-1\Big\}=0. $ \end{document} 问题来源于以公司最优分红模型为背景的随机最优控制问题.本文运用偏微分方程技术，通过引入惩罚方法，得到变分不等式解的存在唯一性和一些先验估计，然后进一步讨论自由边界的性质，最终证明自由边界不仅可以表示成x关于t的函数，而且是以0为起点、单调递增C∞的曲线.
考虑一个抛物型梯度约束的变分不等式
2018, (1): 11-16, 23.
doi: 10.3969/j.issn.1000-5641.2018.01.002
摘要:
提出了边魔幻偶优美标号的新标号，给出礼花运算（带标号的加叶子运算）；并扩散了以完全图K3星图等为核心的网络模型，研究了这几类模型的边魔幻偶优美性；把边魔幻奇、偶优美标号进行关联，得到了具有边魔幻优美标号的网络模型.
提出了边魔幻偶优美标号的新标号，给出礼花运算（带标号的加叶子运算）；并扩散了以完全图K3星图等为核心的网络模型，研究了这几类模型的边魔幻偶优美性；把边魔幻奇、偶优美标号进行关联，得到了具有边魔幻优美标号的网络模型.
2018, (1): 17-23.
doi: 10.3969/j.issn.1000-5641.2018.01.003
摘要:
通过引入关键性假设，证明关键性假设与集值隐函数的Robinson度量正则性等价，并且在适当条件下证明了这个关键性假设是集值隐函数的似-Lipschitz性的充分条件.最后建立了集值函数的相依导数和二阶相依导数表达式.
通过引入关键性假设，证明关键性假设与集值隐函数的Robinson度量正则性等价，并且在适当条件下证明了这个关键性假设是集值隐函数的似-Lipschitz性的充分条件.最后建立了集值函数的相依导数和二阶相依导数表达式.
2018, (1): 24-34, 49.
doi: 10.3969/j.issn.1000-5641.2018.01.004
摘要:
在生成元g关于y满足对t不一致的Osgood条件，关于z满足对t不一致的一致连续条件且g的第i个分量仅仅依赖于（w，t，y）及矩阵z的第i行的条件下，范胜君等在2015年证明了一般时间终端多维倒向随机微分方程（简称BSDE）解的存在性和唯一性.在此基础上，本文利用一致连续函数可用Lipschitz函数一致逼近的性质、迭代技术、Girsanov变换及Bihari不等式等工具，首次建立了上述条件下一般时间终端多维BSDE解的一个稳定性定理.
在生成元g关于y满足对t不一致的Osgood条件，关于z满足对t不一致的一致连续条件且g的第i个分量仅仅依赖于（w，t，y）及矩阵z的第i行的条件下，范胜君等在2015年证明了一般时间终端多维倒向随机微分方程（简称BSDE）解的存在性和唯一性.在此基础上，本文利用一致连续函数可用Lipschitz函数一致逼近的性质、迭代技术、Girsanov变换及Bihari不等式等工具，首次建立了上述条件下一般时间终端多维BSDE解的一个稳定性定理.
2018, (1): 35-49.
doi: 10.3969/j.issn.1000-5641.2018.01.005
摘要:
研究了记忆型抽象发展方程在时间依赖空间上解的长时间动力学行为.运用修正的拉回吸引子理论，使用先验估计技巧和算子分解的方法验证了过程的渐近紧性，进而证明了时间依赖全局吸引子的存在性和正则性.该结果改进了一些已有结果.
研究了记忆型抽象发展方程在时间依赖空间上解的长时间动力学行为.运用修正的拉回吸引子理论，使用先验估计技巧和算子分解的方法验证了过程的渐近紧性，进而证明了时间依赖全局吸引子的存在性和正则性.该结果改进了一些已有结果.
2018, (1): 50-58.
doi: 10.3969/j.issn.1000-5641.2018.01.006
摘要:
文章考察了差分方程组 \begin{document}$\begin{eqnarray*}\begin{cases}f_1^n-p_1(z)f_2(z+c)=h_1(z), \ \\f_2^n-p_2(z)f_1(z+c)=h_2(z)\end{cases}\end{eqnarray*}$ \end{document} 亚纯解的性质，其中n ≥ 4，p1（z）、p2（z）是不为零的多项式，h1（z），h2（z）是整函数.应用值分布理论，得到了该方程组的解是唯一的.此外，文章还讨论了满足一些特殊类微分差分方程构成的方程组存在有限级亚纯解的条件.
文章考察了差分方程组
2018, (1): 59-75, 90.
doi: 10.3969/j.issn.1000-5641.2018.01.007
摘要:
提出了一种基于概率模型检测技术的新方法用于解决生物工程中基因调控网络探查吸引子这一关键问题.以大鼠干细胞基因调控网络的吸引子找寻这样一个具体问题为例，将布尔网络表示的基因调控网络的更新函数通过对应的真值表，转换为离散时间马尔科夫链，写入模型检测工具PRISM中；之后通过验证模型的系统性质的技术去验证每个基因在很长一段时间之后的激活概率，以此找到基因调控网络中的吸引子.同时，通过添加基因扰动的方式，改变每个基因的激活/抑制概率，可以找到每个基因对其他基因的促进/抑制关系.实验表明，大鼠干细胞基因中有7个基因在一段时间后状态不变，剩余基因的变化共同构成了一个吸引环.整个检测流程简洁易用，可以直接找出吸引子.进一步地，实验准确地找出了大鼠干细胞中Gata1基因的抑制/促进对象，此实验结果对解决大鼠的白血球减少症有着治疗方面的意义.
提出了一种基于概率模型检测技术的新方法用于解决生物工程中基因调控网络探查吸引子这一关键问题.以大鼠干细胞基因调控网络的吸引子找寻这样一个具体问题为例，将布尔网络表示的基因调控网络的更新函数通过对应的真值表，转换为离散时间马尔科夫链，写入模型检测工具PRISM中；之后通过验证模型的系统性质的技术去验证每个基因在很长一段时间之后的激活概率，以此找到基因调控网络中的吸引子.同时，通过添加基因扰动的方式，改变每个基因的激活/抑制概率，可以找到每个基因对其他基因的促进/抑制关系.实验表明，大鼠干细胞基因中有7个基因在一段时间后状态不变，剩余基因的变化共同构成了一个吸引环.整个检测流程简洁易用，可以直接找出吸引子.进一步地，实验准确地找出了大鼠干细胞中Gata1基因的抑制/促进对象，此实验结果对解决大鼠的白血球减少症有着治疗方面的意义.
2018, (1): 76-90.
doi: 10.3969/j.issn.1000-5641.2018.01.008
摘要:
由于在获取、解析数据的过程中存在误差、干扰等因素，很多领域的数据中存在着不确定性，这已成为影响数据性能的重要因素.概率数据库可以存储不确定数据并且返回带有置信度的查询结果.然而，不确定性的累积和传播会降低查询结果的可用性.因此，有必要降低概率数据库中数据的不确定性.致力于解决在概率RDF（Resource Description Framework）数据库图查询中如何由众包来提升查询结果的确定性，基本思想是让众包工作者决定由边表示的关系是否正确，以降低整个查询的不确定性.提出了3种不同的算法来选择使查询结果不确定性下降最大的边.最后，通过实验验证了提出的算法，表明不稳定剪枝算法和稳定剪枝算法具有更好的效果.
由于在获取、解析数据的过程中存在误差、干扰等因素，很多领域的数据中存在着不确定性，这已成为影响数据性能的重要因素.概率数据库可以存储不确定数据并且返回带有置信度的查询结果.然而，不确定性的累积和传播会降低查询结果的可用性.因此，有必要降低概率数据库中数据的不确定性.致力于解决在概率RDF（Resource Description Framework）数据库图查询中如何由众包来提升查询结果的确定性，基本思想是让众包工作者决定由边表示的关系是否正确，以降低整个查询的不确定性.提出了3种不同的算法来选择使查询结果不确定性下降最大的边.最后，通过实验验证了提出的算法，表明不稳定剪枝算法和稳定剪枝算法具有更好的效果.
2018, (1): 91-102, 145.
doi: 10.3969/j.issn.1000-5641.2018.01.009
摘要:
文档中的关键实体可以抽象概括文本所描述的事件（或话题）的主体，推动面向实体的检索和问答系统等方面的研究.然而，文档中的实体是无序的，对文本中的实体进行排序显得尤为重要.提取文本实体特征并借助维基百科和词汇分布表示引入外部特征，提出了一种基于前向分步算法（Forward Stagewise Algorithm，FSAM）的排序模型LA-FSAM（FSAM based on AUC Metric and LogisticFunction）.该模型利用曲线下面积（Area Under the Curve，AUC）准则构造损失函数，逻辑斯谛函数整合实体特征，最后使用随机梯度下降法求解模型参数.通过LA-FSAM与基线方法的实验对比证明了所提方法的有效性.
文档中的关键实体可以抽象概括文本所描述的事件（或话题）的主体，推动面向实体的检索和问答系统等方面的研究.然而，文档中的实体是无序的，对文本中的实体进行排序显得尤为重要.提取文本实体特征并借助维基百科和词汇分布表示引入外部特征，提出了一种基于前向分步算法（Forward Stagewise Algorithm，FSAM）的排序模型LA-FSAM（FSAM based on AUC Metric and LogisticFunction）.该模型利用曲线下面积（Area Under the Curve，AUC）准则构造损失函数，逻辑斯谛函数整合实体特征，最后使用随机梯度下降法求解模型参数.通过LA-FSAM与基线方法的实验对比证明了所提方法的有效性.
2018, (1): 103-116.
doi: 10.3969/j.issn.1000-5641.2018.01.010
摘要:
窗口函数作为一种分析型的OLAP函数加入SQL（Structured Query Language）标准已有十多年，而且随着分析型应用需求的增长窗口函数有着越来越广泛的应用前景.窗口函数的语法非常简单，却可以表达诸如rank、moving average、cumulative sum等复杂的查询.尽管目前主流的商业数据库几乎都支持窗口函数，但是现有的执行策略效率低下，不能满足大批量数据的处理需求.本文主要针对窗口函数中MIN和MAX聚集函数，提出了一种改进的IM2优化策略，可以有效地提升窗口函数的执行效率.本文不仅从时空复杂性理论分析层面进行了证明，而且与已有算法进行了对比实验，证明了本文方法的高效性；另外在目前主流的开源数据库PostgreSQL中实现本文算法，与SQL Server对比有着显著的优化效果.
窗口函数作为一种分析型的OLAP函数加入SQL（Structured Query Language）标准已有十多年，而且随着分析型应用需求的增长窗口函数有着越来越广泛的应用前景.窗口函数的语法非常简单，却可以表达诸如rank、moving average、cumulative sum等复杂的查询.尽管目前主流的商业数据库几乎都支持窗口函数，但是现有的执行策略效率低下，不能满足大批量数据的处理需求.本文主要针对窗口函数中MIN和MAX聚集函数，提出了一种改进的IM2优化策略，可以有效地提升窗口函数的执行效率.本文不仅从时空复杂性理论分析层面进行了证明，而且与已有算法进行了对比实验，证明了本文方法的高效性；另外在目前主流的开源数据库PostgreSQL中实现本文算法，与SQL Server对比有着显著的优化效果.
2018, (1): 117-127.
doi: 10.3969/j.issn.1000-5641.2018.01.011
摘要:
射频复合阵列近场效应影响目标信号的测角精度，为了修正目标信号测角精度，提出一种方法：联合全波算法和一致性几何绕射理论，精确计算给定子阵，（三元组），天线在周围同频、异频天线单元存在的环境中发射时，接收天线位置处，（通常位于发射三元组的辐射近场），的电场分布；基于此电场相位分布，应用相位梯度法求出三元组辐射场的等效相位中心，并计算与基于幅度重心公式所得等效波源点位置的偏差，使用推导的辅助修正公式获得修正后的三元组各单元输入功率.计算实例表明：经修正后微波/毫米波三元组约束的三角形区域内最大垂直（俯仰）方向测角精度由1.50/2.37mrad，降低，0.06/0.06 mrad.
射频复合阵列近场效应影响目标信号的测角精度，为了修正目标信号测角精度，提出一种方法：联合全波算法和一致性几何绕射理论，精确计算给定子阵，（三元组），天线在周围同频、异频天线单元存在的环境中发射时，接收天线位置处，（通常位于发射三元组的辐射近场），的电场分布；基于此电场相位分布，应用相位梯度法求出三元组辐射场的等效相位中心，并计算与基于幅度重心公式所得等效波源点位置的偏差，使用推导的辅助修正公式获得修正后的三元组各单元输入功率.计算实例表明：经修正后微波/毫米波三元组约束的三角形区域内最大垂直（俯仰）方向测角精度由1.50/2.37mrad，降低，0.06/0.06 mrad.
2018, (1): 128-134, 145.
doi: 10.3969/j.issn.1000-5641.2018.01.012
摘要:
为了提高同步辐射丝扫描探测器的测量分辨率与缩短数据处理时间，设计了光信号自动拾取丝扫描测量系统.该系统采用多进程优先级机制管理采样过程，对信号进行降噪处理后使用Allen函数对信号幅度变化特征进行放大，长短时平均法与赤池准则结合拾取光信号，自动确定拟合区间，同时采用能量变化法对高斯拟合参数初值进行估测.经实验验证，该测量系统拾取光信号位置准确，可有效提高丝扫描探测器的测量分辨率，缩短数据处理用时.
为了提高同步辐射丝扫描探测器的测量分辨率与缩短数据处理时间，设计了光信号自动拾取丝扫描测量系统.该系统采用多进程优先级机制管理采样过程，对信号进行降噪处理后使用Allen函数对信号幅度变化特征进行放大，长短时平均法与赤池准则结合拾取光信号，自动确定拟合区间，同时采用能量变化法对高斯拟合参数初值进行估测.经实验验证，该测量系统拾取光信号位置准确，可有效提高丝扫描探测器的测量分辨率，缩短数据处理用时.
2018, (1): 135-145.
doi: 10.3969/j.issn.1000-5641.2018.01.013
摘要:
为了解决雷达检测算法在非均匀噪声环境下目标检测性能严重下降的问题，在分析实际回波杂波分布特性的基础上，提出了一种基于双剔除门限的恒虚警目标检测算法，通过双剔除门限将极大极小干扰信号从参考窗口中剔除，实时精确估计背景噪声功率.经过与各检测算法仿真对比，该算法在多目标干扰、遮挡和杂波边缘干扰等非均匀背景噪声环境下仍具有最优的检测性能和鲁棒性.结果表明，所提出的目标检测算法在非均匀噪声环境下具有良好的检测性能.
为了解决雷达检测算法在非均匀噪声环境下目标检测性能严重下降的问题，在分析实际回波杂波分布特性的基础上，提出了一种基于双剔除门限的恒虚警目标检测算法，通过双剔除门限将极大极小干扰信号从参考窗口中剔除，实时精确估计背景噪声功率.经过与各检测算法仿真对比，该算法在多目标干扰、遮挡和杂波边缘干扰等非均匀背景噪声环境下仍具有最优的检测性能和鲁棒性.结果表明，所提出的目标检测算法在非均匀噪声环境下具有良好的检测性能.
2018, (1): 146-153, 170.
doi: 10.3969/j.issn.1000-5641.2018.01.014
摘要:
利用走航CTD观测资料和AVHRR资料分析了江苏沿海2016年夏季（6-8月）冷水块特征.7月18-21日的走航CTD观测资料表明，从海面到30m层都存在冷中心，冷中心逐层向东倾斜，显示存在从黄海沿底部向江苏沿海输送冷水的通道.AVHRR资料的月平均海表温均存在冷水块，其半径为67.9~85.8 km，强度为0.5~1.2℃，冷水块中心与沿岸温差为1.9~2.9℃；逐日的海表温有78d存在冷水块，最大半径161.8 km，最大强度2.8℃，与沿岸最大温差为5.9℃，其中心位置变化大，相邻两天中心位置的最大距离为125.4 km.逐日冷水块和风场对比分析表明，南风有利于冷水块的生成.
利用走航CTD观测资料和AVHRR资料分析了江苏沿海2016年夏季（6-8月）冷水块特征.7月18-21日的走航CTD观测资料表明，从海面到30m层都存在冷中心，冷中心逐层向东倾斜，显示存在从黄海沿底部向江苏沿海输送冷水的通道.AVHRR资料的月平均海表温均存在冷水块，其半径为67.9~85.8 km，强度为0.5~1.2℃，冷水块中心与沿岸温差为1.9~2.9℃；逐日的海表温有78d存在冷水块，最大半径161.8 km，最大强度2.8℃，与沿岸最大温差为5.9℃，其中心位置变化大，相邻两天中心位置的最大距离为125.4 km.逐日冷水块和风场对比分析表明，南风有利于冷水块的生成.
2018, (1): 154-162.
doi: 10.3969/j.issn.1000-5641.2018.01.015
摘要:
基于ASTER-GDEM数据，运用ArcGIS空间分析功能，通过地势起伏度、条带分析及面积-高程积分三种方法，探讨了浙江东部四明山山地地貌的形态特征.结果表明，四明山由于受断裂构造控制的影响，主体呈NE-SW向展布，中山、低山、丘陵和山麓平原的面积分别占0.6%、16.2%、32.7%和50.5%，山地起伏度较小（平均约81 m）.条带分析表明，山顶残存有多处面积大小不等的古夷平面，它们的高程与玄武岩台地的高程基本一致，南部高出北部约300 m.山地各子流域的面积-高程积分分析表明，HI值在0~0.35、0.35~0.45和0.45~0.60区间段分别占47.31%、30.58%和22.11%，分别对应老年期、壮年（偏老）期和壮年期的地貌发育阶段.山地目前主要受外力剥蚀的影响.
基于ASTER-GDEM数据，运用ArcGIS空间分析功能，通过地势起伏度、条带分析及面积-高程积分三种方法，探讨了浙江东部四明山山地地貌的形态特征.结果表明，四明山由于受断裂构造控制的影响，主体呈NE-SW向展布，中山、低山、丘陵和山麓平原的面积分别占0.6%、16.2%、32.7%和50.5%，山地起伏度较小（平均约81 m）.条带分析表明，山顶残存有多处面积大小不等的古夷平面，它们的高程与玄武岩台地的高程基本一致，南部高出北部约300 m.山地各子流域的面积-高程积分分析表明，HI值在0~0.35、0.35~0.45和0.45~0.60区间段分别占47.31%、30.58%和22.11%，分别对应老年期、壮年（偏老）期和壮年期的地貌发育阶段.山地目前主要受外力剥蚀的影响.
2018, (1): 163-170.
doi: 10.3969/j.issn.1000-5641.2018.01.016
摘要:
采用CASA模型和30m分辨率Landsat数据生成了门头沟区2003-2014年的植被净初级生产力（NPP）产品，分析了门头沟区NPP的空间分异特征，基于MODIS年NPP产品分析了门头沟区2003-2014年NPP的年际变化特征，基于MODIS植被总初级生产力（GPP）时间序列数据分析了门头沟区典型年份的年内GPP变化特征.结果表明：2003-2014年门头沟区NPP受地形及人为因素影响，低值区主要沿河流谷地及东部河流出山口处分布，在整体区域上呈现四周高、中间低的特征；自2005年以来年际NPP总体平稳，没有明显的增加或减少趋势；GPP年内波动明显，5-9月GPP/NPP的差异对不同年份间GPP/NPP差异的贡献最大.
采用CASA模型和30m分辨率Landsat数据生成了门头沟区2003-2014年的植被净初级生产力（NPP）产品，分析了门头沟区NPP的空间分异特征，基于MODIS年NPP产品分析了门头沟区2003-2014年NPP的年际变化特征，基于MODIS植被总初级生产力（GPP）时间序列数据分析了门头沟区典型年份的年内GPP变化特征.结果表明：2003-2014年门头沟区NPP受地形及人为因素影响，低值区主要沿河流谷地及东部河流出山口处分布，在整体区域上呈现四周高、中间低的特征；自2005年以来年际NPP总体平稳，没有明显的增加或减少趋势；GPP年内波动明显，5-9月GPP/NPP的差异对不同年份间GPP/NPP差异的贡献最大.
