全文获取类型
收费全文 | 366篇 |
免费 | 7篇 |
国内免费 | 46篇 |
专业分类
系统科学 | 31篇 |
丛书文集 | 12篇 |
教育与普及 | 3篇 |
理论与方法论 | 4篇 |
现状及发展 | 3篇 |
综合类 | 366篇 |
出版年
2024年 | 1篇 |
2023年 | 2篇 |
2022年 | 3篇 |
2021年 | 3篇 |
2020年 | 6篇 |
2019年 | 1篇 |
2018年 | 3篇 |
2017年 | 1篇 |
2016年 | 7篇 |
2015年 | 10篇 |
2014年 | 16篇 |
2013年 | 13篇 |
2012年 | 24篇 |
2011年 | 21篇 |
2010年 | 10篇 |
2009年 | 20篇 |
2008年 | 22篇 |
2007年 | 24篇 |
2006年 | 26篇 |
2005年 | 35篇 |
2004年 | 24篇 |
2003年 | 17篇 |
2002年 | 18篇 |
2001年 | 12篇 |
2000年 | 10篇 |
1999年 | 11篇 |
1998年 | 8篇 |
1997年 | 6篇 |
1996年 | 8篇 |
1995年 | 8篇 |
1994年 | 9篇 |
1993年 | 7篇 |
1992年 | 5篇 |
1991年 | 4篇 |
1990年 | 7篇 |
1989年 | 3篇 |
1988年 | 8篇 |
1987年 | 5篇 |
1986年 | 1篇 |
排序方式: 共有419条查询结果,搜索用时 15 毫秒
171.
基于Real-Time Object-Z语言的实时系统形式化描述 总被引:1,自引:0,他引:1
实时系统是一类需要考虑时间约束条件的反应系统,确保实时系统安全性和可靠性是至关重要的。形式化方法是建立在严密数学基础之上的开发方法,采用形式化方法对实时系统进行描述与验证,可以借助严密的数学证明提高实时系统的安全性和可靠性。本文讨论Object-Z的一种实时扩展语言Real-Time Object-Z,它可以对实时系统进行形式化描述;文中以室温控制系统为例,详细说明了Real-Time Object-Z语言在实时系统形式化描述中的应用方法。 相似文献
172.
作为图像处理领域中的重要课题,图像去噪问题虽然已被研究多年,但将分数阶微积分应用于此,却还处于刚刚起步的阶段.本文采用频域分数阶化的技巧,引入了频域分数阶差分,并通过整数阶变分导出分数阶变分,再将其应用到分数阶TV模型中.仿真实验表明,频域分数阶差分能更好地保留图像的低频成分;而在图像去噪的研究中,相比整数阶差分,分数阶差分效果更优;并发现极大峰值信噪比的最优阶数和噪声方差有逆向联动关系. 相似文献
173.
174.
175.
研究了模糊命题演算的形式演绎系统L 和修正的Kleene逻辑系统 W ,W ,Wk 及R0 代数 .给出了L 系统的半对偶形式系统SL- ;与交推理规则相对应 ,引入并推理规则 ,证明了L 系统和SL- 系统的等价性 .为形式演绎系统的研究和应用提供了一个有益的途径 相似文献
176.
以随机点过程和Palm积分为数学模型基础,对移动通信系统仿真模型中常用的随机路点(RWP)运动模型的合群特性进行了分析.指出大量服从RWP模型的节点共同运动时,会表现出一种天然的倾向于区域中心的合群特性,而非均匀分布.通过定义合群密度,给出了RWP模型在一般凸区域内的合群密度的计算方法及一维线段和正方形区域上的合群密度显式.通过两个实例仿真验证了分析结论. 相似文献
178.
我们考虑最小值问题(P)min{ab∫f(t,u′(t))dt l(u(a),u(b));u∈AC([a,b],Rn)},其中f:[a,b]×Rn→R∪{ ∞}是正规被积函数,l:Rn×Rn→R∪{ ∞}下半连续,AC([a,b],Rn)表示从[a,b]到Rn的绝对连续函数空间。我们将证明最小化算子存在的充分条件。 相似文献
179.
王高峡 《三峡大学学报(自然科学版)》2004,26(3):277-280
图形计算器是一种便携式的数学工具,以TI-92型图形计算器为例,从多个方面探讨了图形计算器在微积分教学中的作用. 相似文献
180.
《易经》符号与祖国数学 总被引:1,自引:0,他引:1
《易经》符号有其丰富的数学内蕴,《易经》是我国有文字记载以来最早的数学著作。它对我国古代数学产生了巨大的巨大影响。直到16世纪,我国的数学在世界上一直居于领先水平,并已接近了微积分的大门。落后的封建制度、帝王的腐败和帝国主义的侵略,使得我国的近代数学未能对世界作出应有的贡献。本文同时对我国古代的数学成就进行了简要的总结。 相似文献