论文部分内容阅读
从语义和语法两个方面将形式演绎系统 *层次化,得到 *的一个扩张,从而增强了系统 *的表达能力,使之能更有效地应用于模糊系统的研究.
形式演绎系统 *的扩张
【摘 要】
：
从语义和语法两个方面将形式演绎系统 *层次化,得到 *的一个扩张,从而增强了系统 *的表达能力,使之能更有效地应用于模糊系统的研究.
【机 构】
：
四川大学数学学院
【出 处】
：
四川大学学报
【发表日期】
：
2004年期
其他文献
场景一:“电梯电梯,别关门!”希希和外婆准备下楼,下楼的电梯按钮已按。外婆突然想起厨房里有垃圾要带下去,转身回屋去拿。电梯到了,门开了,希希一脚跨进去,回头喊道:“外婆,
根据多年研制多层并联空心电抗器的经验，提出优化设计多层并联空心电抗器的判据，并在理论上进行了严格的证明。用这种优化设计的判据可以设计出质优、价廉的多层并联空心电抗器
以X2类MKP型金属化聚丙烯薄膜电容器为例分析了影响该类电容器tgd 的主要因素。指出薄膜的方阻大小、芯子的错边、喷金粒子的大小、喷金前芯子端面上的灰尘是导致电容器芯子
通过一定的等效原则 ,将结构的二阶效应转化为结构的负刚度 ,并通过合成法将框架 -支撑体系等效为一根剪切型悬臂柱和弯曲型悬臂柱的并联等效模型。使用该等效刚度并联模型只
A novel superacid catalyst, SO-4+{2-}/Zr|ZSM|11, was prepared by sulfation of the Zr|ZSM|11 zeolite, which was synthesized from silica|zrconium|TBAOH|H-2O syste
本文讨论了受激布里渊散射的阈值效应对后向受激散射光(泵浦光的相位共轭波)线宽、发散角、脉宽、能量集中度的影响,利用其阈值效应可以获得一个面积尽量小的共轭光斑.
实现矿井人员运输机械化是提高生产率的重要环节。针对因井筒条件或提升设备限制难以采用机械运人的矿井尤其是大倾角斜井，设计了井筒运人索道系统并应用到矿井中。给出了计算
通过分析电子文献传递服务提供者的类型、现状、发展特性等 ,探讨图书馆对电子文献传递服务的选择策略。
By analyzing the types, status quo and development characteris
建立了以地下水为热源的热电热泵系统的数学模型 ,并根据热电材料的技术性能对该系统作了计算机模拟分析 ,比较计算结果与进水温度和流量相同的传统地下水源热泵系统发现 ,热