咨询与建议

限定检索结果

文献类型

  • 12 篇 会议
  • 4 篇 期刊文献

馆藏范围

  • 16 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 10 篇 理学
    • 8 篇 数学
    • 4 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 生物学
  • 10 篇 工学
    • 6 篇 控制科学与工程
    • 5 篇 计算机科学与技术...
    • 4 篇 软件工程
    • 1 篇 力学(可授工学、理...
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 生物工程
    • 1 篇 安全科学与工程
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 1 篇 图书情报与档案管...
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...

主题

  • 3 篇 regulators
  • 2 篇 process control
  • 2 篇 stochastic proce...
  • 2 篇 immunology
  • 1 篇 transient analys...
  • 1 篇 languages
  • 1 篇 automation
  • 1 篇 gold
  • 1 篇 risk management
  • 1 篇 databases
  • 1 篇 differential equ...
  • 1 篇 control systems
  • 1 篇 integrodifferent...
  • 1 篇 analytical model...
  • 1 篇 nonlinear equati...
  • 1 篇 stochastic syste...
  • 1 篇 verification
  • 1 篇 uncertainty
  • 1 篇 robot kinematics
  • 1 篇 aerospace electr...

机构

  • 3 篇 institute of com...
  • 2 篇 institute of com...
  • 2 篇 institute of com...
  • 2 篇 department of co...
  • 2 篇 max-planck-insti...
  • 1 篇 department of ap...
  • 1 篇 faculty of compu...
  • 1 篇 department of in...
  • 1 篇 knowledge-based ...
  • 1 篇 institute of con...
  • 1 篇 institute of app...
  • 1 篇 st.petersburg st...
  • 1 篇 department of ma...
  • 1 篇 institute of com...
  • 1 篇 institute of com...
  • 1 篇 department of ap...
  • 1 篇 computational lo...
  • 1 篇 institute of com...
  • 1 篇 department for p...
  • 1 篇 national researc...

作者

  • 4 篇 kolesnikova s.i.
  • 2 篇 s. i. kolesnikov...
  • 2 篇 kolesnikova svet...
  • 1 篇 yu. i. paraev
  • 1 篇 duchier denys
  • 1 篇 noeiaghdam samad
  • 1 篇 tsvetnitskaya s....
  • 1 篇 mennicke stephan
  • 1 篇 prykarpatskyy ya...
  • 1 篇 yue xiao-guang
  • 1 篇 semenikhin e.l.
  • 1 篇 greguš michal
  • 1 篇 svetlana kolesni...
  • 1 篇 s. a. tsvetnitsk...
  • 1 篇 thiel sven
  • 1 篇 vovk myroslava i...
  • 1 篇 lamprecht anna-l...
  • 1 篇 kolesnikov a.a.
  • 1 篇 alexander koller
  • 1 篇 mehdiyeva g.y.u.

语言

  • 16 篇 英文
检索条件"机构=Institute of Computational Systems and Programming"
16 条 记 录,以下是11-20 订阅
排序:
Two Algorithms for Designing Control over Centerof-Mass Motion of a Moving Object with Incomplete Description
Two Algorithms for Designing Control over Centerof-Mass Moti...
收藏 引用
International Conference on Control systems, Mathematical Modelling, Automation and Energy Efficiency (SUMMA)
作者: S. I. Kolesnikova Yu. I. Paraev S. A. Tsvetnitskaya Institute of Computational Systems and Programming St.Petersburg State University of Aerospaсe Instrumentation St. Petersburg Russia Institute of Applied Mathematics and Computer Science National Research Tomsk State University Tomsk Russia
The methods of nonlinear adaptation based on an analytical design of aggregated regulators and modal control are discussed for solving the problem of nonlinear control over a robotic arm operating under the conditions... 详细信息
来源: 评论
Some remarks on smooth mappings of Hilbert and Banach spaces and their local convexity property
arXiv
收藏 引用
arXiv 2021年
作者: Prykarpatskyy, Yarema A. Pukach, Petro Y. Vovk, Myroslava I. Greguš, Michal Department of Applied Mathematics University of Agriculture in Krakow Al. Mickiewicza 21 Krakow31-120 Poland Institute of Mathematics of NAS of Ukraine 3 Tereschenkivska st. Kyiv 401024 Ukraine Department of Computational Mathematics and Programming Institute of Applied Mathematics and Fundamental Sciences Lviv Polytechnic National University 12 Bandera Str. Lviv79013 Ukraine Department of Mathematics Institute of Applied Mathematics and Fundamental Sciences Lviv Polytechnic National University 12 Bandera Str. Lviv79013 Ukraine Department of Information Systems Faculty of Management Comenius University in Bratislava Odbojarov 10 Bratislava 2582005 Slovakia
We analyze smooth nonlinear mappings for Hilbert and Banach spaces that carry small balls to convex sets, provided that the radius of the balls is small enough. Being focused on the study of new and mild sufficient co... 详细信息
来源: 评论
Information system model for implementation and maintenance of stochastic control over a nonlinear object on manifolds
收藏 引用
Journal of Physics: Conference Series 2020年 第1期1661卷
作者: S I Kolesnikova Institute of Computational Systems and Programming St. Petersburg State University of Aerospace Instrumentation 67 Bolshaya Morskaia str. St. Petersburg 190000 Russia
The paper presents a problem statement for a robust stochastic regulator synthesis based on the principles of control on manifolds, a solution algorithm of a new information system and its structure maintaining the sy...
来源: 评论
User-level synthesis: Treating product lines as systems of constraints  15
User-level synthesis: Treating product lines as systems of c...
收藏 引用
19th International Software Product Line Conference, SPLC 2015
作者: Steffen, Bernhard Lamprecht, Anna-Lena Margaria, Tiziana Department for Programming Systems TU Dortmund University Dortmund44227 Germany Institute for Informatics and Computational Science Potsdam University Potsdam14482 Germany Lero - Irish Software Research Centre University of Limerick Limerick Ireland
In this paper, we sketch how treating product lines as systems of possibly heterogeneous constraints allows one to elegantly and consistently manage product lines in terms of a product line of product lines. In fact, ...
来源: 评论
An efficient algorithm for the configuration problem of dominance graphs
An efficient algorithm for the configuration problem of domi...
收藏 引用
2001 Operating Section Proceedings, American Gas Association
作者: Althaus, Ernst Duchier, Denys Koller, Alexander Mehlhorn, Kurt Niehren, Joachim Thiel, Sven Max-Planck-Institute for Computer Science Saarbrücken Germany Programming Systems Lab. Fachbereich Informatik Universität des Saarlandes Saarbrücken Germany Department of Computational Linguistics Universität des Saarlandes Saarbrücken Germany
Dominance constraints are logical tree descriptions originating from automata theory that have multiple applications in computational linguistics. The satisfiability problem of dominance constraints is NP-complete. In... 详细信息
来源: 评论
An efficient algorithm for the configuration problem of dominance graphs  01
An efficient algorithm for the configuration problem of domi...
收藏 引用
Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms
作者: Ernst Althaus Denys Duchier Alexander Koller Kurt Mehlhorn Joachim Niehren Sven Thiel Max-Planck-Institute for Computer Science Saarbrücken Germany programming Systems Lab Fachbereich Informatik Universität des Saarlandes Saarbrücken Germany Department of Computational Linguistics Universität des Saarlandes Saarbrücken Germany
Dominance constraints are logical tree descriptions originating from automata theory that have multiple applications in computational linguistics. The satisfiability problem of dominance constraints is NP-complete. In...
来源: 评论