RU2013145592A - Система и способ планирования вычислений в системе администрирования информационно-зависимых ограничений - Google Patents

Система и способ планирования вычислений в системе администрирования информационно-зависимых ограничений Download PDF

Info

Publication number
RU2013145592A
RU2013145592A RU2013145592/08A RU2013145592A RU2013145592A RU 2013145592 A RU2013145592 A RU 2013145592A RU 2013145592/08 A RU2013145592/08 A RU 2013145592/08A RU 2013145592 A RU2013145592 A RU 2013145592A RU 2013145592 A RU2013145592 A RU 2013145592A
Authority
RU
Russia
Prior art keywords
plan
variable
spaces
input
nodes
Prior art date
Application number
RU2013145592/08A
Other languages
English (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 Дзе Боинг Компани
Publication of RU2013145592A publication Critical patent/RU2013145592A/ru

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/24—Querying
    • G06F16/245—Query processing
    • G06F16/2455—Query execution
    • G06F16/24553—Query execution of query operations
    • G06F16/24554—Unary operations; Data partitioning operations
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/23—Updating
    • G06F16/2379—Updates performed during online database operations; commit processing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/90—Details of database functions independent of the retrieved data types
    • G06F16/901—Indexing; Data structures therefor; Storage structures
    • G06F16/9024—Graphs; Linked lists
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/10—Geometric CAD
    • G06F30/15—Vehicle, aircraft or watercraft design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/10—Geometric CAD
    • G06F30/17—Mechanical parametric or variational design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F7/00—Methods or arrangements for processing data by operating upon the order or content of the data handled
    • G06F7/06—Arrangements for sorting, selecting, merging, or comparing data on individual record carriers
    • G06F7/20—Comparing separate sets of record carriers arranged in the same sequence to determine whether at least some of the data in one set is identical with that in the other set or sets
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computing arrangements using knowledge-based models
    • G06N5/01—Dynamic search techniques; Heuristics; Dynamic trees; Branch-and-bound
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2111/00—Details relating to CAD techniques
    • G06F2111/04—Constraint-based CAD

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Databases & Information Systems (AREA)
  • Geometry (AREA)
  • Data Mining & Analysis (AREA)
  • Evolutionary Computation (AREA)
  • Computational Linguistics (AREA)
  • Software Systems (AREA)
  • Computational Mathematics (AREA)
  • Mathematical Analysis (AREA)
  • Mathematical Optimization (AREA)
  • Pure & Applied Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Mathematical Physics (AREA)
  • Automation & Control Theory (AREA)
  • Aviation & Aerospace Engineering (AREA)
  • Artificial Intelligence (AREA)
  • Computing Systems (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

1. Способ построения условно-зависимого вычислительного плана (102) для сети (100) информационно-зависимых ограничений, представленной двудольным графом (106), содержащим входные узлы-переменные (120), выходные, узлы-переменные (128) и узлы-отношения (114), причем входные узлы-переменные (120) и узлы-отношения (114) соединены дугами (110), при этом способ содержит следующие шаги:задание, посредством спецификатора узла-переменной (120), по меньшей мере одного выходного узла-переменной (128), для которого необходим план (102); ипостроение плана (102), посредством планировщика плана (102), от входных узлов-переменных (120) до выходного узла-переменной (128) посредством обратного поиска по ветвям двудольного графа (106).2. Способ по п.1, дополнительно содержащий следующие шаги:задание входных узлов-переменных (120), от которых необходимо построить вычислительные шаги плана (102) для вычисления значений выходного узла-переменной (128); ипостроение плана (102) от всех входных узлов-переменных (120) в сети (100) ограничений, влияющих на значение выходного узла-переменной (128), если входные узлы-переменной (120) не заданы.3. Способ по п.1, дополнительно содержащий следующие шаги:задание, посредством спецификатора набора (140) пространств, набора (140) пространств, в котором необходим вычислительный план (102); ипостроение набора (140) пространств, в котором выходной узел-переменная (128) находится в определенном состоянии, если набор (140) пространств не задан.4. Способ по п.1, в котором шаг построения плана (102) включает:создание входного списка (220), выходного списка (218), очереди заглушки и очереди плана (102), при этомвходной список (220) содержит связь входной (122) переменной с набором (140) простр�

Claims (15)

1. Способ построения условно-зависимого вычислительного плана (102) для сети (100) информационно-зависимых ограничений, представленной двудольным графом (106), содержащим входные узлы-переменные (120), выходные, узлы-переменные (128) и узлы-отношения (114), причем входные узлы-переменные (120) и узлы-отношения (114) соединены дугами (110), при этом способ содержит следующие шаги:
задание, посредством спецификатора узла-переменной (120), по меньшей мере одного выходного узла-переменной (128), для которого необходим план (102); и
построение плана (102), посредством планировщика плана (102), от входных узлов-переменных (120) до выходного узла-переменной (128) посредством обратного поиска по ветвям двудольного графа (106).
2. Способ по п.1, дополнительно содержащий следующие шаги:
задание входных узлов-переменных (120), от которых необходимо построить вычислительные шаги плана (102) для вычисления значений выходного узла-переменной (128); и
построение плана (102) от всех входных узлов-переменных (120) в сети (100) ограничений, влияющих на значение выходного узла-переменной (128), если входные узлы-переменной (120) не заданы.
3. Способ по п.1, дополнительно содержащий следующие шаги:
задание, посредством спецификатора набора (140) пространств, набора (140) пространств, в котором необходим вычислительный план (102); и
построение набора (140) пространств, в котором выходной узел-переменная (128) находится в определенном состоянии, если набор (140) пространств не задан.
4. Способ по п.1, в котором шаг построения плана (102) включает:
создание входного списка (220), выходного списка (218), очереди заглушки и очереди плана (102), при этом
входной список (220) содержит связь входной (122) переменной с набором (140) пространств входной (122) переменной, причем набор (140) пространств входной (122) переменной является максимальным набором (140) пространств, в котором входная (122) переменная является независимой и одна или более выходных (122) переменных являются зависимыми от указанной входной (122) переменной в указанном наборе (140) пространств;
выходной список (218) содержит элементы, включающие связь узла-переменной (120) с максимальным набором (140) пространств, в котором этот узел-переменная (120) определен;
очередь плана (102) содержит список шагов плана (102) с элементами, включающими связь шага плана с набором (140) пространств, в котором этот шаг плана (102) должен быть выполнен;
причем шаг плана (102) содержит один из следующих элементов:
дугу (110), связанную со способом вычисления значения одного из узлов-переменных (120); и
компоненту (132), связанную с вычислительным способом одновременного вычисления значений множества узлов-переменных (120) в этой компоненте (132); и
очередь заглушки содержит элементы, являющиеся связью узла-переменной (120) заглушки с набором (140) пространств, при этом переменная (122) заглушки - это любая переменная (122), которая необходима в одном или нескольких шагах плана (102), но которая является независимой от любых конкретных входных (122) переменных, а набор (140) пространств, связанный с этой переменной (122) заглушки, является набором (140) пространств, в котором переменная (122) заглушки необходима, для того чтобы оценить один или несколько шагов плана (102).
5. Способ по п.4, который, если входные узлы-переменные (120) задаются как аргументы, дополнительно включает шаг
обновления входного списка (220) изменением набора (140) пространств, связанного с заданной входной переменной (122), посредством объединения формирующегося набора (140) пространств, полученного на маршруте поиска, с набором (140) пространств, связанным с указанной входной переменной (122); и
в котором шаг построения плана, использующего обратный поиск по ветвям двудольного графа (106), включает:
начало с выходного узла-переменной (128), причем этот выходной узел-переменная (128) имеет заданный набор (140) пространств и одну или более входных дуг (110); и
обновление выходного списка (218) посредством добавления выходного узла-переменной (128) и заданного набора пространств к выходному списку (218), если выходной узел-переменная (128) находится в определенном состоянии для всего заданного набора (140) пространств.
6. Способ по п.1, в котором этап построения плана (102) посредством обратного поиска по ветвям двудольного графа (106) включает:
обновление плана (102) во время продвижения по каждой из входящих дуг (110) обратно маршруту поиска посредством рекурсивного выполнения, для данного набора (140) пространств, следующих операций: поиск плана (102) для узла-переменной (120), поиск плана (102) для компоненты (132), поиск плана (102) для узла-отношения (114) и поиск плана (102) для дуги (110), при этом наборы пространств, предоставляющие возможность входящим дугам (110), связанным с заданным узлом-переменной (120), разъединяться;
поддержку, во время обновления плана (102), соответствующего набора (140) пространств на маршруте поиска посредством пересечения формирующегося набора (140) пространств с включенными наборами (140) пространств дополнительных элементов на маршруте поиска, причем дополнительные элементы являются узлами-переменными (120), компонентами (132), узлами-отношениями (114) и дугами (110); и
поиск, для каждой входящей дуги (110), плана (102) для компоненты (132), если входящая дуга (110) является частью компоненты (132), или плана (102) для узла-отношения (114), если входящая дуга (110) не является частью компоненты (132).
7. Способ по п.6, в котором шаг поиска, для каждой входящей дуги (110), плана (102) для компоненты или плана (102) для узла-отношения (114) включает:
поиск плана (102) для всех предшественников дуг (110) компоненты (132);
поиск плана (102) для всех входящих дуг (110) узлов-отношений (114); и
исключение зависимости набора (140) пространств от переменной состояния (124), причем переменная состояния (124) включает одну из следующих переменных: булеву переменную (122), категориальную переменную (122), имеющую дискретные значения на конечной области определения.
8. Способ по п.6, в котором шаг построения плана (102), использующего обратный поиск по ветвям двудольного графа (106), включает
обновление очереди плана (102) посредством добавления дуг (110) или компонент (132) и связанных наборов (140) пространств при следовании по маршруту поиска в обратном направлении сразу после достижения заданного входного узла-переменной (120) или после достижения независимого входного узла-переменной (120), если заданный входной узел-переменная (120) не предоставляется; и
в котором шаг построения плана (102) посредством обратного поиска по ветвям двудольного графа (106) включает:
выяснение, заканчивается ли любой маршрут поиска, начинающийся с предшествующей дуги (110) планового (102) шага, на заданном входном узле-переменной (120), и если это так, выполнение обновления очереди заглушки с помощью переменной (122) заглушки и связанного набора (140) пространств заглушки; при этом
переменная заглушки является переменной, связанной с любой другой предшествующей дугой (110), чьи маршруты поиска не заканчиваются на какой-либо из заданных входных переменных (122); и
набор (140) пространств заглушки содержит объединение наборов (140) пространств указанных поисковых путей.
9. Автоматизированная система для построения условно-зависимого вычислительного плана (102) для сети (100) информационно-зависимых ограничений, представленной двудольным графом (106), содержащим входные узлы-переменные (120), выходные узлы-переменные (128), и узлы-отношения (114), при этом узлы-переменной (120) и узлы-отношений (114) связаны дугами (110) и автоматизированная система включает:
спецификатор узла-переменной (120), сконфигурированный для задания узлов-переменных (120) в качестве входных данных, представляющих начальную точку вычислительного плана (102), и узлов-переменных (120) в качестве выходных данных, которые должны быть вычислены планом (102); и
планировщик плана (102), сконфигурированный для построения плана (102) от входных узлов-переменных (120) к выходным узлам-переменным (128) посредством обратного поиска по ветвям двудольного графа (106).
10. Система по п.9, в которой:
планировщик, если входные узлы-переменной (120) не заданы, конфигурируется для построения плана от всех входных узлов-переменных (120) в сети (100) ограничений, воздействуя на значение выходного узла-переменной (128);
и дополнительно включающая:
спецификатор набора (140) пространств, сконфигурированный для задания набора (140) пространств, в котором необходим вычислительный план (102); и
планировщик плана (102), если набор (140) пространств не задан, конфигурируется так, чтобы определить набор (140) пространств, в котором выходной узел-переменная (128) находится в определенном состоянии.
11. Система по п.9, в которой:
планировщик, сразу после построения плана, конфигурируется для предоставления входного списка (220), выходного списка (218), очереди заглушки и очереди плана (102), при этом
входной список (220) содержит связь входной переменной и набора (140) пространств, причем набор (140) пространств входной переменной является максимальным набором (140) пространств, в котором эта входная переменная является независимой и в котором одна или более выходных переменных (122) являются зависимыми от указанной входной переменной (122) в указанном наборе (140) пространств;
выходной список (218) имеет элементы, содержащие связь узла-переменной (120) с максимальным набором (140) пространств, в котором этот узел-переменная (120) определен;
очередь плана (102) содержит список шагов плана (102) с элементами, содержащими связь шага плана с набором (140) пространств, в котором шаг плана (102) должен быть выполнен;
шаг плана включает один из следующих элементов:
дугу (110), связанную со способом расчета значения одного единственного узла-переменной (120);
компоненту (132), связанную со способом одновременного вычисления значений множества узлов-переменных (120) в компоненте (132); и
очередь заглушки с элементами, содержащими связь узла-переменной (120) заглушки с набором (140) пространств, где переменная (122) заглушки - это любая переменная (122), которая необходима в одном или более шагах плана (102), но независима от любых заданных входных переменных (122), а набор (140) пространств, связанный с этой переменной (122) заглушки - это набор (140) пространств, в котором переменная (122) заглушки необходима для вычисления одного или нескольких шагов плана; и
планировщик плана (102), если входные узлы-переменные (120) заданы как аргументы, дополнительно конфигурируется для обновления набора (140) пространств, связанного с заданной входной переменной (122), посредством объединения формирующегося набора (140) пространств, полученного на маршруте поиска, с набором (140) пространств, связанным с этой входной переменной (122).
12. Система по п.11, в которой:
планировщик плана (102), во время обратного поиска по ветвям двудольного графа (106), конфигурируется для запуска с выходного узла-переменной (128), при этом выходной узел-переменная (120) имеет заданный набор (140) пространств и одну или несколько входящих дуг (110); и
планировщик, сконфигурированный для обновления выходного списка (218) посредством добавления выходного узла-переменной (128) и заданного набора (140) пространств к выходному списку (218), если выходной узел-переменная (128) находится в определенном состоянии для всего заданного набора (140) пространств.
13. Система по п.12, в которой:
планировщик плана (102), во время обратного поиска, конфигурируется для обновления плана в процессе следования по каждой из входящих дуг (110) обратно маршруту поиска посредством рекурсивного выполнения, для заданного набора (140) пространств, следующих операций: поиск плана (102) для узла-переменной (120), поиск плана для компоненты (132), поиск плана для узла-отношения (114) и поиск плана для дуги (110) - при этом наборы (140) пространств, которые активируют входящие дуги (110), связанные с заданным узлом-переменной (120), распадаются;
планировщик плана (102) конфигурируется для поддержи, в процессе обновления плана (102), подходящего набора (140) пространств по маршруту поиска посредством пересечения формирующегося набора (140) пространств с включенными наборами пространств дополнительных элементов на маршруте поиска, при этом дополнительными элементами являются узлы-переменных (120), компоненты (132), узлы-отношений (114) и дуги (110); и
планировщик плана (102), конфигурируется для поиска, для каждой входящей дуги (110), плана для компоненты (132), если входящая дуга является частью компоненты (132), или плана (102) для узла-отношения (114), если входящая дуга (110) не является частью компоненты (132).
14. Система по п.13, в которой:
планировщик плана (102) сконфигурирован для поиска плана (102) для всех дуг (110) предшественников компоненты (132), поиска плана (102) для всех входящих дуг (110) узлов-отношений (114) и исключения зависимости набора (140) пространств от переменной (124) состояния; и
при этом переменная (124) состояния содержит по меньшей мере одну из следующих переменных: булеву переменную (122), категориальную переменную (122), имеющую дискретные значения в конечной области определения.
15. Система по п.11, в которой:
планировщик плана (102), в процессе обратного поиска, конфигурируется для обновления очереди плана (102) посредством добавления дуг (110) или компонентов (132) и связанных наборов (140) пространств в порядке обратном маршруту поиска сразу после достижения заданного входного узла-переменной (120), или сразу после достижения независимого входного узла-переменной (120), если заданный входной узел-переменная (120) не предоставлен;
планировщик плана (102), в процессе обратного поиска, конфигурируется так, чтобы выяснить, заканчивается ли любой поисковый маршрут, начинающийся от предшествующей дуги (110) шага плана (102), в заданном входном узле-переменной (120), и, если это так, обновить очередь заглушки с переменной (122) заглушки и связанным набором (140) пространств заглушки;
переменная (122) заглушки является переменной (122), связанной с любой другой предшествующей дугой (110), чьи поисковые маршруты не заканчиваются на каких-либо из заданных входных переменных (122); и
набор пространств заглушки содержит объединение наборов (140) пространств на указанных маршрутах поиска.
RU2013145592/08A 2012-10-12 2013-10-11 Система и способ планирования вычислений в системе администрирования информационно-зависимых ограничений RU2013145592A (ru)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US13/651,170 2012-10-12
US13/651,170 US9507909B2 (en) 2012-10-12 2012-10-12 System and method for computational planning in a data-dependent constraint management system

Publications (1)

Publication Number Publication Date
RU2013145592A true RU2013145592A (ru) 2015-04-20

Family

ID=49304733

Family Applications (1)

Application Number Title Priority Date Filing Date
RU2013145592/08A RU2013145592A (ru) 2012-10-12 2013-10-11 Система и способ планирования вычислений в системе администрирования информационно-зависимых ограничений

Country Status (7)

Country Link
US (2) US9507909B2 (ru)
EP (1) EP2720161A1 (ru)
JP (1) JP6381194B2 (ru)
CN (1) CN103729538B (ru)
AU (1) AU2013222026B2 (ru)
BR (1) BR102013026262B1 (ru)
RU (1) RU2013145592A (ru)

Families Citing this family (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
AR101678A1 (es) * 2014-09-11 2017-01-04 Sony Corp Dispositivo de procesamiento de información, método de procesamiento de información y medio de almacenamiento legible por computadora no transitorio de almacenamiento de programa
US10480947B2 (en) * 2016-12-21 2019-11-19 X Development Llc Boolean satisfiability (SAT) reduction for geometry and kinematics agnostic multi-agent planning
US10509871B2 (en) * 2017-02-21 2019-12-17 The Boeing Company Maintaining computational flow in a data-dependent constraint network
CN108182059A (zh) * 2017-12-28 2018-06-19 云之行互联网科技（北京）有限公司 一种软件代码的处理方法及装置
CN111125272B (zh) * 2018-10-31 2023-07-25 百度在线网络技术（北京）有限公司 一种区域特征获取方法、装置、计算机设备及介质
CN111859990B (zh) * 2020-07-30 2023-11-21 韩朝晖 基于语义逻辑唯一性判断的处理问答数据的方法及系统
CN117451113B (zh) * 2023-12-22 2024-03-26 中国电建集团华东勘测设计研究院有限公司 基于光纤传感的自升式平台桩腿结构健康监测系统

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6091424A (en) * 1996-11-01 2000-07-18 Tom Sawyer Software Labeling graphical features of drawings
US6671866B2 (en) * 2000-02-29 2003-12-30 Cadence Design Systems, Inc. Device level layout optimization in electronic design automation
US7085748B2 (en) * 2001-02-16 2006-08-01 International Business Machines Corporation Hyper-arc consistency in a contraint satisfaction network
JP2005115498A (ja) * 2003-10-06 2005-04-28 Catena Corp ソフトウェア開発前処理方法、ソフトウェア制御方法、ソフトウェア開発方法並びにソフトウェア開発装置
US8185421B2 (en) 2006-03-29 2012-05-22 The Boeing Company Multi-objective optimization within a constraint management system
US20110320387A1 (en) * 2010-06-28 2011-12-29 International Business Machines Corporation Graph-based transfer learning

Also Published As

Publication number Publication date
US9507909B2 (en) 2016-11-29
JP6381194B2 (ja) 2018-08-29
BR102013026262B1 (pt) 2022-03-08
AU2013222026B2 (en) 2018-11-22
US20140107987A1 (en) 2014-04-17
US20160371333A1 (en) 2016-12-22
EP2720161A1 (en) 2014-04-16
BR102013026262A2 (pt) 2014-10-29
CN103729538B (zh) 2018-01-23
AU2013222026A1 (en) 2014-05-01
JP2014081934A (ja) 2014-05-08
CN103729538A (zh) 2014-04-16

Similar Documents

Publication Publication Date Title
RU2013145592A (ru) Система и способ планирования вычислений в системе администрирования информационно-зависимых ограничений
US10171284B2 (en) Reachability-based coordination for cyclic dataflow
Durand et al. Complexity and optimality of the best response algorithm in random potential games
Tanaka et al. An exact algorithm for the single-machine total weighted tardiness problem with sequence-dependent setup times
EP3229150A1 (en) Streaming graph optimization method and apparatus
CN105830054A (zh) 管线化可配置处理器
CN107689628B (zh) 一种电网环路检测方法
Boranbayev et al. Mathematical model for optimal designing of reliable information systems
CN103699455B (zh) 一种多核实时容错系统中获取准确的最晚截止时间的方法
US9286570B2 (en) Property reactive modifications in a rete network
CN108182281A (zh) 基于流式计算的数据处理控制方法、装置、服务器及介质
US20160140280A1 (en) Reducing dynamic clock skew and/or slew in an electronic circuit
CN103885842B (zh) 一种带加速节点的片上网络的优化整体的任务映射方法
CN116432351A (zh) 一种装配体中零部件关联更新方法及系统
Deng et al. Real-reward testing for probabilistic processes
Tigane et al. Generalized stochastic Petri nets with rewritable topology
Zibaeenejad et al. Dependency graph: An algorithm for analysis of generalized parameterized networks
Himpe et al. High performance computing applied to dynamic traffic assignment
Kholod et al. Creation of data mining cloud service on the actor model
Angelidis et al. An extended critical path method for complex assembly lines
Limet et al. Coherence and performance for interactive scientific visualization applications
Fard et al. Optimization of the running speed of ant colony algorithm with address-based hardware method
Venkat Path Finding–Dijkstra’s Algorithm
De Angelis et al. Self-composition of services in pervasive systems: A chemical-inspired approach
Zang et al. Modeling and scheduling of real-life assembly job shop with timed colored Petri net

Legal Events

Date Code Title Description
HZ9A Changing address for correspondence with an applicant
FA93 Acknowledgement of application withdrawn (no request for examination)

Effective date: 20161012