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

来源 :信息与控制 | 被引量 : 0次 | 上传用户:khl0907
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对构件组装体系框架,提出一种适用于无状态构件的组装策略,用于满足用户的构件检索请求.该策略通过进程代数理论形式化描述构件行为,提高匹配度,并提出了2种基于逻辑推理的检索算法SABLR(searching algorithm based on logical reasoning)和ASABLR(advanced searching algorithm based on logical reasoning)加以支持.检索算法均应用正向推理的思想,判别构件仓库中是否含有用户请求构件信息.算法可以判别2种状况:
其他文献
7月2日22点,中央电视台在新台址E仃演播室演播区内举行了“央视总部体育新闻启播仪式”。E17演播室是新台址首个正式启用的直播演播室,于7月3日凌晨00:00:00时开始直播体育新闻。
全面介绍了吉林电视台全台节目生产网网络监控系统的特点与技术创新点。该系统实现了对公共交换服务平台、媒体资产管理系统、新闻制播系统、后期制作系统、旧址后期制作系统
为了提高用户的3D支架使用技能,提高安装和调试效率,近日安达斯公司联合索尼公司邀请美国3ality 3D专家Michael先生来到中国,进行了为期两周的培训与现场节目支持。
为改善信道容量性能,针对完全信道状态信息和不完全信道状态信息两种情况,提出了适用于Turbo—BLAST系统的注水功率控制算法.在总功率约束条件下,根据信道状态信息,利用注水原理对
研究了业务繁忙环境下带时间窗的同时集散货物路线问题.以车辆数、运输距离和完成运输任务的总时间最小为目标建立了多目标模型,提出用基于路线集合划分的分解迭代算法求解该
针对活性污泥前置反硝化污水生化处理工艺,提出一种以排水质量指标为约束条件、以能量消耗最小为目标的优化控制方案.由于污水生化过程机理复杂、参数众多,其最优问题求解困难.因
在三网融合的大环境下,IT技术飞速发展,已经逐渐进入传统电视领域,电视台也向着数字化、网络化、整体化的方向发展,本文分析FCSAN存储网络在全台互联互通系统中的应用,以及全
近日,2011年度国家广电总局科技创新奖权威发布。索贝数码一举夺得了包括突出贡献奖在内的五大奖项。
针对一类非最小相不确定非线性系统,提出了一种自适应鲁棒控制器.首先,通过等价坐标变换将该非线性系统变换为零动态稳定的等价系统.然后利用鲁棒无源原理和李亚普诺夫原理对
在Ogunnaike等提出的单变量RTD-A(Robustness,Tracking,Disturbance rejection—overall Aggres-siveness)控制器的基础上,推导出了适用于多变量系统的RTD-A控制器形式,并给出