公共文化服务平台

何星星: 作品数：37 被引量：43H指数：4; 供职机构：西南交通大学数学学院更多>>; 发文基金：国家自然科学基金中央高校基本科研业务费专项资金教育部人文社会科学研究基金更多>>; 相关领域：自动化与计算机技术理学航空宇航科学技术电子电信更多>>

合作作者

一阶逻辑中的扩展子句消去原则: 2020年; 对于一阶逻辑定理证明器,子句集化简一直是必不可少的步骤,这将有助于提高后续一阶逻辑定理证明器的证明效率.针对子句冗余性的判断,提出了一种评估子句冗余性的原则:集合蕴涵模归结原则.并且证明了该原则在不带等词一阶逻辑上的可靠性,根据该原则删除子句,不会影响原始子句集的不可满足性或者可满足性.此外,依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去(set resolution subsumption,SRSE)方法和集合归结不对称恒真消去(set resolution asymmetric tautology elimination,SRATE)方法,并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性.最后在理论上比较了SRSE方法和归结包含消去(sesolution subsumption elimination,RSE)方法以及SRATE方法和归结不对称恒真(sesolution asymmetric tautology elimination,RATE)方法之间的有效性,结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.; 宁欣然徐扬何星星; 关键词：一阶逻辑

基于图约简表示与图神经网络的前提选择方法: 本发明涉及人工智能技术领域，涉及一种基于图约简表示与图神经网络的前提选择方法，包括以下步骤：步骤一：通过判断并删除连续重复的量词得到简化的一阶逻辑公式图；步骤二：基于简化的逻辑公式图，提出一种具有注意力机制的项游走图神经...; 何星星兰咏琪李志辉杨晗周正春李天瑞杨洋张晓博

基于业务效能的信息系统安全态势指标被引量：8: 2016年; 为获取系统运行时安全态势的完整性,在现有的信息安全态势评估指标体系中引入了业务效能指标,提出了一种混合指标的信息系统安全态势评估方法。首先,基于Q·S模型构建了系统业务效能指标体系,其中包含实数型、区间型和语言型数据,并通过BECM方法获得系统的业务效能指数;其次,针对系统的安全风险态势、稳定性态势等属性导致系统整体安全态势不确定性的问题应用格蕴涵代数的语言值综合评价模型,对该文构建的指标体系进行评价,得到了完整的信息系统安全态势;最后,通过示例证明提出的信息系统安全态势评估方法具有直观可信的态势评估结果,有利于决策分析。; 王丹琛徐扬李斌何星星

一阶逻辑中基于扩展三角形的矛盾体分离演绎推理方法: 本发明公开了一阶逻辑中基于扩展三角形的矛盾体分离演绎推理方法，该方法依次通过：对于一阶逻辑中的子句集构造扩展三角形标准矛盾体，形成标准矛盾体分离式，根据标准矛盾体分离式判断子句集的不可满足性；如果能够判断子句集不可满足，...; 徐扬陈树伟刘军钟小梅何星星; 文献传递

一种信道估计方法、装置、设备及可读存储介质: 本发明涉及OFDM系统的信道估计技术领域，提供一种信道估计方法、装置、设备及可读存储介质，所述方法包括获取频域序列信息；对所述频域序列信息进行2N点傅里叶逆变换，得到第一时域序列信息；对所述第一时域序列信息进行时域处理，...; 周正春顾执王勇杨洋何星星

基于任务分配与调度的GSAT算法求解3-SAT问题被引量：1: 2018年; 基于不同分配策略的云计算任务调度以及任务分配与调度的主要目的,提出了一种新的算法—求解3-SAT问题的基于任务分配与调度的GSAT算法。该算法将3-SAT问题中的每一个变量形成一个任务,在GSAT算法的基础上,引入任务分配与调度指导贪心搜索;同时,在保留原有贪心搜索的前提下,根据任务分配与调度的思想和3-SAT问题的特点,设计了两种新的策略—分配策略和调度策略共同完成整个贪心搜索过程。以标准的SATLAB库中变量个数从20~250的3 700个不同规模的标准Uniform Random-3-SAT问题对新的算法的性能进行了合理的测试,并与高效和普通性能改进的GSAT算法的结果作了比较,结果表明,该算法具有更高的成功率和更少的翻转次数。; 付慧敏付慧敏徐扬何星星; 关键词：任务分配与调度调度策略

命题逻辑中一种矛盾体生成新方法: 2023年; 人工智能是用计算机来模拟人的某些思维过程和智能行为的学科。自动推理中的归结原理是一种简洁、可靠且完备的推理规则。矛盾体的动态多子句协同演绎理论不仅是归结原理的重要延拓,而且具有较高的推理演绎效率。由于矛盾体的结构复杂、生成策略较少,因此在矛盾体的动态演绎可靠性和完备性的基础上,提出复合2个或多个矛盾体的部分子句的不同策略,为矛盾体的构造提供了一种有效的方法。; 黎兴玉何星星马雪李莹芳; 关键词：命题逻辑矛盾体

基于命题逻辑的完全标准矛盾体及最小标准矛盾体被引量：2: 2020年; 归结是自动推理中简洁、可靠且完备的推理规则。标准矛盾体分离规则是归结原理的一个重要延拓。基于命题逻辑的标准矛盾体分离演绎推理,对标准矛盾体的性质进行进一步研究,提出了两类特殊标准矛盾体——完全标准矛盾体和最小标准矛盾体,得到了相应的性质和定理。这些性质定理主要描述了:1)各类标准矛盾体的本质特征;2)完全标准矛盾体中添加子句后另添加文字的策略及子句非扩充性的变化规律;3)完全标准矛盾体添加子句及相关文字后,其最小标准矛盾体呈现出的规律;4)最小标准矛盾体可扩充为完全标准矛盾体。这些结论使完全标准矛盾体与最小标准矛盾体能通过添加新子句或相关文字完成互相转换。这一性质为标准矛盾体演绎理论进一步应用于计算机求解提供了一定的理论支撑。; 唐雷明白沐尘何星星黎兴玉; 关键词：命题逻辑

四值非链格值命题逻辑系统L_4P(X)的语义归结方法: 2011年; 为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。; 张家锋徐扬何星星; 关键词：格蕴涵代数

一种基于加权决策变量决策层的分支策略被引量：1: 2019年; 为了提高CDCL求解器的求解效率,针对可满足性(SAT)问题算法中决策变量的选择问题,提出了一种基于加权决策变量决策层的分支策略。这个新策略的主要思想是:基于布尔约束传播(BCP)过程中的回溯以及重启机制,首先考虑变量作为决策变量的次数以及所在决策层;其次,由于被选择的次数以及所在决策层不同,即占权重不同,对此进行加权;最后,结合冲突分析过程,对不同的变量给予不同的奖励得分。将不同变量在新策略与VSIDS和EVIDS策略中的得分进行对比,采用SATLIB(SAT Little Information Bank)中的大量例子进行实验测试,结果表明,新策略能够减少冲突次数以及求解时间(cpu),提高了求解器的求解效率。; 王萌何星星; 关键词：决策层加权

何星星

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

何星星

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈