RU2017122058A - Method and system of graph-oriented creation of scalable and supported software implementations of complex computational methods - Google Patents

Method and system of graph-oriented creation of scalable and supported software implementations of complex computational methods Download PDF

Info

Publication number
RU2017122058A
RU2017122058A RU2017122058A RU2017122058A RU2017122058A RU 2017122058 A RU2017122058 A RU 2017122058A RU 2017122058 A RU2017122058 A RU 2017122058A RU 2017122058 A RU2017122058 A RU 2017122058A RU 2017122058 A RU2017122058 A RU 2017122058A
Authority
RU
Russia
Prior art keywords
graph
software
computational methods
computational
complex
Prior art date
Application number
RU2017122058A
Other languages
Russian (ru)
Other versions
RU2017122058A3 (en
RU2681408C2 (en
Inventor
Александр Павлович Соколов
Антон Юрьевич Першин
Original Assignee
Александр Павлович Соколов
Антон Юрьевич Першин
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Александр Павлович Соколов, Антон Юрьевич Першин filed Critical Александр Павлович Соколов
Priority to RU2017122058A priority Critical patent/RU2681408C2/en
Publication of RU2017122058A3 publication Critical patent/RU2017122058A3/ru
Publication of RU2017122058A publication Critical patent/RU2017122058A/en
Application granted granted Critical
Publication of RU2681408C2 publication Critical patent/RU2681408C2/en

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/20Software design

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)

Claims (12)

1. Способ графо-ориентированного создания программных реализаций сложных вычислительных методов (графоориентированная программная инженерия), предназначенный для систематизации и упрощения процессов решения прикладных задач инженерного анализа сложных технических систем и процессов.1. The method of graph-oriented creation of software implementations of complex computational methods (graph-oriented software engineering), designed to systematize and simplify the processes of solving applied problems of engineering analysis of complex technical systems and processes. 2. Способ по п.1 включает систематизированную процедуру разработки, основанную на формализации понятий: вычислительный метод, инструмент и алгоритм решения задачи, графовая модель, структура исходных данных и сами исходные данные, метод определения произвольных функций преобразования данных, функции-обработчики и функции-предикаты, интерпретатор графовой модели, интерпретатор формата исходных данных.2. The method according to claim 1 includes a systematic development procedure based on formalization of concepts: a computational method, a tool and algorithm for solving a problem, a graph model, the structure of the initial data and the initial data themselves, a method for determining arbitrary data conversion functions, handler functions and functions predicates, graph model interpreter, source data format interpreter. 3. Способ по п.1, отличающийся возможностями иерархического вложения в графовые модели одних вычислительных методов графовых моделей, реализующих другие вычислительные методы.3. The method according to claim 1, characterized by the possibilities of hierarchical embedding in graph models of some computational methods of graph models that implement other computational methods. 4. Способ по п.1, отличающийся возможностями создания одновременно масштабируемых, распределенных, сопровождаемых и интегрируемых в различные прикладные промышленные программные пакеты инженерного анализа программных реализаций вычислительных методов.4. The method according to claim 1, characterized by the ability to create simultaneously scalable, distributed, maintained and integrated into various industrial application software packages for engineering analysis of software implementations of computational methods. 5. Способ по п.1, отличающийся возможностями обеспечение автоматического многопоточного выполнения разрабатываемой программной реализации сложного вычислительного метода.5. The method according to claim 1, characterized by the ability to provide automatic multi-threaded execution of the developed software implementation of a complex computational method. 6. Способ по п.1, отличающийся отсутствием зависимостей от коммерческих программных пакетов.6. The method according to claim 1, characterized by the absence of dependencies on commercial software packages. 7. Способ по п.1, отличающийся сокращением трудозатрат по разработке программных реализаций сложных вычислительных методов за счет возможностей создания одной программной реализации параллельно коллективом специалистов.7. The method according to claim 1, characterized by a reduction in labor costs for developing software implementations of complex computational methods due to the possibility of creating one software implementation in parallel by a team of specialists. 8. Способ по п.1, отличающийся независимостью реализуемого вычислительного метода от формата представления исходных данных.8. The method according to claim 1, characterized by the independence of the implemented computational method from the presentation format of the source data. 9. Способ по п.1, отличающийся обеспечением возможностей независимых процедур формирования постановки задачи, отправки постановки на расчет и проведения расчета.9. The method according to claim 1, characterized in that it provides the possibility of independent procedures for the formation of the problem statement, sending the statement for calculation and calculation. 10. Способ по п.1, отличающийся формализацией процедуры локальной корректировки созданной программной реализации при независимом изменении типов и количества исходных данных.10. The method according to claim 1, characterized in formalizing the procedure for local adjustment of the created software implementation with an independent change in the types and amount of source data. 11. Способ по п.1, отличающийся возможностями учета изменяющихся условий функционирования и согласованности работы выбранных численных методов выбранным алгоритмам в течение жизненного цикла создаваемой программной реализации.11. The method according to claim 1, characterized by the ability to account for changing operating conditions and the consistency of the selected numerical methods for the selected algorithms during the life cycle of the software implementation being created. 12. Способ по п.1, отличающийся независимостью от аппаратной и программной платформ функционирования.12. The method according to claim 1, characterized by independence from the hardware and software functioning platforms.
RU2017122058A 2017-08-22 2017-08-22 Method and system of graphical oriented creation of scalable and supported software realizations of complex computational methods RU2681408C2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
RU2017122058A RU2681408C2 (en) 2017-08-22 2017-08-22 Method and system of graphical oriented creation of scalable and supported software realizations of complex computational methods

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
RU2017122058A RU2681408C2 (en) 2017-08-22 2017-08-22 Method and system of graphical oriented creation of scalable and supported software realizations of complex computational methods

Publications (3)

Publication Number Publication Date
RU2017122058A3 RU2017122058A3 (en) 2019-02-22
RU2017122058A true RU2017122058A (en) 2019-02-22
RU2681408C2 RU2681408C2 (en) 2019-03-06

Family

ID=65479158

Family Applications (1)

Application Number Title Priority Date Filing Date
RU2017122058A RU2681408C2 (en) 2017-08-22 2017-08-22 Method and system of graphical oriented creation of scalable and supported software realizations of complex computational methods

Country Status (1)

Country Link
RU (1) RU2681408C2 (en)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115756416B (en) * 2022-10-18 2023-06-02 元计算(天津)科技发展有限公司 Program generation method and device of physical mechanism solver calculation unit

Family Cites Families (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4901221A (en) * 1986-04-14 1990-02-13 National Instruments, Inc. Graphical system for modelling a process and associated method
US20050091576A1 (en) * 2003-10-24 2005-04-28 Microsoft Corporation Programming interface for a computer platform
US7743360B2 (en) * 2005-07-05 2010-06-22 Microsoft Corporation Graph browser and implicit query for software development
US8191052B2 (en) * 2006-12-01 2012-05-29 Murex S.A.S. Producer graph oriented programming and execution
EP3011440A2 (en) * 2014-09-17 2016-04-27 Siemens Aktiengesellschaft Method and digital tool for engineering software architectures of complex cyber-physical systems of different technical domains

Also Published As

Publication number Publication date
RU2017122058A3 (en) 2019-02-22
RU2681408C2 (en) 2019-03-06

Similar Documents

Publication Publication Date Title
CN107450972B (en) Scheduling method and device and electronic equipment
JP6674904B2 (en) Workload automation and data lineage analysis
JP6452629B2 (en) Parallel execution of continuous event processing (CEP) queries
JP2020504862A5 (en)
EP3643049A1 (en) Edge devices and associated networks utilising microservices
US20180004495A1 (en) Verification of a dataflow representation of a program through static type-checking
JP2013545169A5 (en)
CN107111505B (en) System and method for executing algorithms on parallel heterogeneous systems
US20210157711A1 (en) System and method for controlled data extraction in computer networks
Falkenthal et al. Opentosca for the 4th industrial revolution: Automating the provisioning of analytics tools based on apache flink
EP3114538A1 (en) Optimized method for sorting alarms
Jahr et al. A pattern-supported parallelization approach
US10303558B2 (en) Checkpointing higher order query operators
RU2017122058A (en) Method and system of graph-oriented creation of scalable and supported software implementations of complex computational methods
JP2014102734A (en) Performance verification program, performance verification method, and performance verification device
Rodrigues et al. Adaptive multi-agent system for a washing machine production line
JP2018516411A5 (en)
US10346556B2 (en) Validation of multi-component design constraints for capital project design system
JP6398456B2 (en) Software generator
JP6333201B2 (en) Method and computer program executed on a computer to form a control program executable on a control system from a graphic control model
US20150378698A1 (en) Integrated compilation modes for data flow code generation
Renault et al. Optimization of checkpoints and execution model for an implementation of OpenMP on distributed memory architectures
Huisman et al. Towards Reliable Concurrent Software
Weng et al. Acceleration of a Python-based tsunami modelling application via CUDA and OpenHMPP
Lassila Opportunities and challenges in adopting continuous end-to-end testing: A case study