参数IIP系统的三I算法与α-三I算法

证明了系统IIP是基于连续三角模族Tp-II及其伴随蕴涵算子族Rp-II的逻辑系统,并证明了系统IIP与系统II是等价的。在此基础上给出了基于蕴涵算子族Rp-II的三I算法与!-三I算法,这将有助于提高模糊推理的可靠性。

基于IIP系统的科研团队集成知识平台设计、实施与推广策略

阐述IIP系统本地应用的优势,深入讨论利用IIP系统进行科研团队集成知识平台建设的原则、关键技术选择、内容设计、页面布局设计、框架搭建,旨在实现全所范围的科研团队科研项目管理、科研成果宣传、综合科技信息快速获取和科学数据和资源共享。