排序方式: 共有40条查询结果,搜索用时 0 毫秒
1.
2.
本文定义了MALC模型间的同构、同态等关系,并讨论了合式公式在这些关系下的不变性等代数性质。最后定义了MALC的拓扑语义及基于拓扑语义互模拟,得到MALC的合式公式在拓扑互模拟下具有不变性。 相似文献
3.
循环ALCN-Tbox具有模型的条件 总被引:7,自引:0,他引:7
分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件. 相似文献
4.
Lucene是一个优秀的开源全文搜索技术框架,Lucene全文检索技术是信息检索领域广泛使用的基本技术.它能非常方便地为各种应用程序加入全文索引和搜索功能,快速有效地索引企业累积的大量信息资源.文中阐述了建立全文检索系统的必要性,介绍了全文检索系统的概念并分析了Lucene的系统结构和实现机制,最后结合实际应用背景从系统设计、文挡抽取、索引的建立及执行检索等方面介绍了全文检索系统的实现过程.实践证明,该系统的查准率、查询速度等均达到了设计要求. 相似文献
5.
某型航空发动机涡轮叶片榫头渗铝,导致叶片疲劳性能下降无法满足使用要求。设计水吹砂+喷丸+振动光饰修理工艺对叶片进行处理,采用硬度检测、振动疲劳试验和疲劳断口金相分析等方法,检测修理后叶片疲劳寿命。结果表明:修理工艺使叶片榫头硬度显著增大,硬度影响层深度增至200μm,相同深度下修理后叶片硬度显著提高,修理后硬度最大可提升185 HV0. 02。叶片振动疲劳寿命由10. 35×10~5次循环增加至19. 68×10~5次,寿命提升约1倍。分析叶片断口组织,修理后叶片断口棱线穿透了渗铝层,指向榫头表面,裂纹在渗铝层内扩展阻力明显增大,证明榫头修理工艺能有效提升叶片的疲劳性能。 相似文献
6.
7.
农产品安全问题一直是人们十分关注的大问题,本文介绍了采用GC/MS选择离子模式(SIM)进行水果和蔬菜中多类多种农药残留的分析测定.农药的确证和定量依据保留时间和相应定量离子、定性离子及其离子比.对该方法进行了添加回收率实验,平均回收率在70%和120%之间. 相似文献
8.
部分5G领军人物探讨了5G框架、技术、发展时间表与发展方式等热点问题。 相似文献
9.
10.
从铬酸盐化学转化膜、磷铬化法和无铬化学转化法等方面对化学转化膜的现状进行了综述.详细介绍了几种无铬化学转化处理方法,并对其优、缺点进行了比较.强调了无铬化学转化取代铬化的发展方向. 相似文献