中央高校基本科研业务费专项资金(CHD2010JC101)
- 作品数：4 被引量：3H指数：1
- 相关作者：王维琼郑秋亚申尊焕肖国镇刘三阳更多>>
- 相关机构：长安大学西安电子科技大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金中国航空科学基金更多>>
- 相关领域：电子电信航空宇航科学技术自动化与计算机技术更多>>
- 三种湍流模型在跨声速绕流中的计算精度分析被引量：1
- 2011年
- 通过求解雷诺平均Navier-Stokes方程考察Spalart-Allmaras、Wilcox’s k-ω和Menter’s SST三种湍流模型在跨声速流动中的计算精度。结果表明:Menter’s SST模型预测的力和力矩最接近实验数据;Spalart-Allmaras模型的压力分布和激波位置与Menter’s SST模型的一致,Wilcox’s k-ω模型的激波位置相对偏后,且预测的升力和摩擦阻力偏大。
- 郑秋亚左大海刘三阳
- 关键词：NAVIERSTOKES方程跨声速流动湍流模型
- Plateaued函数的对偶性被引量：1
- 2013年
- 研究了Plateaued函数的对偶性;基于Plateaued函数对偶性的定义及函数限制的理论,得到了Plateaued函数与其对偶函数在子空间上的限制及正规性上的对应关系;利用Plateaued的对偶这一工具,得到了两个Plateaued函数的互相关平方和指标的界。
- 王维琼肖国镇
- 关键词：PLATEAUED函数对偶BENT函数
- 高次非正规布尔函数的存在性
- 2013年
- 基于布尔函数代数正规型及正规性的定义和性质,通过计数的方法,研究了非正规且具有较高代数次数的布尔函数的存在性。结论表明,随着变元个数的不断增大,高次非正规布尔函数在整个函数空间中的比率越来越大,当变元个数趋于无穷时比率趋近于1。该结论为对称密码中密码函数的选取提供了支持。特别地,指出了四次非正规布尔函数变元个数的下界。
- 王维琼
- 关键词：非正规代数次数布尔函数
- 可拆分恒速机排序问题的一个近似算法被引量：1
- 2011年
- 为缩短工件的完工时间,研究目标为极小化最大完工时间的可拆分恒速机排序问题。在这个问题中,对工件拆分方式进行了限制,要求尽量少拆分工件,且拆分后子工件长度不小于给定阀值。该问题是NP难的。借助LPT算法的思想,提出了一个近似算法。多个实例的数值结果表明,本文算法可行、性能良好,能获得好的近似最优解。
- 郑秋亚申尊焕王维琼
- 关键词：完工时间排序拆分
