搜索结果: 1-15 共查到“logic”相关记录38条 . 查询时间(0.089 秒)
2017年智能系统中智集合和逻辑专题会议(Special Session on Neutrosophic Set and Logic in Intelligent System)
2017年 智能系统 中智集合 逻辑 专题会议
2017/6/23
Neutrosophic set and logic are gaining significant attention in solving many real life decision making problems that involve uncertainty, impreciseness, vagueness, incompleteness, inconsistent, and in...
2017IEEE第47届多值逻辑国际研讨会(2017 IEEE 47th International Symposium on Multiple-Valued Logic)(ISMVL)
IEEE 第47届 多值逻辑 研讨会
2017/3/30
The Technical Committee on Multiple-Valued Logic of the IEEE Computer Society will hold its 47th annual symposium in Novi Sad, Serbia, on May 22-24, 2017.
The symposium will bring together researcher...
Toward “valleytronic” devices for data storage or computer logic systems
valleytronic data storage computer logic systems
2017/3/9
Faster, more efficient data storage and computer logic systems could be on the horizon thanks to a new way of tuning electronic energy levels in two-dimensional films of crystal, discovered by researc...
We present an algorithm for automatic type checking of logic programs with respect to directional types that describe both the structure of terms and the directionality of predicates. The type checkin...
Detecting Races in Relay Ladder Logic Programs
Detecting Races Relay Ladder Logic Programs
2016/5/24
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL programs is extreme...
Electrochemical model based condition monitoring of a Li-ion battery using fuzzy logic
Li-ion battery Diagnosis
2015/1/12
There is a strong urge for advanced diagnosis method, especially in high power battery packs and high energy density cell design applications, such as electric vehicle (EV) and hybrid electric vehicle...
VIRTEX 4 LX200 automated temperature stress test serial interface and test control logic design implementation
Automatic test hot chamber temperature pressure equipment temperature
2014/12/31
The overall project is to create a system that automatically tests the internal components of Xilinx Virtex 4 LX200 device, while the device is running in a thermal chamber at temperatures that stress...
Expressiveness and Succinctness of First-Order Logic on Finite Words
Ehrenfeucht-Fra飐s?game finite model theory first-order logic generalized star-height satisfiability succinctness
2014/12/18
Expressiveness, and more recently, succinctness, are two central concerns of finite model theory and descriptive complexity theory. Succinctness is particularly interesting because it is closely relat...
Towards Logic Functions as the Device using Spin Wave Functions Nanofabric
Spin Wave Functions (SPWFs) Spintronics Threshold Logic Parallel Counters Magnonic Logic
2014/12/8
As CMOS technology scaling is fast approaching its fundamental limits, several new nano-electronic devices have been proposed as possible alternatives to MOSFETs. Research on emerging devices mainly f...
Multi-Valued Majority Logic Circuits Using Spin Waves
Spin Wave Multi-valued logic Majority logic
2014/12/8
With increasing data sets for processing, there is a requirement to build faster and smaller arithmetic circuits. One of the ways to improve the performance of higher order arithmetic units is to redu...
Protecting Network Processors with High Performance Logic Based Monitors
Network Processors Security Monitors Hardware Programmable DE4 NetFPGA Determinitic Finite Automaton
2014/12/8
Technological advancements have transformed the way people interact with the world. The Internet now forms a critical infrastructure that links different aspects of our life like personal communicatio...
西安电子科技大学通信工程学院信息论与编码理论(研究型)课件Introduction to Logic Design
西安电子科技大学通信工程学院 信息论与编码理论 课件 Introduction to Logic Design
2013/4/24
西安电子科技大学通信工程学院信息论与编码理论(研究型)课件Introduction to Logic Design。
10-Gb/s - 80-km operation of full C-band InP MZ modulator with linear-accelerator-type tiny in-line centipede electrode structure directly driven by logic IC of 90-nm CMOS process
Waveguide modulators Traveling-wave devices
2011/5/21
InP MZ modulator of sub 1-V pp driving voltage with quasi-traveling-wave electrode structure and Logic IC of 90-nm CMOS process as its driver were developed. Their applicability was demonstrated throu...
Nonlinearity-controllable all-optical logic gates based on broadband defect mode
photonic crystals all-optical logic gates broadband defect mode nonlinearity
2010/11/21
To avoid the adverse effect of unstable nonlinear progress on the design of all-optical logic gates,
the broadband defect mode of one-dimensional photonic crystal with dual-defects has been studied.
...
Addendum to “Single-photon logic gates using minimum resources”
Addendum “Single-photon logic gates using minimum resources”
2010/7/2
A core element for a quantum computer is a quantum logic gate. The realization of photonic logic gates is one of the main directions in the research of optical quantum computing. Compared with the lin...