全文获取类型
收费全文 | 88篇 |
免费 | 3篇 |
国内免费 | 11篇 |
专业分类
电工技术 | 1篇 |
综合类 | 2篇 |
金属工艺 | 2篇 |
无线电 | 1篇 |
一般工业技术 | 4篇 |
冶金工业 | 26篇 |
自动化技术 | 66篇 |
出版年
2023年 | 2篇 |
2021年 | 1篇 |
2020年 | 2篇 |
2015年 | 1篇 |
2013年 | 5篇 |
2012年 | 6篇 |
2011年 | 3篇 |
2010年 | 1篇 |
2009年 | 7篇 |
2008年 | 5篇 |
2007年 | 7篇 |
2006年 | 5篇 |
2005年 | 10篇 |
2004年 | 7篇 |
2003年 | 6篇 |
2002年 | 7篇 |
2001年 | 4篇 |
2000年 | 3篇 |
1999年 | 2篇 |
1998年 | 3篇 |
1997年 | 3篇 |
1996年 | 3篇 |
1995年 | 2篇 |
1994年 | 2篇 |
1992年 | 2篇 |
1991年 | 1篇 |
1989年 | 1篇 |
1985年 | 1篇 |
排序方式: 共有102条查询结果,搜索用时 3 毫秒
1.
We present a compiler that can be used to automatically obtain efficient Java implementations of parsing algorithms from formal specifications expressed as parsing schemata. The system performs an analysis of the inference rules in the input schemata in order to determine the best data structures and indexes to use, and to ensure that the generated implementations are efficient. The system described is general enough to be able to handle all kinds of schemata for different grammar formalisms, such as context‐free grammars and tree‐adjoining grammars, and it provides an extensibility mechanism allowing the user to define custom notational elements. This compiler has proven very useful for analyzing, prototyping and comparing natural‐language parsers in real domains, as can be seen in the empirical examples provided at the end of the paper. Copyright © 2008 John Wiley & Sons, Ltd. 相似文献
2.
Quantum programming languages 总被引:1,自引:0,他引:1
After giving a bird’s view of some existing quantum programming languages, this paper reports the recent results made by the
quantum computation group of the State Key Laboratory for Novel Software Technology and the Department of Computer Science
and Technology at Nanjing University, i.e., the quantum programming languages NDQJava, NDQFP and their processing systems. 相似文献
3.
介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感. 相似文献
4.
R?nnlund Michael; Nyberg Lars; B?ckman Lars; Nilsson Lars-G?ran 《Canadian Metallurgical Quarterly》2005,20(1):3
Five-year changes in episodic and semantic memory were examined in a sample of 829 participants (35-80 years). A cohort-matched sample (N=967) was assessed to control for practice effects. For episodic memory, cross-sectional analyses indicated gradual age-related decrements, whereas the longitudinal data revealed no decrements before age 60, even when practice effects were adjusted for. Longitudinally, semantic memory showed minor increments until age 55, with smaller decrements in old age as compared with episodic memory. Cohort differences in educational attainment appear to account for the discrepancies between cross-sectional and longitudinal data. Collectively, the results show that age trajectories for episodic and semantic memory differ and underscore the need to control for cohort and retest effects in cross-sectional and longitudinal studies, respectively. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
5.
Josefina Sierra-Santibáñez 《Annals of Mathematics and Artificial Intelligence》2003,39(1-2):61-100
We study the declarative formalization of reasoning strategies by presenting declarative formalizations of: (1) the SNLP algorithm for nonlinear planning, and (2) a particular algorithm for blocks world nonlinear planning proposed in this paper. The formal models of a heuristic forward chaining planner, which can take advantage of declarative formalizations of action selection strategies, and of a reasoning strategy based planner, which can use declarative formalizations of reasoning strategies, are proposed. The effectiveness of these systems is studied from formal and empirical points of view. Empirical results showing how the use of declarative formalizations of reasoning strategies can reduce the amount of search required for solving planning problems (with respect to state of the art planning systems) are presented. 相似文献
6.
It is envisaged that the application of the multilevel security (MLS) scheme will enhance flexibility and effectiveness of authorization policies in shared enterprise databases and will replace cumbersome authorization enforcement practices through complicated view definitions on a per user basis. However, the critical problem with the current model is that the belief at a higher security level is cluttered with irrelevant or inconsistent data as no mechanism for attenuation is supported. Critics also argue that it is imperative for MLS database users to theorize about the belief of others, perhaps at different security levels, an apparatus that is currently missing and the absence of which is seriously felt.The impetus for our current research is the need to provide an adequate framework for belief reasoning in MLS databases. In this paper, we show that these concepts can be captured in a F-logic style declarative query language, called MultiLog, for MLS deductive databases for which a proof theoretic, model theoretic and fixpoint semantics exist. This development is significant from a database perspective as it now enables us to compute the semantics of MultiLog databases in a bottom-up fashion. We also define a bottom-up procedure to compute unique models of stratified MultiLog databases. Finally, we establish the equivalence of MultiLog's three logical characterizations—model theory, fixpoint theory and proof theory. 相似文献
7.
蒋丽平 《湖南工业职业技术学院学报》2013,13(3):93-95
通过对IT英语语料库的数据进行分析,分别就IT英语的句式、句长以及语态几个方面进行研究,并与文学英语语体特征相对比,概括出IT英语语体特征,最后针对IT英语语体的特征,针对性地提出IT英语教学的方法 。 相似文献
8.
三维陈述式约束模型的自动生成 总被引:1,自引:0,他引:1
由于缺乏有效的自动生成约束模型的方法,三维变量化技术的进一步发展受到制约,通过转换边界表示和提取特征中的本质约束信息,自动生成三维陈述式约束模型,以InteSolid2.0为基础,实现了原型系统。 相似文献
9.
人工智能技术因其强大的学习和泛化能力已被广泛应用于各种真实场景中.然而,现有的人工智能技术仍然面临着三大挑战:第一,现有的AI技术使用门槛高,依赖于AI从业者选择合适模型、设计合理参数、编写程序,因此很难被广泛应用到非计算机领域;第二,现有的AI算法训练效率低,造成了大量计算资源的浪费,甚至延误决策时机;第三,现有的A... 相似文献
10.
A Component-Based Debugging Approach for Detecting Structural Inconsistencies in Declarative Equation Based Models 下载免费PDF全文
Object-oriented modeling with declarative equation based languages often unconsciously leads to structural inconsistencies. Component-based debugging is a new structural analysis approach that addresses this problem by analyzing the structure of each component in a model to separately locate faulty components. The analysis procedure is performed recursively based on the depth-first rule. It first generates fictitious equations for a component to establish a debugging environment, and then detects structural defects by using graph theoretical approaches to analyzing the structure of the system of equations resulting from the component. The proposed method can automatically locate components that cause the structural inconsistencies, and show the user detailed error messages. This information can be a great help in finding and localizing structural inconsistencies, and in some cases pinpoints them immediately. 相似文献