排序方式: 共有50条查询结果,搜索用时 0 毫秒
1.
2.
为了使动态描述逻辑DDL具有处理简单矛盾问题的能力,引入可拓集合和可拓变换对它进行扩展.文章提出了一种动态描述逻辑DDLESET,给出了DDLESET的语法形式和语义解释;对传统描述逻辑、模糊DDL和DDLESET中的ABox形式进行了比较分析;研究了DDLESET的基本推理问题,对传统描述逻辑的一致性检测算法Tableau算法进行了可拓扩展.描述逻辑DDLESET盯具有对关联度值分别为正负域的模糊断言的表示与推理能力,并可以为关联度值为负域的断言即不可满足的概念或不可实现的动作提供求解策略,从而使其变得可满足、可实现. 相似文献
3.
动态描述逻辑的可拓集合扩展 总被引:1,自引:0,他引:1
通过对可拓集合与经典集合、模糊集合的分析比较,说明可拓集合的特点和优点,用可拓集合代替经典集合或模糊集合作为动态描述逻辑DDL的集合论基础,对DDL进行扩展,生成了一种新的描述逻辑DDES,并给出了DDLES中概念、关系和实例的描述形式以及它们的语义解释,最后对传统描述逻辑ALC、模糊DDL和DDES中的Abox形式进行了比较. 相似文献
4.
信息系统安全评估是指在具体的操作环境与任务下对一个系统的安全保护能力进行的评估。虽然关于信息技术安全评估标准的研究已有二十多年的历史,但信息系统安全评估仍有许多问题有待于进一步解决。本文分析了对安全性进行定量评估的必要性和可行性,基于概率论和数理统计,给出了一个安全评估的量化参考模型。 相似文献
5.
6.
程丽丽 《重庆工业高等专科学校学报》2011,(6):7-9
刘少奇作为伟大的马克思主义者,是中国共产党第一代领导集体的核心之一,在领导中国革命和社会主义建设的过程中,他敢于探索,用于实践,积累了非常丰富的实践经验,并且将这种经验上升到哲学理论的高度,形成了自己的哲学体系,他的理论和实践同时并重的认识论观点、彻底唯物主义一元论的实事求是观点、对于唯物辩证法矛盾法则的阐述以及他的历史唯物主义的群众观等等,丰富并且发展了马克思主义的强大的理论体系。刘少奇的哲学思想是一笔宝贵的精神财富,学习刘少奇哲学思想对于我们今天理解和运用马克思主义具有重要的意义。 相似文献
7.
信访工作是党和政府联系人民群众的重要渠道,在当前企业深化改革的形势下,企业内部许多深层次矛盾通过信访集中反映出来,要正确认识和把握新形势下企业信访工作的特点,为企业改革和发展创造一个稳定的环境。 相似文献
8.
利用荧光光谱法研究缬沙坦与人血清白蛋白的作用机制。判断出缬沙坦对人血清白蛋白(HSA)体系的猝灭是由于生成复合物的静态猝灭,计算出在30℃缬沙坦与HSA相互作用的结合位点数和结合常数分别为n30℃=0.53和K30℃=761.8,37℃时缬沙坦与HSA相互作用的结合位点数和结合常数分别为n37℃=0.48和K37℃=374.8。此外,还得出了一些金属离子存在下的结合常数(KCa=3899.5,KCu=1081.4,KFe=1595.1,KZn=3833.6)。体系的热力学常数分别为ΔH=-24.9kJ/mol,ΔS30℃=38.2J.mol-1.K-1,ΔS37℃=34.5J.mol-1.K-1,由此得出缬沙坦与人血清白蛋白之间是以静电作用力相结合。由Frster非辐射能量转移理论计算出两者间的作用距离r=2.07nm。并利用同步荧光技术,考察了缬沙坦对蛋白质构象的影响。 相似文献
9.
采用叠轧焊接方法制备Al/IF钢多层复合材料,随后进行300~450 ℃退火处理,并对叠轧态和退火态的微观结构及力学性能进行分析。结果表明:叠轧态Al/IF钢多层复合材料的抗拉强度介于纯Al和IF钢之间,断裂总延伸率相对较低,退火后Al和IF钢层的硬变均高于其原材料;随着退火温度的增加,抗拉强度逐渐降低,断裂总延伸率呈先增加后减小的趋势,在350 ℃退火时,复合材料的综合力学性能最优。退火温度对Al/IF钢多层复合材料力学性能的影响主要体现在对Al层的影响上。 相似文献
10.