搜索筛选:
搜索耗时1.2339秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[会议论文] 作者:何青,骆翔宇,苏开乐,
来源:2006年全国理论计算机科学学术年会 年份:2006
本文对对弈必胜策略的符号化模型检测进行了研究。文章围绕符号化模型检测、必胜策略的形式化验证方法及实例分析进行了论述。...
[会议论文] 作者:骆翔宇,李文芳,曾令可,金雪莉,
来源:第五届全国特种玻璃会议 年份:2010
用流阻法和显微分析法定量表征材料的孔隙状况,研究以陶粒为主要骨料的多孔吸声材料在不同有效孔隙率和中值孔径下的吸声性能.结果表明陶粒吸声材料的NRC随着流阻的增加先增...
[会议论文] 作者:骆翔宇,李文芳,金雪莉,曾令可,
来源:第五届全国特种玻璃会议 年份:2010
用流阻法和显微分析法定量表征材料的孔隙状况,研究以陶粒为主要骨料的多孔吸声材料在不同有效孔隙率和中值孔径下的吸声性能.结果表明陶粒吸声材料的NRC随着流阻的增加先增后减,当流阻为1 144.07 Pa·m3,材料吸声性能达到最佳;材料的中值孔径在0.71~1.44mm这一......
相关搜索: