全文获取类型
收费全文 | 772篇 |
免费 | 27篇 |
国内免费 | 42篇 |
专业分类
系统科学 | 92篇 |
丛书文集 | 22篇 |
教育与普及 | 4篇 |
理论与方法论 | 4篇 |
现状及发展 | 5篇 |
综合类 | 714篇 |
出版年
2024年 | 2篇 |
2023年 | 9篇 |
2022年 | 13篇 |
2021年 | 14篇 |
2020年 | 27篇 |
2019年 | 21篇 |
2018年 | 14篇 |
2017年 | 15篇 |
2016年 | 13篇 |
2015年 | 23篇 |
2014年 | 40篇 |
2013年 | 38篇 |
2012年 | 43篇 |
2011年 | 34篇 |
2010年 | 33篇 |
2009年 | 48篇 |
2008年 | 37篇 |
2007年 | 58篇 |
2006年 | 78篇 |
2005年 | 40篇 |
2004年 | 43篇 |
2003年 | 30篇 |
2002年 | 35篇 |
2001年 | 28篇 |
2000年 | 15篇 |
1999年 | 18篇 |
1998年 | 10篇 |
1997年 | 13篇 |
1996年 | 14篇 |
1995年 | 6篇 |
1993年 | 3篇 |
1992年 | 4篇 |
1991年 | 5篇 |
1990年 | 8篇 |
1989年 | 2篇 |
1988年 | 2篇 |
1987年 | 2篇 |
1986年 | 1篇 |
1984年 | 1篇 |
1955年 | 1篇 |
排序方式: 共有841条查询结果,搜索用时 31 毫秒
1.
李倩 《绵阳经济技术高等专科学校学报》2007,24(2):49-52
楊廉夫為元末明初的著名詩人、書法家,表字廉夫,其名維楨,亦作維禎。楊廉夫之名二字混用由來已久。《四庫全書總目提要》未對“楨”“禎”二字作考證,直以“楨”字》是。本文通過對歷代目志、石刻碑誌材料、楊廉夫法真蹟與印鑒題識以及方志材料等多個方面的考察,證實楊廉夫本名應作“楊維楨”,楊氏文集中“楨”“禎”混雜的現象,並非刊刻傳抄過程中形成的訛誤,而是始自楊廉夫本人對二字的有意混用。 相似文献
2.
现代飞机舵面大多采用主动式余度作动系统。这种系统固有的力纷争现象,导致传统的基于原位载荷校准试验的飞机结构载荷测量方法,不再适用于现代飞机操纵舵面铰链力矩飞行测量。提出了一种基于离位载荷校准试验和原位载荷验证试验的飞机舵面铰链力矩测量方法,建立了相应的载荷测量模型,分析确定了铰链力矩测量精准度的影响因素,给出了可能引起的系统误差的验证和修正方法,形成了主动式余度作动舵面铰链力矩飞行测量流程。通过多型飞机舵面铰链力矩测量试飞,验证了该方法的可行性和有效性;提高了飞机舵面铰链力矩测量的精准度,为飞机舵面设计载荷验证与优化提供了可靠的实测载荷;得到了飞机舵面各作动机构的载荷分配,实现了飞机舵面作动系统力纷争的飞行监测,确保了飞行安全。 相似文献
3.
基于语音识别的说话人身份辨识系统 总被引:2,自引:0,他引:2
提出一种在小字库孤立语音条件下,集成语音识别与说话人的识别技术,并进行说话人身份代码(密码)识别、认证.利用语音信号的短时分析技术进行孤立词的单元分割,采用临界带特征矢量作为语音信号特征,分析了经典语音识别算法——动态时间规整算法,提出了对语音模板各帧加权的改进方法.为提高识别响应速度,研究了多门限多轮次的判决方法,在增加多套模板、提高识别率的情况下,降低了系统的响应时间. 相似文献
4.
分析了模态应变能用于结构损伤识别的可行性,并进行了有限元和实验验证.结果表明,模态应变能对损伤较为敏感,能够反映结构的局部状态变化,可以用来检测结构损伤位置。 相似文献
5.
随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。 相似文献
6.
环境素养评价体系与模型的构建及实证分析 总被引:4,自引:0,他引:4
结合国内外环境素养的研究成果 ,指出环境素养的概念应主要包括环境知识、环境行为和环境意识 3方面 ,并具有 3个特征·以此为基础 ,注意相关性、简洁性、可操作性等原则 ,构建出 3级 4层的环境素养评价指标体系和对应的数学评价模型 ,并进行了实证分析·该文有助于人们重视环境素养及其现代研究方法的构建与应用 ,增进交流 ,促进环境素养的提高· 相似文献
7.
成绩录入系统确保数据正确性的策略 总被引:2,自引:0,他引:2
主要讨论如何在成绩录入系统中确保输入数据的正确性,提出从客户端的数据录入应用程序和数据录入后校验两个方面确保录入数据正确性的策略,并详细介绍了双工输入比较法、过滤按键、数据实时检验及数据录入后进行的即时检查和总结性校验等具体方法。 相似文献
8.
提出了一种基于事务的形式验证方法(TBFV),为待验证的系统构造功能验证模型,每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数.这些可用Kripke结构来描述.这些功能验证模型实现了特定的事务,从而可以将一般的验证要求映射为具体的实现属性.这样,验证者无需了解设计的细节,可在较高层次上对系统行为进行验证.为了证明该方法的效率,分别用该方法和传统的形式验证方法验证了8051的RTL实现.8051中所有的指令都进行了验证,并给出了相应的功能验证模型.实验结果表明,采用该方法可大大节省验证工程师的时间.功能验证模型和验证指令可以在其他设计中复用. 相似文献
9.
距离加权矢量量化文本无关的说话人识别 总被引:10,自引:0,他引:10
本文在研究说话人识别的矢量量化方法时,分析了用矢量量化建立说话人识别模型的可行性。针对量化码本描述的不完全性,提出了一种经距离加权的矢量量化方法,能更好地刻划出说话人语音特征空间的精细结构,从而提高正识率。本文还对特征参数LPCCEP的选取进行了理论分析和实验研究,提出了平均互—自差异比的概念,给出了一种对特征矢量的每一维分量识别能力进行定量化估算的公式。实验结果表明,距离加权矢量量化是一种具有很高正识率的与文本无关的说话人识别方法。 相似文献
10.
A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC
本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型,给出了基于该模型的形式检证法,试制了检证系统.该检证法不需要假定信道的有界性.对于给定的通信协议,检证系统将判定其对指定状态的可到达性.做为检证例,从OSI参照模型中抽出了大同步点设置功能单位,就“无死锁”、“无传输错误”等性质进行了实际检证 相似文献