计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2012年
10期
234-235
,共2页
王洁%赵丽丽%艾莹莹%夏杰
王潔%趙麗麗%艾瑩瑩%夏傑
왕길%조려려%애형형%하걸
Smart-M3%加权逻辑程序%动态优先%冲突
Smart-M3%加權邏輯程序%動態優先%遲突
Smart-M3%가권라집정서%동태우선%충돌
SmartM3是一个实现智能空间的交互平台,它允许软件实体和设备共享语义信息.在SmartM3中使用ASP可以处理固定偏好关系下的资源分配和冲突问题.然而在现实生活中,信息更新却会改变原有的资源分配顺序,从而引起新的冲突.为了处理这个问题,提出使用动态优先关系的方法解决该问题.将动态优先关系使用加权逻辑程序表示,然后求解程序得到回答集,该回答集就是冲突问题的解决方案.最后,以一个实例说明了该方法的应用.
SmartM3是一箇實現智能空間的交互平檯,它允許軟件實體和設備共享語義信息.在SmartM3中使用ASP可以處理固定偏好關繫下的資源分配和遲突問題.然而在現實生活中,信息更新卻會改變原有的資源分配順序,從而引起新的遲突.為瞭處理這箇問題,提齣使用動態優先關繫的方法解決該問題.將動態優先關繫使用加權邏輯程序錶示,然後求解程序得到迴答集,該迴答集就是遲突問題的解決方案.最後,以一箇實例說明瞭該方法的應用.
SmartM3시일개실현지능공간적교호평태,타윤허연건실체화설비공향어의신식.재SmartM3중사용ASP가이처리고정편호관계하적자원분배화충돌문제.연이재현실생활중,신식경신각회개변원유적자원분배순서,종이인기신적충돌.위료처리저개문제,제출사용동태우선관계적방법해결해문제.장동태우선관계사용가권라집정서표시,연후구해정서득도회답집,해회답집취시충돌문제적해결방안.최후,이일개실례설명료해방법적응용.
