摘要：对克孜加尔水利枢纽导流(兼泄洪)洞泄流能力进行水工模型试验,验证了导流洞进水口、洞身段、出口段、消力池等各段体形设计的合理性。试验测得洞身段流速为23.07～27.86m/s,有可能产生空蚀破坏,建议在施工过程中过水表面的最大允许突起或跌落高度控制在10mm以下,对最大允许高度范围内所有的面平整体一律进行缓坡处理,并采用抗磨、耐久性强的混凝土衬砌。

摘要：在模糊模型检测时,如果模糊Kripke结构不满足性质规约,模型检测工具会给出模型中违反性质规约的反例,这往往需要设计人员手工修复,会导致效率低下,因此如何对模糊Kripke结构进行自动修复具有极大的研究意义。由此,提出一个基于模糊tableaux方法的子模型修复算法,从而将经典的模型修复算法提升到模糊系统中,使得模糊Kripke结构能够自动修复。通过一个医疗诊断的例子来阐述该算法在实际中的价值。