基于逻辑推理的构件组装策略及其算法

来源 :信息与控制 | 被引量 : 0次 | 上传用户：khl0907

【摘要】

：

针对构件组装体系框架,提出一种适用于无状态构件的组装策略,用于满足用户的构件检索请求.该策略通过进程代数理论形式化描述构件行为,提高匹配度,并提出了2种基于逻辑推理的

【作者】

：

肖刚王培君陆佳炜张元鸣

【机构】

：

浙江工业大学信息工程学院

【出处】

：

信息与控制

【发表日期】

：

2009年6期

【关键词】

：

进程代数逻辑推理构件组装正向推理构件检索 process algebra logical reasoning component compositi

【基金项目】

：

浙江省自然科学基金资助项目（Y106602）.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

针对构件组装体系框架,提出一种适用于无状态构件的组装策略,用于满足用户的构件检索请求.该策略通过进程代数理论形式化描述构件行为,提高匹配度,并提出了2种基于逻辑推理的检索算法SABLR（searching algorithm based on logical reasoning）和ASABLR（advanced searching algorithm based on logical reasoning）加以支持.检索算法均应用正向推理的思想,判别构件仓库中是否含有用户请求构件信息.算法可以判别2种状况：

其他文献

中央电视台新台址首个演播室E17体育新闻直播演播室正式启用

7月2日22点，中央电视台在新台址E仃演播室演播区内举行了“央视总部体育新闻启播仪式”。E17演播室是新台址首个正式启用的直播演播室，于7月3日凌晨00：00：00时开始直播体育新闻。

期刊

直播演播室新闻直播中央电视台体育台址日凌

技术创新使网络监控管理更加智能——吉林电视台全台节目生产网网络监控系统介绍

全面介绍了吉林电视台全台节目生产网网络监控系统的特点与技术创新点。该系统实现了对公共交换服务平台、媒体资产管理系统、新闻制播系统、后期制作系统、旧址后期制作系统

期刊

技术创新点网络智能监控温度监控用电监控智能统计智能分析

东方盛行即将参展BIRTV2012

为了提高用户的3D支架使用技能，提高安装和调试效率，近日安达斯公司联合索尼公司邀请美国3ality 3D专家Michael先生来到中国，进行了为期两周的培训与现场节目支持。

期刊

MICHAEL东方安达斯公司索尼公司3D节目

Turbo-BLAST系统中的注水功率控制算法

为改善信道容量性能，针对完全信道状态信息和不完全信道状态信息两种情况，提出了适用于Turbo—BLAST系统的注水功率控制算法．在总功率约束条件下，根据信道状态信息，利用注水原理对

期刊

TURBO-BLAST完全/不完全信道状态信息注水功率控制Turbo-BLAST perfect/imperfect channel state inf

带时间窗的同时集散货物路线问题研究

研究了业务繁忙环境下带时间窗的同时集散货物路线问题.以车辆数、运输距离和完成运输任务的总时间最小为目标建立了多目标模型,提出用基于路线集合划分的分解迭代算法求解该

期刊

同时集散货物路线问题时间窗多目标分解迭代法记录更新法vehicle routing problem of simultaneous deliverie

前置反硝化污水生化处理过程优化控制

针对活性污泥前置反硝化污水生化处理工艺，提出一种以排水质量指标为约束条件、以能量消耗最小为目标的优化控制方案．由于污水生化过程机理复杂、参数众多，其最优问题求解困难．因

期刊

前置反硝化工艺活性污泥1号模型优化控制混合遗传算法pre-denitrification technology activated sludge mo

网络化存储在电视台全台网系统中的应用

在三网融合的大环境下,IT技术飞速发展,已经逐渐进入传统电视领域,电视台也向着数字化、网络化、整体化的方向发展,本文分析FCSAN存储网络在全台互联互通系统中的应用,以及全

期刊

全台网互联互通FCSAN网络存储数字化SCSI

索贝数码喜获广电总局科技创新奖多个奖项

近日，2011年度国家广电总局科技创新奖权威发布。索贝数码一举夺得了包括突出贡献奖在内的五大奖项。

期刊

国家广电总局科技创新奖数码索贝

非最小相MIMO非线性系统的自适应鲁棒控制

针对一类非最小相不确定非线性系统,提出了一种自适应鲁棒控制器.首先,通过等价坐标变换将该非线性系统变换为零动态稳定的等价系统.然后利用鲁棒无源原理和李亚普诺夫原理对

期刊

非最小相零动态自适应鲁棒控制non-minimum phasezero dynamicsadaptiverobust control

RTD-A控制器在多变量系统中的研究与应用

在Ogunnaike等提出的单变量RTD-A（Robustness,Tracking,Disturbance rejection—overall Aggres-siveness）控制器的基础上,推导出了适用于多变量系统的RTD-A控制器形式,并给出

期刊

内模PIDRTD-A控制器多输入多输出系统鲁棒性Internal Model Controller-PID.（IMC-PID） RTD-A contr

基于逻辑推理的构件组装策略及其算法

与本文相关的学术论文