{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T08:50:32Z","timestamp":1760345432266},"reference-count":24,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1997,2,1]],"date-time":"1997-02-01T00:00:00Z","timestamp":854755200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence in Engineering"],"published-print":{"date-parts":[[1997,2]]},"DOI":"10.1016\/0954-1810(96)00019-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T07:20:41Z","timestamp":1027581641000},"page":"49-59","source":"Crossref","is-referenced-by-count":8,"title":["An expert system for design of spacecraft attitude control systems"],"prefix":"10.1016","volume":"11","author":[{"given":"S.A.","family":"Butyrin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.P.","family":"Makarov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.R.","family":"Mukumov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ye.","family":"Somov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.N.","family":"Vassilyev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0954-1810(96)00019-2_BIB1","first-page":"10","article-title":"EVROLOG, or on creative capabilities of a system with professional artificial intelligence","volume":"19","author":"Matrosov","year":"1986","journal-title":"Future of Science"},{"key":"10.1016\/0954-1810(96)00019-2_BIB2","series-title":"Mathematical Modelling and Applied Mathematics","first-page":"447","article-title":"The system EVROLOG: Application of logical synthesis of programs in some problems of computer-aided modelling and investigation of interconnected dynamical systems","author":"Vassilyev","year":"1992"},{"key":"10.1016\/0954-1810(96)00019-2_BIB3","first-page":"97","article-title":"On logical aids of a system for planning computations \u2018PASAD\u2019","volume":"66","author":"Vassilyev","year":"1988","journal-title":"Algorithms"},{"key":"10.1016\/0954-1810(96)00019-2_BIB4","series-title":"Proc. VIII Siberian Sympos. on Appl. Software Packages","first-page":"137","article-title":"A system of logical derivation in some mixed-semantics calculus of type quantifiers","author":"Mukumov","year":"1989"},{"key":"10.1016\/0954-1810(96)00019-2_BIB5","first-page":"3","article-title":"System's properties and their ordering","volume":"184","author":"Vassilyev","year":"1975"},{"issue":"5","key":"10.1016\/0954-1810(96)00019-2_BIB6","first-page":"583","article-title":"On calculus of type quantifier formulas","volume":"343","author":"Vassilyev","year":"1995","journal-title":"Dokladi of Academy of Science"},{"key":"10.1016\/0954-1810(96)00019-2_BIB7","first-page":"221","article-title":"Propositional positively constructed and standardized formulas and boolean function's realization","volume":"2","author":"Zherlov","year":"1994"},{"key":"10.1016\/0954-1810(96)00019-2_BIB8","series-title":"Dynamics and Control of Spacecrafts","first-page":"193","article-title":"Elements of AI in the problem of providing survivability of a system of SC attitude control","author":"Makarov","year":"1992"},{"key":"10.1016\/0954-1810(96)00019-2_BIB9","series-title":"Dynamics and Control of Spacecrafts","first-page":"46","article-title":"Dynamics of a multiple digital system for spatial gyrostabilization of a flexible spacecraft","author":"Somov","year":"1992"},{"key":"10.1016\/0954-1810(96)00019-2_BIB10","series-title":"Dynamics and Control of Spacecrafts","first-page":"163","article-title":"Mathematical methods and software for automatized design of spacecraft's attitude control systems","author":"Matrosov","year":"1992"},{"key":"10.1016\/0954-1810(96)00019-2_BIB11","series-title":"Proc. III Russian-Chinese Sympos. on Aerospace Engineering","first-page":"71","article-title":"Mathematical methods and software for dynamic investigation of spacecrafts attitude control systems","author":"Matrosov","year":"1994"},{"key":"10.1016\/0954-1810(96)00019-2_BIB12","first-page":"25","article-title":"Applied software system \u2018DYNAMICS\u2019 for automatized design of control systems and problems of its intellectualization","volume":"Vol. 2","author":"Matrosov","year":"1991"},{"key":"10.1016\/0954-1810(96)00019-2_BIB13","series-title":"Proc. Int. Workshop \u2018Methods and Software for Automatic Control Systems\u2019","first-page":"63","article-title":"The software system DYNAMICS for CAD of control systems","author":"Matrosov","year":"1991"},{"issue":"2","key":"10.1016\/0954-1810(96)00019-2_BIB14","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0743-1066(90)90042-4","article-title":"Machine synthesis of mathematical theorems","volume":"9","author":"Vassilyev","year":"1990","journal-title":"Logic Programming"},{"key":"10.1016\/0954-1810(96)00019-2_BIB15","first-page":"148","article-title":"Modelling logical derivation and hypothesis generation","volume":"Vol. 1","author":"Vassilyev","year":"1996"},{"key":"10.1016\/0954-1810(96)00019-2_BIB16","series-title":"Abst. Int. Conf. AMCA '95: Advanced Mathematics, Computations and Applications","first-page":"341","article-title":"Expert systems design for control of moving objects","author":"Vassilyev","year":"1995"},{"key":"10.1016\/0954-1810(96)00019-2_BIB17","first-page":"124","article-title":"Method of synthesis of provability conditions for Horn like and some other formulas","volume":"1","author":"Vassilyev","year":"1995","journal-title":"Optimization, Control and Artificial Intelligence"},{"issue":"5","key":"10.1016\/0954-1810(96)00019-2_BIB18","first-page":"24","article-title":"Method for solving logical equations in descriptive-constructive semantics","author":"Guliamov","year":"1995","journal-title":"Izv. Academy of Science. Control Theory and Systems"},{"key":"10.1016\/0954-1810(96)00019-2_BIB19","first-page":"33","article-title":"Logical modelling and real-time control","volume":"Vol. 2","author":"Vassilyev","year":"1991"},{"key":"10.1016\/0954-1810(96)00019-2_BIB20","first-page":"9","article-title":"Towards intelligent control of group of transport aids","volume":"Vol. 2","author":"Vassilyev","year":"1991"},{"issue":"3","key":"10.1016\/0954-1810(96)00019-2_BIB21","first-page":"197","article-title":"Fuzzy models of intellectual industrial controllers and control systems. III. Methodology of design","author":"Zaharov","year":"1993","journal-title":"Izv. Academy of Science. Technical Cybernetics"},{"issue":"2","key":"10.1016\/0954-1810(96)00019-2_BIB22","first-page":"179","article-title":"Problems of gyromoment control","volume":"16","author":"Tokar","year":"1978","journal-title":"Cosmic Research"},{"issue":"2","key":"10.1016\/0954-1810(96)00019-2_BIB23","first-page":"159","article-title":"Geometric theory of single gimbal control moment gyro systems","volume":"26","author":"Margulies","year":"1978","journal-title":"Journal of Astronomica Science"},{"issue":"2","key":"10.1016\/0954-1810(96)00019-2_BIB24","first-page":"189","article-title":"Optimal open-loop and feedback control using single gimbal control moment gyroscopes","volume":"42","author":"Hoelscher","year":"1994","journal-title":"Journal of Astronomical Science"}],"container-title":["Artificial Intelligence in Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0954181096000192?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0954181096000192?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:58:04Z","timestamp":1556740684000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0954181096000192"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,2]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,2]]}},"alternative-id":["0954181096000192"],"URL":"https:\/\/doi.org\/10.1016\/0954-1810(96)00019-2","relation":{},"ISSN":["0954-1810"],"issn-type":[{"value":"0954-1810","type":"print"}],"subject":[],"published":{"date-parts":[[1997,2]]}}}