全文获取类型
收费全文 | 386篇 |
免费 | 1篇 |
国内免费 | 2篇 |
专业分类
系统科学 | 5篇 |
丛书文集 | 6篇 |
教育与普及 | 4篇 |
理论与方法论 | 11篇 |
现状及发展 | 1篇 |
综合类 | 362篇 |
出版年
2024年 | 2篇 |
2023年 | 4篇 |
2022年 | 9篇 |
2021年 | 5篇 |
2020年 | 2篇 |
2019年 | 4篇 |
2018年 | 1篇 |
2017年 | 2篇 |
2016年 | 2篇 |
2015年 | 8篇 |
2014年 | 24篇 |
2013年 | 13篇 |
2012年 | 22篇 |
2011年 | 22篇 |
2010年 | 24篇 |
2009年 | 46篇 |
2008年 | 28篇 |
2007年 | 25篇 |
2006年 | 20篇 |
2005年 | 13篇 |
2004年 | 23篇 |
2003年 | 7篇 |
2002年 | 15篇 |
2001年 | 11篇 |
2000年 | 10篇 |
1999年 | 8篇 |
1998年 | 11篇 |
1997年 | 9篇 |
1996年 | 5篇 |
1995年 | 1篇 |
1994年 | 2篇 |
1993年 | 2篇 |
1992年 | 2篇 |
1991年 | 2篇 |
1990年 | 3篇 |
1989年 | 2篇 |
排序方式: 共有389条查询结果,搜索用时 296 毫秒
1.
李娜 《济源职业技术学院学报》2021,20(3):16-19
在河南方言中,"高低"是一个使用频率极高的词汇.翻阅相关方言词典,发现对河南方言里"高低"的解释并不全面,但在口语及小说中却有很多用例,通过搜集具体的语料,发现在河南方言中双音节词"高低"的衍生途径,即通过并列式短语粘合而成,且有五种义项:高度层面的高低比较;水平优劣;分寸;无论如何、横竖;终究. 相似文献
2.
汉语中某些词语除了具有表面显现的反映义以外,还有隐含在使用上的某些特殊要求和含义。词语的隐义在其使用中表现为感情褒贬的不同,使用范围及语义轻重的差异,搭配上对词语的限定等。 相似文献
3.
西汉武帝时期任用酷吏,严法重刑,禁网密如凝脂,导致社会矛盾日益加深,一些有识之士对此忧心忡忡。汉宣帝即位之初,路温舒上书痛斥酷吏政治,言宜尚德缓刑,热切企盼宣帝能“改前世之失,正始受命之统”,同时提出了崇仁义、省刑罚、废狱治、开言路等一系列政治主张,为儒家思想的重新崛起和时局的逐渐扭转起到了积极的作用。 相似文献
4.
王玉宝 《合肥学院学报(自然科学版)》2003,(3)
本文摭拾了几个常见的古语词予以训释,或援例以证,或略加申论,或稍作补苴,以期与同相切磋,俾使训诂在文化传承上继续发挥其应有的价值。 相似文献
5.
6.
王达三 《贵州师范大学学报(社会科学版)》2005,(6):65-68
从中国传统学术的视阈入手,梳理与辨析历史和历史哲学的内涵与外延。考察历史一词的多重含义;指出西方历史哲学乃根据对历史的两分法,即历史事实和历史著述,而有“思辨的历史哲学”和“分析的历史哲学”两大流派;进而指出中国古代对历史有一三分法,即史事、史文、史义,认为史义即为中国的历史哲学,同时史义又包含有“历史之大义”与“吾心之精义”两部分内容。 相似文献
7.
8.
9.
“通”是《尔雅义疏》阐明字词之间音形义关系的常用术语之一,在方法论和实践上取得了一定的成就。但由于主客观原因,它在术语性质和具体结论方面也存在不少疏误。 相似文献
10.
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. 相似文献