排序方式: 共有16条查询结果,搜索用时 15 毫秒
1.
2.
用描述逻辑进行语义Web服务组合 总被引:4,自引:0,他引:4
针对面向服务功能的语义Web服务组合问题,特别是经典的人工智能规划方法无法有效地处理Web服务执行过程中动态产生的新个体,以及基于服务匹配的方法则无法充分利用服务I/O参数类型之间大量的语义关联等关键问题,通过动态逻辑和描述逻辑之间的对比研究,采用描述逻辑公理来刻画Web服务的IOPR(inputs,outputs, preconditions and results),扩展了基于动态逻辑的人工智能规划方法,提出了把语义Web服务组合问题转化为描述逻辑推理问题的方法,克服了经典的人工智能规划方法中的困难和基于服务匹配的服务组合方法的缺点. 相似文献
3.
4.
5.
6.
7.
近几年,我国地面站接收处理的美国陆地卫星TM6波段图像经常出现横纹条带状噪声。本文分析了噪声的特点及产生的原因,并基于统计中直方图配准的思想,设计了消除噪声的方法,使图像上每一行数据与其条带邻域内的数据具有相同的直方图分布且均值相等。最后,介绍了此方法的实际应用例子。 相似文献
8.
科学卫星的发展对卫星姿态控制系统提出了高控制精度和长飞行寿命下的高可靠性要求。在三轴稳定姿态控制的卫星上,采用有源姿态控制的喷气系统,较易于满足上述两项要求。对卫星的三个相互垂直的坐标轴x、y、z(图1)进行定向姿态控制,可分为发射进入轨道后的消旋姿态捕获和飞行中姿态控制两种情况,这两种情况都可以应用安装在卫星质心平面(图1中舱平面附近)星体边缘的一对喷嘴和安装在距离质心平面H距离的两对相互垂直喷嘴来实现。为了提高喷气系统比冲和减少星带燃料重量,目前多采用热喷气系统而不宜用冷喷气系统。本文讨论的几种方案均为热喷气系统。 相似文献
9.
10.
介绍微机遥感图像应用处理软件包(RSIAP)的设计思想、总体结构、主要特点及各部程序功能,并附有程序及功能一览表。 相似文献