全文获取类型
收费全文 | 534篇 |
免费 | 20篇 |
国内免费 | 37篇 |
专业分类
系统科学 | 35篇 |
丛书文集 | 7篇 |
教育与普及 | 7篇 |
理论与方法论 | 5篇 |
现状及发展 | 13篇 |
综合类 | 524篇 |
出版年
2023年 | 2篇 |
2022年 | 5篇 |
2021年 | 4篇 |
2020年 | 7篇 |
2019年 | 2篇 |
2018年 | 6篇 |
2017年 | 9篇 |
2016年 | 6篇 |
2015年 | 7篇 |
2014年 | 23篇 |
2013年 | 18篇 |
2012年 | 27篇 |
2011年 | 24篇 |
2010年 | 25篇 |
2009年 | 29篇 |
2008年 | 21篇 |
2007年 | 30篇 |
2006年 | 41篇 |
2005年 | 36篇 |
2004年 | 35篇 |
2003年 | 24篇 |
2002年 | 25篇 |
2001年 | 19篇 |
2000年 | 29篇 |
1999年 | 22篇 |
1998年 | 20篇 |
1997年 | 19篇 |
1996年 | 17篇 |
1995年 | 12篇 |
1994年 | 7篇 |
1993年 | 8篇 |
1992年 | 5篇 |
1991年 | 4篇 |
1990年 | 6篇 |
1989年 | 2篇 |
1988年 | 6篇 |
1987年 | 6篇 |
1986年 | 2篇 |
1985年 | 1篇 |
排序方式: 共有591条查询结果,搜索用时 15 毫秒
1.
CRP复合材料板复合型裂纹扩展方向预测理论研究 总被引:1,自引:0,他引:1
本文对碳纤维增强的复合材料板裂纹扩展方向预测理论进行了研究。介绍了最新发展起来的复合材料Z断裂理论 ,并通过试验证明了新理论的正确性 相似文献
2.
结构化面向对象形式规格说明语言OOZS——设计原理 总被引:1,自引:0,他引:1
形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现:形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然.本文讨论了Z规格说明语言的应用限制,并在Z语言的基础上介绍了结构化面向对象形式规格说明语言——OOZS的设计方法.该语言吸收了面向对象程序设计语言SmalTalk、C++以及形式规格说明语言VDM、Zc、Z.S等的优点,引入了类、继承、入口、出口、Pre谓词、Post谓词等机制,并对Z语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写 相似文献
3.
基于Petri网的车间控制器平台研究 总被引:2,自引:0,他引:2
着重于车间控制器的开放性提出了车间控制器平台的体系结构.车间控制器平台的核心是运控Petri网.该文给出了运控Petri网的定义.和一般的Petri网相比,运控Petri网主要增加了控制规则以及和外部信息进行交互的接口.实现外部接口的技术方案是车间控制器平台的关键技术,这些接口包括控制设备的虚拟制造设备(VMD)接口、数据库访问接口以及文件访问接口,通过这些外部接口为车间调度提供了全面的车间信息. 相似文献
4.
在满足第二个数公理的零紧Abel群G的空间L(G)中研究了一类Vilenkin卷积算子的性质.该类算子包括Vilenkin-Fourier级数的部份和、Fejer平均等作为特例.文中证明了这类算子是弱(1,1)型和强(q,q)型的,1<q<∞. 相似文献
5.
介绍了一种新的面向对象的形式化规范说明技术VDM++,它是VDM的一种扩充.并且通过一个实例说明如何应用VDM++技术对面向对象系统进行形式化规范说明. 相似文献
6.
在PC机上建立了一个由DOS系统支持的图形LOTOS(GLOTOS)软件工具.用这个工具,用户可以设计,显示一个GLOTOS说明,也可以把它转换成Petri网.该系统分为三个模块:DRAW,RECOVER和TRANSFER.根据GLOTOS模型,模块DRAW给出了一个交互式的菜单系统,用这个系统,用户可以在图形窗口的任何位置画出GLOTOS的任一成分;模块RECOVER可以自动恢复以前画好的GLOTOS模型;根据Petri网的表示,模块RECOVER提供了从GLOTOS自动转换到Petri网的功能. 相似文献
7.
基于通信顺序进程的计算机网络通信协议形式化描述 总被引:5,自引:0,他引:5
描述和设计计算机网络通信协议时,使用抽象的同步通信机制最为方便。但在实际中,使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果,本文提出一个形式化方法,这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性 相似文献
8.
用户界面模型与形式规格说明研究 总被引:5,自引:1,他引:5
华庆一 《西北大学学报(自然科学版)》1997,27(5):369-374
在讨论人机交互方式和界面控制与通信的基础上,描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。主要强调图形用户界面的模型和描述问题。 相似文献
9.
基于Petri网的TCP协议异常检测模型 总被引:1,自引:0,他引:1
从面向连接的角度出发,以Petri网为工具,建立了TCP协议异常检测模型.该模型以TCP协议的状态变迁图为基础,并根据协议规范可对传输报文的标志位进行系统的分析,从而识别出标志位非法组合构成的畸形报文(FIN—RST报文).模型中规定了各种状态下可接收的标志位集合,同时还细化了各状态下的超时异常,据此可准确地检测出各种异常,以抵御已知和未知的非法行为.利用该模型不仅可发现已知异常事件,还可对未知漏洞进行防范.通过实验发现,网络中的错误标志位报文、端口扫描以及DOS攻击产生的异常流量将占到总流量的10%以上. 相似文献
10.
<钢骨混凝土结构设计规程>和<型钢混凝土组合结构设计规程>是现有的两部型钢混凝土设计规程,为了便于工程设计人员正确选用,对这两部规程的分析思路、并将相应的计算值与实验数据进行比较,得出两部规程不同的设计特点,并提出了现阶段存在的主要问题,最后提出一些适合工程应用的建议. 相似文献