首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   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  
在讨论人机交互方式和界面控制与通信的基础上,描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。主要强调图形用户界面的模型和描述问题。  相似文献   
9.
基于Petri网的TCP协议异常检测模型   总被引:1,自引:0,他引:1  
从面向连接的角度出发,以Petri网为工具,建立了TCP协议异常检测模型.该模型以TCP协议的状态变迁图为基础,并根据协议规范可对传输报文的标志位进行系统的分析,从而识别出标志位非法组合构成的畸形报文(FIN—RST报文).模型中规定了各种状态下可接收的标志位集合,同时还细化了各状态下的超时异常,据此可准确地检测出各种异常,以抵御已知和未知的非法行为.利用该模型不仅可发现已知异常事件,还可对未知漏洞进行防范.通过实验发现,网络中的错误标志位报文、端口扫描以及DOS攻击产生的异常流量将占到总流量的10%以上.  相似文献   
10.
<钢骨混凝土结构设计规程>和<型钢混凝土组合结构设计规程>是现有的两部型钢混凝土设计规程,为了便于工程设计人员正确选用,对这两部规程的分析思路、并将相应的计算值与实验数据进行比较,得出两部规程不同的设计特点,并提出了现阶段存在的主要问题,最后提出一些适合工程应用的建议.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号