搜索页_+Formal+method

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

中国地质文献-英文(6)	SpringerLink电子期刊(11190)	GSW全文库(99)
Wiley电子期刊(127)	ProQuest学位论文(1031)	Elsevier电子期刊(45044)
Springer电子图书(181)	NATURE电子期刊(150)	ACS电子期刊(722)

在“SpringerLink电子期刊”中，命中：11,190条，耗时：0.1719427 秒

在所有数据库中总计命中：58,550条

1. Decomposition methods of formal contexts to construct concept lattices

作者： Ting Qian ; Ling Wei…

关键词：Formal context ; Formal concept ; Decomposition ; Subcontext ; Closed relation

刊名：International Journal of Machine Learning and Cybernetics

出版年：2017

2. Towards formal open standards: formalizing a standard’s requirements

作者： Konstantinos Barlas ; Eleni Berki…

关键词：Open standards ; Formal methods ; Formal specification ; Rich Site Summary (RSS)v2.0 protocol ; CafeOBJ

刊名：Innovations in Systems and Software Engineering

出版年：2017

3. Improving the scalability of formal human–automation interaction verification analyses that use task-analytic models

作者： Matthew L. Bolton ; Xi Zheng ; Kylie Molinaro…

关键词：Model checking ; Task analytic models ; Formal methods ; Scalability

刊名：Innovations in Systems and Software Engineering

出版年：2017

4. Concepts reduction in formal concept analysis with fuzzy setting using Shannon entropy

作者： Prem Kumar Singh ; Aswani Kumar Cherukuri…

关键词：Formal concept analysis ; Fuzzy concept lattice ; Fuzzy formal concept ; Granulations ; Levenshtein distance ; Shannon entropy

刊名：International Journal of Machine Learning and Cybernetics

出版年：2017

5. Inferring physical units in formal models

作者： Sebastian Krings ; Michael Leuschel

关键词：B ; method ; EventB ; Physical units ; Model checking ; Abstract interpretation

刊名：Software & Systems Modeling

出版年：2017

6. Justification of the Asymptotic Expansion Method for Homogeneous Isotropic Beams by Comparison with De Saint-Venant’s Solutions

作者： Qian Zhao ; Patrice Cartraud ; Panagiotis Kotronis

关键词：Asymptotic expansion method ; Saint ; Venant solutions ; Transverse shear ; Warping ; Beam

刊名：Journal of Elasticity

出版年：2017

7. Attribute reduction in inconsistent formal decision contexts based on congruence relations

作者： Jun-Yu Li ; Xia Wang ; Wei-Zhi Wu ; You-Hong Xu

关键词：Inconsistent formal decision context ; Attribute reduction ; Congruence relation ; Rough set ; Three ; way concept analysis

刊名：International Journal of Machine Learning and Cybernetics

出版年：2017

8. Model checking of state-rich formalism by linking to \(CSP\,\Vert \,B\)

作者： Kangfeng Ye…

关键词：\(CSP \parallel B\) ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

9. Invariant almost complex geometry on flag manifolds: geometric formality and Chern numbers

作者： Lino Grama ; Caio J. C. Negreiros…

关键词：Generalized flag manifolds ; Geometric formality ; Invariant almost complex geometry

刊名：Annali di Matematica Pura ed Applicata (1923 -)

出版年：2017

10. Method for generating decision implication canonical basis based on true premises

作者： Deyu Li ; Shaoxia Zhang ; Yanhui Zhai

关键词：Formal concept analysis ; Decision premise ; True premise ; Decision implication canonical basis

刊名：International Journal of Machine Learning and Cybernetics

出版年：2017

按检索点细分(11190)

刊名(532)

题名(369)

作者(1)

关键词(661)

文摘(9513)