检索结果-南通市图书馆

北京大学学报（自然科学版） 2001年第5期37卷 623-629页

作者：谢惠扬王捍贫北京林业大学基础科学与信息工程学院北京100083 北京大学计算机科学与技术系北京100871

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。对有限的线性序弱可补格 ,讨论了关于L(Q)模型的初等子模型的一些性质 ,如强升和强降L S T定理。

关键词：广义量词格值模型论初等扩充初等子模型完备弱可补格线性序弱可补格

基于最小点覆盖和反馈点集的社交网络影响最大化算法

在线全文

学校读者我要写书评

暂无评论

电子与信息学报 2016年第4期38卷 795-802页

作者：许宇光潘惊治谢惠扬北京大学信息科学技术学院北京100871 北京林业大学理学院北京100083

社交网络中的影响最大化问题是指在特定的传播模型下,如何寻找k个最具影响力的节点使得在该模型下社交网络中被影响的节点最多,信息传播的范围最广。该问题是一个优化问题,并且已经被证明是NP-难的。考虑到图的最小点覆盖和反馈点集中... 详细信息

社交网络中的影响最大化问题是指在特定的传播模型下,如何寻找k个最具影响力的节点使得在该模型下社交网络中被影响的节点最多,信息传播的范围最广。该问题是一个优化问题,并且已经被证明是NP-难的。考虑到图的最小点覆盖和反馈点集中的顶点对图的连通性影响较大,该文提出一种基于最小点覆盖和反馈点集的社交网络影响最大化算法(Minimum Vertex Covering and Feedback Vertex Set,MVCFVS),并给出了具体的仿真实验和分析。实验结果表明,与最新的算法比较,该算法得到的节点集在多种模型下都具有优异的传播效果,例如在独立级联模型和加权级联模型中超过当前最好的算法,并且还具有更快的收敛速度。

关键词：社交网络影响最大化传播模型最小点覆盖反馈点集

在线全文

学校读者我要写书评

暂无评论

(Q)格值模型的省略型定理

北京大学学报（自然科学版） 1999年第3期35卷 409-413页

作者：王捍贫谢惠扬北京大学计算机系北京林业大学基础科学与信息工程学院

将带广义量词Ｑ的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。

关键词：广义量词格值模型论省略型定理格值逻辑

在线全文

学校读者我要写书评

暂无评论

基于个体稳定度博弈的动态社区发现算法研究

电子与信息学报 2017年第4期39卷 763-769页

作者：许宇光蒋飞朱恩强潘惊治谢惠扬北京大学信息科学技术学院北京100871 北京林业大学理学院北京100083

在动态网络中发现社区结构是一个复杂而又有重要意义的课题。该文针对动态网络中的社区发现问题,提出一种基于个体稳定度的博弈论方法(PDG)。在该博弈方法中,网络中的每个节点都是一个独立个体。个体会根据网络中的其他个体的状态,使用... 详细信息

在动态网络中发现社区结构是一个复杂而又有重要意义的课题。该文针对动态网络中的社区发现问题,提出一种基于个体稳定度的博弈论方法(PDG)。在该博弈方法中,网络中的每个节点都是一个独立个体。个体会根据网络中的其他个体的状态,使用最佳应对策略进行社区的选择。针对网络演化过程中的社区更新问题,该文提出了格局检测(Configuration checking)等优化策略,从而大大提高了演化网络的社区发现的效率。最后,在真实演化网络的实验中,与最新的静态和动态社区发现方法进行对比,验证了PDG方法的效率和效果。

关键词：动态社区发现稳定度模块度博弈论格局检测

在线全文

学校读者我要写书评

暂无评论

基于拓扑空间的C字符串函数缺陷分析

合肥工业大学学报（自然科学版） 2020年第1期43卷 52-56页

作者：龚萌晓谢惠扬北京林业大学理学院

运用点集拓扑学知识分析C语言在语法方面对变量不做边界长度检查存在的缺陷是一种新的方法。文章基于拓扑空间连续性对C语言字符串函数的缺陷进行分析,根据点集拓扑学定义证明了以字符数组存储的字符为元素所构成的集合在给定的子集族... 详细信息

运用点集拓扑学知识分析C语言在语法方面对变量不做边界长度检查存在的缺陷是一种新的方法。文章基于拓扑空间连续性对C语言字符串函数的缺陷进行分析,根据点集拓扑学定义证明了以字符数组存储的字符为元素所构成的集合在给定的子集族下是一个拓扑空间;将字符串函数抽象定义为一个映射,在代码没有缺陷的情况下证明该映射是一个连续映射,在不能够保证定义映射是连续映射的情况下说明代码是存在缺陷的。通过拓扑空间的连续性可以判断代码存在缺陷,从而促进编程人员改进代码,编写更好的编程语言。

关键词： C语言缺陷字符串函数拓扑空间连续映射

在线全文

学校读者我要写书评

暂无评论

非功能需求满足性的建模及其难解性

合肥工业大学学报（自然科学版） 2017年第6期40卷 752-756页

作者：李红杰谢惠扬北京林业大学理学院北京100083

非功能性需求(non-functional requirement,NFR)是当前软件工程研究的一个重要课题,是衡量一个软件是否达到用户满意度的重要指标,而软目标相互依存图是描述非功能性需求的重要方法之一。文章研究了根据相互依存图实现软目标最优化的问... 详细信息

非功能性需求(non-functional requirement,NFR)是当前软件工程研究的一个重要课题,是衡量一个软件是否达到用户满意度的重要指标,而软目标相互依存图是描述非功能性需求的重要方法之一。文章研究了根据相互依存图实现软目标最优化的问题,根据软目标的不同,定义了2种图论模型作为非功能需求的理论模型,并给出了相应的计算复杂性。该文模型可以对非功能性需求进行评价,所提出的算法可以为用户(开发者)找出最优的非功能需求选择方案,从而在软件开发过程中为非功能需求分析提供可靠而有效的方法。

关键词：非功能需求(NFRs)框架 NP完全性软目标局部最优时间复杂度