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

International Symposium on Information Theory and Its Applications, ISITA

作者： Shunsuke Araki Takeru Miyazaki Satoshi Uehara Ken'ichi Kakizaki Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology Iizuka Fukuoka Japan Faculty of Environmental Engineering University of Kitakyushu Kitakyushu Fukuoka Japan

In the present paper, we show a design guide of a pseudorandom number generator using the logistic map with finite precision. First, we define three basic operations and two basic models of the pseudorandom number generator using an iterative map. Second, we implement two pseudorandom number generators employing their models with the logistic map with finite precision. Third, we estimate randomness of their pseudorandom numbers by the NIST statistical tests for the generators. Finally, we discuss precision passing the NIST tests and give the design guide of the pseudorandom number generator using the logistic map with finite precision.

关键词： Logistics NIST Generators computers Cryptography Trajectory

来源：评论

学校读者我要写书评

暂无评论

Derivation of Log-Likelihood Ratio for M-Ary Non-Orthogonal FSK Wireless system

Derivation of Log-Likelihood Ratio for M-Ary Non-Orthogonal ...

引用

IEEE Conference on Vehicular technology (VTC)

作者： Daisuke Nojima Yuhei Nagao Masayuki Kurosaki Hiroshi Ochi Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology Fukuoka Japan

In a soft decision Viterbi decoder, the log-likelihood ratio (LLR) metric is used to improve the performance of the error correction. On linear systems under additive white gaussian noise channel, this is straightforward as the error distribution at the input of the Viterbi decoder is also gaussian. In non-linear systems such as the M-ary non-coherent non-orthogonal frequency shift keying (FSK), this is generally not true. However, non-orthogonal non-coherent FSK LLR has not yet been proposed in literature. In this paper we derived the LLR for the M-ary non-orthogonal FSK mathematically and verified it using simulations.

关键词： Frequency shift keying Viterbi algorithm Decoding Wireless communication Random variables Fading Signal to noise ratio

来源：评论

学校读者我要写书评

暂无评论

A comparison of implications in orthomodular quantum logic-morphological analysis of quantum logic

引用

International Journal of Mathematics and Mathematical sciences 2012年第1期2012卷

作者： Fujio, Mitsuhiko Department of Systems Design and Informatics Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology Iizuka-shi 820-8502 Japan

Morphological operators are generalized to lattices as adjunction pairs (Serra, 1984;Ronse, 1990;Heijmans and Ronse, 1990;Heijmans, 1994). In particular, morphology for set lattices is applied to analyze logics through Kripke semantics (Bloch, 2002;Fujio and Bloch, 2004;Fujio, 2006). For example, a pair of morphological operators as an adjunction gives rise to a temporalization of normal modal logic (Fujio and Bloch, 2004;Fujio, 2006). Also, constructions of models for intuitionistic logic or linear logics can be described in terms of morphological interior and/or closure operators (Fujio and Bloch, 2004). This shows that morphological analysis can be applied to various non-classical logics. On the other hand, quantum logics are algebraically formalized as orhomodular or modular ortho-complemented lattices (Birkhoff and von Neumann, 1936;Maeda, 1980;Chiara and Giuntini, 2002), and shown to allow Kripke semantics (Chiara and Giuntini, 2002). This suggests the possibility of morphological analysis for quantum logics. In this article, to show an efficiency of morphological analysis for quantum logic, we consider the implication problem in quantum logics (Chiara and Giuntini, 2002). We will give a comparison of the 5 polynomial implication connectives available in quantum logics. © 2012 Mitsuhiko Fujio.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Comparison of CP, IP, and SAT Solvers through a Common Interface

A Comparison of CP, IP, and SAT Solvers through a Common Int...

引用

International Conference on Tools for Artificial Intelligence (ICTAI)

作者： Neng-Fa Zhou Masato Tsuru Eitaku Nobuyama Brooklyn College & Graduate Center City University of New York USA Faculty of Computer Science & System Engineering Kyushu Institute of Technology Japan

This paper presents a common interface for Prolog to three different types of discrete solvers including Constraint Programming (CP), Integer Programming (IP), and SAT solvers. The interface comprises primitives for creating decision variables, specifying constraints, and invoking a solver, possibly with an objective function to be optimized. Before a solver is actually called, the accumulated variables and constraints are transformed into a form acceptable to the solver. For a SAT solver, in particular, variables are Booleanized and constraints are compiled into CNF. Implemented in B-Prolog, the interface allows the programmer to use the features of the host language such as recursion, pattern matching, arrays, and loops to describe problems. The interface provides an easy and uniform platform for exploring different solvers and models. This paper compares the performance of the CLP(FD) of B-Prolog, the CPLEX IP solver, and the Lingeling SAT solver on several problems through the same interface and for each problem it compares a model that uses Boolean variables and another model that uses general integer variables. Our experience tells that it is effortless to switch from one solver to another.

关键词： Color IP networks Linear programming Mathematical model Educational institutions Programming Pattern matching

来源：评论

学校读者我要写书评

暂无评论

Hardware Index to Permutation Converter

Hardware Index to Permutation Converter

引用

IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum (IPDPSW)

作者： Jon T. Butler Tsutomu Sasao Department of Electrical and Computer Engineering Naval Postgraduate School Monterey CA U.S.A. Department of Computer Science & Electronics Kyushu Institute of Technology Iizuka Fukuoka Japan

We demonstrate a circuit that generates a permutation in response to an index. Since there are n! n-element permutations, the index ranges from 0 to n! - 1. Such a circuit is needed in the hardware implementation of unique-permutation hash functions to specify how parallel machines interact through a shared memory. Such a circuit is also needed in cryptographic applications. The circuit is based on the factorial number system. Here, each non-negative integer is uniquely represented as s n-1 (n - 1)! + s n-2 (n - 2)! +. . . + s 1 1!, where 1 ≤ s i ≤ i. That is, the permutation is produced by generating the digits si in the factorial number system representation of the index. The circuit is combinational and is easily pipelined to produce one permutation per clock period. We give experimental results that show the efficiency of our designs. For example. we show that the rate of production of permutations on the SRC-6 reconfigurable computer is 1,820 times faster than a program on a conventional microprocessor in the case of 10-element permutations. We also show an efficient reconfigurable computer implementation that produces random permutations using the Knuth shuffle algorithm. This is useful in Monte Carlo simulations. For both circuits, the complexity is O(n 2 ), and the delay is O(n).

关键词： Indexes Generators Microprocessors computers Clocks Hardware Vectors

来源：评论

学校读者我要写书评

暂无评论

Critical Current Densities and Force-displacement Characteristics of Fluxoids in Ba 1-x KxFe 2 As 2 Single Crystal

引用

Physics Procedia 2012年 36卷 704-709页

作者： Baorong Ni Jun Ge Masaru Kiuchi Edmund Soji Otabe Teruo Matsushita Chunlei Wang Dongliang Wang Yanwei Ma Faculty of Engineering Fukuoka Institute of Technology 3-30-1 Wajirohigashi Higashi-ku Fukuoka 811-0295 Japan JST-TRIP 5 Sanbancho Chiyoda Tokyo 102-0075 Japan Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology 680-4 Kawazu Iizuka Fukuoka 820-8502 Japan Institute of Electrical Engineering Chinese Academy of Sciences P. O. Box 2703 Beijing 100190 China

The superconducting Ba1- x K x Fe2As2 ( x = 0.4) single crystals were prepared by the so-called FeAs self-flux method. The critical temperature by ac susceptibility measurement was estimated to be about 36 K. The magnetic field and temperature dependences of critical current densities were investigated by an ac inductive measurement (Campbell's method). Unlike the phenomenon of co-existence of the global and local critical current densities observed in many polycrystalline Fe-based superconducting pnictides, it was found that only a uniform critical current density (Jc) flows through the whole sample. The value of Jc at 20 K and 1 T was about 5×108 A/m2, which is much smaller than the local critical current density observed in polycrystalline samples. The force-displacement characteristic of fluxoids in sample was investigated. The Labusch parameter was found to increase monotonously with increasing magnetic field, while the interaction distance was proportional to the fluxoid spacing. These results are consistent with the prediction based on a simple flux pinning mechanism.

关键词： Ba-122 single crystal Critical current density Flux pinning Labusch parameter Interaction distance

来源：评论

学校读者我要写书评

暂无评论

High precision tool cutting edge monitoring using laser diffraction for on-machine measurement

引用

International Journal of Automation technology 2012年第2期6卷 163-167页

作者： Khajornrungruang, Panart Kimura, Keiichi Takaya, Yasuhiro Suzuki, Keisuke School of Computer Science and Systems Engineering Kyushu Institute of Technology 680-4 Kawazu Iizuka-shi Fukuoka 820-8502 Japan Department of Mechanical Engineering Osaka University 2-1 Yamadaoka Suita-shi Osaka 565-0871 Japan

The Far-field laser diffraction is proposed for measuring tool cutting-edges geometry with sub-micrometer precision. In particular, by eliciting an optical diffraction phenomenon, the cutting-edge of the tool can be monitored without a diffraction limit. This method can also be applied for on-machine measurements because of the simplicity and long working distance of the optical system;high precision can be achieved by using a laser light and there is no need for a vacuum environment. In this study, an on-machine tool measurement device using laser diffraction was developed to experimentally measure tool displacements of order of hundreds of nanometers;a piezo-drive stage was also used. Measurements of the cutting-edge curve of a ball end mill and a tool cutting-edge tolerance were also experimentally monitored.

关键词： Diffraction

来源：评论

学校读者我要写书评

暂无评论

Fault Detection with Optimum March Test Algorithm

Fault Detection with Optimum March Test Algorithm

引用

International Conference on Intelligent systems, Modelling and Simulation (ISMS)

作者： Nor Azura Zakaria W.Z.W. Hasan I.A. Halin R.M. Sidek Xiaoqing Wen Microelectronic Department MIMOS Berhad Kuala Lumpur Malaysia Department of Electrical and Electronic Engineering Faculty Engineering Universiti Putra Malaysia Serdang Selangor Darul Ehsan Malaysia Department of Creative Informatics Graduate School of Computer Science & Systems Engineering Kyushu Institute of Technology Iizuka Japan

Integrating a large number of embedded memories in system-on-Chips (SoC's) occupies up to more than 70% of the die size, thus requiring Built-In Self-Test (BIST) with the smallest possible area overhead. This paper analyzes MATS++(6N), March C-(10N), March SR(14N), and March CL(12N) test algorithms and shows that they cannot detect either Write Disturb Faults (WDFs) or Deceptive Read Destructive Faults (DRDFs) or both. Therefore to improve fault detection, an automation program is developed based on sequence operation (SQ) generation rules. However after solving the undetected fault, the outcome in term of its detection result of Static Double Cell Faults using the specified test algorithm especially Transition Coupling Faults (CFtrs), Write Destructive Coupling Faults (CFwds), Read Destructive Coupling Faults (CFrds) and Deceptive Read Destructive Faults (CFdrds) are observed.

关键词： Algorithm design and analysis Random access memory Testing Strontium Circuit faults Couplings Writing

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of a dynamic reconfigurable classroom for cooperative learning

Design and implementation of a dynamic reconfigurable classr...

引用

3rd IEEE International Conference on Intelligent Networking and Collaborativesystems, INCoS 2011

作者： Kondo, Hideki Narahara, Hiroyuki Department of Mechanical Information Science and Technology Faculty of Computer Science and System Engineering Kyushu Institute of Technology Iizuka Japan

ISBN: (纸本)9780769545790

In order to practically examine a new type of class, in which cooperative learning is taken into consideration, we designed and built a classroom. This classroom, in which furniture and a flexible ICT basis are both designed reconfigurable, supports much more complex interactions between learners than in a traditional classroom. Two months' observation of the activities in the classroom shows that many aspects of the reconfigurations have encouraged complex interactions within cooperative learning. © 2011 IEEE.

关键词： Collaboration Cooperative Learning Dynamic Reconfigurable Classroom Dynamic scheduling Education Information science Materials Multicore processing Servers classroom furniture complex interaction computer aided instruction cooperative learning dynamic reconfigurable classroom flexible ICT furniture

来源：评论

学校读者我要写书评

暂无评论

Estimation of AC loss in cylindrical superconductor with ripple current

引用

Physics Procedia 2012年 27卷 248-251页

作者： E.S. Otabe K. Ohashi M. Kiuchi T. Kawahara S. Yamaguchi Faculty of Computer Science and Systems Engineering Kyushu Institute of Technology Fukuoka 820–8502 Japan Center of Applied Superconductivity and Sustainable Energy Research Chubu University Aichi 487–8501 Japan

The loss energy density (AC loss) in cylindrical superconductor with ripple current based on Irie-Yamafuji model in which the magnetic fiel dependence of critical current density is taken into account is theoretically calculated for design of DC transmission cable system. It is confirme that the AC loss does not changed for the cases with and without DC current when the critical current does not depend on magnetic fiel which is corresponding to Bean-London model. On the contrary, it is found that there is current region where the AC loss becomes smaller than that for the case without DC current. The AC loss of ripple current is seems to be enough small in layered structure of DC transmission cable made by thin tape superconductor.

关键词： DC transmission cable AC loss ripple current Irie-Yamafuji model cuprate high temperature superconductor

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：