分流式YSC178A型液动锤性能参数CFD计算

射流式液动锤射流元件受泥浆冲蚀易过早失效,故油气钻井用YSC178A型液动锤设计了内部分流结构以降低射流元件内流速,以提高射流元件寿命。针对内分流结构设计,应用CFD动态分析技术,对分流式YSC178A型射流式液动锤性能参数进行了数值模拟计算,并进行了实验验证。结果表明：CFD分析结果与实测结果吻合较好,计算精度可以满足工程设计需要,解决了此前在设计阶段无法计算分流条件下液动锤性能参数的问题,可为内分流式油气钻井用射流式液动锤的优化设计提供参考。     

科学计算程序的验证和确认

针对科学计算中工程应用程序的研制和预测能力的评估,基于应用程序研制的过程与软件开发的生命周期,提出了一种科学计算程序验证与确认(VV)模型.论述了物理建模、数值模拟与科学计算程序验证与确认的关系,以及科学计算程序验证与确认的方法,为科学计算程序验证与确认提供一种置信度评估方法.     

基于高维空间映射失配补偿方法的说话人确认

针对电话手机语音的文本无关说话人确认中,训练集语音和测试集语音来自不同信道所产生失配而导致系统性能下降的问题,采用一种基于高维空间映射的方法对系统进行补偿.在分析了已有的说话人确认系统的基础上,提出了一种基于特征参数映射支持向量机模型(PSVM)的说话人确认系统.首先用大量已知信道类型的语音训练出信道空间及映射矩阵,然后训练语音和测试语音都通过映射,消除因信道不同而导致的失配影响.在NIST数据库上的实验结果表明,这种方法弥补了训练语音和测试语音的失配,说话人确认系统的性能有了明显的提高.     

玉米高产产量形成特征及其验证

 分析中国玉米高产田(≧15000kg/hm²)的典型特征、内在规律,提出产量突破的途径与关键技术,并进行高产验证。结果表明,35°N～44°N可作为中国玉米高产带。收获穗数是产量构成因素中影响和决定产量的首要因素,按80%置信限计算,在目前生产水平下,产量实现15000kg/hm²的理想结构模式为:种植密度70755～101250株/hm²,穗数7.01×10⁴～10.09×10⁴穗/hm²,穗粒数453～642粒,千粒重323.0～414.9g,单穗粒重162.5～236.2g;高产田单株生产力以穗粒重200g左右的中穗型为主。选择耐密植、中晚熟品种,增密种植,保障水肥供应,精细管理,适时晚收,创建一个高质量群体,增加花后物质生产量和转移率,充分挖掘当地光热资源是当前中国玉米高产突破的主要途径。     

基于疲劳强度分布的复合材料疲劳验证载荷放大系数

传统的载荷放大系数(LFE)法是在复合材料静强度和疲劳寿命的Weibull分布基础上推导得出的。为了保证复合材料疲劳试验验证的可靠性和疲劳载荷放大系数的分散性较小,利用疲劳可靠性理论,提出一种基于复合材料疲劳强度和疲劳寿命Weibull分布的载荷系数法——疲劳强度载荷放大系数(FLEF)法。将LEF和FLEF方法应用于疲劳试验数据分析,结果表明:在无批量数据的前提下,采用LEF法获得的疲劳载荷放大系数无法保证复合材料疲劳试验验证的可靠性,FLEF法确定的载荷系数具有更小的分散性,更高的可靠性。可见,与LEF法相比,FLEF法在理论和实践上更适合复合材料疲劳试验载荷放大系数的确定。     

在线签名认证的数据采集系统设计

在线动态签名认证由于其安全性和方便性,广泛适用于银行金融系统以及个人身份识别等.作为在线签名笔迹的数据采集,对后续认证的准确性显得尤为重要.利用STM32F103C8、触摸屏、触摸屏控制器TSC2046和SD卡,实现了对在线笔迹包括压力在内的3维数据采集以及存储.实验结果表明,设计的在线签名数据采集系统精度高,稳定可靠,抗干扰能力强,具有很好的认证效果.     

C4ISR系统能力需求行为建模及验证

针对C⁴ISR系统需求分析行为建模中,统一建模语言（unified modeling language, UML)的行为模型验证困难问题,提出了一种C⁴ISR系统能力需求行为建模及验证方法。从构建C⁴ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL-DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。     

铁水调度仿真系统的设计与实现

现代钢铁企业中,铁水物流过程工艺复杂、设备众多,对铁水调度进行研究具有重要的理论意义及实际应用价值。在对铁水物流过程及铁水调度问题进行描述的基础上,提出了铁水调度的仿真策略,开发了基于可视化的图形化编辑器平台的铁水调度仿真系统,介绍了仿真系统的总体框架,应用离散事件仿真方法对铁水物流过程进行了仿真,并对扰动事件的模拟与识别模型、扰动的动态调整方法进行了研究。描述了仿真系统的软件结构及功能。应用国内某大型钢铁企业生产现场的实际数据进行了仿真实验。仿真结果表明了所开发的铁水调度仿真系统的有效性,为深入研究铁水调度的智能优化算法提供了可视化的仿真实验平台,并为进一步在实际生产中应用奠定了基础。     

车辆自主决策安全性验证方法

针对传统算法在车辆自主决策安全性验证中置信水平较低、验证结果不完备的问题,基于形式化的可达性方法分析车辆自主决策行为状态的可行性,并给出车辆自主决策的行为状态完备性集合。采用有向凸多面体算法对自主车辆非线性混合系统进行保守线性化处理,再利用迭代原理和Zonotope近似方法计算可达集。变道避碰的仿真实验表明,在初始状态集和传感器噪声边界条件下,自主车辆位置可达集和速度可达集给出了高置信水平的安全保证。     

基于web的高校毕业资格审核系统设计与实现

系统以Visual studio2008为开发工具,采用SQL Server 2000数据库、B/S架构,实现了高校毕业资格审核过程中不同单位之间的数据流通,节省人力、提高毕业资格审核速度与效率。