全文获取类型
收费全文 | 1419篇 |
免费 | 203篇 |
国内免费 | 331篇 |
学科分类
工业技术 | 1953篇 |
出版年
2024年 | 10篇 |
2023年 | 28篇 |
2022年 | 40篇 |
2021年 | 44篇 |
2020年 | 27篇 |
2019年 | 33篇 |
2018年 | 24篇 |
2017年 | 40篇 |
2016年 | 42篇 |
2015年 | 50篇 |
2014年 | 91篇 |
2013年 | 111篇 |
2012年 | 116篇 |
2011年 | 112篇 |
2010年 | 114篇 |
2009年 | 125篇 |
2008年 | 157篇 |
2007年 | 223篇 |
2006年 | 111篇 |
2005年 | 92篇 |
2004年 | 82篇 |
2003年 | 63篇 |
2002年 | 41篇 |
2001年 | 39篇 |
2000年 | 33篇 |
1999年 | 25篇 |
1998年 | 16篇 |
1997年 | 17篇 |
1996年 | 16篇 |
1995年 | 10篇 |
1994年 | 4篇 |
1993年 | 4篇 |
1992年 | 3篇 |
1991年 | 6篇 |
1989年 | 3篇 |
1986年 | 1篇 |
排序方式: 共有1953条查询结果,搜索用时 15 毫秒
101.
在研究固定内存和状态管理的基础上,提出了一种新的模型检测方法,使得在任何计算机上都能对任意规模的并发系统进行模型检测. 相似文献
102.
103.
状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。 相似文献
104.
105.
106.
UML类结构的形式化 总被引:2,自引:0,他引:2
为面向对象建模概念建立坚实的语义基础,越来越受到人们的重视。通过提供精确的概念特征定义,可建立精确的面向对象的行为模型和结构模型,便于对模型进行严格的分析。UML是一种被推荐的面向对象建模语言,RAISE是欧洲流行的一种形式方法,该文使用RAISE来表达UML类结构的含义。 相似文献
107.
文章在分析形式化验证/综合系统VIS 的基础上,改进了该电子系统中的关键技术——二叉判定图(BDD),使BDD能表示电路的定时性质,这样就为VIS系统能够进行电路的时间特性验证和实时模型检验打下了基础。 相似文献
108.
在分析当前超媒体形式化模型特点的基础上,本文提出了一个全新的模型-CPNH,它基于有色Petri网,具有刻画分布超媒体主要性质的能力,与其他模型相比该模型能够有效解决并发浏览、存到控制和版本总理2,而且有力刻画了分布环境下多媒体的动态特性文中着重给出了CPNH模型的形式化定义并举例说明。 相似文献
109.
形式化的协议性能测试框架 总被引:3,自引:1,他引:2
随着计算机网络技术和网络应用的迅速发展,网络协议性能测试变得越来越重要本文基于形式化方法,提出了一种协议性能测试的理论框架。首先给出了性能和性能测试空间的定义,然后提出了性能测试的结构框架,并详细描述了各个模块,最后形式化地描述了性能测试的各个阶段。 相似文献
110.
有限构模器的扩展及其在形式化方法中的应用 总被引:2,自引:0,他引:2
规约在软件开发和验证中占有重要地位,对于以一阶逻辑为基础的规约,可以利用有限模型构造技术对其执行并测试,文中研究规约中某些特性的处理,包括存在量词以及二元关系析传递闭包,对已有的一个构模工具进行扩充,发现了文献中的若干错误。 相似文献