Search scope:
排序: Display mode:
State space optimization of finite state machines from the viewpoint of control theory Research Article
Jumei Yue, Yongyi Yan, Zengqiang Chen, He Deng,yjm@mail.nankai.edu.cn,yyyan@mail.nankai.edu.cn
Frontiers of Information Technology & Electronic Engineering 2021, Volume 22, Issue 12, Pages 1551-1684 doi: 10.1631/FITEE.2000608
Keywords: 有限状态自动机;有限值系统;逻辑系统;逻辑网络;矩阵半张量积;空间优化
Cellular automata based multi-bit stuck-at fault diagnosis for resistive memory Research Article
Sutapa SARKAR, Biplab Kumar SIKDAR, Mousumi SAHA
Frontiers of Information Technology & Electronic Engineering 2022, Volume 23, Issue 7, Pages 1110-1126 doi: 10.1631/FITEE.2100255
Keywords: Resistive memory Cell reliability Stuck-at fault diagnosis Single-length-cycle single-attractor cellular automata Single-length-cycle two-attractor cellular automata Single-length-cycle multiple-attractor cellular automata
Two-dimensional Controllable Cellular Automata BasedPseudo Random Bit Sequence Generator
Zhu Baoping,Ma Qian,Liu Fengyu
Strategic Study of CAE 2007, Volume 9, Issue 6, Pages 43-47
A novel cellular automata (CA) — two-dimensional controllable CA — is proposed in this paper. According to characteristics of two-dimensional controllable CA, a pseudo random generating method based on two-dimensional controllable CA with a trapezoidal structure is presented. Simulation demonstrates that pseudo random bit sequence generator based on the two-dimensional controllable CA with a trapezoidal structure is easily implemented, and can generate high speed bit sequence and excellent statistical properties. This novel CA is widely used in symmetrical cryptography.
Keywords: cellular automata pseudorandom number generators controllable cryptography
Indeterminacy Causal Inductive Automatic Reasoning Mechanism Based On Fuzzy State Describing
Yang Bingru,Tang Jing
Strategic Study of CAE 2000, Volume 2, Issue 5, Pages 44-50
New framework of knowledge representation of fuzzy language field and fuzzy language value structure is shown in this paper. Then the generalized cell automation that can synthetically process fuzzy indeterminacy and random indeterminacy and the generalized inductive logic causal model are brought forward. On this basis, the new logic indeterminate causal inductive automatic reasoning mechanism which is based on fuzzy state describing is brought forward. At the end of this paper its application in the development of intelligent controller is discussed.
Keywords: language field language value structure generalized cell automation generalized inductive logic causal model automatic reasoning intelligent controller
Nanoscale cryptographic architecture design using quantum-dot cellular automata Regular Article
Bikash Debnath, Jadav Chandra Das, Debashis De,dr.debashis.de@gmail.com
Frontiers of Information Technology & Electronic Engineering 2019, Volume 20, Issue 11, Pages 1578-1586 doi: 10.1631/FITEE.1800458
Keywords: 量子点元胞自动机(QCA);多数决定门密码学;加密;解密;纳米级路由
Reversible binary subtractor design using quantumdot-cellular automata Article
Jadav Chandra DAS, Debashis DE
Frontiers of Information Technology & Electronic Engineering 2017, Volume 18, Issue 9, Pages 1416-1429 doi: 10.1631/FITEE.1600999
Keywords: Quantum dot-cellular automata (QCA) Reversible logic DG gate Binary subtractor Quantum cost
Fang Weifeng,Yang Lizhong,Huang Rui
Strategic Study of CAE 2003, Volume 5, Issue 3, Pages 67-71
In recent years, Cellular Automata (CA) micro-simulation has emerged as an effective technique for modeling traffic flow and achieved a lot of success. But the human movement and occupant evacuation are much more complex than traffic flow. It is necessary for us to consider more human behavior characteristics if try to apply the model in practice. For the advantages of agent in simulating human intelligence, a multi-agent model based on CA is presented which focuses on simulating the human behavior and the effect on human by building structure. In the model, people are represented by agents and they move over the network which is represented by a lattice of cells. Agents can perceive the local environment and chcx)se their moving direction autonomously. In order to simulate human movement in very complex structure building the acquainting and evacuating states based on the ideas of artificial life are introduced and that is proved successful in simulation. Using this model the effect of the building structure on human behavior can be studied and the performance of building design can be assessed.
Keywords: Cellular automata model multi-agent human behavior performance-based design
A creative concept for designing and simulating quaternary logic gates in quantum-dot cellular automata Research Articles
Alireza Navidi, Reza Sabbaghi-Nadooshan, Massoud Dousti,alireza.navidi@srbiau.ac.ir,r_sabbaghi@iauctb.ac.ir,m_dousti@srbiau.ac.ir
Frontiers of Information Technology & Electronic Engineering 2021, Volume 22, Issue 11, Pages 1441-1550 doi: 10.1631/FITEE.2000590
Keywords: 量子点细胞自动机(QCA);四值逻辑;量子点细胞自动模拟器(QCASim);四值QCA(QQCA);四值译码器;四值门
Nano-design of ultra-efficient reversible block based on quantum-dot cellular automata Research Article
Seyed Sajad AHMADPOUR, Nima Jafari NAVIMIPOUR, Mohammad MOSLEH, Senay YALCIN
Frontiers of Information Technology & Electronic Engineering 2023, Volume 24, Issue 3, Pages 447-456 doi: 10.1631/FITEE.2200095
Keywords: Nanotechnology Reversible logic Energy dissipation Quantum-dot cellular automata (QCA) Reversible gate Miller algorithm
Introducing scalable 1-bit full adders for designing quantum-dot cellular automata arithmetic circuits Research Article
Hamideh KHAJEHNASIR-JAHROMI, Pooya TORKZADEH, Massoud DOUSTI,p-torkzadeh@srbiau.ac.ir,h.khajehnasir@srbiau.ac.ir,m_dousti@srbiau.ac.ir
Frontiers of Information Technology & Electronic Engineering 2022, Volume 23, Issue 8, Pages 1264-1276 doi: 10.1631/FITEE.2100287
Keywords: Quantum-dot cellular automata (QCA) Full adder Ripple carry adder (RCA) Add/sub circuit Multiplier
Research on Multi-level Software Rejuvenationof Computing System
You Jing,Xu Jian,Li Qianmu, Liu Fengyu
Strategic Study of CAE 2007, Volume 9, Issue 2, Pages 36-37
Recently,the phenomenon of software aging,one in which error conditions actually accrue with time and/or load,has been observed. To counteract software aging, which can cause outages resulting in high costs,a proactive restart technique called software rejuvenation is proposed and the rejuvenation cost is analyzed.In order to reduce the rejuvenation cost and improve software availability and reliability further, rejuvenation granularity should be finer than before. Therefore a fine-grained proactive technique——multilevel software rejuvenation is put forward. Firstly, the degradation law of system performance can be determined by analyzing the occupation and wastage of system resources. Based on the law and the software architecture,the two software rejuvenation policies, i.e. time-based multilevel software rejuvenation policy and detection-based multilevel software rejuvenation policy, can be drafted, and the rejuvenation granularity can be determined. Their formal description of policies is given by finite-state automaton. Finally, the entire process is illustrated with a web service case. This paper provides a case to illustrate the process, and the simulation results of the case show that the multilevel software rejuvenation policy can reduce the MTTR and rejuvenation cost further, comparing with the only system-level software rejuvenation. As a consequence,the system availability and reliability are enhanced.
Keywords: source filter neural network hysteresis comparator
Low-power, high-speed, and area-efficient sequential circuits by quantum-dot cellular automata: T-latch and counter study Research Article
Mohammad GHOLAMI, Zaman AMIRZADEH
Frontiers of Information Technology & Electronic Engineering 2023, Volume 24, Issue 3, Pages 457-469 doi: 10.1631/FITEE.2200361
cellular automata (QCA)%29&ck%5B%5D=abstract&ck%5B%5D=keyword'> is a new nanotechnology for the implementation of nano-sized digital circuits. This nanotechnology is remarkable in terms of speed, area, and power consumption compared to complementary metal-oxide-semiconductor (CMOS) technology and can significantly improve the design of various logic circuits. We propose a new method for implementing a in QCA technology in this paper. The proposed method uses the intrinsic features of QCA in timing and clock phases, and therefore, the proposed cell structure is less occupied and less power-consuming than existing implementation methods. In the proposed , compared to previous best designs, reductions of 6.45% in area occupation and 44.49% in power consumption were achieved. In addition, for the first time, a reset-based and a with set and reset capabilities are designed. Using the proposed , a new 3-bit is developed which reduces 2.14% cell numbers compared to the best of previous designs. Moreover, based on the 3-bit , a 4-bit is designed, which reduces 0.51% cell numbers and 4.16% cross-section area compared to previous designs. In addition, two selective s are introduced to count from 0 to 5 and from 2 to 5. Simulations were performed using and tools in coherence vector engine mode. The proposed circuits are compared with related designs in terms of delay, cell numbers, area, and leakage power.
Keywords: Quantum-dot cellular automata (QCA) Quantum-dot T-latch T-flip-flop Counter Selective counter QCADesigner QCAPro
Evacuation Analysis of a Large Shopping Mall
Song Weiguo,Yu Yanfei,Zhang Heping
Strategic Study of CAE 2005, Volume 7, Issue 10, Pages 78-83
Along with the development of the society, it flows out more and more high-rise, underground and large-space buildings, of which the fire protection designs are sometimes beyond the requirements of existing national fire protection codes of China. Therefore, the performance-based fire protection design of buildings has been getting more and more chances of application. Evacuation analysis is one of the key problems in the performance-based design. In this paper, the performance-based design of a large shopping mall is introduced, and a cellular automata (CA) based evacuation model, i.e. the CAFE model is used to analyze the efficiency of evacuation. Because the interactions among pedestrians and those between pedestrians and environment are quantified in CAFE model, the values of evacuation time obtained through the model are slightly larger than those of an evacuation software, Simulex, indicating that the CAFE model is to some extent more conservative and the analysis results are with higher reliability.
Keywords: evacuation performance-based design cellular automata
A matrix-based static approach to analysis of finite state machines Research Article
He DENG, Yongyi YAN, Zengqiang CHEN,yyyan@mail.nankai.edu.cn
Frontiers of Information Technology & Electronic Engineering 2022, Volume 23, Issue 8, Pages 1239-1246 doi: 10.1631/FITEE.2100561
Keywords: Logical systems Finite-valued systems Semi-tensor product of matrices Finite state machines Matrix approaches
A Self-adaptive Automatic Program Designand Application in Vending Machine
Yu Shiming,Ding Guozheng,Liu Lifeng
Strategic Study of CAE 2007, Volume 9, Issue 11, Pages 147-150
To deal with program fault, the method is usually to report them with return-value or emergency. But, when the program fault emerges in the state-orient model, how to make the program return to the state the fault point belong to or take further corresponding actions, the return-value or emergency can't do. In order to realize processing the fault automatically, this article presents automatic program design with uniting combined coding and state redundant design, and proposes its frame model and algorithm. The model is used for decreasing faults of state-switch("prevent" ) and increasing capability of fault-restore("cure" ). At last, part of the results presented in this paper are applied to a vending machine project and the tests show that the results are satisfactory.
Keywords: self-adaptive state redundant design automatic program design fault-restore vending machine
Title Author Date Type Operation
State space optimization of finite state machines from the viewpoint of control theory
Jumei Yue, Yongyi Yan, Zengqiang Chen, He Deng,yjm@mail.nankai.edu.cn,yyyan@mail.nankai.edu.cn
Journal Article
Cellular automata based multi-bit stuck-at fault diagnosis for resistive memory
Sutapa SARKAR, Biplab Kumar SIKDAR, Mousumi SAHA
Journal Article
Two-dimensional Controllable Cellular Automata BasedPseudo Random Bit Sequence Generator
Zhu Baoping,Ma Qian,Liu Fengyu
Journal Article
Indeterminacy Causal Inductive Automatic Reasoning Mechanism Based On Fuzzy State Describing
Yang Bingru,Tang Jing
Journal Article
Nanoscale cryptographic architecture design using quantum-dot cellular automata
Bikash Debnath, Jadav Chandra Das, Debashis De,dr.debashis.de@gmail.com
Journal Article
Reversible binary subtractor design using quantumdot-cellular automata
Jadav Chandra DAS, Debashis DE
Journal Article
A Multi-agent Model Based on Cellular Automata for Simulating Human Behavior to Assess Building Design
Fang Weifeng,Yang Lizhong,Huang Rui
Journal Article
A creative concept for designing and simulating quaternary logic gates in quantum-dot cellular automata
Alireza Navidi, Reza Sabbaghi-Nadooshan, Massoud Dousti,alireza.navidi@srbiau.ac.ir,r_sabbaghi@iauctb.ac.ir,m_dousti@srbiau.ac.ir
Journal Article
Nano-design of ultra-efficient reversible block based on quantum-dot cellular automata
Seyed Sajad AHMADPOUR, Nima Jafari NAVIMIPOUR, Mohammad MOSLEH, Senay YALCIN
Journal Article
Introducing scalable 1-bit full adders for designing quantum-dot cellular automata arithmetic circuits
Hamideh KHAJEHNASIR-JAHROMI, Pooya TORKZADEH, Massoud DOUSTI,p-torkzadeh@srbiau.ac.ir,h.khajehnasir@srbiau.ac.ir,m_dousti@srbiau.ac.ir
Journal Article
Research on Multi-level Software Rejuvenationof Computing System
You Jing,Xu Jian,Li Qianmu, Liu Fengyu
Journal Article
Low-power, high-speed, and area-efficient sequential circuits by quantum-dot cellular automata: T-latch and counter study
Mohammad GHOLAMI, Zaman AMIRZADEH
Journal Article
A matrix-based static approach to analysis of finite state machines
He DENG, Yongyi YAN, Zengqiang CHEN,yyyan@mail.nankai.edu.cn
Journal Article