期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
re-Horn子句集的Horn化及可满足性判定方法
1
作者
安世勇
徐扬
《济南大学学报（自然科学版）》
CAS
北大核心
2015年第5期346-349,共4页
在命题逻辑中给出将re-Horn子句转化成Horn子句的条件与方法,用同态的方法证明转化前后2个子句集的可满足性或不可满足性的一致性,给出re-Horn子句集的可满足性的判定方法。
关键词
命题逻辑
HORN子句
子句集
可满足性
同态
下载PDF
职称材料
二元可满足性问题有解的充要条件
被引量：
2
2
作者
吴向军
余丰人
《软件学报》
EI
CSCD
北大核心
1996年第1期51-58,共8页
二元可满足性问题是一个多项式可解的问题．本文首先证明了该问题有解的充要条件，然后给出了判定该问题的一个新的多项式算法．如果判定某个表达式是可满足的话，那么求解算法不需要任何回溯就能准确地给出它的每个解．本文试图通过对...
二元可满足性问题是一个多项式可解的问题．本文首先证明了该问题有解的充要条件，然后给出了判定该问题的一个新的多项式算法．如果判定某个表达式是可满足的话，那么求解算法不需要任何回溯就能准确地给出它的每个解．本文试图通过对二元可满足性的研究为研究其它问题提供一点启示．
展开更多
关键词
多项式
二元可满足性
解
充要条件
下载PDF
职称材料
双重股权架构的域外经验与中国应对
被引量：
21
3
作者
张巍
《财经法学》
2020年第1期64-84,共21页
双重股权架构在美国已经有数十年的实践历史,近年来,亚洲各个冀望迅速推动本地高新企业成长的法域纷纷改变其既往立场,吸纳同股不同权公司上市。2018年,中国香港和新加坡率先在本地区实现了这种规则转变,而中国新设立的科创板也已经允...
双重股权架构在美国已经有数十年的实践历史,近年来,亚洲各个冀望迅速推动本地高新企业成长的法域纷纷改变其既往立场,吸纳同股不同权公司上市。2018年,中国香港和新加坡率先在本地区实现了这种规则转变,而中国新设立的科创板也已经允许上市公司采用双重股权架构。中国引进双重股权结构应当谨慎行事,如需引进可以以中国香港规则作为基础,摒弃其适于寻租之内容,并增加定期日落规则。
展开更多
关键词
双重股权架构
同股不同权
股东短视主义
代理人成本
日落条款
下载PDF
职称材料
一个用于一阶逻辑自动定理证明的新算法
4
作者
陈勇浩
《计算机工程与科学》
CSCD
1993年第3期1-9,共9页
本文提出一个用于一阶逻辑(FOPC)自动定理证明的并行算法,它基于分治的思想,把原问题子句集S划分成两个独立的子句集S1和S2,并通过并行地证明S_1和S_2的不可满足性。本文首先讨论了子句集的划分问题,引入了导出子句集及划分因子的概念;...
本文提出一个用于一阶逻辑(FOPC)自动定理证明的并行算法,它基于分治的思想,把原问题子句集S划分成两个独立的子句集S1和S2,并通过并行地证明S_1和S_2的不可满足性。本文首先讨论了子句集的划分问题,引入了导出子句集及划分因子的概念;然后,在此基础上,提出了FOPC定理证明的并行算法;最后,给出了算法的有效性和完备性证明。文中还讨论了子句集的化简及算法性能评价等问题。
展开更多
关键词
一阶逻辑
自动定理证明
算法
下载PDF
职称材料
题名
re-Horn子句集的Horn化及可满足性判定方法
1
作者
安世勇
徐扬
机构
西南交通大学数学学院
西南交通大学智能开发中心
出处
《济南大学学报（自然科学版）》
CAS
北大核心
2015年第5期346-349,共4页
基金
国家自然科学基金(61175055)
文摘
在命题逻辑中给出将re-Horn子句转化成Horn子句的条件与方法,用同态的方法证明转化前后2个子句集的可满足性或不可满足性的一致性,给出re-Horn子句集的可满足性的判定方法。
关键词
命题逻辑
HORN子句
子句集
可满足性
同态
Keywords
propositional
logic
horn
clause
set
of
clause
satisfiability
homomorphism
分类号
O141.12 [理学—数学]
下载PDF
职称材料
题名
二元可满足性问题有解的充要条件
被引量：
2
2
作者
吴向军
余丰人
机构
中山大学
出处
《软件学报》
EI
CSCD
北大核心
1996年第1期51-58,共8页
文摘
二元可满足性问题是一个多项式可解的问题．本文首先证明了该问题有解的充要条件，然后给出了判定该问题的一个新的多项式算法．如果判定某个表达式是可满足的话，那么求解算法不需要任何回溯就能准确地给出它的每个解．本文试图通过对二元可满足性的研究为研究其它问题提供一点启示．
关键词
多项式
二元可满足性
解
充要条件
Keywords
Group
of
clause
s
with
the
same
two
variable,
compatible
of
two
solutions,identical
transformation,
set
of
clause
s,
minimax
expression.
分类号
O174.14 [理学—数学]
下载PDF
职称材料
题名
双重股权架构的域外经验与中国应对
被引量：
21
3
作者
张巍
机构
新加坡管理大学法学院
出处
《财经法学》
2020年第1期64-84,共21页
文摘
双重股权架构在美国已经有数十年的实践历史,近年来,亚洲各个冀望迅速推动本地高新企业成长的法域纷纷改变其既往立场,吸纳同股不同权公司上市。2018年,中国香港和新加坡率先在本地区实现了这种规则转变,而中国新设立的科创板也已经允许上市公司采用双重股权架构。中国引进双重股权结构应当谨慎行事,如需引进可以以中国香港规则作为基础,摒弃其适于寻租之内容,并增加定期日落规则。
关键词
双重股权架构
同股不同权
股东短视主义
代理人成本
日落条款
Keywords
dual-class
structure
same
stocks
with
different
rights
shareholder
short-termism
agency
costs
sun-
set
clause
分类号
F27 [经济管理—企业管理]
下载PDF
职称材料
题名
一个用于一阶逻辑自动定理证明的新算法
4
作者
陈勇浩
机构
西安交通大学
出处
《计算机工程与科学》
CSCD
1993年第3期1-9,共9页
文摘
本文提出一个用于一阶逻辑(FOPC)自动定理证明的并行算法,它基于分治的思想,把原问题子句集S划分成两个独立的子句集S1和S2,并通过并行地证明S_1和S_2的不可满足性。本文首先讨论了子句集的划分问题,引入了导出子句集及划分因子的概念;然后,在此基础上,提出了FOPC定理证明的并行算法;最后,给出了算法的有效性和完备性证明。文中还讨论了子句集的化简及算法性能评价等问题。
关键词
一阶逻辑
自动定理证明
算法
Keywords
automated
theorem
proving,
division
of
a
set
of
clause
s,parallel
algorithm,
soundness,
completeness.
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
re-Horn子句集的Horn化及可满足性判定方法
安世勇
徐扬
《济南大学学报（自然科学版）》
CAS
北大核心
2015
0
下载PDF
职称材料
2
二元可满足性问题有解的充要条件
吴向军
余丰人
《软件学报》
EI
CSCD
北大核心
1996
2
下载PDF
职称材料
3
双重股权架构的域外经验与中国应对
张巍
《财经法学》
2020
21
下载PDF
职称材料
4
一个用于一阶逻辑自动定理证明的新算法
陈勇浩
《计算机工程与科学》
CSCD
1993
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
