模型參數(shù)之間的合適的仿真關(guān)系。建模組件920可為創(chuàng)作者提供一種為等式、規(guī)則和約束提供自然符號表達式的機制。例如，熱力學相關(guān)模型的創(chuàng)作者可簡單地從熱力學教科書中復制并粘貼等式。將模型參數(shù)綁定到數(shù)據(jù)字段的能力允許創(chuàng)作者使用創(chuàng)作者熟悉的任何符號(諸如創(chuàng)作者所依賴的教科書中所使用的確切符號)或者創(chuàng)作者想要使用的確切符號。
[0098]在求解之前，建模組件920還標識模型參數(shù)中的哪些要被求解(即下文中，單數(shù)情況的“輸出模型變量”，或復數(shù)情況的“輸出模型變量”，或可能為單個或多個輸出模型變量的“輸出模型變量(一個或多個)”)。輸出模型變量可以是未知參數(shù)，或者它們可以是已知模型參數(shù)，其中已知模型參數(shù)的值受求解操作中的改變的支配。在圖9的示例中，在數(shù)據(jù)模型綁定操作之后，模型參數(shù)911A、911B和911C是已知的，模型參數(shù)911D是未知的。因此，未知模型參數(shù)911D可能是輸出模型變量之一。替代地或附加地，已知模型參數(shù)911A、911B和91IC中的一個或多個也可能為輸出模型變量。如果可能的話，求解器940然后求解輸出模型變量(一個或多個)。在下文所述的一個實施例中，求解器940能夠求解各種各樣的輸出模型變量，即使是在單個模型中，只要足夠的輸入模型變量被提供以允許求解操作被執(zhí)行。輸入模型變量可能是例如其值不受到求解操作期間的改變的支配的已知模型參數(shù)。例如，在圖9中，如果模型參數(shù)911A和911D是輸入模型變量，求解器可能反而替代地求解輸出模型變量911B和911C。在一個實施例中，求解器可能為單個模型參數(shù)輸出許多不同數(shù)據(jù)類型中的任何一個。例如，不管操作數(shù)是整數(shù)、浮點數(shù)、向量還是矩陣，某些等式操作(諸如加法、減法等)都適用。
[0099]在一個實施例中，即使當求解器940不能求解某一輸出模型變量時，即使實際數(shù)值結(jié)果(或無論什么求解出的數(shù)據(jù)類型)的完全解是不可能的，求解器900仍能給出該輸出模型變量的部分解。這允許流水線通過提示創(chuàng)作者需要什么信息來得出完全解來促進增量式開發(fā)。這還幫助消除創(chuàng)作時和使用時之間的區(qū)別，因為貫穿各種創(chuàng)作階段至少部分解是可用的。舉一抽象示例，假設(shè)分析模型包括等式a = b+c+d。假設(shè)a、c和d是輸出模型變量，b是具有已知值5(在該情況中是整數(shù))的輸入模型變量。在求解過程中，求解器940僅能夠求解輸出模型變量之一“d”，并將值7 (整數(shù))賦予稱為“d”的模型參數(shù)，但是求解器940不能求解“C”。由于“a”依賴于“C”，則稱為“a”的模型參數(shù)也保持未知且未被求解。在該情況下，不是將整數(shù)值賦予“a”，求解器而是可能進行部分解并將串值“c+11”輸出到模型參數(shù)“a”。如先前所述，當域?qū)＜艺趧?chuàng)作一分析模型時這可能尤其有用，且將實質(zhì)上用于提供關(guān)于模型參數(shù)“a”的內(nèi)容的部分信息以及也將用于提示創(chuàng)作者需要提供允許“c”模型參數(shù)被求解的某些進一步的模型分析。該部分解結(jié)果可能或許以某種方式被輸出在視圖合成中，以允許域?qū)＜铱吹皆摬糠纸Y(jié)果。
[0100]求解器940在圖9中以簡化形式被示出。然而，如將參考圖10所描述的那樣，求解器940可指導多個構(gòu)成的求解器的操作。在圖9中，建模組件920然后使得模型參數(shù)(包括現(xiàn)在已知和被求解出的輸出模型變量)可用作要被提供給圖10的視圖部分1000的輸出。
[0101]圖10例示出表示圖7的視圖部分730的示例且表示重算用戶接口 200中的可視化的控件的示例的視圖部分1000。視圖部分1000從圖9的分析部分900接收模型參數(shù)911。視圖部分還包括包含視圖組件的集合的視圖組件儲存庫1020。例如，視圖組件儲存庫1020在該示例中被例示為包括視圖組件1021至1024，但是視圖組件儲存庫1020可包含任意數(shù)量的視圖組件。視圖組件各自可包括零個或多個輸入?yún)?shù)。例如，視圖組件1021不包括任何輸入?yún)?shù)。然而，視圖組件1022包括兩個輸入?yún)?shù)1042A和1042B。視圖組件1023包括一個輸入?yún)?shù)1043，而視圖組件1024包括一個輸入?yún)?shù)1044。也就是說這僅僅是一示例。輸入?yún)?shù)可(但非必須)影響視覺項如何被渲染。視圖組件1021不包括任何輸入?yún)?shù)的事實強調(diào)了可能存在無需引用任何模型參數(shù)而被生成的視圖?？紤]僅包括不改變的固定(內(nèi)建)數(shù)據(jù)的視圖。這樣的視圖可能例如為用戶構(gòu)成參考信息。替代地，考慮僅提供一種瀏覽目錄的方式的視圖，使得項目可從中被選取來導入模型中。
[0102]每個視圖組件1021至1024包括或關(guān)聯(lián)于對應(yīng)的邏輯，當視圖合成組件1040使用對應(yīng)的視圖組件輸入?yún)?shù)(一個或多個)(如果有的話)執(zhí)行邏輯時，使得相應(yīng)的視圖項被放置在虛擬空間1050中。虛擬項可以是靜態(tài)圖像或物體，或者可以是動態(tài)動畫化的虛擬項或物體。例如，視圖組件1021至1024中的每一個與對應(yīng)的邏輯1031至1034相關(guān)聯(lián)，當邏輯被執(zhí)行時使得對應(yīng)的虛擬項1051至1054分別被渲染在虛擬空間1050中。虛擬項被例示為簡單形狀。然而，虛擬項可以是相當復雜的形式，或許甚至包括動畫。在本說明書中，當一視圖項被渲染在虛擬空間中時，這意味著視圖合成組件已經(jīng)創(chuàng)作了足夠的指令，這些指令當被提供給渲染引擎時，渲染引擎能夠在指定的位置和以指定的方式在顯示器上顯示該視圖項。
[0103]使用例如圖7的創(chuàng)作組件740，視圖組件1021至1024或許甚至可作為視圖數(shù)據(jù)被提供給視圖部分1000。例如，創(chuàng)作組件740可能提供使得創(chuàng)作者能夠從若干幾何單形中選擇，或者或許組成其他幾何單形的選擇器。創(chuàng)作者也可能為每個視圖組件指定輸入?yún)?shù)的類型，而某些輸入?yún)?shù)可以是視圖部分1000所強加的默認輸入?yún)?shù)。與每個視圖組件1021至1024相關(guān)聯(lián)的邏輯也可作為視圖數(shù)據(jù)被提供，和/或也可包括由視圖部分1000本身提供的某些默認功能。
[0104]視圖部分1000包括被配置成將模型參數(shù)中的至少一些綁定到視圖組件1021至1024的對應(yīng)輸入?yún)?shù)的模型視圖綁定組件1010。例如，模型參數(shù)911A被綁定到視圖組件1022的輸入?yún)?shù)1042A，如箭頭1011A所表示的那樣。模型參數(shù)911B被綁定到視圖組件1022的輸入?yún)?shù)1042B，如箭頭1011B所表示的那樣。同樣，模型參數(shù)911D被分別綁定到視圖組件1023和1024的輸入?yún)?shù)1043和1044，如箭頭1011C所表示的那樣。模型參數(shù)911C未被示為綁定到任何對應(yīng)的視圖組件參數(shù)，強調(diào)了并非所有的模型參數(shù)都需要被流水線的視圖部分所使用，即使那些模型參數(shù)在分析部分中是重要的。同樣，模型參數(shù)911D被示為綁定到視圖組件的兩個不同輸入?yún)?shù)，表示模型參數(shù)可被綁定到多個視圖組件參數(shù)。在一個實施例中，模型參數(shù)與視圖組件參數(shù)之間的綁定的定義可以通過以下來被制定:1)由創(chuàng)作者在創(chuàng)作時顯式設(shè)定，2)由用戶在使用時顯式設(shè)定(服從于創(chuàng)作者強加的任何限制)，3)基于算法啟發(fā)由創(chuàng)作組件740自動綁定，和/或4)在確定不能在算法上作出綁定時由創(chuàng)作組件提示創(chuàng)作者和/或用戶指定綁定。
[0105]本發(fā)明可具體化為其它具體形式而不背離其精神或本質(zhì)特征。所描述的實施例在所有方面都應(yīng)被認為僅是說明性而非限制性的。因此，本發(fā)明的范圍由所附權(quán)利要求書而非前述描述指示。落入權(quán)利要求書的等效方案的含義和范圍內(nèi)的所有改變應(yīng)被權(quán)利要求書的范圍所涵蓋。
【主權(quán)項】
1.一種包括其上具有計算機可執(zhí)行指令的一個或多個計算機可讀存儲介質(zhì)的計算機程序產(chǎn)品，所述計算機可執(zhí)行指令被結(jié)構(gòu)化成使得在計算系統(tǒng)的一個或多個處理器執(zhí)行時，使所述計算系統(tǒng)操作重算用戶接口，所述重算用戶接口包括: 被配置成在檢測到一事件之際捕捉環(huán)境信號的信號捕捉控件； 被配置成響應(yīng)于輸出數(shù)據(jù)來顯示的可視化控件；以及 所述信號捕捉控件與所述可視化控件之間的一個或多個聲明性變換的變換鏈。2.根據(jù)權(quán)利要求1所述的計算機程序產(chǎn)品，其特征在于，所述信號捕捉控件被配置來捕捉的所述環(huán)境信號是圖像。3.根據(jù)權(quán)利要求1所述的計算機程序產(chǎn)品，其特征在于，所述信號捕捉控件被配置來捕捉的所述環(huán)境信號是視頻。4.根據(jù)權(quán)利要求1所述的計算機程序產(chǎn)品，其特征在于，所述信號捕捉控件被配置來捕捉的所述環(huán)境信號是定向。5.根據(jù)權(quán)利要求1所述的計算機程序產(chǎn)品，其特征在于，所述信號捕捉控件被配置來捕捉的所述環(huán)境信號是位置。6.根據(jù)權(quán)利要求1所述的計算機程序產(chǎn)品，其特征在于，所述信號捕捉控件被配置來捕捉的所述環(huán)境信號是音頻。7.根據(jù)權(quán)利要求1所述的計算機程序產(chǎn)品，其特征在于，所述信號捕捉控件被配置來捕捉的所述環(huán)境信號是天氣數(shù)據(jù)。8.根據(jù)權(quán)利要求1所述的計算機程序產(chǎn)品，其特征在于，所述事件是從一變換接收到數(shù)據(jù)。9.根據(jù)權(quán)利要求1所述的計算機程序產(chǎn)品，其特征在于，所述變換鏈結(jié)合了使用附加數(shù)據(jù)的邏輯。10.一種被配置成提供用戶界面的重算用戶接口創(chuàng)作系統(tǒng)，包括: 信號捕捉控件的庫，其中所述庫捕捉控件的實例被配置成響應(yīng)于一對應(yīng)的事件來捕捉環(huán)境信號； 可視化控件的庫； 用于選擇所述信號捕捉控件中的一個或多個以及所述可視化控件中的一個或多個，以及將所選擇的控件放入模型中的控件選擇機制；以及 用于聲明性地表達變換以及將變換與所述模型中的所選擇的控件耦合的變換機制。
【專利摘要】包括響應(yīng)于接收到數(shù)據(jù)來顯示的可視化控件以及在檢測到對應(yīng)的事件之際捕捉對應(yīng)的環(huán)境信號的信號捕捉控件的重算用戶接口。聲明性變換鏈被置于各種控件之間。信號捕捉控件所捕捉的環(huán)境信號的示例包括圖像、視頻、音頻、定向、生物測定數(shù)據(jù)、位置、天氣、或關(guān)于環(huán)境的任何其他信息。將此類信號捕捉控件結(jié)合在重算用戶接口中從而允許所捕捉的環(huán)境信號被結(jié)合在變換鏈的邏輯和其他數(shù)據(jù)中。同樣，描述了允許對這樣的重算用戶接口進行創(chuàng)作的創(chuàng)作工具。
【IPC分類】G06F17/30, G06F9/45, G06F9/455, G06F9/44, G06F3/0481
【公開號】CN105164643
【申請?zhí)枴緾N201480020919
【發(fā)明人】E·A·菲肯沃斯, S·T·普之伊爾, V·米塔爾, V·巴帕特, B·霍茲, D·魯賓
【申請人】微軟技術(shù)許可有限責任公司
【公開日】2015年12月16日
【申請日】2014年4月11日
【公告號】US20140310619, WO2014169159A2, WO2014169159A3