检索结果-内蒙古大学图书馆

IEEE conference on Nanotechnology

作者： Wei Wang J. P. Sun Toru Toyabe Ning Gu P. Mazumder Department of Biomedical Engineering Southeast University Nanjing China College of Optoelectronic Engineering Nanjing University of Posts and Telecommunications Nanjing China Department of Electrical Engineering and Computer Science The University of Michigan Ann Arbor USA Bio-Nano Electronics Research Centre Toyo University Kawagoe Saitama Japan Toyo University Bio-Nano Electronics Research Centre Kawagoe Saitama Japan

ISBN: (纸本)9781424421039

We studied effects of nitrogen incorporation in high-k stack gate structures on the program/erase current and retention current for performance improvement of nanoscale nonvolatile memory devices, using a numerical model based on solutions to the Schrodinger-Poisson equations. In particular, comparisons are made for gate current behavior with different tunnel barrier stacks and materials. the changes of the barrier height and dielectric constant in the high-k dielectric stacks enable us to obtain favorable program/erase current and retention current to satisfy the requirements for nonvolatile memory devices. We found that a suitable range of the nitrogen content will enable both the basic requirements for programming and data retention to be satisfied.

关键词： logic gates Tunneling Nonvolatile memory Nitrogen Dielectrics Dielectric constant Performance evaluation

来源：评论

学校读者我要写书评

暂无评论

Darlington tritium removal facility and station upgrading plant dynamic process simulation

引用

FUSION SCIENCE AND TECHNOLOGY 2008年第2期54卷 333-336页

作者： Busigin, A. Williams, G. I. D. Wong, T. C. W. Kulczynski, D. Reid, A. NITEK USA Inc Parkland FL 33067 USA Ontario Power Generat Nucl Bowmanville ON L1C 3Z8 Canada

Ontario Power Generation Nuclear (OPGN) has a 4 x 880 MWe CANDU nuclear station at its Darlington Nuclear Division located in Bowmanville. the station has been operating a Tritium Removal Facility (TRF) and a D2O station Upgrading Plant (SUP) since 1989. Both facilities were designed with a Distributed Control System (DCS) and programmable logic controllers (PLC) for process control. this control system was replaced with a DCS only, in 1998. A dynamic plant simulator was developed for the Darlington TRF (DTRF) and the SUP, as part of the computer control system replacement. the simulator was used to test the new software, required to eliminate the PLCs. the simulator is now used for operator training and testing of process control software changes prior to field installation. Dynamic simulation will be essential for the ITER isotope separation system, where the process is more dynamic than the relatively steady-state DTRF process. this paper describes the development and application of the DTRF and SUP dynamic simulator, its benefits, architecture, and the operational experience with the simulator.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Higher-order logic programming languages with constraints: A semantics

Higher-order logic programming languages with constraints: A...

引用

8th International conference on Typed Lambda Calculi and Applications

作者： Lipton, James Nieva, Susana Wesleyan Univ Middletown CT 06459 USA Univ Complutense Madrid Dep Sistemas Informat Computac E-28040 Madrid Spain Univ Politecn Madrid E-28040 Madrid Spain

ISBN: (纸本)9783540732273

A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church's theory of Types and a generic constraint formalism. Our syntactic formal system, hoHH(C) (higher-order hereditary Harrop formulas with constraints), which extends lambda Prolog's logic, is shown sound and complete. A Kripke semantics for equational reasoning in the simply typed lambda-calculus (Kripke Lambda Models) was introduced by Mitchell and Moggi in 1990. Our model theory extends this semantics to include full impredicative higher-order intuitionistic logic, as well as the executable hoHH fragment with typed lambda-abstraction, implication and universal quantification in goals and constraints. this provides a Kripke semantics for the full higher-order hereditarily Harrop logic of lambda Prolog as a special case (with the constraint system chosen to be,13,beta,eta-conversion).

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

Differential structure in models of multiplicative biadditive intuitionistic linear logic

Differential structure in models of multiplicative biadditiv...

引用

8th International conference on Typed Lambda Calculi and Applications

作者： Fiore, Marcelo P. Univ Cambridge Comp Lab Cambridge CB2 1TN England

ISBN: (纸本)9783540732273

In the first part of the paper I investigate categorical models of multiplicative biadditive intuitionistic linear logic, and note that in them some surprising coherence laws arise. the thesis for the second part of the paper is that these models provide the right framework for investigating differential structure in the context of linear logic. Consequently, within this setting, I introduce a notion of creation operator (as considered by physicists for bosonic Fock space in the context of quantum field theory), provide an equivalent description of creation operators in terms of creation maps, and show that they induce a differential operator satisfying all the basic laws of differentiation (the product and chain rules, the commutation relations, etc.).

关键词： Linear programming

来源：评论

学校读者我要写书评

暂无评论

Completing Herbelin's programme

Completing Herbelin's programme

引用

8th International conference on Typed Lambda Calculi and Applications

作者： Santo, Jose Espirito Univ Minho Dept Matemat P-4719 Braga Portugal

ISBN: (纸本)9783540732273

In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent calculus into a variant of the lambda-calculus, specifically a variant which manipulates formally "applicative contexts" and inverts the associativity of "applicative terms". Herbelin worked with a fragment of sequent calculus with constraints on left introduction. In this paper we complete Herbelin's programme for full sequent calculus, that is, sequent calculus without the mentioned constraints, but where permutative conversions necessarily show up. this requires the introduction of a lambda-like calculus for full sequent calculus and an extension of natural deduction that gives meaning to "applicative contexts" and "applicative terms". Such extension is a calculus with modus ponens and primitive substitution that refines von Plato's natural deduction;it is also a "coercion calculus", in the sense of Cervesato and Pfenning. the proof-theoretical outcome is noteworthy: the puzzling relationship between cut and substitution is settled;and cut-elimination in sequent calculus is proven isomorphic to normalisation in the proposed natural deduction system. the isomorphism is the mapping that inverts the associativity of applicative terms.

关键词： Mathematical programming

来源：评论

学校读者我要写书评

暂无评论

Hierarchical rules for a hierarchical classifier

引用

8th International conference on Adaptive and Natural Computing Algorithms (ICANNGA)

作者： Podolak, Igor T. Jagiellonian Univ Fac Math & Comp Sci Inst Comp Sci Krakow Poland

ISBN: (纸本)9783540715894

A system of rule extraction out of a complex hierarchical classifier is proposed in this paper. there are several methods for rule extraction out of trained artificial neural networks (ANN's), but these methods do not scale well, i.e. results are satisfactory for small problems. For complicated problems hundreds of rules are produced, which are hard to govern. In this paper a hierarchical classifier with a tree-like structure and simple ANN's at nodes, is presented, which splits the original problem into several sub-problems that overlap. Node classifiers are all weak (i.e. with accuracy only better than random), and errors are corrected at lower levels. Single sub-problems constitute of examples that were hard to separate. Such architecture is able to classify better than single network models. At the same time IF-thEN rules are extracted, which only answer which sub-problem a given example belongs to. Such rules, by introducing hierarchy, are simpler and easier to modify by hand, giving also a better insight into the original classifier behaviour.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

programming wireless sensor networks with the TeenyLIME middleware

引用

8th International Middleware conference

作者： Costa, Paolo Mottola, Luca Murphy, Amy L. Picco, Gian Pietro Vrije Univ Amsterdam Amsterdam Netherlands Politecn Milan Milan Italy ITC IRST Povo Italy U Lugano Lugano Switzerland Univ Trent I-38100 Trento Italy

ISBN: (纸本)9783540767770

Wireless sensor networks (WSNs) are evolving to support sense-and-react applications, where actuators are physically interspersed with the sensors that trigger them. this solution maximizes localized interactions, improving resource utilization and reducing latency w.r.t. solutions with a centralized sink. Nevertheless, application development becomes more complex: the control logic must be embedded in the network, and coordination among multiple tasks is needed to achieve the application goals. this paper presents TeenyLIME, a WSN middleware designed to address the above challenges. TeenyLIME provides programmers with the high-level abstraction of a tuple space, enabling data sharing among neighboring devices. these and other WSN-specific constructs simplify the development of a wide range of applications, including sense-and-react ones. TeenyLIME yields simpler, cleaner, and more reusable implementations, at the cost of only a very limited decrease in performance. We support these claims through a source-level, quantitative comparison between implementations based on TeenyLIME and on mainstream approaches, and by analyzing measures of processing overhead and power consumption obtained through cycle-accurate emulation.

关键词： wireless sensor and actuator networks middleware tuple spaces

来源：评论

学校读者我要写书评

暂无评论

programming wireless sensor networks with the TeenyLIME middleware 2007

引用

Proceedings of the 8th ACM/IFIP/USENIX international conference on Middleware

作者： Paolo Costa Luca Mottola Amy L. Murphy Gian Pietro Picco Vrije Universiteit Amsterdam The Netherlands Politecnico di Milano Italy ITC-IRST Povo Italy & U. of Lugano Switzerland University of Trento Italy

ISBN: (纸本)9783540767770

Wireless sensor networks (WSNs) are evolving to support sense-and-react applications, where actuators are physically interspersed with the sensors that trigger them. this solution maximizes localized interactions, improving resource utilization and reducing latency w.r.t. solutions with a centralized sink. Nevertheless, application development becomes more complex: the control logic must be embedded in the network, and coordination among multiple tasks is needed to achieve the application *** paper presents TeenyLIME, a WSN middleware designed to address the above challenges. TeenyLIME provides programmers with the high-level abstraction of a tuple space, enabling data sharing among neighboring devices. these and other WSN-specific constructs simplify the development of a wide range of applications, including sense-and-react ones. TeenyLIME yields simpler, cleaner, and more reusable implementations, at the cost of only a very limited decrease in performance. We support these claims through a source-level, quantitative comparison between implementations based on TeenyLIME and on mainstream approaches, and by analyzing measures of processing overhead and power consumption obtained through cycle-accurate emulation.

关键词： tuple spaces middleware wireless sensor and actuator networks

来源：评论

学校读者我要写书评

暂无评论

A hybridized genetic parallel programming based logic circuit synthesizer 06

A hybridized genetic parallel programming based logic circui...

引用

8th Annual Genetic and Evolutionary Computation conference

作者： Lau, Wai Shing Lee, Kin Hong Leung, Kwong Sak Chinese Univ Hong Kong Dept Comp Sci & Engn Hong Kong Hong Kong Peoples R China

ISBN: (纸本)9781595931863

Genetic Parallel programming (GPP) is a novel Genetic programming paradigm. Based on the GPP paradigm and a local search operator - FlowMap, a logic circuit synthesizing system integrating GPP and FlowMap, a Hybridized GPP based logic Circuit Synthesizer (HGPPLCS) is developed. To show the effectiveness of the proposed HGPPLCS, six combinational logic circuit problems are used for evaluations. Each problem is run for 50 times. Experimental results show that both the lookup table counts and the propagation gate delays of the circuits collected are better than those obtained by conventional design or evolved by GPP alone. For example, in a 6-bit one counter experiment, we obtained combinational digital circuits with 8 four-input lookup tables in 2 gate level on average. It utilizes 2 lookup tables and 3 gate levels less than circuits evolved by GPP alone.

关键词： field programmable gate array technology mapping LookUp table genetic parallel programming FlowMap a hybridized genetic parallel programming logic circuit synthesizer

来源：评论

学校读者我要写书评

暂无评论

logic programming and Nonmonotonic Reasoning - 8th International conference, LPNMR 2005, Proceedings

Logic Programming and Nonmonotonic Reasoning - 8th Internati...

引用

8th International conference on logic programming and Nonmonotonic Reasoning, LPNMR 2005

ISBN: (纸本)3540285385

the proceedings contain 39 papers. the topics discussed include: nonmonotonic reasoning in FLORA-2;data integration and answer set programming;unfounded sets for disjunctive logic programs with arbitrary aggregates;on modular translations and strong equivalence;guarded open answer set programming;external sources of computation for answer set solvers;answer sets for propositional theories;on the local closed-world assumption of data-sources;game-theoretic reasoning about actions in nonmonotic causal theories;some logical properties of nonmonotic causal theories;solving hard ASP programs efficiently;mode-directed fixed point computation;nested epistemic logic programs;and a social semantics for multi-agent systems.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：