一类带有成比例收获和禁渔期的单种群渔业模型

构建了一类带有禁渔期的单种群渔业模型,讨论了周期解的存在性、唯一性和稳定性,指出在一个周期内,存在最优的禁渔期使得种群数量最大且渔获量最大.最后利用数值模拟验证了理论结果.     

Euler生成子图边数的一个定理

证明了设G=(V,E)是2-边连通的简单图,| V |=n,δ(G)是G的最小度,若δ(G)≥max{4,n-4/5}时,G存在Euler生成子图H,使得| E(H)|/|E(G)|≥2/3;即此时Catlin的2/3--猜想成立.     

哈密尔顿图的一类新的局部化充分条件

设L为图G的一个导出子图 ,若有 x ,y∈V(L) ,只要dL(x ,y) =2就有max{dG(x) ,dG(y) }≥ |G| / 2 ,则称L有局部Fan性质 .该文证明了以下结果 .G是一个 2_连通的 {K1.3 ,B1} -free图 .对任意一个整数s≥ 0 ,若G的任一个导出子图L∈ {Bi,0≤i≤s;Zs+2 }均有局部Fan性质 ,则G是Hamiltonian图 ,除非s=2且G H9.由此得到每个 2_连通的 {K1.3 ,Bi,0≤i≤s;Zs+2 }_free图除s =2且该图同构于H9外 ,均为Hamiltonian图 .     

图索引技术研究综述

随着信息技术和网络技术的发展,图作为一种通用的数据结构被用于不同学科建模各种实体以及实体之间的关系,,图中各实体间隐藏了很多有价值的信息,为了挖掘图中隐藏的这些信息,图的相关研究成为了各领域的研究热点,但在大多数图研究中最关键的问题是如何有效地进行图查询。在图数据库中存在着两种图数据集：单图和图集。针对单图或图集进行图查询是相当费时的,为了加快图查询速度,图索引成为各种图查询算法的研究重点,而图索引的焦点在于利用图索引的结构模式来最小化搜索空间的大小。本文将图查询归为两种：子图查询和超图查询。在每种查询中,依据图索引建立时选择的图结构特性进行了细分,主要集中于图索引的构建思想,并对典型的索引方法进行了详细的叙述。针对不同的图索引分析了各自的优缺点,并比较了各种索引方法的特点,最后,总结并探讨了图索引的发展趋势。     

频繁闭图挖掘算法在中医方剂中的应用

通过分析传统中医药物间的影响关系和图结构数据节点间关系的共通性, 将中医方剂学中处方的药物联系按规则转换为图结构数据, 采用频繁闭图挖掘算法CloseGraph对图结构化的处方数据进行操作, 得到图结构中代表具有特定功能的频繁闭图, 再转换解释获得各中医方剂中对特定病症起决定疗效的核心药物组合及组合形式. 结果表明, 该方法可行、 有效, 成功地将图挖掘策略引入了中医方剂研究领域.     

基于区域子图的实体相关性度量

以实体关系图为研究背景,提出了基于区域子图的实体相关性度量方法.该方法从实体的邻居节点出发,通过定义实体的区域子图,对实体的语义上下文环境进行统一描述.为了快速有效地实现不同区域子图间的相似性计算,将区域子图转化为近似语义树结构,并利用树核函数,以计算语义树中相同子结构数量的方法对实体的相关性进行计算.最后,根据实验结果,对该方法的性能进行评估,结果显示该方法具有较好的准确率和运行效率.     

我国引渡活动的阻碍与完善——以赖昌星遣返案为视角

现代引渡制度是现代国际刑事司法合作中的一项重要制度,其具有司法性与行政性相统一的特点。各国通过国际引渡合作,严厉打击外逃犯罪分子,维护公平正义。赖昌星潜逃至加拿大十余年,最终被成功遣返回国,接受我国法律的审判。通过对赖昌星遣返案的分析,探讨了我国在进行引渡及类似活动中的阻碍,包括缺乏双边引渡条约的极大制约和死刑不引渡原则与我国保留死刑的司法实践之间的冲突等问题。我国要顺利开展引渡活动,仍要积极促进双边引渡条约的订立,妥善处理死刑不引渡原则问题,并增进对其他国家司法制度的了解。     

图中相互独立的4-圈和6-图

设k是一个正整数,G是一个顶点数为｜G｜=4k的图．若δ（G）≥2k＋4,则图G有一个生成子图包含k-3个4-圈和2个6-圈,使得这k-1个圈是相互独立的．     

TT-′free图的最长圈

本文提出了两类新的禁用子图T和T′.一个图G称为TT-′free图,若G中不含同构于T或T′的导出子图,它是比无爪图更广的一个图类.G的一个圈C称为控制圈(简记为D-圈),若E(G-C)=Φ.本文证明了:顶点数不小于3的连通、局部连通TT-′free图G最长圈为D-圈,且G是局部泛圈的.     

非线性流水线调度的一个性质的证明

非线性流水线若能被一个恒定启动循环(l)调度,则l不小于流水线通过次数最高的功能段的通过次数.