发明名称 Processing system, method, and program for modeling system
摘要 A processing system, method, and program for a modeling system. A math equation including a differential equation is prepared. A CAS solves the differential equation normally and by using an interval coefficient in accordance with an interval analysis technique. A coefficient vector of the two solutions are compared to determine if a distance between the vectors is equal to or less than a preset value, and if so, the CAS solves the math equation including a differential equation with the target coefficient set to zero. The coefficient vectors of the solution thus obtained and the normally solved solution are compared to determine if the distance between the vectors is equal to or less than a preset value, and if so, the differential equation is simplified by omitting a term of the target coefficient from the differential equation.
申请公布号 US8874411(B2) 申请公布日期 2014.10.28
申请号 US201012962792 申请日期 2010.12.08
申请人 International Business Machines Corporation 发明人 Ishikawa Hiroshi;Sakairi Takashi;Shimizu Junya
分类号 G06F17/50;G06F11/26;G06F13/10 主分类号 G06F17/50
代理机构 代理人 Tang Jeff
主权项 1. A control method for a modeling system that designs by computer processing, the method comprising: a. obtaining a math equation from a model to be designed; b. finding a first solution from said math equation; c. finding a second solution from said math equation with one coefficient expanded in series set as an interval; d. finding a first distance between a first vector and a second vector with a coefficient of said first solution set as said first vector and with a coefficient of said second solution set as said second vector; e. finding a third solution from said math equation with said one coefficient set to zero in response to the fact that said first distance is not greater than a predetermined value, wherein if said first distance is greater than the predetermined distance, above steps c-e are iteratively repeated until said first distance is not greater than the predetermined value; f. finding a second distance between said first vector and a third vector with a coefficient of said third solution set as said third vector; and g. determining that a term of said one coefficient in the math equation is omissible, in response to the fact that said second distance is not greater than a predetermined value, wherein each of said first and second distances is a Mahalanobis distance.
地址 Armonk NY US