公司簡介
Gensym成立於1986年,是一家全球領先的智慧型系統供應商。它提供軟體及協助各類大型企業管理及最佳化各種複雜的動態過程處理及操作。自從1988年推出G2的第一個版本以來,Gensym每年都獲得連續的收益。Gensym公司已有兩次名列於美國500家最具高速成長性公司的名單之中。
Gensym 現在已在全球70多個國家銷售超過20000套軟體。世界最大的40個工業機構和公司正在使用G2產品。他們大多數都有了基於G2的線上的實時系統用於監測、控制和動態地調整複雜地過程和操作。Gensym的市場包括石油化工、化學、水泥、金屬、食品、醫藥、電力、電子、汽車、通訊、運輸以及航天航空等。
現在有200多個系統配套商和增值代理商提供套用Gensym軟體的產品和解決方案。
Gensym在全世界有30多個直接支持的辦事處,與我們的合作夥伴一起為安裝在全世界的G2產品提供強有力的支持。
實時專家系統
型系統的複雜性日益增加,實時地分析、解釋和回響大量數據變得越來越困難。Gensym公司的G2是世界領先的實時專家系統平台,在近20年的時間裡G2被廣泛套用於許多實時性要求最嚴格的領域中,從NASA的太空飛行器控制到愛立信的全球通訊網路管理,從北美防空司令部的戰場模擬到豐田汽車的全球生產管理,G2都扮演著重要的角色。全世界許多最大的製造、能源、通信、運輸、航天、金融和政府機構都在套用G2來改善重要操作的效率和性能。
G2是一個面向對象的、圖形化的、可定製的軟體平台,用於快速構建專家系統的套用。這些套用實時獲取生產層、控制層和管理層的大量數據,並按照最有能力的人(專家)的方式進行實時處理,提供決策建議或直接採取相應的行動,使過去需要人類專家直接參與的過程實現了自動化。G2可用於決策支持,智慧型監控和過程控制,故障診斷等領域。G2與企業套用系統、資料庫、控制系統、網路系統、遙測系統等各種外部系統緊密結合,幫助用戶改善操作的有效性和性能。
無數成功的例子證明,G2是構建象人類專家一樣分析、診斷、決策的實時智慧型系統的最優工具。
在實時和任務關鍵的領域中,基於G2的套用能夠:
通過基於知識的推理和分析將複雜的實時數據轉化為有用的信息
在潛在的問題影響操作之前監測到它們
分析時間緊迫的問題的根源,加速處理過程
提出建議或採取相應的行動,確保成功解決問題
調整行動或信息,最佳化操作過程
通過動態建模和仿真為決策制定提供支持
保留和共享專家知識,使人人都成為專家
將模糊邏輯、神經元網路、專家系統技術無縫地結合起來
核心技術
並行實時計算
在G2的實時專家系統核心中,帶優先權的進程調度方法被用於多任務多執行緒並行計算。G2每秒鐘能夠處理數千個規則和過程,確保實時性關鍵任務的完成。
面向對象的設計
G2運用面向對象的原則來建立現實世界的模型和相關知識,與人類的知識組織方式和思維習慣相吻合。
互動式圖形技術
G2中的對象都具有自己的圖形.並且可以與其它對象連線。圖形化的用戶接口為快速原型化,開發和部署提供了極大便利。
多種類型的知識表達方式
它們包括規則、過程和函式,構成了應用程式的知識的大部分內容,可以作用於各種對象類。知識的表達具有普遍性,可以描述在所有同類對象上使用的知識。
結構化自然語言
採用自然語言描述對象、規則、過程,並且結合數學語言描述模型和算法,是專家系統開發語言的首選方式。
動態建模與仿真技術
G2帶有動態仿真測試模組,隨時可以對操作指令進行仿真環境下的測試,觀察其結果是否與構想的一致,從而進一步避免決策失誤。
分散式處理和客戶機/伺服器網路技術
G2提供TeleWindow遠程視窗,開發者和最終用戶可以通過它在低配置的工作站和PC上訪問G2完成團隊開發工作。
開放連線性
G2通過標準接口組件可以與各種外部軟、硬體系統相連線。G2支持多種作業系統和硬體平台。
G2的產品線
使用G2平台,用戶可以快速地開發和部署特定領域內的實時專家系統套用。此外,針對生產過程,商業管理,網路管理等專門領域,Gensym公司提供了基於G2的上層平台,使得這些領域的用戶能夠更便捷地定製自己的解決方案。
G2 Integrity™ for Networks
使網路可用性和服務質量最大化
現今的網路所面臨的複雜性(大容量的數據和所需的多領域專業知識)使網路管理員很難在問題影響到服務之前發現並解決它們。研究表明80%網路停工期花費在診斷問題上面。
Integrity是一個實時的集成化的可擴展的網路管理和溯源智慧型平台,通過在問題發生前監測、診斷和校正它們來維護語音和數據網路的連續的可用性。
它集成了面向對象技術,廣泛的智慧型系統技術和經證實的可靠性,可測量性。Integrity在解決複雜的網路、系統和套用問題方面的能力是獨一無二的。
Integrity通過如下功能,使網路可用性和服務質量最大化:
前瞻性的網路、套用、服務水平和性能監測
自動診斷和解決那些費時費力和需要推理的網路問題
迅速斷定問題的根源
自動測試和診斷
商業影響分析
靈活的圖形用戶界面
報警過濾
相關分析能力呈現嚴重事故信息
自動防禦行動
G2 Optegrity™ for Manufacturing
預測性的異常狀況管理
遇到麻煩了,設備故障,生產偏移,發生人為錯誤等。異常生產條件可能導致許多嚴重的問題 - 生產偏離規範,非計畫停車,計畫被打亂,甚至冒安全危險等。OptegrityTM 是Gensym開發的一個新的綜合性的軟體平台,用於迅速開發和部署過程製造業的異常工況管理的套用。
Optegrity與眾不同
通過基於Optegrity的解決方案,廠商可以降低生產成本,改進操作安全水平並增加利用率。Optegrity是構建在 Gensym公司獲獎的專利技術 - 實時專家系統之上的強大的解決方案開發平台,可用於原始設備製造商,增值開發商,系統集成商和諮詢顧問。用Optegrity平台開發的套用是實時工作的,它用到了來自已有的控制系統、資料庫和歷史數據中的信息,以便:
提前監測貫穿一個單元操作或整個工廠的工藝條件,以便儘早發現事故,避免或減小破壞損失。
分析、過濾、關聯報警信息,加速操作工的回響
迅速分離導致單元操作和工廠事故的根本原因,以便儘早解決問題。
對事故作出迅速回響,指導操作工恢復生產,提高安全級別。
預測事故對生產造成的影響,操作工可以優先採取行動。
使用Intelligent Objects™迅速構建應用程式
G2 Optegrity平台中包含的智慧型對象(Intelligent Objects)是一種封裝了關於各種設備操作的專家知識的可靈活配置的軟體組件對象。使用智慧型對象可以迅速地構建與設備相關的套用。智慧型對象預先監測設備的運行條件以便儘早發現問題並警告操作工採取行動 - 在問題到達傳統過程控制系統的報警限之前。問題檢測的範圍包括影響效率的因素、設備故障、環境保護和不安全因素等。
智慧型對象可以被快速地配置和套用於:
點火加熱器
壓縮機
塔
分離器
泵
熱交換器
感測器
分析器
控制器
罐
容器
G2 NeurOn-Line for Manufacturing
預測、控制和最佳化複雜的生產過程
當今生產製造商對產品質量的競爭越來越激烈,但是在生產中卻無法實時地測量質量, 獲得一致的質量水平是一個巨大的挑戰。
Gensym公司的NeurOn-Line軟體平台提供了神經元網路的套用,通過實時地預測質量和工藝條件,可以顯著地改善工藝性能。通過NeurOn-Line, 工程師可以快速構建和部署神經網路模型,這要用到生產過程的歷史數據,它們捕獲到了產品質量和生產條件之間的關聯。NeurOn-Line特別適用於OEMs, VARs, SIs和諮詢顧問,他們為製造商提供基於神經網路套用的服務。這些套用使用NeurOn-Line作為平台,以完善原有的方案。
NeurOn-Line的套用使製造商可以更好的預測、控制和最佳化他們複雜的工藝過程,所以能夠:
通過連續的、即時的虛擬質量測量獲得一致的產品質量
通過更精確地生產需要的產品等級來調節生產更加接近規範
避免產品偏離規範和作廢
在加工能力和能源消耗等約束條件下,最佳化生產經濟,並且不會影響產品質量
G2 ReThink for Business Process Reengineering
商業過程模擬、分析和自動化
不需要花費幾小時的時間,商業數據(如定單、存貨、運輸和支付)都可以立即在網際網路和企業系統中傳送。這些快速的複雜的數據流使企業必須在一個新的性能層次上設計和操作他們的商業流程。
Gensym公司的ReThink軟體通過模擬、分析和自動控制,能夠幫助管理這些速度和複雜性都大大加快的商業數據。與傳統的模擬工具不同的是,ReThink覆蓋了整個商業過程的生命期,從as-is分析,到設計,再到線上自動控制。因為ReThink是構建在Gensym公司的旗艦產品 - 實時推理機G2 - 之上的,它能夠實時監控商業過程,向操作員發出潛在問題的報警信息。ReThink的模型可以用於線上商業過程的自動控制,幫助企業獲得一致的經營效益。
G2 e-SCOR -- Supply-Chain Planning Software
規則驅動的實時供應鏈管理
基於供應鏈委員會(Supply-Chain Council)的SCOR標準,Gensym公司的e-SCOR是一個強有力的套用軟體工具,用於對複雜的供應鏈進行圖形化設計,模擬仿真和管理。e-SCOR可以幫助你對供應鏈的結構和策略建立模型,這樣你就可以在對賴以生存的供應鏈進行賭博性地改造之前充分地測試各種選擇。它是唯一的供應鏈模擬產品,可以生成標準的SCOR度量標準,用於商業過程的比較和改進。
通過e-SCOR你能夠:
快速建造真實的供應鏈模型
開發健壯的供應鏈網路,包含詳細的跨你的團隊、供應商和合作夥伴的SCOR過程
自動地計算SCOR標準的度量,來測量性能、評估需要的服務等級,以利於更好地進行決策
模擬不同的配置,測試你的供應鏈的強度,評定潛在的弱點並確定改善的領域
在你冒險地、或缺乏供應鏈策略地投入任何時間、金錢或資源之前進行what-if分析
Gensym公司的供應鏈軟體已經為各種類型的企業和組織帶來了可觀的效益,估計節省了上億美元。通過e-SCOR可以將嚴格的供應鏈設計和建模決策中的不確定性去除。
套用案例
軍事領域
現代戰場環境的高度複雜性對指揮員提出了空前的挑戰。戰場上的各種實時數據造成的信息風暴可能將指揮員和指揮控制系統完全淹沒。迅速和正確地制定出應對高度動態、複雜戰場環境的決策是克敵制勝的關鍵。正是在這種背景下美國軍方用 G2平台建立了當今世界上最大、最複雜而又反應迅速的後勤供應鏈指揮系統為其全軍提供後勤支持,為各級指揮人員提供決策支持。
在戰場指揮與控制中, G2的規則引擎平台最適合於建立和部署規則驅動的實時性套用系統。此類系統從資料庫、感測器、仿真器、網路系統、指揮員和其它各種數據源獲取實時數據,根據戰場模型和作戰策略知識庫為指揮員提供實時智慧型決策支持,增強了指揮決策的靈活有效性並降低了風險。 G2 模擬了整個戰場的運作架構,執行實時仿真模擬並產生指揮命令。在模擬作戰時各種交戰規則在合適條件下被自動觸發。指揮員可以同時模擬多個策略以選取最優的執行。決策制定後作戰模型能夠立即上線進行實時作戰支持。例如北美防空司令部的 C3 系統( Command, Controland Communication ),該系統的目標是對整個北美防空體系建立精確的模型以分析其戰時的需求和能力。套用 G2 強大的面向對象建模能力對防空體系從整體到各個局部,包括控制中心、雷達站、戰機、入侵者等都建立了詳細的模型並建立作戰規則專家系統。該系統還將與 GIS 系統結合發揮更大功效。
· Sensor Model:
If sensor type is surveillance radar and 10 nautical miles < range of airborne entity < 200 nautical miles and airborne entity signal-to-noise ration > 13 dB and probability of false alarm < 0.000 001 and weather conditions are fair and speed of airborne entity > 100 meters/second Then probability of detection per sensor scan is 0.9
· C2 Center Model:
If target identified as unfriendly and target range is 750 miles and threat conditions are “alpha” then assign interceptors and require “positive visual identification”
· Confrontation Model
if interceptor is F-15 and number of interceptors is four and F-15 armament includes AMRAAMs and weather conditions are fair and Rules of Engagement dictate authority to fire against all non-friendly forces and the threat is MIG-21 and the number of threats is 2 then survivability of interceptors increases by a factor of 2
· JMACE
從 2001 開始,美國國家模擬中心( National Simulation Center , NSC )就使用 G2 開發了 JMACE 系統作為模擬工具,提供關鍵任務的精確模擬。 JMACE 系統同時作為軍事訓練和模擬演練的訓練工具,以及軍事決策支持工具,用來模擬敵人入侵時的戰場策略。 JMACE 利用 G2 強大的實時推理引擎在發生真實遭遇戰之前評估戰場準備情況。
NSC 之所以用 G2 來構建 JMACE 是因為 G2 強大的面向對象開發和部署環境。 G2 幫助 NSC 的開發人員將複雜的功能通過容易理解的簡明代碼實現並部署到具有不同作業系統的各種硬體平台上。 G2 使得開發者用結構化的自然語言來描述對象、規則、過程和函式,創建易於理解、驗證和修改的模型。
在 4 年的時間裡 NSC 用 JMACE 完成了眾多任務。它提供了軍事行動的分散式的合作演練,幫助機動戰鬥部隊和運輸部隊在壓力訓練中明確獲取作戰需求。軍事指揮院校使用 JMACE 來指導如何做出軍事決策並通過計算機網路為學員提供分組的實戰模擬演練。
2003 年,美國中央司令部( CENTCOM )使用 JMACE 進行了重大的軍事行動演練。 JMACE 被 CENTCOM 用於對伊拉克作戰的策略模擬和決策支持工具。這次歷時兩天的實戰演練共有 67 位高級指揮員參加。運用事先定義的作戰規則, JMACE 提供了對各種不同作戰策略的規則驅動的模擬。系統將整個戰場的後勤供應,集團軍和裝備的部署,以及通訊系統的波段等因素都包括在其中,甚至包括戰場的視線、地形、敵軍的抵抗力等等。所有這些都是基於 CENTCOM 的指揮官們多年的作戰經驗。 JMACE 使得指揮員能夠象在真實的戰場上一樣模擬各種作戰策略,並做出及時的調整。
航天領域
國際空間站的實時監控
例如Boeing 公司開發了運行在 6 台伺服器上的基於 G2的軟體來對國際空間站( ISS )進行實時監控。該軟體對空間站傳回的其機械、電力及計算機等子系統的各項數據進行智慧型監控,確保空間站正常運行和完成特定任務。
基於 G2的軟體能夠檢測出異常,分析原因,顯示重要的警告,並且提供相應的電子文檔以供進一步的研究。智慧型系統能夠及時預測到異常情況從而在它們演變成重大問題前採取措施。
其中含有:
Decision Support System (DESSY) 監控太空梭機械臂的操作
Propulsion Advisory Tool 在發射準備階段監控太空梭的推進動力系統運轉狀態
Operations Execution Assistant 在地面控制中心為太空任務提供決策支持的專家系統
基於 G2的軟體為地面控制中心檢測和處理空間站潛在的軟、硬體問題提供了智慧型的決策支持,也使得 Boeing 公司成為國際空間站項目的主要軟體承包商。
G2產品比較
下面的圖片取自Gartner的 ”Top10 Strategic Technolgies For 2008”
Business Rule Engines有如下公司:
Pegasystems http://www.pega.com
Fair Isaac http://www.fairisaac.com
ILOG http://www.ilog.com
MindBox http://www.mindbox.com
Gensym http://www.gensym.com
Corticon http://www.corticon.com
Computer associates http://ca.com
上述公司都在領導方塊中
In the leader’s quadrant of Gartner’s “Magic Quadrant for Business Rule Engines”
競爭優勢
Real-time reasoning -- 實時推理
Mission-critical reliability -- 關鍵套用的高可靠性
Integrated modeling, simulation & deployment -- 集建模,仿真與部署於一體
下圖是有關人工智慧產品技術方面的比較,其中包括的技術有:Neural nets神經網路、
Fuzzy logic模糊邏輯、Expert sytems專家系統、Genetic algorithms遺傳算法和
Chaos systems混沌系統。
顯然Gensym公司支持的技術比較全面。
關於G2的文章
基於G2的太空飛行器故障診斷
實時智慧型系統開發軟體G2的套用現狀與發展
套用 G2 NeurOn-line 進行反應過程自適應輸出預測
用G2構建戰場仿真和輔助決策系統
基於G2的實時生產調度系統研究
過程計算機在武鋼4號高爐上的套用
克利夫蘭—克利夫斯鐵礦公司工藝過程自動化的改進
石化企業智慧型套用
基於G2的交通阻塞管理知識庫系統原型的實現
LeNickel-SLN Expands use of Gensym's G2 at World's Largest Ferronickel Plant; Rule-Engine Expansion to Yield over $750,000 Savings per Year.
TEPCO Systems Expands Use of Gensym’s G2 for Assessing
General Atomics Selects Gensym G2 Rule Engine for Power Systems Management
DEI Develops G2 Condition Monitoring System
400-120 kV Substation using Knowledge Server
等等