搜索筛选:
搜索耗时2.1207秒,为你在为你在102,285,761篇论文里面共找到 13 篇相符的论文内容
发布年度:
[学位论文] 作者：宁欣然,,
来源：西南交通大学 年份：2019
子句集简化是自动推理领域中命题逻辑可满足性问题求解和一阶逻辑定理证明的重要研究内容,而在子句集简化的过程中,人们必须保证简化的正确性和合理性,因而对命题逻辑和一阶...
[学位论文] 作者：宁欣然,
来源：河北经贸大学 年份：2021
贫困是困扰世界各国的普遍性社会问题,在中国,大体量的人口、大面积的国土、多种类的地貌使得这种困扰表现得尤为突出。尽管自上世纪90年代以来,我国始终保持年均9%以上的经济增长率,被称为“中国奇迹”,但贫困问题仍然是制约中国内需市场扩大、经济稳定增长、......
[学位论文] 作者：宁欣然,
来源：陕西师范大学 年份：2020
通讯作为我国新闻业独有的叙事方式一直受到广大新闻媒体的热烈追逐,内容主要包括刻画典型人物、撰写真实事件、反映主流声音等。人物通讯作为通讯作品的重点,其叙事方式及叙事理念值得深思。中国新闻奖参选作品体现了全国媒体一年报道内容的最优质量,汇聚着全......
[学位论文] 作者：宁欣然,
来源：北京外国语大学 年份：2020
2021年7月7日至10月7日,笔者在人民网海外传播部实习。实习期间,笔者完成了由人民网针对所谓“新疆问题”出品的系列纪录片《新疆:我们的故事》的字幕翻译工作。该纪录片记录了新疆人民的真实生活,展现了新疆蓬勃发展的真实面貌。在笔者翻译完成后,英文版字幕还......
[期刊论文] 作者：宁欣然,
来源：中国中小企业 年份：2021
＜正＞我国企业债券违约现状自2014年3月,"11超日债"成为首单实质性违约的公募债券,从此拉开了债券市场违约的序幕,也标志着"刚性兑付"落下帷幕,债券市场违约开始常态化。对近6年的企业债券违约情况分析发现,如图1-1所示,我国债券违约总体上呈加速爆发势头,其中2018......
[期刊论文] 作者：宁欣然,徐扬,何星星,
来源：西南交通大学学报 年份：2020
对于一阶逻辑定理证明器,子句集化简一直是必不可少的步骤,这将有助于提高后续一阶逻辑定理证明器的证明效率.针对子句冗余性的判断,提出了一种评估子句冗余性的原则:集合蕴...
[期刊论文] 作者：李雯,宁欣然,尹紫红,,
来源：山西建筑 年份：2014
以黔张常铁路为依托，对岩溶地区铁路选线的基本原则进行了分析和总结，提出了岩溶地区铁路选线需遵循线路尽量绕避岩溶区或以最短距离穿越、对岩溶危害要避重就轻、以安全高度跨......
[期刊论文] 作者：宁欣然,林菁,郭潇,,
来源：科技风 年份：2014
通过对宁武高速黄泥巴坪斜坡工程进行稳定性分析,找出其稳定性影响因数,研究分析了斜坡处治的工程措施,为类似工程提供借鉴。...
[期刊论文] 作者：宁欣然,徐扬,陈振颂,
来源：计算机集成制造系统 年份：2020
针对生产线调度、航空器规划和调度等规划问题转化为命题逻辑可满足性问题时带来的子句冗余问题,提出3种子句消去方法对命题逻辑可满足性问题进行子句集化简。通过将一阶逻辑...
[期刊论文] 作者：曹锋, 徐扬, 钟建, 宁欣然,,
来源：计算机科学 年份：2020
一阶逻辑定理证明是人工智能的核心基础,研究一阶逻辑自动定理证明器的相关理论和高效的算法实现具有重要的学术意义。当前一阶逻辑自动定理证明器首先通过子句集预处理约简...
[期刊论文] 作者：曹锋, 徐扬, 钟建, 宁欣然,
来源：计算机科学 年份：2019
...
[期刊论文] 作者：宁欣然, 徐扬, 曹峰, 吴贯峰,,
来源：计算机工程与应用 年份：2019
在基于命题逻辑的可满足性问题(SAT)求解器和基于一阶逻辑的定理证明器上,子句集简化一直是必不可少的步骤,而其中子句消去方法在这些子句集简化方法中是非常重要的组成部分...
[期刊论文] 作者：付慧敏,徐扬,何星星,宁欣然,
来源：计算机工程与科学 年份：2018
基于不同分配策略的云计算任务调度以及任务分配与调度的主要目的,提出了一种新的算法—求解3-SAT问题的基于任务分配与调度的GSAT算法。该算法将3-SAT问题中的每一个变量形...
相关搜索：
