掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Quantitative Logic and Soft Computing
International Conference on Quantitative Logic and Soft Computing
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
INTELLIGENT LEARNING SYSTEMS FOR SOFT INFORMATION
机译:
用于软信息的智能学习系统
作者:
RONALD R. YAGER
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
presentation;
concern;
construction;
2.
GRANULAR LOGIC SYSTEMS AND THEIR DEVELOPMENT IN THE SETTING OF GRANULAR FUZZY RELATIONAL EQUATIONS
机译:
粒状逻辑系统及其在粒状模糊关系方程设置中的发展
作者:
WITOLD PEDRYCZ
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Fuzzy;
relational;
investigated;
3.
WEIGHTED AUTOMATA AND QUANTITATIVE LOGICS
机译:
加权自动机和定量逻辑
作者:
MANFRED DROSTE
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
weighted;
weighted logics;
mutual expressive power;
4.
ON THE ROLE OF e-GROUPS AND PO-GROUPS FOR ALGEBRAIC AND QUANTUM STRUCTURES
机译:
关于电子群和PO - 群体对代数和量子结构的作用
作者:
ANATOLIJ DVURECENSKIJ
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
e-groups;
unital e-groups;
unital po-groups;
MV-algebra;
generalized MV-algebra;
pseudo effect algebra;
effect algebra;
Riesz Decomposition Properties;
5.
SEMIAUTOMATA AND NEAR RINGS
机译:
半仿状和近圆圈
作者:
SONGFA YOU
;
MING CAO
;
YIJUN FENG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Semiautomation;
Homomorphic GSA;
Even linear;
Near-ring;
6.
AN AXIOMATIC METHOD FOR EVALUATING GOODNESS OF CLOSED PREDICATE PROPOSITIONS CONTAINING NO FUNCTION LETTERS
机译:
评估封闭式谓词命题的良好性的公理方法
作者:
GUO-JUN WANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Predicate formula containing no function letters;
Truth degree;
Prenex form;
Universal closure;
Literal;
7.
GENERATING LEFT SEMI-UNINORMS AND IMPLICATIONS ON A COMPLETE LATTICE
机译:
在完整的格子上产生左半不一致和含义
作者:
YONG SU
;
ZHUDENG WANG
;
XUEJUN LIU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Fuzzy connective;
Uninorm;
Left semi-uninorm;
Implication;
8.
DISCRIMINATION OF QUANTUM STATES BY LOCAL OPERATION AND CLASSICAL COMMUTATION
机译:
本地运营和经典换向辨别量子态
作者:
LINYUAN REN
;
JUN LU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
quantum discrimination;
LOCC;
GHZ states;
9.
FALSITY ACCUMULATION THEORY IN MULTI-VALUED GODEL LOGIC SYSTEM
机译:
多价浪荣逻辑系统中的虚假积累理论
作者:
XIAOJING HU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Truth degree;
Godel logic system;
Valid inference;
Falsity degree;
10.
A TOPOLOGICAL POSITION OF THE SET OF STRONGLY DISCONTINUOUS MAPS IN THE SET OF UPPER SEMI-CONTINUOUS MAPS
机译:
该组上半连续贴图集中的强不连续地图集的拓扑位置
作者:
HANBIAO YANG
;
LIU YANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Upper semi-continuous;
Upper semi-continuous;
Hypographs;
Hilbert cube;
11.
SUBSTRUCTURAL FUZZY LOGICS WITH N-CONTRACTION
机译:
具有n-ctentaction的子结构模糊逻辑
作者:
SANMIN WANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Fuzzy logics;
The n-contraction;
Standard completeness;
Jenei and Montagna-style approach;
12.
TRUTH DEGREE AND NEARNESS ON FUZZY SETS BASED ON LUKASIEWICZ IMPLICATION*
机译:
基于Lukasiewicz含义的模糊组真理和近置*
作者:
DONG-XIAO ZHANG
;
SHUI-LI CHEN
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Lukasiewicz Implication;
truth degree;
nearness;
MV algebra;
13.
SOLUTION SETS OF FUZZY RELATION EQUATIONS IN COMPLETE BROUWERIAN LATTICES
机译:
完全布鲁瓦晶格中的模糊关系方程解决方案集
作者:
XIAOBING QU
;
MANHUA LEI
;
XUEPING WANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Fuzzy relation equations;
Solution set;
Derived equation;
14.
AN IDEAL MULTI-SECRET SHARING SCHEME BASED ON MSP
机译:
基于MSP的理想多秘密共享方案
作者:
ZAN HEI
;
ZHI-HUI LI
;
XINGXING WU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
linear multi-secrets;
monotone;
span programs;
15.
CIRQUENT CALCULUS SYSTEM CL8S VERSUS CALCULUS OF STRUCTURES SYSTEM SKSG FOR PROPOSITIONAL LOGIC
机译:
CirQueNy微积分系统CL8S与结构系统SKSG的鉴定逻辑
作者:
WENYAN XU
;
SANYANG LIU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Cirquent calculus;
Calculus of structures;
Deep inference;
Proof complexity;
16.
NOTES ON DISCRETE FUZZY NUMBERS
机译:
关于离散模糊数字的注意事项
作者:
TAIHE FAN
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Discrete Fuzzy number;
Zadeh's extension principle;
arithmetic operation;
continuous extension;
17.
ON THE EXISTENCE OF STATES ON RESIDUATED LATTICES
机译:
关于遗留格子的存在
作者:
LIANZHEN LIU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Residuated lattice;
State;
MV-filter;
18.
CONTINUITY OF FUZZY REASONING IN SEVERAL METRICS
机译:
几种指标中的模糊推理的连续性
作者:
SONGSONG DA
;
DAOWU PE
;
LONG L
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Fuzzy reasoning;
Uniform continuity and continuity;
Uniform metric;
Minkowski metric;
19.
ON THE AVERAGE DISTANCE AND WIENER INDEX OF CARTESIAN PRODUCT NETWORKS
机译:
论笛卡尔产品网络的平均距离和维纳指数
作者:
FENG LI
;
ZONGBEN XU
;
HAIXING ZHAO
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Interconnection network;
Average distance;
Wiener index;
Product;
20.
MANY-VALUED MODAL LOGIC METRIC SPACES BASED ON FRAMES
机译:
基于帧的多价模态逻辑度量空间
作者:
HUIXIAN SH
;
GUO-JUN WANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
n-valued modal model;
lt;
W, R gt;
n-frame;
Localized similarity degree;
Global similarity degree;
Modal logic metric space;
21.
FILTERS IN STONE BL ALGEBRAS
机译:
石头BL代数中的过滤器
作者:
QINGJUN LUO
;
GUO-JUN WANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
BL algebra;
Stone BL algebra;
lattice filter;
MP filter;
22.
THEORY OF T-FUZZY TRUTH DEGREE RELATIVE TO FINITE THEORY IN LOGIC SYSTEM R~n
机译:
逻辑系统中有限理论的T-FUZZY真理学理论R〜n
作者:
GE NI XU
;
YONG MING LI
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
F-fuzzy truth degree;
finite theory;
T-pseudo-metric;
approximate reasoning;
23.
PERSONALISED RECOMMENDER SYSTEMS FOR E-BUSINESS INTELLIGENCE WITH SOFT COMPUTING
机译:
具有软计算的电子商务智能的个性化推荐系统
作者:
JIE LU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Recommender Systems;
Soft Computing;
e-Business Intelligence;
24.
INTUITIONISTIC FUZZY PUSH-DOWN AUTOMATA
机译:
直觉模糊推下自动机
作者:
Xin Wang
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Intuitionistic fuzzy sets;
Push-down automata;
Equivalent;
25.
THE SEMANTICS THEORY FOR MULTI-VALUED REASONING ABOUT KNOWLEDGE
机译:
关于知识多重推理的语义理论
作者:
LINA MA
;
SHUO LIU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
reasoning about knowledge;
n-valued Kripke knowledge structure;
semantic;
(n) valid formula;
26.
AN IMPROVED BACTERIA FORAGING OPTIMIZATION ALGORITHM BASED ON INTUITIONISTIC FUZZY SET FOR CLUSTERING PPI NETWORKS
机译:
一种改进基于直觉模糊集的细菌觅食优化算法,用于聚类PPI网络
作者:
SHUANG WU
;
XIUJUAN LEI
;
JIANFANG TIAN
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
protein-protein interaction;
networks;
attracted;
27.
THE ω-REGULAR SEPERATION AXIOM IN Lω-SPACES
机译:
LΩ空间中的ω-常规分离轴
作者:
JIALIANG XIE
;
SHUI-LI CHEN
;
GENGDA LI
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
L-spaces;
w-regular separation;
R-neighborhood;
w-closure;
28.
ON REVERSIBLE FUZZY AUTOMATA
机译:
关于可逆模糊自动机
作者:
LIN LI
;
YONGMING LI
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Automaton;
Reversible fuzzy automaton;
Bideterministic fuzzy automata;
29.
BISIMILARITY FOR FUZZY DOUBLY LABELED TRANSITION SYSTEMS
机译:
模糊双重标记过渡系统的双模性
作者:
HAIYU PAN
;
MIN ZHANG
;
YIXIANG CHEN
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
doubly labeled transition system;
fuzzy bisimulation;
continuity;
formal verification;
30.
APPROXIMATIONS IN MULTILATTICES
机译:
多特子中的近似
作者:
QINGGUO LI
;
JING HAO
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Multilattice;
Approximation space;
Rough sub multilattice;
Rough ideals;
31.
EXISTENCE RESULTS FOR IMPULSIVE BAM NETWORKS ON TIME SCALES
机译:
脉冲BAM网络在时间尺度上的存在结果
作者:
SHASHA XIE
;
ZHENKUN HUANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
BAM networks;
fixed point theorem;
time scales;
impulsive;
32.
THE PARTIAL CORRECTNESS SEMANTICS OF IMPERATIVE FUZZY PROGRAMMING LANGUAGE
机译:
势在必行模糊编程语言的部分正确性语义
作者:
HENGYANG WU
;
YIXIANG CHEN
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Semantics;
Imperative fuzzy language;
Partial correctness logic;
Fuzzy logic;
33.
A QUANTITATIVE RELATION MODEL BETWEEN TRUSTWORTHY ATTRIBUTES
机译:
值得信赖属性的定量关系模型
作者:
HONGWEI TAO
;
YIXIANG CHEN
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Trustworthy Attribute Model;
Quantitative Relation Model;
34.
VARIOUS (∈,∈ ∨q)-IV-FUZZY FILTERS IN FI-ALGEBRAS
机译:
在Fi-algebras中各种(∈,∈∈q)-iv模糊过滤器
作者:
CHUNHUI LIU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Fuzzy logic;
Fl-algebras;
(∈,∈ ∨q)-IV-fuzzy filters;
35.
TWO VARIANT OWA OPERATORS BASED ON T-NORMS
机译:
基于T-Norms的两个变体OWA运算符
作者:
HUANZHANG LIU
;
DAOWU PEI
;
LINGLI XIE
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
OWA operators;
t-norms;
induced OWA operators;
36.
THE PROBABILITY-TRUTH DEGREE OF UNCERTAIN PROPOSITIONAL FORMULA
机译:
不确定命题公式的概率 - 真理程度
作者:
XINGFANG ZHANG
;
GUANGWU MENG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
non-classical logic;
probabilistic logic;
uncertain formula;
probability-truth degree;
37.
PROPERTIES OF THE REVERSAL OF WEIGHTED FINITE AUTOMATA OVER STRONG BIMONOIDS BASED ON DIFFERENT SEMANTICS
机译:
基于不同语义的强辅导逆逆转自动机的性能
作者:
PING LI
;
SHENGLING GENG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Strong bimonoids;
Weighted finite automata over strong bimonoids;
Pvalued Matrix;
Transposition;
Reversal;
38.
ACCURACY AND ROUGHNESS MEASURES FOR FORMULAE IN ROUGH LOGIC
机译:
粗糙逻辑中公式的准确性和粗糙度措施
作者:
YANHONG SHE
;
XIAOLI HE
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Rough logic;
rough truth degree;
accuracy degree;
roughness degree;
39.
TYPES OF BIPOLARITY AND BIPOLAR STRUCTURES
机译:
双极性和双极结构的类型
作者:
J. MONTERO
;
C. FRANCO
;
D. GOMEZ
;
J.T. RODRIGUEZ
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
bipolarty;
structures;
Dubois;
40.
INFINITE EVOLUTION MECHANISM OF ∈-BISIMILARITY
机译:
∈-BISIMILUTITY的无限演化机制
作者:
YANFANG MA
;
MIN ZHANG
;
LIANG CHEN
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
∈-bisimulation;
∈-limit bisimulatiom;
probabilistic process algebra;
41.
THE CLASSICAL SYMMETRICAL LOGIC METRIC SUB-SPACE
机译:
经典对称逻辑度量子空间
作者:
MINGDI HU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
symmetric Boolean function;
symmetric logic formula;
Z(2) normable linear logic space;
norm;
symmetric logic Z(2)- normable linear sub-space;
classical logic metric space;
42.
TRUTH DEGREE OF FORMULAS AND STATE THEORY
机译:
公式与国家理论的真理学位
作者:
DAOWU PE
;
LONG LI
;
LINGLI XIE
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Fuzzy logic;
Quantitative logic;
Truth degree;
State;
43.
THE REPRESENTATION OF THE UNIVERSAL FUZZY AUTOMATON
机译:
通用模糊自动机的代表
作者:
QIAN WANG
;
YONGMING LI
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Fuzzy automaton;
Fuzzy language;
Quotient;
λ-cut;
44.
A REMARK ON FUZZY SUBSETS OF ORDERED SEMIGROUP
机译:
关于有序半群模糊子集的评论
作者:
SHENGWEI HAN
;
BIN ZHAO
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Ordered semigroup;
Ordered fuzzy point;
Fuzzy ideal;
Quantale;
45.
FUZZY DOMAINS AND A CLASSIFICATION THEOREM
机译:
模糊域和分类定理
作者:
KAIYUN WANG
;
BIN ZHAO
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Fuzzy poset;
Fuzzy dcpo;
Fuzzy domain;
Fuzzy Galois connection;
46.
FUZZY EQ-FILTERS OF EQ-ALGEBRAS
机译:
EQ-Algebras的模糊EQ过滤器
作者:
ZHEN MING MA
;
BAO QING HU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
EQ-algebra;
Fuzzy EQ-filter;
Fuzzy Congruence;
Correspondence Theorem;
47.
FUZZY PREUNIVEX FUNCTIONS
机译:
模糊预先捕获功能
作者:
LIFENG LI
;
SANYANG LIU
;
JIANKE ZHANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Fuzzy numbers;
Fuzzy preunivex functions;
Zadeh extension;
48.
ON FUZZY SOFT SET RELATIONS
机译:
关于模糊软件关系
作者:
HAI-LONG YANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Fuzzy sets;
Soft sets;
Fuzzy soft set relations;
Kernels;
Closures;
49.
UNIVERSAL TRIPLE I METHOD AND ITS APPLICATION TO TEXTUAL EMOTION POLARITY RECOGNITION
机译:
通用三重I方法及其在文字情感极度识别中的应用
作者:
YIMING TANG
;
FUJI REN
;
YANXIANG CHEN
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Fuzzy Reasoning;
Reversibility Property;
Fuzzy System;
Affective Computing;
50.
LEVEL SOFT SETS BASED ON FUZZY SETS
机译:
基于模糊集的级软组
作者:
FENG FENG
;
YONGMING LI
;
HONGXUAN LEI
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Soft sets;
Fuzzy soft sets;
Level soft sets;
Scalar products;
51.
FUZZY HYBRID MKNF KNOWLEDGE BASES FOR THE SEMANTIC WEB
机译:
模糊混合MKNF语义网络的知识库
作者:
SHASHA HUANG
;
QINGGUO LI
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Semantic Web;
Description logics and rules;
Fuzzy set;
Fixpoint operator;
52.
THE APPROXIMATE REDUCTION IN MANY-VALUED PROPOSITIONAL LOGIC SYSTEM L~n **
机译:
许多值命题逻辑系统的近似减少l〜n **
作者:
PENG YU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Quantitative Logic;
Truth degree reduction;
α- truth degree reduction;
Approximate reasoning;
53.
CONSTRUCTION QUANTALOIDS FROM QUANTALES
机译:
从量子施工Quantaloids
作者:
HONGLIAN LAI
;
DEXUE ZHANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Quantales;
Quantaloids;
Enriched categories;
Quantale-valued pre-order;
54.
A NOTE ON COMPLETENESS OF Z-PARTIALLY ORDERED SETS
机译:
关于Z部分有序集的完整性的备注
作者:
MIN LIU
;
KAIYUN WANG
;
BIN ZHAO
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Quantale;
Q-category;
L-partially ordered set;
Completeness;
Ideal;
55.
SEMANTIC RESOLUTION PRINCIPLE IN PROPOSITIONAL VALUATION ALGEBRA
机译:
命题估值代数中的语义解析原理
作者:
BANGHE HAN
;
XIAONAN L
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Semantic resolution principle;
Propositional valuation algebra;
Propositional information;
Marginalization;
Quantitative logic;
Truth degree;
56.
A GENERALIZATION OF DILWORTH'S PRINCIPAL ELEMENTS
机译:
Dilworth的主要元素的概括
作者:
DONGSHENG ZHAO
;
YUANTING NAI
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
multiplicative lattice;
principal mapping;
principal ideal;
strongly dense subset;
57.
A ROBUST PARTIALLY SUPERVISED CLUSTERING ALGORITHMS WITH DOT DENSITY WEIGHTS OF LABELED DATA FOR IMAGE SEGMENTATION
机译:
具有用于图像分割的标记数据的点密度权重的鲁棒部分监督的聚类算法
作者:
WEI LI
;
YUNDONG WU
;
SHUILI CHEN
;
ZHENKUN HUANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
labeled data;
robust clustering;
dot density weights;
PS, RPS;
58.
STATISTICAL EXTENSIONS OF STATISTICAL DEFAULT LOGIC
机译:
统计默认逻辑的统计扩展
作者:
LI FU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Statistical extension;
Statistical Default Logic;
Bounded sentence;
∈- bound;
59.
FALLING FUZZY FILTERS OF MTL-ALGEBRAS
机译:
MTL-Algebras的落下模糊过滤器
作者:
JIANMING ZHAN
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Falling shadow;
filter;
fuzzy filter;
falling fuzzy filter;
MTL-algebra;
60.
BASED ON MODIFIED QUATERNION ZERNIKE MOMENTS FOR SEA SHIP TARGET RECOGNITION
机译:
基于修改的四元数Zernike时刻海船目标识别
作者:
PING CHENG
;
SHUILI CHEN
;
YUNDONG WU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
QuaXerxnoa number;
Zernike moment;
Object recognition;
transformation;
61.
DISTANCE AND SIMILARITY MEASURES BETWEEN INTUITIONISTIC FUZZY SETS
机译:
直观模糊集之间的距离和相似度措施
作者:
MUCONG ZHENG
;
ZHONGKE SHI
;
YAN LIU
;
GUODONG HAN
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Intuitionistic fuzzy sets;
Distance measures;
Regular distance measure;
Similarity measures;
Vague sets;
62.
AN ADAPTIVE FUZZY RULE-BASED COLOR IMAGE SEGMENTATION ALGORITHM
机译:
基于自适应模糊规则的彩色图像分割算法
作者:
SONGYE WU
;
YUNDONG WU
;
SHUILI CHEN
;
ZHENKUN HUANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Fuzzy rules;
Similarity percentage;
Self-adaption;
Color image segmentation;
63.
RESIDUATED LATTICES AS EXTENSIONS OF ELEMENTARY ALGEBRAIC STRUCTURES
机译:
静置的格子作为基本代数结构的延伸部
作者:
IRINA PERFILIEVA
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Residuated;
Commutative -monoid;
Orbit;
Translation;
64.
THE UNITIZATIONS OF PSEUDO-EFFECT ALGEBRAS
机译:
伪效应代数的整合
作者:
YONGJIAN XIE
;
DECHAO LII
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
generalized pseudo-effect algebra;
symmetric;
prelattice;
65.
LOGICAL PROPERTIES OF THE SYSTEM し*~n AND THEIR APPLICATIONS
机译:
系统的逻辑属性し*〜n及其应用
作者:
LE ZHANG
;
DAOWU PE
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Fuzzy logic;
し*~n system;
Satisfiability;
Compactness;
Decidability;
Quantitative logic;
66.
STATE SUCCINCTNESS OF TWO-WAY FINITE AUTOMATA WITH QUANTUM AND CLASSICAL STATES
机译:
具有量子和古典国家的双向有限自动机的状态简洁
作者:
SHENGGEN ZHENG
;
DAOWEN QIU
;
LVZHOU LI
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Computing models;
Quantum finite automata;
State complexity;
Succintness;
67.
THE AFFINE TRANSFORMATION IN QUANTITATIVE LOGIC
机译:
定量逻辑中的仿射变换
作者:
QINGPING WANG
;
GUO-JUN WANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Logic system L;
(┴,┬)-matrices;
Affine transformations;
Truth degree;
Pseudo-distance;
68.
COUNTABLE PRE-COMPACTNESS OF L-FUZZY SETS
机译:
L-Fuzzy套件的可数预致密度
作者:
SHIZHONG BAI
;
WEIMIN HE
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
L-topology;
Pre-open L-set;
Countable pre-compactness;
69.
FORMAL VERIFICATION OF A SOLUTION FOR GREEN COMPUTING
机译:
用于绿色计算解决方案的正式验证
作者:
LIHUI LEI
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
greenhouse;
emissions;
warming;
70.
ONE RESEARCH OF SOFT LATTICES
机译:
软格的一项研究
作者:
GUANGMING LANG
;
QINGGUO LI
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Soft set;
Soft lattice;
Soft ideal;
Idealistic soft lattice;
Soft homomorphism;
71.
OM-CONVERGENCE IN POSETS
机译:
全部收敛在POSETS中
作者:
YIHUI ZHOU
;
JUE MA
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Order convergence;
O2-convergence;
O2-convergence;
OM-continuous poset;
Double M-continuous poset;
72.
GMPR: COST-AWARE MULTIPATH ROUTING ALGORITHM FOR MOBILE WIRELESS SENSOR NETWORKS
机译:
GMPR:移动无线传感器网络的成本感知多路径路由算法
作者:
DING LIU
;
XIAOMING WANG
;
JUNLING LU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Cost Aware;
Multipath Routing;
Mobile Wireless Sensor Networks;
73.
POSSIBILISTIC KRIPKE STRUCTURE DECISION PROCESSES
机译:
Positibilistic Kripke结构决策过程
作者:
YAN XUE
;
HONGXUAN LEI
;
YONGMING LI
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Possibilistic Kripke structure decision process;
Scheduler;
Value iteration;
Reachability possibilities;
74.
THE HYPERSPACE OF THE REGIONS BELOW LATTICE-VALUE CONTINUOUS MAPS
机译:
格子价值连续地图下面的区域的高度空间
作者:
LILI ZHANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
The hyperspace;
The Vietoris topology;
Lattice-value continuous map;
The Hilbert cube;
co;
75.
RIECAN AND BOSBACH STATES ON GLIVENKO RESIDUATED LATTICES
机译:
Recan和Bosbach在Glivenko静态格子上
作者:
HONG-JUN ZHOU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Non-classical logics;
Residuated lattice;
Bosbach state;
Riecan state;
Glivenko theorem;
76.
A GENERALIZED NON-PUMPING LEMMA FOR REGULAR LANGUAGES
机译:
用于常规语言的广义非泵送引理
作者:
LICONG CUI
;
GUO-QIANG ZHANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Automata;
Boolean matrices;
Regularity-preserving functions;
77.
ON THE MONOTONICITY OF THE FUZZY SYSTEMS BASED UPON GENUINE MANY-VALUED IMPLICATIONS-SISO CASES
机译:
基于真正多价含义的模糊系统的单调性 - SISO案例
作者:
FENG QIN
;
DEFA WANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Fuzzy systems;
Fuzzy sets;
R-implications;
S-implications;
QL-implications;
Monotonicity;
78.
DYNAMICAL ANALYSIS OF BAM NEURAL NETWORKS WITH CONTINUOUSLY DISTRIBUTED DELAYS
机译:
持续分布延迟BAM神经网络的动态分析
作者:
CHAO CHEN
;
ZHENKUN HUANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
BAM neural networks;
Continuously distributed delays;
Impulses;
79.
PRINCIPAL CONGRUENCES AND KERNEL IDEALS OF SYMMETRIC EXTENDED DE MORGAN ALGEBRAS*
机译:
对称扩展de Morgan代数的主要同时和内核理想*
作者:
CONGWEN LUO
;
MIN XIE
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
symmetric extended de Morgan algebra;
congruence;
kernel ideal;
absolutely indecomposable;
80.
POINT DENSITY WEIGHTED K-MEANS ALGORITHM FOR REMOTE SENSING IMAGE CLASSIFYING
机译:
点密度加权k均值遥感图像分类算法
作者:
BING-KUN GUO
;
SHUI-LI CHEN
;
ZHEN-KUN HUANG
;
YUN-DONG WU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Clustering analysis;
K-means;
Remote sensing image;
Point density weighted;
81.
AN APPROACH TO M-SCOTT TOPOLOGY
机译:
m-scott拓扑的方法
作者:
YUNPENG WEI
;
LINGXIA LU
;
WEI YAO
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
M-Way Below;
M-Continuous Lattice;
M-Minimal Set;
M-Scott Open Set;
M-Scott Topology;
M-Scott Convergence;
82.
MODEL-CHECKING OF LINEAR-TIME PROPERTIES IN POSSIBILISTIC KRIPKE STRUCTURE
机译:
用于可能性Kripke结构中线性时间特性的模型检查
作者:
LIJUN LI
;
YONGMING LI
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Linear-time properties;
Model checking;
Automata;
83.
FUZZY RANDOM EXPECTED VALUE MODEL BASED MULTI-OBJECTIVE OPTIMIZATION ROUTING FOR WIRELESS SENSOR NETWORKS
机译:
基于模糊的无线预期值模型无线传感器网络的多目标优化路由
作者:
JUNLING LU
;
XIAOMING WANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
simultaneously;
fuzzy;
adopted;
84.
CLOSURE OPERATORS IN TOPOLOGIES, SIMPLE MATROIDS AND ROUGH SETS
机译:
拓扑,简单的Matroids和粗糙集的封闭运营商
作者:
SHUANG FENG
;
LINGXIA LU
;
GANG YIN
;
WEI YAO
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Closure Operator;
Topological space;
Simple Matroid;
Rough Set;
85.
SOFT QUANTALES
机译:
soft quanta LES
作者:
ZHI-LIAN GUO
;
HAI-LONG YANG
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Quantale;
Soft set;
Soft quantale;
Soft quantal homomorphism;
86.
INTERMEDIATE QUANTIFIERS, NATURAL LANGUAGE AND HUMAN REASONING
机译:
中间量词,自然语言和人工推理
作者:
V. NOVAK
;
P. MURINOVA
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Intermediate quantifiers;
Fuzzy type theory;
Logical syllogism;
Linguistic semantics;
87.
INTERVALS ON WEAKLY ORDERED PARTIAL COMMUTATIVE GROUPS OF LINEAR OPERATORS
机译:
线性运营商弱排序部分交换组的间隔
作者:
Jifi Janda
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
(generalized) effect algebra;
weakly ordered partial group;
Hilbert space;
unbounded linear operator;
states;
interval effect algebra;
88.
MATCHING FUNCTION-BASED FULLY IMPLICATIONAL METHODS FOR FUZZY REASONING
机译:
基于功能的模糊推理匹配的全伸展方法
作者:
HUAWEN LIU
;
PEIJUN XUE
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Fuzzy reasoning;
Fully implicational methods;
Matching functions;
Inclusion degrees;
Similarity measures;
89.
CONCATENATION AND KLEENE STAR ON DETERMINISTIC FINITE AUTOMATA
机译:
确定性有限自动机的倾斜和克莱恒星
作者:
GUO-QIANG ZHANG
;
XIANGNAN ZHOU
;
ROBERT FRASER
;
LICONG CUI
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Automata;
Concatenation;
Kleene Star;
Boolean matrices;
90.
GENERALIZED R-CALCULUS
机译:
广义R-微积分
作者:
QING-YU HE
;
JIE DING
;
LUO-SHAN XU
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Generalized R-calculus;
soundness;
completeness;
91.
THE EXOCENTER OF A GENERALIZED PSEUDOEFFECT ALGEBRA
机译:
广义伪效果代数的震中
作者:
S. PULMANNOVA
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
Generalized pseudoeffect algebra;
Direct summand;
Exocenter;
Projection;
Central ideal;
Central element;
92.
THE REPRESENTATION OF SEMIRING-BASED CONSTRAINT SATISFACTION PROBLEMS USING FUZZY FINITE AUTOMATA
机译:
模糊有限自动机的杂交约束满足问题的表示
作者:
YONGMING LI
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2012年
关键词:
represent;
automata;
problem;
93.
Bisimulation Relations forWeighted Automata over Valuation Monoids
机译:
双重自动机估值估值的双蓄能关系
作者:
Chao Yang
;
Yong-Ming Li
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2016年
关键词:
Valuation monoid;
Weighted automata;
Bisimulation relation;
The greatest bisimulation relation;
94.
Interval-Valued Intuitionistic (T, S)-Fuzzy LI-Ideals in Lattice Implication Algebras
机译:
晶格含义代数中的间隔 - 值直觉(T,S) - liy Li-Igands
作者:
Chun-Hui Liu
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2016年
关键词:
Many-valued logic;
Lattice implication algebra;
Interval-valued intuitionistic (T;
S)-fuzzy LI-ideal;
95.
Multi-variable-term Latticized Linear Programming with Addition-Min Fuzzy Relation Inequalities Constraint
机译:
具有附加 - MIN模糊关系的多变量术语Latticized线性规划不平等约束
作者:
Hai-Tao Lin
;
Xiao-Peng Yang
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2016年
关键词:
Fuzzy relation inequality;
Latticized linear programming;
Additionmin composition;
Minimal interval;
96.
On the Equivalence of Convergence of Fuzzy Number Series with Respect to Different Metrics
机译:
关于不同度量模糊数系衔接的对等
作者:
Hong-Mei Wang
;
Tai-He Fan
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2016年
关键词:
Series of fuzzy numbers;
Supremum metric;
Sendograph metric;
Endograph metric;
Convergence;
97.
The Minimum Spectral Radius of Strongly Connected Bipartite Digraphs with Complete Bipartite Subdigraph
机译:
具有完整的双链子层的强连接二分形数字的最小光谱半径
作者:
Shu-Ting Chen
;
Shui-Li Chen
;
Wei-Quan Liu
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2016年
关键词:
Strongly connected bipartite digraph;
Spectral radius;
Eigenvalue;
Eigenvectors;
Adjacency matrix;
98.
Extended Threshold Generation of a New Class of Fuzzy Implications
机译:
扩展阈值生成新类模糊含义
作者:
Zhi-Hong Yi
;
Feng Qin
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2016年
关键词:
Fuzzy connectives;
Fuzzy implications;
Threshold generation;
99.
Topological Constructions of Epsilon-Bisimulation
机译:
epsilon-bisimulation的拓扑结构
作者:
Yan-Fang Ma
;
Liang Chen
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2016年
关键词:
Topology;
Bisimulation;
Correctness of software;
Probabilistic process calculus;
100.
A Class of Fuzzy Modal Propositional Logic Systems with Three Kinds of Negation
机译:
一类具有三种否定的模糊模糊题为逻辑系统
作者:
Cheng Chen
;
Li-Juan Zhang
;
Zheng-Hua Pan
会议名称:
《International Conference on Quantitative Logic and Soft Computing》
|
2016年
关键词:
Fuzzy propositional logic;
Negation;
Medium modal propositional logic;
Fuzzy modal propositional logic;
意见反馈
回到顶部
回到首页