RU96103619A - Система и способ для улучшенного параметрического геометрического моделирования - Google Patents
Система и способ для улучшенного параметрического геометрического моделированияInfo
- Publication number
- RU96103619A RU96103619A RU96103619/09A RU96103619A RU96103619A RU 96103619 A RU96103619 A RU 96103619A RU 96103619/09 A RU96103619/09 A RU 96103619/09A RU 96103619 A RU96103619 A RU 96103619A RU 96103619 A RU96103619 A RU 96103619A
- Authority
- RU
- Russia
- Prior art keywords
- equations
- equation
- list
- creating
- priority
- Prior art date
Links
- 238000004088 simulation Methods 0.000 title 1
- 230000001351 cycling Effects 0.000 claims 2
- 125000004122 cyclic group Chemical group 0.000 claims 1
Claims (18)
1. Способ для вычислительной системы, предназначенный для решения системы уравнений, описывающих профиль, содержащий выполняемые компьютером этапы: прием входных данных от пользователя в форме уравнений; генерирование аксиомных и выводимых системой уравнений; расположение в соответствии с приоритетом каждого из уравнений, основываясь на том, является ли это уравнение определенным пользователем, аксиомным или выведенным системой уравнением; создание упорядоченного списка уравнений из расположенных в соответствии с приоритетом уравнений; решение расположенных в соответствии с приоритетом уравнений в порядке, в котором они представлены в упорядоченном списке уравнений, создание профиля, построенного на основании решений решаемых уравнений.
2. Способ для вычислительной системы, предназначенный для решения системы уравнений, описывающих профиль, по п. 1, в котором этап создания упорядоченного списка .уравнений дополнительно содержит этап создания списка избыточных уравнений.
3. Способ для вычислительной системы, предназначенный для решения системы уравнений, описывающих профиль, по п. 2, который дополнительно содержит этап проверки конфликтов значений переменных между избыточными уравнениями и решаемыми уравнениями.
4. Способ для вычислительной системы, предназначенный для решения системы уравнений, описывающих профиль, по п. 3, в котором этап создания упорядоченного списка уравнений дополнительно содержит этапы посылки сообщения пользователю, если имеется конфликт между определенными пользователем уравнениями, и стирания конфликтующего выведенного системой уравнения, созданного во время этапа создания аксиомных и выводимых системой уравнений, если конфликт имеется между по меньшей мере одним определяемым пользователем уравнением и конфликтующим выведенным системой уравнением.
5. Способ для вычислительной системы, предназначенный для решения системы уравнений, описывающих профиль, по п. 1, в котором этап решения уравнений дополнительно содержит автоматически ограничивающую по меньшей мере одну неизвестную переменную по меньшей мере в одном нерешаемом уравнении, когда система уравнений, описывающих профиль, неполная.
6. Способ для вычислительной системы, предназначенный для решения системы уравнений, описывающих профиль, по п. 1, в котором этап расположения уравнений в соответствии с приоритетом присваивает всем определенным пользователем уравнениям более высокий приоритет, чем любым созданным системой уравнениям.
7. Способ для вычислительной системы, предназначенный для решения системы уравнений, описывающих профиль, по п. 6, в котором этап расположения уравнений в соответствии с приоритетом далее присваивает всем аксиомным уравнениям более высокий приоритет, чем любым определенным пользователем уравнениям.
8. Способ для вычислительной системы, предназначенный для решения системы уравнений, описывающих профиль, по п.1, в котором этап создания упорядоченного списка уравнений дополнительно содержит циклическое прохождение по каждому из расположенных в соответствии с приоритетом уравнений, начиная с уравнений, имеющих самый высокий приоритет; создание упорядоченного связанного списка уравнений путем добавления уравнения к списку уравнений, если можно изолировать единственную неизвестную переменную в уравнении; пропуска любого уравнения со множеством неизвестных переменных возвращения к любому пропущенному уравнению в том порядке, в каком уравнение было пропущено, для определения, имеет ли теперь такое пропущенное уравнение только одну неизвестную переменную, основываясь на уравнениях, только добавленных к списку уравнений; и остановку циклического прохождения и создания упорядоченного списка уравнений, если невозможно добавить к списку уравнений другое уравнение.
9. Способ для вычислительной системы, предназначенный для решения системы уравнений, описывающих профиль, по п. 8, в котором этап создания упорядоченного списка уравнений дополнительно содержит для каждого уравнения только с одной неизвестной переменной перезапись уравнения в такой форме, чтобы неизвестная переменная была изолирована, прежде чем продолжать этап циклического прохождения.
10. Система обработки для параметрического моделирования объекта, определяемого профилем, содержащая устройство определения уравнений, предназначенное для приема входных данных от пользователя в форме уравнений и создания аксиомных и выводимых системой уравнений, схему присваивания приоритетов уравнениям, предназначенную для приема всех уравнений из устройства определения уравнений и расположения каждого из них в соответствии с приоритетом, основываясь на том, является ли уравнение определяемым пользователем, аксиомным или выводимым системой уравнением; схему сортирования уравнений, предназначенную для приема расположенных в соответствии с приоритетом уравнений из схемы присваивания приоритетов уравнениям и создания из них упорядоченного списка уравнений; устройство решения уравнений, предназначенное для приема упорядоченного списка уравнений из схемы сортирования уравнений и решения уравнений в том порядке, в котором они представлены в упорядоченном списке уравнений, и устройство создания эскизов, предназначенное для приема решений решенных уравнений и производства построенного на их основании профиля.
11. Система обработки, предназначенная для параметрического моделирования объекта, по п. 10, в которой схема сортирования уравнений дополнительно содержит схему создания списка избыточных уравнений, предназначенную для создания списка избыточных уравнений.
12. Система обработки, предназначенная для параметрического моделирования объекта, по п. 11, в которой схема сортировании уравнений содержит процессор избыточных уравнений, предназначенный для сравнивания уравнений из списка избыточных уравнений с уравнениями из упорядоченного списка уравнений для обнаружения конфликтов значений переменных, посылки сообщения пользователю, если имеется конфликт между определяемыми пользователем уравнениями, и стирания конфликтующего выводимого системой уравнения, созданного во время этапа вырабатывания, если конфликт имеется между по меньшей мере одним определяемым пользователем уравнением и конфликтующим выводимым системой уравнением.
13. Система обработки, предназначенная для параметрического моделирования объекта, по п. 11, в которой схема сортирования уравнений содержит процессор избыточных уравнений, предназначенный для сравнения уравнений из списка избыточных уравнений с уравнениями из упорядоченного списка уравнений для обнаружения конфликтов значений переменных.
14. Система обработки, предназначенная для параметрического моделирования объекта, по п. 10, в которой схема сортирования уравнения содержит автоматическое устройство ограничения, предназначенное для установления по меньшей мере одной неизвестной переменной по меньшей мере в одном нерешаемом уравнении, равным заранее установленному геометрическому ограничению, когда расположенные в соответствии с приоритетом уравнения представляют собой неполную систему уравнений.
15. Система обработки, предназначенная для параметрического моделирования объекта, по п. 10, в которой схема присваивания приоритетов уравнениям присваивает всем определяемым пользователем уравнениям более высокий приоритет, чем любым выводимым системой уравнениям.
16. Система обработки, предназначенная для параметрического моделирования объекта, по п. 15, в которой схема присваивания приоритетов уравнениям далее присваивает всем аксиомным уравнениям более высокий приоритет, чем любым определяемым пользователем уравнениях.
17. Система обработки, предназначенная для параметрического моделирования объекта, по п. 10, в которой устройство сортирования уравнений содержит схему создания списка уравнений, предназначенную для циклического прохождения по каждому из классов уравнений, начиная о тех уравнений, которые имеют наивысший приоритет, и создания упорядоченного связного списка уравнений путем пропускания любого уравнения со множеством неизвестных переменных, добавляя уравнения к списку уравнений, если можно изолировать единственную неизвестную переменную в уравнении, и возвращения к любому пропущенному уравнению в том порядке, в каком уравнение было пропущено для того, чтобы проверить, имеет ли оно теперь только единственную неизвестную переменную, основываясь на уравнениях, добавленных позже к упомянутому списку уравнений.
18. Способ для вычислительной системы, предназначенный для решения системы уравнений, описывающей профиль, содержащий следующие выполняемые компьютером этапы: прием входных данных в форме уравнений, расположение в соответствии с приоритетом каждого из всех уравнений, основываясь на том, является ли это уравнение определяемым пользователем, аксиомным или выводимым системой, создание упорядоченного списка уравнений из расположенных в соответствии с приоритетом уравнений, решение расположенных в соответствии о приоритетом уравнений в том порядке, в каком они находятся в упорядоченном списке уравнений, и создание профиля, построенного на основе решений решаемых уравнений.
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US08/081,741 US5479593A (en) | 1993-06-21 | 1993-06-21 | System and method for improved solving of equations employed during parametric geometric modeling |
US08/081,741 | 1993-06-21 | ||
PCT/US1994/007044 WO1995000916A1 (en) | 1993-06-21 | 1994-06-20 | System and method for improved parametric geometric modeling |
Publications (2)
Publication Number | Publication Date |
---|---|
RU96103619A true RU96103619A (ru) | 1998-03-20 |
RU2127449C1 RU2127449C1 (ru) | 1999-03-10 |
Family
ID=22166095
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
RU96103619/09A RU2127449C1 (ru) | 1993-06-21 | 1994-06-20 | Система и способ для улучшенного параметрического геометрического моделирования |
Country Status (9)
Country | Link |
---|---|
US (1) | US5479593A (ru) |
EP (1) | EP0705464B1 (ru) |
JP (1) | JP3516145B2 (ru) |
AU (1) | AU678264B2 (ru) |
BR (1) | BR9406957A (ru) |
CA (1) | CA2165655C (ru) |
DE (1) | DE69430572T2 (ru) |
RU (1) | RU2127449C1 (ru) |
WO (1) | WO1995000916A1 (ru) |
Families Citing this family (22)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5799295A (en) * | 1993-12-29 | 1998-08-25 | Kabushiki Kaisha Toshiba | Constraint-based spreadsheet system capable of displaying a process of execution of programs |
US6084587A (en) * | 1996-08-02 | 2000-07-04 | Sensable Technologies, Inc. | Method and apparatus for generating and interfacing with a haptic virtual reality environment |
DE19752890B4 (de) * | 1996-11-28 | 2004-09-30 | TBO Treuhandbüro Dr. Ottiker & Partner AG | Verfahren zur rechnergestützten Generierung einer Maschine mit geometrisch bestimmten, sphärischen Bauteilpaaren, und Verwendung des Verfahrens |
CA2336410C (en) * | 1998-07-03 | 2008-02-12 | Tbo Treuhandburo Dr. Ottiker + Partner Ag | Method for the computer-assisted production of a machine with geometrically-predetermined spherical components |
US6552722B1 (en) * | 1998-07-17 | 2003-04-22 | Sensable Technologies, Inc. | Systems and methods for sculpting virtual objects in a haptic virtual reality environment |
US6421048B1 (en) * | 1998-07-17 | 2002-07-16 | Sensable Technologies, Inc. | Systems and methods for interacting with virtual objects in a haptic virtual reality environment |
US6879943B1 (en) * | 1998-10-27 | 2005-04-12 | Canon Kabushiki Kaisha | Document processing apparatus and method |
US6856842B2 (en) | 2002-02-05 | 2005-02-15 | General Electric Company | Method and system for creating a tooling master model for manufacturing parts |
US7219043B2 (en) * | 2002-02-05 | 2007-05-15 | General Electric Company | Method and system for reverse and re-engineering parts |
US20050010371A1 (en) * | 2003-07-09 | 2005-01-13 | Merriam-Leith Christopher Scott | Workflow-based research system with genetic pedigree display and organism tracking |
US20060284834A1 (en) * | 2004-06-29 | 2006-12-21 | Sensable Technologies, Inc. | Apparatus and methods for haptic rendering using a haptic camera view |
US8134575B2 (en) | 2004-09-30 | 2012-03-13 | Microsoft Corporation | Maintaining graphical presentations based on user customizations |
US7348982B2 (en) | 2004-09-30 | 2008-03-25 | Microsoft Corporation | Method, system, and computer-readable medium for creating and laying out a graphic within an application program |
US8510657B2 (en) | 2004-09-30 | 2013-08-13 | Microsoft Corporation | Editing the text of an arbitrary graphic via a hierarchical list |
US7552032B2 (en) * | 2005-09-30 | 2009-06-23 | National University Of Singapore | Method and system for automated design |
US8438486B2 (en) | 2006-02-09 | 2013-05-07 | Microsoft Corporation | Automatically converting text to business graphics |
US8225269B2 (en) * | 2009-10-30 | 2012-07-17 | Synopsys, Inc. | Technique for generating an analysis equation |
US8799325B2 (en) | 2010-03-12 | 2014-08-05 | Microsoft Corporation | Reordering nodes in a hierarchical structure |
WO2012162105A1 (en) * | 2011-05-20 | 2012-11-29 | Google Inc. | Quantification of structure fitness enabling evaluation and comparison of structure designs |
US20120296611A1 (en) * | 2011-05-20 | 2012-11-22 | Google Inc. | System and Methods for Structure Design, Analysis, and Implementation |
US9396292B2 (en) * | 2013-04-30 | 2016-07-19 | Siemens Product Lifecycle Management Software Inc. | Curves in a variational system |
JP6680564B2 (ja) * | 2016-02-29 | 2020-04-15 | 株式会社Ihi | 素材形状シミュレーション装置、素材形状シミュレーション方法及び三次元織繊維部品製造方法 |
-
1993
- 1993-06-21 US US08/081,741 patent/US5479593A/en not_active Expired - Lifetime
-
1994
- 1994-06-20 BR BR9406957A patent/BR9406957A/pt not_active IP Right Cessation
- 1994-06-20 EP EP94920301A patent/EP0705464B1/en not_active Expired - Lifetime
- 1994-06-20 AU AU71151/94A patent/AU678264B2/en not_active Ceased
- 1994-06-20 RU RU96103619/09A patent/RU2127449C1/ru not_active IP Right Cessation
- 1994-06-20 WO PCT/US1994/007044 patent/WO1995000916A1/en active IP Right Grant
- 1994-06-20 CA CA002165655A patent/CA2165655C/en not_active Expired - Fee Related
- 1994-06-20 DE DE69430572T patent/DE69430572T2/de not_active Expired - Lifetime
- 1994-06-20 JP JP50306695A patent/JP3516145B2/ja not_active Expired - Lifetime
Similar Documents
Publication | Publication Date | Title |
---|---|---|
RU96103619A (ru) | Система и способ для улучшенного параметрического геометрического моделирования | |
US7127686B2 (en) | Method for validating simulation results of a system as well as equivalence comparison of digital circuits based on said method | |
US6581026B2 (en) | Method and configuration for comparing a first characteristic with predetermined characteristics of a technical system | |
US5901073A (en) | Method for detecting errors in models through restriction | |
IL97177A (en) | Method for creating a consecutive circle | |
EP0612022B1 (en) | Method for placement of nodes in a graph based diagram | |
CN109948212A (zh) | 建模规范检查方法及装置 | |
US5353433A (en) | Method and apparatus for organizing and analyzing timing information | |
US5426768A (en) | Logic simulation with efficient deadlock avoidance by selectively suspending event data fetch based on element information | |
CN116661427B (zh) | 一种列控中心区间逻辑占用检查并行测试方法及装置 | |
CN111177990B (zh) | Fpga逻辑综合中逻辑优化的实现方法及装置、系统 | |
CN115242497B (zh) | 一种基于区块链的数据防篡改方法及系统 | |
KR20180093734A (ko) | 통신 데이터 모델링 방법 | |
US5875116A (en) | Logic division apparatus | |
CN108469987A (zh) | 一种基于中断控制流图的中断验证系统 | |
CN108459963A (zh) | 一种基于中断控制流图的中断验证方法 | |
US5212783A (en) | System which directionally sums signals for identifying and resolving timing inconsistencies | |
CN112987596B (zh) | 一种无人驾驶设备的测试方法及测试装置 | |
US7149663B1 (en) | Method and apparatus for restructuring a binary decision diagram | |
CN104572461B (zh) | 一种文件自动检测方法和装置 | |
CN114338814B (zh) | 基于区块链的数据共享处理方法及系统 | |
JP3171236B2 (ja) | 入力端子競合パターン検出システム | |
CN116127148B (zh) | 一种数据可信存储方法、装置、存储介质及电子设备 | |
CN111104121B (zh) | 检测方法、装置、设备和存储介质 | |
Beck | Automated processor specification and task allocation methods for embedded multicomputer systems |