检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:谭成予[1] 董红斌[1] 梁意文[1] 关刚[1]
机构地区:[1]武汉大学计算机科学学院软件工程国家重点实验室,武汉430072
出 处:《计算机工程》2006年第7期19-22,共4页Computer Engineering
基 金:国家自然科学重大研究计划基金资助项目(90204011);湖北省科技攻关计划基金资助项目(2004AA101C01)
摘 要:数字序列抗原内部存在许多语义特征,针对抗原进行语义识别可以提高系统检测的准确性。基于抗原的相对时序关系,该文采用了一阶逻辑作为抗原和淋巴细胞的基本描述语言,以扩展逻辑程序构造淋巴细胞的时间语义逻辑模型,给出了淋巴细胞的逻辑表示形式。基于逻辑程序的稳定模型语义学,用稳定模型语义计算作为新的淋巴细胞的匹配算法。借鉴遗传归纳逻辑程序GILP的基本思想,给出了新的淋巴细胞的演化算法。There are many semantics in digit sequence antigen space. It can improve the accuracy of system detection to recognize upon the semantics of antigens. Based on the interval temporal of antigens, this paper founds a interval temporal model of lymphocytes with extended logic programming using first logic as description of antigens and lymphocytes. As the semantics model of logic program, the matching rule of new lymphocytes is to compute the stable model of lymphocytes and antigens. Based on GILP, this paper introduces an evolutionary algorithm of the new lymphocytes.
分 类 号:TP18[自动化与计算机技术—控制理论与控制工程]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222