Metaphysical works / - Kant, Immanuel,
1724-1804.; Richardson, John.
First collective ed. in English, including first publication of the third treatise (wrongly attributed to the translator in the t. p. of the Logic).
Desarrollo de un sistema automatizado para un proceso de doble mecanizado de piezas y traslado a almacén mediante un robot de guiado automático - MESEGUER CERVERA, SANTIAGO
[ES] El presente proyecto surge de la necesidad de automatizar un proceso de doble
mecanización de piezas y sincronizarlo con un robot de guiado automático que debe trasladar
las piezas mecanizadas a un almacén. Además, se necesita poder supervisar y controlar a
distancia el conjunto de los procesos.
Así pues, para cumplir con todos los requerimientos, se han establecido 4 principales
tareas a realizar.
Una de ellas será realizar la automatización del proceso de mecanizado programado
sobre un PLC (Controlador Lógico Programable) comercial. Este proceso cuenta con dos
unidades de mecanizado, una fresadora y una taladradora, por las cuales pasarán las piezas
gracias a un conjunto de cintas transportadoras...
Residue code based low cost SEU-tolerant fir filter design for OBP satellite communication systems - Yang, Wenhui; Gao, Zhen; Chen, Xiang; Zhao, Ming; Wang, Jing; 杨文慧
With the development of satellite communications, on-board processing (OBP) obtains more and more attentions due to the increased efficiency and performance. However, the large amounts of digital circuits in the OBP transponders are sensitive to the high-energy particles in space radiation environments, which may cause various kinds of single event effect. Among these effects, single event upset (SEU) is the major potential reason for the instability of the satellite communication systems. Triple modular redundancy (TMR) is a classical and effective method for mitigating the SEU in digital circuits. However, since three identical logic modules and a voting circuit are needed...
OPTICAL FUZZY-LOGIC ARRAY USING SHADOW CASTING - LIN, SM; ZHING, SQ; CHEN, CH; LIU, RT; WU, J; 陈彩生; 刘瑞堂
Optical implementation of pattern fuzzy logic based on shadow casting is reported. In particular, a new spatial encoding method for fuzzy logic variables is proposed to optically realize the maximization and minimization operations needed by fuzzy logic. Experimental results are also given.
Embodied concept formation and reasoning via neural-symbolic integration - Jiang, Min; Zhou, Changle; Chen, Shuo; 周昌乐; 江敏
Modern cognitive science  indicates that concepts stem from individual experience which more concretely means that an agent s concept system is generated by interactions between an agent s body and the environment it lives in In this study we present an approach that will enable Artificial Brains to generate embodied conceptual systems including a sophi ticated introspection mechanism that will allow them to transcend their initial conceptual limitations Our approach is based on extensions to formal concept analysis We use incomplete formal context, to represent the sensorimotor information of the body of an Artificial Brain and then use uncertain...
OPTICAL FUZZY IMAGE-PROCESSING BASED ON SHADOW-CASTING - LIN, SM; KUMAZAWA, I; ZHANG, SQ; 张四清
An optical system based on an area-coded scheme and the shadow-casting technique is proposed for fuzzy image processing. All of the fuzzy logic functions of two images can be implemented in parallel. The access of the fuzzy logic functions can be easily achieved by programming an LED source array in the system. Above all, no thresholding device is required. The experimental results are also given.
OPTICAL IMPLEMENTATION OF A SPATIAL-VARIANT FUZZY-LOGIC ARRAY - LIN, SM; ZHANG, SQ; CHEN, CS; KUMAZAWA, I; 张四清
An optical shadow-casting system is proposed to implement a spatial-variant fuzzy logic array. In the system, different logical functions can be performed in parallel by programming a spatial-variant control mask. Therefore, the system can carry out fuzzy multiple-instruction-stream-multiple-data-stream processing. Moreover, a compact spatial encoding scheme is suggested to save half of the spatial bandwidth needed for the system. The experimental results are also given.
PARALLEL OPTICAL FUZZY-LOGIC GATES BASED ON SPATIAL AREA-ENCODING TECHNIQUE - ZHANG, SQ; CHEN, CS; 张四清
A spatial area-encoding method is proposed to implement optical fuzzy logic gates in parallel. All the sixteen fuzzy logic gates of two fuzzy variables can be realized by changing the switching states of the lenses and corresponding threshold format of the thresholding device.
A connectionist model for 2-dimensional modal logic - Jiang, Min; Yu, Yang; Chao, Fei; Shi, Minghui; Zhou, Changle; 周昌乐
Conference Name:2013 IEEE Symposium on Computational Intelligence for Human-Like Intelligence, CIHLI 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013. Conference Address: Singapore, Singapore. Time:April 16, 2013 - April 19, 2013.
A Polymorphic Type System in Logic Programming - Li Huiqi; Zhao Zhizhuo; 李慧琪; 赵致琢
Conference Name:3rd International Conference on Intelligent System and Knowledge Engineering. Conference Address: Xiamen, PEOPLES R CHINA. Time:NOV 17-19, 2008.