全文获取类型
收费全文 | 662篇 |
免费 | 25篇 |
国内免费 | 36篇 |
专业分类
系统科学 | 93篇 |
丛书文集 | 17篇 |
教育与普及 | 4篇 |
理论与方法论 | 4篇 |
现状及发展 | 8篇 |
综合类 | 597篇 |
出版年
2024年 | 3篇 |
2023年 | 9篇 |
2022年 | 13篇 |
2021年 | 12篇 |
2020年 | 26篇 |
2019年 | 19篇 |
2018年 | 14篇 |
2017年 | 12篇 |
2016年 | 12篇 |
2015年 | 17篇 |
2014年 | 40篇 |
2013年 | 36篇 |
2012年 | 37篇 |
2011年 | 28篇 |
2010年 | 26篇 |
2009年 | 41篇 |
2008年 | 25篇 |
2007年 | 46篇 |
2006年 | 67篇 |
2005年 | 30篇 |
2004年 | 43篇 |
2003年 | 25篇 |
2002年 | 29篇 |
2001年 | 25篇 |
2000年 | 12篇 |
1999年 | 16篇 |
1998年 | 9篇 |
1997年 | 8篇 |
1996年 | 13篇 |
1995年 | 5篇 |
1993年 | 3篇 |
1992年 | 3篇 |
1991年 | 3篇 |
1990年 | 7篇 |
1989年 | 2篇 |
1988年 | 2篇 |
1987年 | 2篇 |
1986年 | 1篇 |
1984年 | 1篇 |
1955年 | 1篇 |
排序方式: 共有723条查询结果,搜索用时 93 毫秒
1.
李倩 《绵阳经济技术高等专科学校学报》2007,24(2):49-52
楊廉夫為元末明初的著名詩人、書法家,表字廉夫,其名維楨,亦作維禎。楊廉夫之名二字混用由來已久。《四庫全書總目提要》未對“楨”“禎”二字作考證,直以“楨”字》是。本文通過對歷代目志、石刻碑誌材料、楊廉夫法真蹟與印鑒題識以及方志材料等多個方面的考察,證實楊廉夫本名應作“楊維楨”,楊氏文集中“楨”“禎”混雜的現象,並非刊刻傳抄過程中形成的訛誤,而是始自楊廉夫本人對二字的有意混用。 相似文献
2.
现代飞机舵面大多采用主动式余度作动系统。这种系统固有的力纷争现象,导致传统的基于原位载荷校准试验的飞机结构载荷测量方法,不再适用于现代飞机操纵舵面铰链力矩飞行测量。提出了一种基于离位载荷校准试验和原位载荷验证试验的飞机舵面铰链力矩测量方法,建立了相应的载荷测量模型,分析确定了铰链力矩测量精准度的影响因素,给出了可能引起的系统误差的验证和修正方法,形成了主动式余度作动舵面铰链力矩飞行测量流程。通过多型飞机舵面铰链力矩测量试飞,验证了该方法的可行性和有效性;提高了飞机舵面铰链力矩测量的精准度,为飞机舵面设计载荷验证与优化提供了可靠的实测载荷;得到了飞机舵面各作动机构的载荷分配,实现了飞机舵面作动系统力纷争的飞行监测,确保了飞行安全。 相似文献
3.
分析了模态应变能用于结构损伤识别的可行性,并进行了有限元和实验验证.结果表明,模态应变能对损伤较为敏感,能够反映结构的局部状态变化,可以用来检测结构损伤位置。 相似文献
4.
随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。 相似文献
5.
环境素养评价体系与模型的构建及实证分析 总被引:4,自引:0,他引:4
结合国内外环境素养的研究成果 ,指出环境素养的概念应主要包括环境知识、环境行为和环境意识 3方面 ,并具有 3个特征·以此为基础 ,注意相关性、简洁性、可操作性等原则 ,构建出 3级 4层的环境素养评价指标体系和对应的数学评价模型 ,并进行了实证分析·该文有助于人们重视环境素养及其现代研究方法的构建与应用 ,增进交流 ,促进环境素养的提高· 相似文献
6.
成绩录入系统确保数据正确性的策略 总被引:2,自引:0,他引:2
主要讨论如何在成绩录入系统中确保输入数据的正确性,提出从客户端的数据录入应用程序和数据录入后校验两个方面确保录入数据正确性的策略,并详细介绍了双工输入比较法、过滤按键、数据实时检验及数据录入后进行的即时检查和总结性校验等具体方法。 相似文献
7.
提出了一种基于事务的形式验证方法(TBFV),为待验证的系统构造功能验证模型,每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数.这些可用Kripke结构来描述.这些功能验证模型实现了特定的事务,从而可以将一般的验证要求映射为具体的实现属性.这样,验证者无需了解设计的细节,可在较高层次上对系统行为进行验证.为了证明该方法的效率,分别用该方法和传统的形式验证方法验证了8051的RTL实现.8051中所有的指令都进行了验证,并给出了相应的功能验证模型.实验结果表明,采用该方法可大大节省验证工程师的时间.功能验证模型和验证指令可以在其他设计中复用. 相似文献
8.
A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC
本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型,给出了基于该模型的形式检证法,试制了检证系统.该检证法不需要假定信道的有界性.对于给定的通信协议,检证系统将判定其对指定状态的可到达性.做为检证例,从OSI参照模型中抽出了大同步点设置功能单位,就“无死锁”、“无传输错误”等性质进行了实际检证 相似文献
9.
Deepak KAPUR 《系统科学与复杂性》2006,19(3):307-330
A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions. 相似文献
10.
仿真系统VV&A是针对仿真系统全生命周期可信性评估而实施的一项重要活动,是仿真系统研究与开发中的关键技术和难题之一。本文围绕仿真系统VV&A中的关键问题展开研究,包括仿真系统VV&A概念体系、VV&A过程模型及VV&A标准/规范技术框架等,为复杂仿真系统VV&A标准研究提供对策与参考。 相似文献