全文获取类型
收费全文 | 5432篇 |
免费 | 51篇 |
国内免费 | 140篇 |
专业分类
系统科学 | 93篇 |
丛书文集 | 224篇 |
教育与普及 | 133篇 |
理论与方法论 | 102篇 |
现状及发展 | 16篇 |
综合类 | 5055篇 |
出版年
2024年 | 11篇 |
2023年 | 37篇 |
2022年 | 36篇 |
2021年 | 46篇 |
2020年 | 40篇 |
2019年 | 41篇 |
2018年 | 21篇 |
2017年 | 34篇 |
2016年 | 51篇 |
2015年 | 88篇 |
2014年 | 243篇 |
2013年 | 202篇 |
2012年 | 264篇 |
2011年 | 322篇 |
2010年 | 347篇 |
2009年 | 383篇 |
2008年 | 477篇 |
2007年 | 440篇 |
2006年 | 251篇 |
2005年 | 295篇 |
2004年 | 238篇 |
2003年 | 316篇 |
2002年 | 279篇 |
2001年 | 271篇 |
2000年 | 169篇 |
1999年 | 125篇 |
1998年 | 108篇 |
1997年 | 77篇 |
1996年 | 83篇 |
1995年 | 80篇 |
1994年 | 54篇 |
1993年 | 38篇 |
1992年 | 39篇 |
1991年 | 28篇 |
1990年 | 34篇 |
1989年 | 25篇 |
1988年 | 8篇 |
1987年 | 7篇 |
1986年 | 5篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 2篇 |
1982年 | 3篇 |
1980年 | 1篇 |
1978年 | 1篇 |
1962年 | 1篇 |
排序方式: 共有5623条查询结果,搜索用时 406 毫秒
71.
李刚 《上海大学学报(自然科学版)》1998,4(2):187-195
形式方法与面向对象方法的综合使用可以使它们各自的优点得 到充分体现;形式方法全目标软件系统的需求规格说明简明、精,精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然。 相似文献
72.
结构化面向对象形式规格说明语言OOZS——设计原理 总被引:1,自引:0,他引:1
形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现:形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然.本文讨论了Z规格说明语言的应用限制,并在Z语言的基础上介绍了结构化面向对象形式规格说明语言——OOZS的设计方法.该语言吸收了面向对象程序设计语言SmalTalk、C++以及形式规格说明语言VDM、Zc、Z.S等的优点,引入了类、继承、入口、出口、Pre谓词、Post谓词等机制,并对Z语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写 相似文献
73.
赵国松 《四川大学学报(自然科学版)》1998,35(5):649-659
对伪黎曼流形上的2-阶共变对称张量场,如果它的Jordan指标在一个邻域上是常数,我们能构造这个邻域上的局部正交光滑标架场,使这个张量场关于构造的标架场的分量矩阵有标准形式,由此可使用活动标架法伪黎曼形特别是Lorentz场形上的一些重要定理给出新的简洁证明。 相似文献
74.
在经典内弹道理论基础上,建立了以氮气发生剂为抛撒动力源的子弹药气囊抛撒内弹道模型.将整个氮气发生器视为气源,提出了名义燃速的概念,建立了名义燃速方程,把氮气发生器及抛撒装置的结构等因素对名义燃速的影响通过引入结构综合参量体现,简化了计算过程.名义燃速方程采用了带有常数项的指数形式.用该模型计算所得结果与试验测试值符合较好,可用于抛撒技术的研究和工程应用. 相似文献
75.
旋转弹两级分离动力学模型建立与仿真 总被引:1,自引:0,他引:1
为了研究不同连接方式对导弹两级分离的影响,针对采用套筒连接和螺栓对接两种分离连接方案的旋转弹,对两种连接形式分别进行了分离过程的运动特性分析;针对两种连接方式不同的运动特点,分析了其分离过程的运动学和动力学特性,并在此基础上建立了相应的弹体动力学模型.根据两种连接形式的算例,对分离过程进行了数字仿真分析.仿真结果显示两种模型下导弹分离成功,证明弹体动力学模型合理. 相似文献
76.
常玲玲 《长春师范学院学报》2005,24(2):95-96
在外语课堂教学中,越来越多的人倡导“以学生为中心”的教学理论。而充分调动学生参与英语课堂活动的积极性是“以学生为中心”教学理论在课堂实践中贯彻实行的关键。 相似文献
77.
研究了每个忙期开始后的前N个顾客接受特别服务M^[x]/G/I排队系统。通过采用补充变量法,推导出系统稳态队长概率母函数的迭代公式。更进一步,得到了系统的平均队长。 相似文献
78.
在粗糙集理论框架内研究基于不完备信息系统的决策规则"真"的一般概念,讨论在一般"真"意义下最优决策规则的统一获取算法,其中首先探讨了在研究不完备决策系统时的基本考虑,然后讨论了决策规则的"真"的一般框架,引入了在一般"真"意义下广义决策向量概念,以此为基础,研究了最优决策规则的形式获取算法. 相似文献
79.
针对一类单时滞的线性时滞系统,为对其未知的状态时滞参数进行自适应控制,基于LMI方法,采用一种基于“描述形式”的Lyapunov-Krasovskii泛函和新型的带记忆的状态反馈控制,使得参数自适应律能反映实时估计值与实际接近值之间的差值,从而突破以往自适应控制对估计值的大小限制和调整参数计算的困难,给出了一种新型的保守性较小、简便、实用的自适应律,仿真实例证明了该控制方案的有效性。 相似文献
80.
产品设计的形式审美特征及成因 总被引:3,自引:0,他引:3
赵建国 《湘潭师范学院学报(自然科学版)》2005,27(2):32-34
产品设计的形式具有使用的审美双重特征,其形式审美特征显示出越来越重要的作用,是产品的高品质性能的外在体现。章对构成产品的形式审美特征的技术因素(材料、结构、工艺等),艺术因素(形式美法则)以及社会环境因素等进行了分析,有助于在设计中提高对产品形式审美特征的把握,发挥形式审美特征的作用。 相似文献