文献

J-GLOBAL ID：201102244522123591   整理番号：11A1425191

FLUXにおける陰性分離制約の研究および実用化

Research and implementation on negative disjunction constraints in FLUX

著者 (4件)： Liu Yisong (School of Computer Sci. & Communication Engineering, Jiangsu Univ., Jiangsu, Zhenjiang) ,  Zhu Huijuan (School of Computer Sci. & Communication Engineering, Jiangsu Univ., Jiangsu, Zhenjiang) ,  Zhu Mang (Management Dept. of Drainage, Jiangsu, Zhenjiang) ,  Xu Yanqun (Dept. of Computer Sci. & Technol., Nanyang Technical Inst., Henan, Nanyang)
資料名： Jisuanji Yingyong Yanjiu  (Jisuanji Yingyong Yanjiu)
巻： 27  号： 8  ページ： 2980-2983  発行年： 2010年 
JST資料番号： C2536A  ISSN： 1001-3695  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： FLUXは,不完全状態のそれらの動作やセンサ情報から論理的に判断できるエージェントを用いた,流暢な計算に基づく制約論理型言語である。不完全状態はFLUXにおける制約で暗号化される。しかしながら,FLUXに存在する制約は,すべての流暢な計算状態式をカバーするのに完全でなく,FLUXの利用の範囲をある程度制限する。この論文は否定的分離制約をFLUXに加えることによってこの問題を扱い,制約処理規則(CHRs)でそれを実現し,不完全状態を発現するためにFLUXの能力を強化した,流暢な計算の意味を用いた否定的分離制約の正当性を証明した。Data from the ScienceChina, LCAS. Translated by JST

シソーラス用語： *実用化 ,  *エージェント ,  加算 ,  論理型言語 ,  状態方程式 ,  暗号 ,  センサ
準シソーラス用語： 加えること ,  状態式 ,  暗号化 ,  正当性【計算機科学】

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (3件)： 制約 ,  研究 ,  実用化