<dd id="ekqgw"></dd>
  • <menu id="ekqgw"><tt id="ekqgw"></tt></menu><menu id="ekqgw"></menu>
  • <nav id="ekqgw"><strong id="ekqgw"></strong></nav>
    <menu id="ekqgw"><strong id="ekqgw"></strong></menu>
  • 北京營智優化科技有限公司

    郵 編: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號 法律條款

    国产凹凸在线一区二区,99尹人香蕉国产免费天天,久久伊人精品热在75,工口里番日本工口里番全彩