全文获取类型
收费全文 | 204篇 |
免费 | 3篇 |
国内免费 | 3篇 |
专业分类
系统科学 | 1篇 |
丛书文集 | 15篇 |
教育与普及 | 21篇 |
理论与方法论 | 18篇 |
现状及发展 | 1篇 |
综合类 | 154篇 |
出版年
2022年 | 3篇 |
2021年 | 13篇 |
2020年 | 10篇 |
2019年 | 9篇 |
2018年 | 1篇 |
2016年 | 1篇 |
2014年 | 1篇 |
2013年 | 2篇 |
2012年 | 1篇 |
2011年 | 4篇 |
2010年 | 4篇 |
2009年 | 3篇 |
2008年 | 5篇 |
2007年 | 4篇 |
2006年 | 8篇 |
2005年 | 9篇 |
2004年 | 11篇 |
2003年 | 11篇 |
2002年 | 9篇 |
2001年 | 25篇 |
2000年 | 8篇 |
1999年 | 9篇 |
1998年 | 5篇 |
1997年 | 2篇 |
1995年 | 2篇 |
1994年 | 7篇 |
1991年 | 4篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1987年 | 1篇 |
1985年 | 1篇 |
1982年 | 2篇 |
1981年 | 3篇 |
1980年 | 2篇 |
1979年 | 4篇 |
1978年 | 2篇 |
1977年 | 1篇 |
1976年 | 3篇 |
1975年 | 6篇 |
1974年 | 2篇 |
1965年 | 1篇 |
1959年 | 4篇 |
排序方式: 共有210条查询结果,搜索用时 0 毫秒
51.
针对确认测试自动化在实现中的难题,提出了将测试过程进行划分的确认控制策略,并探讨了将之付诸实践的可行方法.一方面通过将测试过程进行划分减轻用例设计的负担,另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性.方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外,其余的步骤均能自动实现. 相似文献
52.
大连工学院工程力学研究所板壳研究小组 《大连理工大学学报》1979,(4)
本文提出了分析环肋锥-柱结合壳在静水外压作用下弹性稳定性的一个有效方法。该方法的基本思想是:(1)联合运用半弯矩理论和结合边附近边界效应理论;(2)利用以切向位移作为基本未知数的最小势能原理。所得到的临界压力表达式和熟知的圆柱壳 Mises公式相似。式中的特征值αR/L取代了Mises公式中的πR/L,α是一个与结合壳的几何参数有关的系数。因此,由这两个公式的类比引出了“相当柱壳”概念。 对于凹式锥-柱结合壳,从本文的基本方程式出发,用渐近分析的方法又一次导出了其几何构造上的一个不利形式。当这个不利形式被满足时,壳皮膜力抵抗失稳的能力将大大降低。凹式结合壳的这种不利形式早在我们的工作[2]中已经发现,这里又一次得到证明。 相似文献
53.
中国科学技术信息研究所 《科学》2010,62(2)
08年度中国科技人员在国内外发表论文数量和引文情况的统计分析工作已完成.国际论文数据主要采用国际权威检索数据库:科学引文索引(SCI)、工程索引(EI)、科学技术会议录索引(ISTP)、<医学索引>(MEDLINE)和<社会科学引文索引>(SSCI). 相似文献
54.
55.
8848.86米!珠峰新高程
8848.86米!2020年12月8日,中国、尼泊尔两国向全世界正式宣布,珠穆朗玛峰的最新高程为8848.86米.
珠峰高程即珠峰海拔高,是峰顶到"大地水准面"的距离.地球表面地形起伏巨大,科学家们假设静止的海水面向大陆延伸,把地球包裹起来形成"大地水准面".然而,大地水准面无法直接测量,需要根据珠峰地区现势性强、分辨率高、数量庞大的重力数据、水准数据、地形数据和卫星定位数据综合计算得到. 相似文献
56.
一种改进的C/S服务模型 总被引:4,自引:0,他引:4
提出了一种改进的C/S服务模型BBDSM,BBDSM把代理作为客户与服务器间的中介者以实现一种新的服务管理机制,相对传统C/S服务模型而言,实现了服务透明访问和动态负载平衡,并使系统具有一定规模的可伸缩性和容错能力。 相似文献
57.
提出了一种基于事务的确认控制形式化方法。该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式从,从而可实现确认控制自动化。 相似文献
59.
针对确认测试自动化在实现中的难题,提出了将测试过程进行划分的确认控制策略,并探讨了次之付诸实践的可行方法。一方面通过将测试过程进行划分减轻用例设计的负担,另一方面通过在每个测试步内生成完全的功能路径以保证功能覆盖的全面性。方法确认测试过程除了在把数据流图转变为带控制扩展的数据流图时需要人工辅助之外,其余的步骤均能自动实现。 相似文献
60.
河南省高校实验室工作研究会秘书处 《实验室科学》2004,(1):128-129
南省高校实验室工作研究会第六次会员代表大会暨2003年学术年会于2003年10月29日至31日在河南师范大学(新乡市)召开.国家教育部高教司陈小平处长,全国高校实验室工作研究会副理事长兼秘书长、北京大学实验室与设备管理部部长王兴邦教授,全国高校实验室工作研究会顾问、河北省高校实验室工作研究会理事长王华生教授,北方九省高校实验室工作研究会协作组组长、《实验室科学》编辑部常务副主任郝振东处长,河南省教育厅高教处唐多毅处长以及来自我省48所高校的代表共96人出席了会议.会议分“开幕式、学术交流、换届会议、产品展示、闭幕式“五个阶段进行.…… 相似文献