排序方式: 共有25条查询结果,搜索用时 15 毫秒
1.
2.
中介时序逻辑系统MTL的模型论性质 总被引:1,自引:0,他引:1
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备. 相似文献
3.
<正>民航“十二五”规划实施以来,国内高高原机场的运营投入迎来了快速发展期。高高原机场数量由2010年底的10个发展到2022年底的23个;如不考虑疫情的影响,截至2019年底,高高原机场的旅客吞吐量同比2010年的年均增速为8.9%,低于国内全部机场旅客吞吐量年平均增速1.3个百分点。民航高高原运输业务的高质量发展依托于高高原机场的地理分布、航空公司的运力投放、市场需求、政策扶持等多方因素的共同作用,不能单凭一方力量。 相似文献
4.
沙治村是四川凉山州美姑县合古治乡的一个行政村,由沙洛、上尔河、下尔河三个自然村组成,村庄依偎在黄芽埂山腰,平均海拔2500米左右。由于大山的封锁,当地至今尚未通公路,水、电和通信这些生活中的“必需品”距这块土地依然遥远。今年春节,肩负着“关爱山里娃公益活动”的使命,带着全国各地捐来的数箱衣物和无数远方的祝福,我们来到了这个古老的村庄。 相似文献
5.
俄罗斯的马可耶夫机械工程设计局,本是负责研制潜射弹道导弹的机构。目前它与美国海射火箭投资商联合成立了一个海射服务公司,目标是实施一项把俄国库存的潜射弹道导弹改为商用运载火箭的计划。 该计划的第一个任务是,使用80万美元,4个月时间,完成在SS—N—20第一级固体发动机上面加上SS—N—23的一、二、三级液体火箭发动机构成一种名叫Surf的4级运载火箭的设计。 相似文献
6.
7.
在事务数据库中的周期性一般关联规则可以揭示类的不同层次之间的关系和呈现周期性变化。这些信息对于识别在关联中的趋势和预测非常有用。由于数据噪声对发现周期性一般关联规则的巨大影响 ,文中用噪声比来抑制数据噪声对发现周期性一般关联规则的影响。同时根据对周期性与一般高频集之间关系的分析 ,利用周期裁剪技术来节省挖掘时间 ,给出了 (Cyclic general-ized itemsets,CGI)算法。实验证明 ,该算法可高效地发现周期性一般关联规则。 相似文献
8.
美国通用动力公司的宇宙神2AS于1993年12月15日在卡纳维拉尔角进行了首次发射,把美国电话电报公司的电信星401通信卫星送入了轨道。 相似文献
9.
8月4日,彝人迎来了本民族最盛大的节庆“火把节”。在西昌市壮丽的火把广场,我亲眼目睹了数十万人高擎火把彻夜狂欢的“疯狂”场面,事实上,这个彝、白、纳西、基诺、拉祜等西南少数民族所共有的传统节日正在成为一个不折不扣的东方狂欢节。 相似文献
10.
以近地小行星重定向任务为背景,分析了仅采用机械臂或大型口袋捕获小行星将会遇到的潜在技术困难,提出了利用释放绳网飞行器与绳系机械爪捕获小行星的新概念方案。当探测飞行器接近小行星后,其捕获目标的过程主要包括三个步骤:1)探测飞行器释放绳网飞行器,绳网飞行器接近小行星并转移至姿态同步跟踪;2)绳网飞行器捕获小行星并实施收口操作;3)探测飞行器释放绳系机械爪抓取绳网节点实现拖曳。基于"绳网飞行器+绳系机械爪"捕获小行星新方案,对绳网飞行器的收口机构和绳系机械爪进行了针对性设计,主要体现在对收口机构更新了能量储存方式以及将绳系机械爪的捕获对象设定为绳网结点。"绳网飞行器+绳系机械爪"捕获小行星的新概念方案强调了捕获过程中探测飞行器的安全性问题,值得进一步深入研究。 相似文献