亚洲欧洲无码一区二区三区

            北京營智優化科技有限公司

            郵 編:100085

            電 話:010-60609840

            郵 箱:info@enginest.cn


            南京營智優化科技有限公司

            郵 編:210004

            郵 箱:info@enginest.cn

            NCL數學編程語言
            首頁 > 產品 > NCL數學編程語言

            營智公司致力于數據處理、人工智能、運籌學、邏輯編程及計算機語言等領域的科技研發。自然約束語言NCL即此諸多技術之結晶。設計NCL語言的目的是為用戶提供一個易于操作、求解約束滿足問題的語言工具。


                

             

            NCL語言簡介

             NCL語言(Natural Constraint Language)是一門圖靈完備、求解約束滿足問題的數學編程語言。與其它聲明型語言不同,NCL支持自然建模,其數學識別器可理解基于量詞、布爾邏輯、數值約束、集合運算及邏輯函數的常規數學邏輯;NCL的解算器支持簡化的一階邏輯及集合編程,以混合集合規劃(Mixed Set Programming)算法求解混合域(實數、整數、布爾值、日期/時間、字符串、指針及集合等)的問題。

                   NCL 語言原型最早出現在1997年12月召開的第三屆國際系統科學和系統工程會議上,并于1998年5月提交邏輯規劃協會的正式期刊"The Journal of Logic Programming”。

                  在實際中,NCL 能應用于數據處理,還可廣泛應用于物流、民航、電子、能源、電力、高鐵、航天等諸多領域的邏輯及優化問題。

             

            與國際市場產品相比,NCL的科技創新包括:

            數學識別器:基于AI的模式識別技術廣泛應用于NCL的語法分析及語義識別;支持數學編程; 

            混合集合規劃系統:囊括數值、布爾值、量詞、集合、邏輯函數運算,世界上最為精密的數學算法系統之一。


            學術專著

            J. Zhou: The NCL Natural Constraint Language. Springer, ISBN 978-3-642-23844-4  (2012).
            周建陽:《自然約束語言》,科學出版社, ISBN 978-7-03-024973-9 (2009).

             

            部分論文
            J. Zhou: Introduction to the constraint language NCL. Journal of Logic Programming. 45 (1-3): 71-103(2000).
            J. Zhou: A Note on Mixed Set Programming. Proc. of The 7th International Symposium on Operations Research and Its  Applications, 131-140 (2008).
            J. Zhou: Routing By Mixed Set Programming. Proc. of The 8th International Symposium on Operations Research and Its Applications, 157-166 (2009).
            J. Zhou: A unified framework for solving Boolean, integer & set constraints. Proc. of ICSSSE: 205-210 (1998).  

             

            教科書

            李向文(大連海事大學):《物流系統優化建模與求解》,北京大學出版社,ISBN 978-7-301-22115-0(2013).

            左秀峰(北京理工大學): 《NCL語言與POEM優化計算平臺簡明教程》,清華大學出版社,ISBN 978-7-302-33671-6 (2013).

            地址:北京市順義區臨空經濟核心區融慧園6號樓8層營智優化    電話: 010-60609840   郵箱: info@enginest.cn

            版權所有 北京營智優化科技有限公司 ?2020   京ICP備07040754號 法律條款

            亚洲欧洲无码一区二区三区