1
|
L^*系统中由单个原子生成的公式的真值函数的特征 |
任芳
|
《工程数学学报》
CSCD
北大核心
|
2005 |
12
|
|
2
|
Gdel逻辑和L~*逻辑中公式的真度分布 |
李成允
张兴芳
|
《系统科学与数学》
CSCD
北大核心
|
2010 |
5
|
|
3
|
Gdel系统中由一个或两个原子生成的公式的真值函数的特征 |
张安英
张兴芳
高芹
|
《模糊系统与数学》
CSCD
北大核心
|
2007 |
5
|
|
4
|
关于逻辑函数化简方法的研究 |
冯乃勤
孙玉强
魏淑桃
陈广林
|
《小型微型计算机系统》
CSCD
北大核心
|
2003 |
3
|
|
5
|
基于软集上逻辑公式的极大关联规则描述与挖掘方法 |
冯锋
张珑耀
张青
|
《吉林大学学报(理学版)》
CAS
CSCD
北大核心
|
2018 |
3
|
|
6
|
英汉语分裂句的焦点移位及其语义语用对比分析 |
尹丕安
罗洋
|
《西安外国语大学学报》
CSSCI
|
2015 |
3
|
|
7
|
数控高次曲线插补的分析与应用 |
蒋建强
|
《微电机》
北大核心
|
2007 |
0 |
|
8
|
基于数控高次曲线插补的研究与应用 |
蒋建强
|
《制造业自动化》
北大核心
|
2006 |
2
|
|
9
|
基于语言真值格值一阶逻辑系统L_(v(n×2))F(X)中程度化公式的一些注记 |
赖家俊
徐扬
|
《系统科学与数学》
CSCD
北大核心
|
2013 |
2
|
|
10
|
数理逻辑的若干应用 |
杜君花
梁红梅
马艳萍
|
《高师理科学刊》
|
2018 |
2
|
|
11
|
基于优先执行关系闭包运算的事务可串行化判定方法 |
熊中敏
王佳艳
汪博
陈明
|
《计算机应用与软件》
北大核心
|
2019 |
2
|
|
12
|
论《周易》的太极代数及逻辑语义模型 |
王俊龙
|
《宏观语言学》
|
2016 |
0 |
|
13
|
Gdel中单个或两个原子生成公式的真度分布 |
李友雨
张兴芳
李成允
|
《计算机工程与应用》
CSCD
北大核心
|
2009 |
0 |
|
14
|
Π系统中公式的真值函数及真度分布 |
李友雨
张兴芳
李成允
|
《计算机工程与应用》
CSCD
北大核心
|
2009 |
0 |
|
15
|
Gdel逻辑系统中公式真度判断方法 |
张凤姣
张兴芳
|
《聊城大学学报(自然科学版)》
|
2011 |
0 |
|
16
|
L*系统中由单个原子生成公式的真度分布 |
李友雨
张兴芳
李成允
|
《计算机工程与应用》
CSCD
北大核心
|
2010 |
0 |
|
17
|
基于网络拓扑的继电线路逻辑表达式抽取方法 |
张颖瑶
耿英三
张国钢
邓永庆
|
《低压电器》
北大核心
|
2007 |
0 |
|
18
|
Rough逻辑及其在数据约简中的应用 |
刘清
刘少辉
郑非
|
《软件学报》
EI
CSCD
北大核心
|
2001 |
54
|
|
19
|
智能电网调度控制系统的远方操作安全防误技术 |
林静怀
米为民
李泽科
陈郑平
张连超
刘必晶
金鑫
|
《电力系统自动化》
EI
CSCD
北大核心
|
2015 |
44
|
|
20
|
组合险象逻辑余式判据 |
童永承
|
《计算机学报》
EI
CSCD
北大核心
|
1994 |
11
|
|