全文获取类型
收费全文 | 748篇 |
免费 | 51篇 |
国内免费 | 38篇 |
专业分类
837篇 |
出版年
2024年 | 13篇 |
2023年 | 30篇 |
2022年 | 28篇 |
2021年 | 32篇 |
2020年 | 41篇 |
2019年 | 10篇 |
2018年 | 4篇 |
2017年 | 16篇 |
2016年 | 24篇 |
2015年 | 25篇 |
2014年 | 40篇 |
2013年 | 45篇 |
2012年 | 58篇 |
2011年 | 53篇 |
2010年 | 31篇 |
2009年 | 35篇 |
2008年 | 46篇 |
2007年 | 46篇 |
2006年 | 45篇 |
2005年 | 63篇 |
2004年 | 40篇 |
2003年 | 19篇 |
2002年 | 23篇 |
2001年 | 10篇 |
2000年 | 11篇 |
1999年 | 10篇 |
1998年 | 6篇 |
1997年 | 3篇 |
1996年 | 6篇 |
1995年 | 10篇 |
1994年 | 3篇 |
1993年 | 5篇 |
1992年 | 1篇 |
1991年 | 2篇 |
1990年 | 2篇 |
1989年 | 1篇 |
排序方式: 共有837条查询结果,搜索用时 15 毫秒
811.
动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用. 相似文献
812.
在阐述了电子对抗装备软件特点的基础上,对研制电子对抗装备软件过程中的测试策略与方法进行了初步的研究,并对在实施测试过程中的几个问题进行了探讨. 相似文献
813.
814.
建立了新的导管桨优化设计模型。该模型采用试验设计方法(DOE,design of experiment)在设计空间中均匀采样,捕捉整个设计空间中最有效的设计区域,进而用梯度优化算法在有效设计区域中进行优化设计。经计算实例证明:该算法可以辨识各因子对设计目标的影响系数,从而减少导管桨约束优化问题的计算时间,更有效地解决复杂的非线性优化问题。 相似文献
815.
<正>驻辽某军代室所驻两厂互为配套厂,在两厂战略重组过程中,带来职工思想不稳定、技术力量流失、设备设施老化、资金严重短缺、持续发展后劲不足等一系列问题,给质量工作开展带来极大难度。针对种种不利因素,该室把握特点,积极应对,主动作为,严把特殊时期产品质量关,推动了装备质量建设取得了扎扎实实的效果。 相似文献
816.
外语交际能力是社会所需高水平复合应用型人才应具备的素养。本研究考察真实性语言应用实践活动对非英语专业大学生外语交际策略和听说能力的影响。通过对比研究发现,学生参加了真实性语言应用实践活动后,其交际策略使用情况得到改善,更倾向于使用积极交际策略,消极策略的使用频率明显减少;听说水平整体得到提高;寻找机会说英语的主动性增强。因此,真实性语言应用实践活动有助于大学生提高外语交际能力,提高社会所需整体应用能力素养。 相似文献
817.
《军械工程学院学报》2014,(6)
针对当前新型军械装备技术服务在实施过程中缺乏具体的决策技术支持的问题,借鉴外军装备技术服务研究成果,结合我军军民融合战略深度发展需求,梳理了新型军械装备技术服务的内涵,从管理和业务2个角度对新型军械装备技术服务开展系统研究,建立新型军械装备技术服务管理流程体系,具体分析技术服务开展过程中的业务问题,包括军地任务划分、技术服务策略优化以及技术服务合同签订,为开展军民融合条件下装备维修保障提供理论指导和技术支持. 相似文献
818.
研究了红方在不能完全确定蓝方目标类型并且可能被蓝方目标摧毁情况下,如何射击能获得最大收益的问题。为平衡红方射击收益和自身生存概率,引入和拓展Gittins指数应用于射击决策问题,对指数射击策略的最优性进行了讨论。与近视策略、随机策略和循环策略进行对比分析,实例分析验证了指数射击策略的最优性。对辅助红方射击决策和建设射击指挥信息系统具有一定借鉴意义。 相似文献
819.
吴海燕 《武警工程学院学报》1997,13(1):72-74
该文在分析了我国的市场营销环境的基础上,讨论了企业定价决策的几个基本因素,并就我国企业的定价目标、定价策略和定价方法进行了初步的探讨. 相似文献
820.
基于战术知识的对地攻击策略研究 总被引:1,自引:0,他引:1
本文就空对地攻击的策略进行了研究,提出了空战战术与技术相结合,基于战术知识来决策攻击方式的方法,并进行了仿真验证 相似文献