全文获取类型
收费全文 | 453篇 |
免费 | 5篇 |
国内免费 | 10篇 |
专业分类
系统科学 | 20篇 |
丛书文集 | 17篇 |
教育与普及 | 9篇 |
理论与方法论 | 27篇 |
现状及发展 | 6篇 |
综合类 | 389篇 |
出版年
2024年 | 2篇 |
2023年 | 9篇 |
2022年 | 9篇 |
2021年 | 9篇 |
2020年 | 8篇 |
2019年 | 10篇 |
2018年 | 13篇 |
2017年 | 4篇 |
2016年 | 7篇 |
2015年 | 5篇 |
2014年 | 38篇 |
2013年 | 17篇 |
2012年 | 22篇 |
2011年 | 24篇 |
2010年 | 29篇 |
2009年 | 24篇 |
2008年 | 15篇 |
2007年 | 19篇 |
2006年 | 21篇 |
2005年 | 11篇 |
2004年 | 14篇 |
2003年 | 18篇 |
2002年 | 20篇 |
2001年 | 6篇 |
2000年 | 12篇 |
1999年 | 13篇 |
1998年 | 9篇 |
1997年 | 12篇 |
1996年 | 7篇 |
1995年 | 9篇 |
1994年 | 3篇 |
1993年 | 7篇 |
1992年 | 5篇 |
1991年 | 8篇 |
1990年 | 4篇 |
1989年 | 3篇 |
1988年 | 3篇 |
1987年 | 1篇 |
1986年 | 2篇 |
1985年 | 1篇 |
1984年 | 2篇 |
1981年 | 1篇 |
1980年 | 2篇 |
1979年 | 1篇 |
1964年 | 6篇 |
1956年 | 3篇 |
排序方式: 共有468条查询结果,搜索用时 15 毫秒
91.
针对软件测试无法满足多内核处理器上进程调度的验证需要这一问题,提出利用投影时序逻辑(PTL)的定理证明方法来验证进程调度.使用PTL公式建立了支持当前主流进程调度算法的多内核处理器进程调度一般模型S,并将系统期望的性质描述为PTL公式P,在PTL公理系统的基础上,通过证明S蕴含P是否为一个定理来验证系统是否具备该性质.以2内核处理器上的多级反馈队列算法的正确性为案例进行检验,结果表明所提方法可验证多内核处理器进程调度的系统性质,保证多内核进程调度的可靠性.由于多内核处理器的进程调度具备了并发系统的主要特点,因此该方法也适用于一般的并发系统验证. 相似文献
92.
计算九江市中心城区居住功能区土地集约度分值,在此基础上运用Geoda、Arcgis空间数据分析方法分析九江市中心城区居住功能区土地集约利用程度的空间分布特点和采用Spass软件进一步分析三大类土地集约利用区土地集约利用影响因素。结果显示:1)九江市中心城区居住用地土地集约利用状况较好,集约利用区面积占居住功能区比为40.06%,中度利用区面积占居住功能区比为40.48%,低度利用区面积占居住功能区比为19.46%;2)居住功能区集约度呈现从中心向四周递减的空间分布特征;3)居住功能区集约度空间自相关明显呈正相关,表现为一定程度的空间集聚特征;4)中度利用区和低度利用容积率和建筑密度对土地集约利用影响较大,集约利用区人口密度和基础设施完备度对土地集约利用影响较大。 相似文献
93.
为了运用现代计算机控制技术改进传统手工操作的中药配药方式,开发出了中药智能配药系统.提出了一种能快速、有效地确定配药系统控制策略的方法:利用模块化结构建立系统配药的仿真模型,同时运用OPenGL技术使该模型可视化,基于此模型分析适用于该系统的控制算法并最终确定一种较优的控制策略.运用此方法,给出了一种适用于中药智能配药系统的控制优化算法——有限动态规划法.它综合考虑了动态规划法术取最优解及其时间、空间复杂度随问题规模大小变化的特点,能够在有效控制算法膨胀的前提下,求出系统取药的优化路径,同时讨论了其优化路径与理论最优路径的关系. 相似文献
94.
95.
研究利用北京地区L波段探空秒数据和地面日最大位温,采用气块法反演北京地区日最大混合层高度(MMH)的可行性。将08时探空秒数据以及常规探空数据反演结果分别与对应的微脉冲激光雷达反演结果相比较,发现前者与激光雷达反演结果的一致性好于后者,常规探空数据垂直空间分辨率低可能是导致其反演结果误差较大的原因。分别用春夏秋冬的探空秒数据反演结果与激光雷达反演结果相比较,发现春夏秋反演结果的一致性较好,而冬季较差。利用08时探空秒数据结合地面日最大位温,采用气块法反演北京地区2010—2017年的MMH,发现MMH每年均表现出春夏秋冬逐次递减的分布特征。通过对长期资料的统计分析发现,北京地区日地面最高气温与850 hPa温度差定义的热力稳定度与MMH之间存在较强的正相关性。 相似文献
96.
网格将多种资源组织在一个统一的框架下,为各种复杂的计算任务提供资源.因此计算任务在各种资源之间的调度成为了一个关键的问题.将遗传算法和免疫克隆算法结合起来,充分发挥各自的优势,先通过克隆操作来产生一组新的个体,然后再独立地对所产生的各个体进行克隆变异,克隆交叉操作,从而求得问题的最优解.实验结果表明,这种并行遗传免疫克隆算法全局寻优能力强,能有效地实现资源的负载均衡,可以成功地应用于网格任务调度中. 相似文献
97.
98.
研究了一类离散观测下含未知参数的非线性随机系统的渐近性问题,对似然率函数和极大似然估计量的近似值分别进行精确度分析,建立了似然率随机域来分析似然率的渐近动态特征,并借助积分中心极限定理等数学工具分析得到似然率随机域满足局部渐近正态性的充分条件,并进一步给出Berstein-Von-Mises型有界定理。 相似文献
99.
采用正则化技术与小波插值方法相结合,并利用最小二乘原理,研究一种图像的超分辨方法,数值实验表明,新方法具有高精度、高效率的特点。 相似文献
100.