全文获取类型
收费全文 | 1418篇 |
免费 | 38篇 |
国内免费 | 88篇 |
专业分类
系统科学 | 88篇 |
丛书文集 | 50篇 |
教育与普及 | 9篇 |
理论与方法论 | 3篇 |
现状及发展 | 6篇 |
综合类 | 1388篇 |
出版年
2024年 | 1篇 |
2023年 | 7篇 |
2022年 | 9篇 |
2021年 | 8篇 |
2020年 | 17篇 |
2019年 | 9篇 |
2018年 | 16篇 |
2017年 | 18篇 |
2016年 | 10篇 |
2015年 | 25篇 |
2014年 | 59篇 |
2013年 | 41篇 |
2012年 | 71篇 |
2011年 | 84篇 |
2010年 | 56篇 |
2009年 | 55篇 |
2008年 | 58篇 |
2007年 | 83篇 |
2006年 | 69篇 |
2005年 | 78篇 |
2004年 | 68篇 |
2003年 | 69篇 |
2002年 | 58篇 |
2001年 | 53篇 |
2000年 | 44篇 |
1999年 | 33篇 |
1998年 | 50篇 |
1997年 | 40篇 |
1996年 | 41篇 |
1995年 | 38篇 |
1994年 | 42篇 |
1993年 | 39篇 |
1992年 | 41篇 |
1991年 | 39篇 |
1990年 | 28篇 |
1989年 | 30篇 |
1988年 | 23篇 |
1987年 | 21篇 |
1986年 | 7篇 |
1985年 | 4篇 |
1984年 | 1篇 |
1955年 | 1篇 |
排序方式: 共有1544条查询结果,搜索用时 15 毫秒
101.
王沁 《北京科技大学学报》1994,16(1):78-83
广义状态图方法包括广义状态图的设计方法和面向状态的过程设计方法两部分。广义状态图在传统状态图的基础上扩充了动作结点的概念,利用动作结点表示系统在状态转移过程中的动作,以及多任务之间的各种减产。顷向状态的过程设计方法以广义状态图的各元素与过程设计之间的相关关系为依据,直接由广义状态图生成多任务系统的过程设计。 相似文献
102.
基于PVS的UML类图和序列图的一致性检验 总被引:1,自引:0,他引:1
针对UML类图和序列图的一致性问题,在充分考虑了类继承关系、关联关系、类方法的可见性以及类方法的前、后置条件等因素对一致性影响的基础上,给出了判定类图和序列图一致性的必要条件和PVS元理论,提出了一种基于定理证明器PVS的一致性检验方法.在检验UML模型一致性时,把一致性检验问题转化为逻辑定理证明问题.实践表明,该方法对于提高UML模型的可信度,减少系统实现阶段的错误起到了一定作用. 相似文献
103.
以杠杆规则为主要依据,对具有最低恒沸点的“二元液系相图”实验中的经验操作进行了详细的数学推导.推导结论与实验结果间的一致性,为实验中的经验操作提供了理论依据. 相似文献
104.
UML(Unified Modeling Language)作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN(Coloured Petri Nets)作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。 相似文献
105.
任玉伟 《科技情报开发与经济》2007,17(34):214-215
从矢量图形系统、数据库管理系统以及矢量图形系统与数据库管理系统的连接等方面探讨了基于VC 的GIS应用系统的开发。 相似文献
106.
根据纱线长度,用变频器控制细纱机主轴转速,设计了纺纱过程中纱线恒张力控制.程序按照状态变化进行设计开发.实验结果表明,该设计达到设计要求.其产品已投入批量生产. 相似文献
107.
Yin Wang Zhiyu Huang Tsinghua National Laboratory for Information Science Technology School of Software Tsinghua University Beijing China 《清华大学学报》2011,16(6):622-631
The coverability of Wireless Sensor Networks (WSNs) is essentially a Quality of Service (QoS) problem that measures how well the monitored area is covered by one or more sensor nodes.The coverability of WSNs was examined by combining existing computational geometry techniques such as the Voronoi diagram and Delaunay triangulation with graph theoretical algorithmic techniques.Three new evaluation algorithms,known as CRM (Comprehensive Risk Minimization),TWS (Threshold Weight Shortest path),and CSM (Comprehen... 相似文献
108.
当今城市电磁辐射污染趋于严重化,防治改善城市电磁辐射环境迫在眉睫,针对兴义民族师范学院市内校区电磁辐射分布进行调查,实际测量,绘制了校区的电磁辐射分布图,并对校区电磁环境质量进行了分析,研究结果为兴义地区环境规划提供了资料和依据. 相似文献
109.
着重分析了微型点阵打印机点阵图样打印输出功能,详细介绍了为其扩展二维曲线绘制功能的软件程序设计方法,为今后更好地应用该型号打印机奠定了基础。 相似文献
110.
说明了金属氧化物热力学稳定性与其生成反应的标准自由能变化之间的关系,分析了Ellingham图的热力学意义,讨论了金属还原反应的自发性,说明了选择不同金属氧化物的还原剂的热力学依据。 相似文献