全文获取类型
收费全文 | 125篇 |
免费 | 29篇 |
国内免费 | 23篇 |
学科分类
工业技术 | 177篇 |
出版年
2023年 | 1篇 |
2021年 | 1篇 |
2020年 | 2篇 |
2019年 | 3篇 |
2018年 | 2篇 |
2017年 | 3篇 |
2016年 | 5篇 |
2015年 | 3篇 |
2014年 | 10篇 |
2013年 | 13篇 |
2012年 | 11篇 |
2011年 | 8篇 |
2010年 | 14篇 |
2009年 | 19篇 |
2008年 | 12篇 |
2007年 | 11篇 |
2006年 | 3篇 |
2005年 | 8篇 |
2004年 | 11篇 |
2003年 | 7篇 |
2002年 | 5篇 |
2001年 | 4篇 |
2000年 | 5篇 |
1999年 | 3篇 |
1998年 | 3篇 |
1997年 | 4篇 |
1995年 | 1篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1991年 | 1篇 |
排序方式: 共有177条查询结果,搜索用时 15 毫秒
21.
22.
S. D. Pogorilyy Yu. V. Boyko A. D. Gusarov S. I. Lozytskyi 《Cybernetics and Systems Analysis》2009,45(2):291-296
The body of mathematics of modified systems of algorithmic algebras (SAA-M) is used to formalize the Edmonds–Karp algorithm
of finding the maximum flow in a network. With allowance made for the distributed system features that are usually used for
solving complicated problems, optimization criteria are formulated and used to obtain parallel SAA-M-schemes.
Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 146–152, March–April 2009. 相似文献
23.
24.
25.
UML类结构的形式化 总被引:2,自引:0,他引:2
为面向对象建模概念建立坚实的语义基础,越来越受到人们的重视。通过提供精确的概念特征定义,可建立精确的面向对象的行为模型和结构模型,便于对模型进行严格的分析。UML是一种被推荐的面向对象建模语言,RAISE是欧洲流行的一种形式方法,该文使用RAISE来表达UML类结构的含义。 相似文献
26.
27.
UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能。结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析。排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的。 相似文献
28.
29.
本文讨论逆绎推理的形式化问题,指出这一问题的认知基础,然后证明逆绎推理可通过建立必要性假设来完成;NH构成了对已有知识订的扩充,必须构造必要性假设理论来捕捉逆绎推理的逻辑特征,本文选择缺席逻辑作为形式化NL的理论框架,并指出NL的基本性质。 相似文献