实数GA基因层次种群多样性数学模型 被引量：2

1

作者 赵红 朱杰 +1 位作者 朱洁 李雯睿 《中南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2015年第3期894-900,共7页

针对现有GA种群多样性定义往往针对二进制编码且存在计算量大、适用性差等问题,建立实数编码基因层次种群多样性数学模型。将实数编码中每一维决策变量的取值范围划分为若干等长度的区间段,并借鉴二进制编码中基因位的含义,定义区间段... 针对现有GA种群多样性定义往往针对二进制编码且存在计算量大、适用性差等问题,建立实数编码基因层次种群多样性数学模型。将实数编码中每一维决策变量的取值范围划分为若干等长度的区间段,并借鉴二进制编码中基因位的含义,定义区间段基因位变量的概念,将其看作随机变量并设计图形化方法,描述每一维变量所有编码值在各等长度取值区间的分布情况,以此刻画种群多样性,通过2个测试函数的优化分析,验证模型的有效性;分析区间段基因位的特性,指出其可以作为复杂非线性优化问题中产生初始群体的先验知识使用,从而可以显著提高寻得最优解的概率及收敛速度;指出今后进一步的研究思路和方向。 展开更多

关键词 遗传算法 实数编码 种群多样性 基因层次 区间段基因位 随机变量

在线阅读 下载PDF 职称材料

浅谈大学数学课堂教学

2

作者 赵霞 《南京师大学报（社会科学版）》 CSSCI 北大核心 2014年第A01期469-471,共3页

大学数学的课堂教学多以讲授为主，讲授和板书仍是教师的主要教学行为，课堂上教师与学生的互动、交流较少，学生主动性不够。课堂教学中，宜树立以学生发展为本的教育理念，提高课堂教学效果。

关键词 数学课堂 主动学习 人文教育

在线阅读 下载PDF 职称材料

高等数学课程与教学论

3

作者 赵霞 《成人教育》 2012年第6期120-121,共2页

近些年来,我国高等数学领域进行过多次的教学改革,然而数学课程与教学论结构体系之间的融合问题却不断地凸显出来,数学课程与教学论之间的体系建构引起了学界的广泛关注。

关键词 数学课程 教学论 体系重构

在线阅读 下载PDF 职称材料

融合DDoS威胁过滤与路由优化的SDN通信质量保障策略 被引量：7

4

作者 张家华 杨种学 +2 位作者 王江平 史煜凯 魏亮 《电信科学》 北大核心 2015年第4期121-127,共7页

提出了将DDo S威胁识别与路由优化有机结合的软件定义网络(SDN)通信质量保障策略,即在DDo S攻击造成部分网络链路拥塞的情况下,对异常数据分组进行识别过滤,同时生成最优路径,以保障网络通信质量。首先,设计了一种SDN架构下的分布式入... 提出了将DDo S威胁识别与路由优化有机结合的软件定义网络(SDN)通信质量保障策略,即在DDo S攻击造成部分网络链路拥塞的情况下,对异常数据分组进行识别过滤,同时生成最优路径,以保障网络通信质量。首先,设计了一种SDN架构下的分布式入侵检测系统,实现了对欺骗报文、异常报文以及破坏报文3类DDo S威胁的检测识别和过滤处理。其次,实现了一种最优路径的生成算法。实验测试结果表明,部署了通信质量保障策略的SDN可有效识别并滤除DDo S攻击数据分组,且处理过程中网络平均传输时延无激增。 展开更多

关键词 软件定义网络 网络安全 路由优化 分布式拒绝服务攻击 威胁过滤

在线阅读 下载PDF 职称材料

德州市郊蔬菜中重金属的含量检测及对策研究 被引量：17

5

作者 刘柯 何君 +1 位作者 张瑞斌 赵言文 《安徽农业科学》 CAS 北大核心 2009年第1期346-348,共3页

[目的]检测市郊蔬菜中重金属的含量。[方法]用微波消解-火焰原子吸收光谱法对德州市郊几个蔬菜基地的蔬菜进行重金属含量检测,根据结果分析并讨论蔬菜中重金属的污染状况及有效解决途径。[结果]结果表明,在检测的8种蔬菜中,锌的平均含... [目的]检测市郊蔬菜中重金属的含量。[方法]用微波消解-火焰原子吸收光谱法对德州市郊几个蔬菜基地的蔬菜进行重金属含量检测,根据结果分析并讨论蔬菜中重金属的污染状况及有效解决途径。[结果]结果表明,在检测的8种蔬菜中,锌的平均含量低于国家食品卫生标准的允许,合格率为100%;叶类蔬菜比茄果类蔬菜更能富集铜、铅和镉。[结论]该研究为污染蔬菜的检测提供理论依据。 展开更多

关键词 蔬菜 金属元素 微波消解-火焰原子吸收光谱法 德州

在线阅读 下载PDF 职称材料

模态顺序图uMSD的形式语义 被引量：6

6

作者 李雯睿 王志坚 张鹏程 《软件学报》 EI CSCD 北大核心 2011年第4期659-675,共17页

UML 2.0顺序图已广泛应用于业界,但其语义模糊,以至于不能有效地加以使用.模态顺序图(modal sequence diagram,简称MSD)是对UML 2.0顺序图的模态扩展,区分了强制场景(用universal MSD表示,简称uMSD)和可能场景(用existential MSD表示,简... UML 2.0顺序图已广泛应用于业界,但其语义模糊,以至于不能有效地加以使用.模态顺序图(modal sequence diagram,简称MSD)是对UML 2.0顺序图的模态扩展,区分了强制场景(用universal MSD表示,简称uMSD)和可能场景(用existential MSD表示,简称eMSD).其中,uMSD具有较强的表达能力,能够用于表示并发系统的时态性质,故主要工作围绕uMSD展开.为了使uMSD用于形式化分析、验证和监控,给出基于自动机的uMSD语义解释,并给出各种操作符的算法,用性质规约模式度量uMSD的表达能力.最后进行了实例研究,并讨论了其应用前景. 展开更多

关键词 模态顺序图 弱交换Büchi自动机 性质规约模式

在线阅读 下载PDF 职称材料

具有强对称自同态的环及其扩张 被引量：3

7

作者 王尧 薛岭 任艳丽 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2014年第5期861-868,共8页

设α为环R的自同态,如果对任意的a,b,c∈R,由abα(c)=0可推出acb=0,则称R是强右α-对称环.研究强α-对称环与对称环、强α-可逆环、强α-半交换环等相关环的关系及强α-对称环的扩张性质,证明了:1)环R是强α-对称环当且仅当R是对称环且... 设α为环R的自同态,如果对任意的a,b,c∈R,由abα(c)=0可推出acb=0,则称R是强右α-对称环.研究强α-对称环与对称环、强α-可逆环、强α-半交换环等相关环的关系及强α-对称环的扩张性质,证明了:1)环R是强α-对称环当且仅当R是对称环且是α-compatible环;2)设R是约化环,则R是强α-对称环当且仅当R[x;α]是强α-对称环;3)设α是右Ore环R的自同构,则环R是强α-对称环当且仅当Q(R)是强α-对称环. 展开更多

关键词 强α-对称环 强α-可逆环 强α-半交换环 α-compatible环 经典右商环 斜多项式环

在线阅读 下载PDF 职称材料

基于Hadoop的三队列作业调度算法 被引量：3

8

作者 朱洁 赵红 李雯睿 《计算机应用》 CSCD 北大核心 2014年第11期3227-3230,3240,共5页

Hadoop集群单队列作业调度会产生短作业等待、资源利用率低的问题;采用多队列调度可兼顾公平、提高执行效率,但会带来手工配置参数、资源互占、算法复杂等问题。针对上述问题,提出三队列作业调度算法,利用区分作业类型、动态调整作业优... Hadoop集群单队列作业调度会产生短作业等待、资源利用率低的问题;采用多队列调度可兼顾公平、提高执行效率,但会带来手工配置参数、资源互占、算法复杂等问题。针对上述问题,提出三队列作业调度算法,利用区分作业类型、动态调整作业优先级、配置共享资源池、作业抢占等设计,达到平衡作业需求、简化一般作业调度流程、提升并行执行能力的目的。对短作业占比高,各作业占比均衡以及一般作业为主,偶尔出现长、短作业三种情况与先进先出(FIFO)算法进行了对比实验,结果三队列算法的运行时间均比FIFO算法要少。实验结果表明,在短作业聚集时,三队列算法的执行效率提升并不显著;但当各种作业并存且分布均衡时,效果很明显,这符合了算法设计时短作业优先、一般作业简化流程、兼顾长作业的初衷,提高了作业整体执行效率。 展开更多

关键词 HADOOP 作业调度 三队列 共享资源池 作业抢占

在线阅读 下载PDF 职称材料

一种需求驱动的服务行为适配方法 被引量：2

9

作者 范大娟 黄志球 +2 位作者 肖芳雄 彭焕峰 李雯睿 《四川大学学报（工程科学版）》 EI CAS CSCD 北大核心 2014年第2期95-104,共10页

现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效。针对此问题,在适配器生成过程中考虑用... 现有服务行为适配方法通常侧重于如何消除服务之间行为上的不相容而往往没有考虑用户的需求,因而需要对基于适配器的服务组合进行需求的可满足性验证,这使得基于适配器的服务组合过程复杂且低效。针对此问题,在适配器生成过程中考虑用户的需求,提出一种需求驱动的服务行为适配方法,并给出用于描述用户需求的形式模型的语法及语义。证明了利用本文方法所生成的适配器不仅可以消除服务之间行为上的不相容,并且保证基于适配器的服务组合的行为满足需求给出的时序约束,避免了对基于适配器的服务组合进行验证。通过一个贯穿全文的实例分析表明了方法的可行性和有效性。 展开更多

关键词 WEB服务 FSM模型 行为模型 适配器 用户需求

在线阅读 下载PDF 职称材料

具有自反条件的环自同态 被引量：2

10

作者 王尧 沈青 任艳丽 《东北师大学报（自然科学版）》 CAS CSCD 北大核心 2013年第3期9-14,共6页

研究了具有自反条件的环自同态,拓展了自反环的概念,引入α-rf环,讨论其与相关环的关系.证明了若R是半素的α-rf环,则R[x]/〈xn〉是珔α-rf环,其中〈xn〉是由xn生成的理想;对于右Ore环R和环R的自同构α,若R是α-rf环,则R的经典右商环Q(R... 研究了具有自反条件的环自同态,拓展了自反环的概念,引入α-rf环,讨论其与相关环的关系.证明了若R是半素的α-rf环,则R[x]/〈xn〉是珔α-rf环,其中〈xn〉是由xn生成的理想;对于右Ore环R和环R的自同构α,若R是α-rf环,则R的经典右商环Q(R)是珔α-rf环.推广了Kwak和Lcc的一些研究结果. 展开更多

关键词 自反环 α-rf环 平凡扩张 Dorroh扩张 多项式环 经典右商环

在线阅读 下载PDF 职称材料

虚拟样机工程中的项目资源均衡优化研究 被引量：3

11

作者 田丰春 杨种学 杨宁 《计算机工程与科学》 CSCD 北大核心 2011年第12期184-188,共5页

虚拟样机工程的复杂性不断增加,需有科学的项目管理技术来实现高效组织与管理。在工程项目资源均衡优化的调整中,通常以资源方差来衡量资源的均衡性,方差越小资源均衡性就越好,但其调整过程通常要经过一系列繁琐的推断过程。本文引入遗... 虚拟样机工程的复杂性不断增加,需有科学的项目管理技术来实现高效组织与管理。在工程项目资源均衡优化的调整中,通常以资源方差来衡量资源的均衡性,方差越小资源均衡性就越好,但其调整过程通常要经过一系列繁琐的推断过程。本文引入遗传算法,针对其中的"工期固定—资源均衡"问题,同时考虑作业之间的相关性限制约束,建立模型并求解;在多种资源优化中,根据每种资源对其资源均衡程度的重要性,给定权系数,用多目标优化中的线性加权系数法,将多种资源优化问题转化为按单种资源优化方法来求解,有效地解决了虚拟样机工程中的项目资源均衡优化问题。 展开更多

关键词 虚拟样机工程 项目管理 资源优化 遗传算法

在线阅读 下载PDF 职称材料

具有半交换自同态的环 被引量：2

12

作者 王尧 沈青 任艳丽 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2013年第6期997-1003,共7页

通过引入半交换自同态的概念,研究具有半交换自同态的环(简称α-sc环).对任何a,b∈R,如果α(a)b=0,有aRα(b)=0,则环R的一个自同态α称为半交换的.给出α-sc环与相关环的关系及α-sc环的一些扩张性质,证明了:1)设α是约化环R的自同态,则... 通过引入半交换自同态的概念,研究具有半交换自同态的环(简称α-sc环).对任何a,b∈R,如果α(a)b=0,有aRα(b)=0,则环R的一个自同态α称为半交换的.给出α-sc环与相关环的关系及α-sc环的一些扩张性质,证明了:1)设α是约化环R的自同态,则R是α-sc环当且仅当R[x]/〈xn〉是α珔-sc环,其中〈xn〉是由xn生成的理想,n为任何正整数;2)设α是环R的自同构,R是对称的右Ore环,则R是α-sc环当且仅当R的经典右商环Q(R)是α珔-sc环. 展开更多

关键词 半交换自同态 α-sc环 α-shifting环 环的扩张

在线阅读 下载PDF 职称材料

李亚普诺夫方程AX+XB=C的简洁解及其应用 被引量：4

13

作者 尤兴华 马圣容 《南京师大学报（自然科学版）》 CAS CSCD 北大核心 2011年第3期44-49,共6页

首先给出了4种情况下李亚普诺夫方程AX+XB=C解的简洁表达式,然后,通过前述结论得出了矩阵方程AX+YB=E的最小二乘解以及极小范数最小二乘解的解析式,并且,通过相应数值例子验证了相关结论.

关键词 李亚普诺夫方程 约当标准型 最小二乘解 极小范数最小二乘解

在线阅读 下载PDF 职称材料

一种有监督的稀疏保持近邻嵌入算法 被引量：3

14

作者 郑豪 金忠 《计算机工程》 CAS CSCD 北大核心 2011年第16期155-157,共3页

为充分利用样本的类别信息,提出一种有监督的稀疏保持近邻嵌入算法(SSNPE)。该算法结合稀疏表示和保持近邻的思想,根据先验类标签信息保持局部邻域的固有几何关系。采用最小近邻分类器估算识别率,测试结果表明,在姿态、光照和表情变化... 为充分利用样本的类别信息,提出一种有监督的稀疏保持近邻嵌入算法(SSNPE)。该算法结合稀疏表示和保持近邻的思想,根据先验类标签信息保持局部邻域的固有几何关系。采用最小近邻分类器估算识别率,测试结果表明,在姿态、光照和表情变化的情况下,SSNPE都具有较高的识别率。 展开更多

关键词 人脸识别 稀疏表示 保持近邻嵌入 有监督 稀疏重构权值

在线阅读 下载PDF 职称材料

江苏省水土流失综合治理研究及效益分析 被引量：2

15

作者 张瑞斌 何君 +2 位作者 王艳艳 陈晞 赵言文 《江苏农业科学》 CSCD 北大核心 2009年第3期421-423,共3页

简述江苏省水土流失现状及危害,分丘陵山区、平原沙土区、生产建设项目3个方面对水土流失综合治理的措施进行了分析,并对措施实施的效益进行了分析。

关键词 江苏省 水土流失 综合治理 效益分析

在线阅读 下载PDF 职称材料

面向时移电视类业务的组合测试实践研究 被引量：2

16

作者 王燕 聂长海 张少兵 《计算机工程与科学》 CSCD 北大核心 2015年第5期958-966,共9页

时移电视是三网融合的典型多媒体业务之一,具有功能多、操作复杂等特点。由于已有的测试方法尚未充分考虑系统中各参数的相互作用,因而较难发现系统某些功能缺陷和故障。以自适应组合测试方法学为基础,将其应用于机顶盒时移业务的测试... 时移电视是三网融合的典型多媒体业务之一,具有功能多、操作复杂等特点。由于已有的测试方法尚未充分考虑系统中各参数的相互作用,因而较难发现系统某些功能缺陷和故障。以自适应组合测试方法学为基础,将其应用于机顶盒时移业务的测试。通过建立实用的交互式电视业务组合测试模型,设计测试用例并进行测试,最后对发现的故障进行定位。该实践研究为已有的组合测试理论和方法提供实证的同时,也发现了机顶盒时移业务存在的问题。 展开更多

关键词 时移电视业务 自适应组合测试 测试模型 故障定位

在线阅读 下载PDF 职称材料

平面图3可着色的充分条件 被引量：3

17

作者 赵春红 董伟 《南京师大学报（自然科学版）》 CAS CSCD 北大核心 2011年第3期13-18,共6页

证明了(1)每一个不含4-6圈,也不含距离小于2的三角形对,且每个7-圈最多与一个三面相邻的平面图是3-可着色的;(2)每一个不含4-圈和5-圈,且每个6-圈或7-圈不与长度小于8的圈有公共边的平面图是3-可着色的.

关键词 平面图 圈 着色

在线阅读 下载PDF 职称材料

基于uMSD的Web服务组合验证方法研究 被引量：1

18

作者 王志坚 李雯睿 +1 位作者 杨种学 张鹏程 《计算机科学》 CSCD 北大核心 2011年第9期119-125,共7页

手工分析组合服务相当困难和耗时,为此提出了一种基于uMSD的Web服务组合的模型检验方法。如何简单和直观地表示Web服务组合的时态性质是该方法的关键问题。鉴于uMSD在简单性和表达力之间找到了一个平衡点,定义了uMSD的形式语法和语义。... 手工分析组合服务相当困难和耗时,为此提出了一种基于uMSD的Web服务组合的模型检验方法。如何简单和直观地表示Web服务组合的时态性质是该方法的关键问题。鉴于uMSD在简单性和表达力之间找到了一个平衡点,定义了uMSD的形式语法和语义。以Web服务组合OJA为实例,使用uMSD来图形化地表示组合服务的时态性质,展示了uMSD的可行性。实验分析表明,该验证方法能够有效地检测组合服务中的逻辑错误。 展开更多

关键词 模态顺序图 WEB服务组合 模型检验

在线阅读 下载PDF 职称材料

一个解大规模无约束优化问题的全局梯度法(英文) 被引量：2

19

作者 周群艳 陈俊 《应用数学》 CSCD 北大核心 2012年第1期202-208,共7页

本文提出一种新的解大规模无约束优化问题的全局收敛的梯度法.新算法沿着负梯度方向选择步长,而初始步长根据目标函数的海赛矩阵的近似数量矩阵来确定.理论上证明了新算法产生的点列的每个聚点都是稳定的,数值试验表明新算法是可靠且有... 本文提出一种新的解大规模无约束优化问题的全局收敛的梯度法.新算法沿着负梯度方向选择步长,而初始步长根据目标函数的海赛矩阵的近似数量矩阵来确定.理论上证明了新算法产生的点列的每个聚点都是稳定的,数值试验表明新算法是可靠且有效的. 展开更多

关键词 大规模无约束优化 梯度方法 非单调线搜索

在线阅读 下载PDF 职称材料

基于角点检测与SIFT算法的快速匹配方法 被引量：5

20

作者 陈长伟 《计算机应用与软件》 CSCD 北大核心 2014年第7期214-216,220,共4页

针对复杂图像的快速匹配问题,提出一种新的基于Shi-Tomasi角点检测与SIFT算法的高精度快速匹配方法。该方法充分利用图像的角点特征、灰度和位置信息,采用SIFT算法中的特征描述方法进行图像特征描述,并用Ransac算法对匹配点进行校正和... 针对复杂图像的快速匹配问题,提出一种新的基于Shi-Tomasi角点检测与SIFT算法的高精度快速匹配方法。该方法充分利用图像的角点特征、灰度和位置信息,采用SIFT算法中的特征描述方法进行图像特征描述,并用Ransac算法对匹配点进行校正和消除错误匹配,提高计算速度和可靠性。实验结果验证了该算法对于存在较大色差、形变等图像可实现精确快速匹配,其精度和速度都优于传统的匹配算法。 展开更多

关键词 角点检测 特征提取 特征匹配 RANSAC算法

在线阅读 下载PDF 职称材料