中国机械工程学会生产工程分会知识服务平台

期刊


ISSN0005-1179
刊名Automation and Remote Control
参考译名自动装置与遥控
收藏年代1999~2022



全部

1999 2000 2001 2002 2003 2004
2005 2006 2007 2008 2009 2010
2011 2012 2013 2014 2015 2016
2017 2018 2019 2020 2021 2022

2004, vol.65, no.1 2004, vol.65, no.10 2004, vol.65, no.11 2004, vol.65, no.12 2004, vol.65, no.2 2004, vol.65, no.3
2004, vol.65, no.4 2004, vol.65, no.5 2004, vol.65, no.6 2004, vol.65, no.7 2004, vol.65, no.8 2004, vol.65, no.9

题名作者出版年年卷期
Fibonacci Arithmetic ExpressionsJ. T. Astola; K. Egiazarian; M. Stankovic; R. S. Stankovic20042004, vol.65, no.6
Family of Ternary Arithmetic Polynomial Expansions Based on New TransformsB. J. Falkowski; Cheng Fu20042004, vol.65, no.6
Large Systems of Boolean Functions: Realization by Modular Arithmetic MethodsO. A. Fin'ko20042004, vol.65, no.6
Malyugin's Theorems: A New Concept in Logical Control, VLSI Design, and Data Structures for New TechnologiesV. P. Shmerko20042004, vol.65, no.6
HDL Constructs in Linear Word-Level Decision Diagram Based SpecificationK. Wahid; D. C. Lu; C. Rahman20042004, vol.65, no.6
Representation of Logical Circuits by Linear Decision Diagrams with Extension to NanostructuresP. Dziurzanskii; V. P. Shmerko; S. N. Yanushkevich20042004, vol.65, no.6
Approximate Algorithms for Minimization of Binary Decision Diagrams on the Basis of Linear Transformations of VariablesA. Kolpakov; R. Kh. Latypov20042004, vol.65, no.6
Linear Decision Diagram Based Mapping for Rapid PrototypingR. Sizeland; Y. Xie20042004, vol.65, no.6
Using Word-Level Information in Formal Hardware VerificationR. Drechsler20042004, vol.65, no.6
Algorithms for Synthesis of Polynomials Implementing Weakly Specified Boolean Functions and SystemsA. D. Zakrevskii20042004, vol.65, no.6
12