AILA Review最新文献

筛选
英文 中文
A New Fuzzy Analytic Hierarchy Process Method for Software Trustworthiness Measurement 一种新的软件可信度度量模糊层次分析法
IF 0.4
AILA Review Pub Date : 2022-01-01 DOI: 10.1007/978-981-19-7510-3_18
Zelong Yue, Xinghua Yao, Yixiang Chen
{"title":"A New Fuzzy Analytic Hierarchy Process Method for Software Trustworthiness Measurement","authors":"Zelong Yue, Xinghua Yao, Yixiang Chen","doi":"10.1007/978-981-19-7510-3_18","DOIUrl":"https://doi.org/10.1007/978-981-19-7510-3_18","url":null,"abstract":"","PeriodicalId":45044,"journal":{"name":"AILA Review","volume":"1 1","pages":"239-253"},"PeriodicalIF":0.4,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78609067","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the Weak Dominance Relation Between Conjunctors 关于连接子间的弱优势关系
IF 0.4
AILA Review Pub Date : 2022-01-01 DOI: 10.1007/978-981-19-7510-3_15
Lizhu Zhang, Qigao Bo, Gang Li
{"title":"On the Weak Dominance Relation Between Conjunctors","authors":"Lizhu Zhang, Qigao Bo, Gang Li","doi":"10.1007/978-981-19-7510-3_15","DOIUrl":"https://doi.org/10.1007/978-981-19-7510-3_15","url":null,"abstract":"","PeriodicalId":45044,"journal":{"name":"AILA Review","volume":"73 1","pages":"199-210"},"PeriodicalIF":0.4,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74819972","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Quantitative BAN Logic Based on Belief Degree 基于信度的定量BAN逻辑
IF 0.4
AILA Review Pub Date : 2022-01-01 DOI: 10.1007/978-981-19-7510-3_2
Kaixuan Li, Hengyang Wu, Jinyi Xu, Yixiang Chen
{"title":"Quantitative BAN Logic Based on Belief Degree","authors":"Kaixuan Li, Hengyang Wu, Jinyi Xu, Yixiang Chen","doi":"10.1007/978-981-19-7510-3_2","DOIUrl":"https://doi.org/10.1007/978-981-19-7510-3_2","url":null,"abstract":"","PeriodicalId":45044,"journal":{"name":"AILA Review","volume":"3 1","pages":"19-34"},"PeriodicalIF":0.4,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88380188","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On Interval Perturbation of the ɑ-Symmetric Implicational Algorithm 关于n -对称隐含算法的区间摄动
IF 0.4
AILA Review Pub Date : 2022-01-01 DOI: 10.1007/978-981-19-7510-3_5
Yiming Tang, Jiang Han, G. Bao, R. Chen
{"title":"On Interval Perturbation of the ɑ-Symmetric Implicational Algorithm","authors":"Yiming Tang, Jiang Han, G. Bao, R. Chen","doi":"10.1007/978-981-19-7510-3_5","DOIUrl":"https://doi.org/10.1007/978-981-19-7510-3_5","url":null,"abstract":"","PeriodicalId":45044,"journal":{"name":"AILA Review","volume":"17 1 1","pages":"63-76"},"PeriodicalIF":0.4,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90027188","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
(α, β) - Colored Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy Logic (α, β) -语言真值直觉模糊逻辑的彩色解析方法
IF 0.4
AILA Review Pub Date : 2022-01-01 DOI: 10.1007/978-981-19-7510-3_6
Tie Hou, Nana Li, Yanfang Wang, Kuo Pang, L. Zou
{"title":"(α, β) - Colored Resolution Method of Linguistic Truth-Valued Intuitionistic Fuzzy Logic","authors":"Tie Hou, Nana Li, Yanfang Wang, Kuo Pang, L. Zou","doi":"10.1007/978-981-19-7510-3_6","DOIUrl":"https://doi.org/10.1007/978-981-19-7510-3_6","url":null,"abstract":"","PeriodicalId":45044,"journal":{"name":"AILA Review","volume":"304 1","pages":"79-90"},"PeriodicalIF":0.4,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78368377","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Approximate Simulation for Transition Systems with Regular Expressions 正则表达式转换系统的近似模拟
IF 0.4
AILA Review Pub Date : 2022-01-01 DOI: 10.1007/978-981-19-7510-3_4
Xinyu Cui, Zhaokai Li, Yuting Chang, Haiyu Pan
{"title":"Approximate Simulation for Transition Systems with Regular Expressions","authors":"Xinyu Cui, Zhaokai Li, Yuting Chang, Haiyu Pan","doi":"10.1007/978-981-19-7510-3_4","DOIUrl":"https://doi.org/10.1007/978-981-19-7510-3_4","url":null,"abstract":"","PeriodicalId":45044,"journal":{"name":"AILA Review","volume":"4 1","pages":"49-62"},"PeriodicalIF":0.4,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75199600","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Predicate Logic Network: Vision Concept Formation 谓词逻辑网络:视觉概念形成
IF 0.4
AILA Review Pub Date : 2022-01-01 DOI: 10.1007/978-981-19-7510-3_3
Bang-Chao Chen, Maonian Wu, Bo Zheng, Shaojun Zhu, Wei-Jyun Peng
{"title":"Predicate Logic Network: Vision Concept Formation","authors":"Bang-Chao Chen, Maonian Wu, Bo Zheng, Shaojun Zhu, Wei-Jyun Peng","doi":"10.1007/978-981-19-7510-3_3","DOIUrl":"https://doi.org/10.1007/978-981-19-7510-3_3","url":null,"abstract":"","PeriodicalId":45044,"journal":{"name":"AILA Review","volume":"2 1","pages":"35-48"},"PeriodicalIF":0.4,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73424412","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Viewpoint-Driven Subspace Fuzzy C-Means Algorithm 视点驱动子空间模糊c均值算法
IF 0.4
AILA Review Pub Date : 2022-01-01 DOI: 10.1007/978-981-19-7510-3_7
Yiming Tang, R. Chen, Bowen Xia
{"title":"Viewpoint-Driven Subspace Fuzzy C-Means Algorithm","authors":"Yiming Tang, R. Chen, Bowen Xia","doi":"10.1007/978-981-19-7510-3_7","DOIUrl":"https://doi.org/10.1007/978-981-19-7510-3_7","url":null,"abstract":"","PeriodicalId":45044,"journal":{"name":"AILA Review","volume":"41 1","pages":"91-105"},"PeriodicalIF":0.4,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81372107","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Finite Quantified Linear Temporal Logic and Its Satisfiability Checking 有限量化线性时间逻辑及其可满足性检验
IF 0.4
AILA Review Pub Date : 2022-01-01 DOI: 10.1007/978-981-19-7510-3_1
Yu Chen, Xiaoyu Zhang, Jianwen Li
{"title":"Finite Quantified Linear Temporal Logic and Its Satisfiability Checking","authors":"Yu Chen, Xiaoyu Zhang, Jianwen Li","doi":"10.1007/978-981-19-7510-3_1","DOIUrl":"https://doi.org/10.1007/978-981-19-7510-3_1","url":null,"abstract":"","PeriodicalId":45044,"journal":{"name":"AILA Review","volume":"77 1","pages":"3-18"},"PeriodicalIF":0.4,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87556218","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Paraconsistent Rough Set Algebras 副相容粗糙集代数
IF 0.4
AILA Review Pub Date : 2022-01-01 DOI: 10.1007/978-981-19-7510-3_13
Hao Wu
{"title":"Paraconsistent Rough Set Algebras","authors":"Hao Wu","doi":"10.1007/978-981-19-7510-3_13","DOIUrl":"https://doi.org/10.1007/978-981-19-7510-3_13","url":null,"abstract":"","PeriodicalId":45044,"journal":{"name":"AILA Review","volume":"26 1","pages":"166-179"},"PeriodicalIF":0.4,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79674036","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信