全文获取类型
收费全文 | 234篇 |
免费 | 0篇 |
国内免费 | 1篇 |
专业分类
电工技术 | 2篇 |
化学工业 | 10篇 |
轻工业 | 3篇 |
石油天然气 | 1篇 |
无线电 | 2篇 |
一般工业技术 | 4篇 |
冶金工业 | 172篇 |
自动化技术 | 41篇 |
出版年
2021年 | 1篇 |
2019年 | 1篇 |
2012年 | 11篇 |
2011年 | 2篇 |
2010年 | 3篇 |
2009年 | 3篇 |
2008年 | 1篇 |
2007年 | 1篇 |
2006年 | 4篇 |
2005年 | 2篇 |
2004年 | 2篇 |
2003年 | 4篇 |
2002年 | 5篇 |
2000年 | 3篇 |
1999年 | 7篇 |
1998年 | 38篇 |
1997年 | 20篇 |
1996年 | 37篇 |
1995年 | 13篇 |
1994年 | 14篇 |
1993年 | 8篇 |
1992年 | 3篇 |
1991年 | 4篇 |
1990年 | 7篇 |
1989年 | 5篇 |
1988年 | 7篇 |
1987年 | 5篇 |
1986年 | 4篇 |
1985年 | 1篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1979年 | 1篇 |
1978年 | 1篇 |
1977年 | 5篇 |
1976年 | 8篇 |
1975年 | 2篇 |
排序方式: 共有235条查询结果,搜索用时 8 毫秒
1.
2.
3.
4.
5.
6.
Spheroidal wave functions (SWF) and the spectral-domain method (SDM) are used to compute the effective dielectric constant for microstrip. The authors explore the ability of the SWF to change shape as a function of a parameter, e.g. frequency, while maintaining orthogonality, completeness, edge condition, and aperture limit. The authors introduce the SDM equations, provide a brief overview of the SWF, and study the effective dielectric constant as a function of frequency for several commonly used basis functions. A single-term expansion for the vector current density provides excellent results over a broad spectrum (1-100 GHz). Numerical results compare favorably with other commonly used techniques 相似文献
7.
In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which provides a concrete framework, calledMetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to theMetateM approach to executable logics. 相似文献
8.
A New Approach to Abstract Syntax with Variable Binding 总被引:1,自引:1,他引:0
The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports notions
of ‘name-abstraction’ and ‘fresh name’ that provide a new way to represent, compute with, and reason about the syntax of formal
systems involving variable-binding operations. Inductively defined FM-sets involving the name-abstraction set former (together
with Cartesian product and disjoint union) can correctly encode syntax modulo renaming of bound variables. In this way, the
standard theory of algebraic data types can be extended to encompass signatures involving binding operators. In particular,
there is an associated notion of structural recursion for defining syntax-manipulating functions (such as capture avoiding
substitution, set of free variables, etc.) and a notion of proof by structural induction, both of which remain pleasingly
close to informal practice in computer science.
Received October 2000 / Accepted in revised form April 2001 相似文献
9.
We consider conditionals of the form A ? B where A depends on the future and B on the present and past. We examine models for such conditional arising in Talmudic legal cases. We call such conditionals contrary to time conditionals. Three main aspects will be investigated:
- Inverse causality from future to past, where a future condition can influence a legal event in the past (this is a man made causality).
- Comparison with similar features in modern law.
- New types of temporal logics arising from modelling the Talmudic examples.
10.
Murdoch J. Gabbay 《Theoretical computer science》2009,410(12-13):1159-1189
Fraenkel–Mostowski (FM) set theory delivers a model of names and alpha-equivalence. This model, now generally called the ‘nominal’ model, delivers inductive datatypes of syntax with alpha-equivalence — rather than inductive datatypes of syntax, quotiented by alpha-equivalence.The treatment of names and alpha-equivalence extends to the entire sets universe. This has proven useful for developing ‘nominal’ theories of reasoning and programming on syntax with alpha-equivalence, because a sets universe includes elements representing functions, predicates, and behaviour.Often, we want names and alpha-equivalence to model capture-avoiding substitution. In this paper we show that FM set theory models capture-avoiding substitution for names in much the same way as it models alpha-equivalence; as an operation valid for the entire sets universe which coincides with the usual (inductively defined) operation on inductive datatypes.In fact, more than one substitution action is possible (they all agree on sets representing syntax). We present two distinct substitution actions, making no judgement as to which one is ‘right’ — we suspect this question has the same status as asking whether classical or intuitionistic logic is ‘right’. We describe the actions in detail, and describe the overall design issues involved in creating any substitution action on a sets universe.Along the way, we think in new ways about the structure of elements of FM set theory. This leads us to some interesting mathematical concepts, including the notions of planes and crucial elements, which we also describe in detail. 相似文献