伯努利气动综合实验台的设计与研究

伯努利方程、连续性方程是流体动力学的两个基本定律,它们的验证过程是重要的实验内容。本文详细阐述了伯努利气动综合实验台的设计过程,给出了伯努利方程和连续性方程的验证方法。这种实验台采用了楔形木块改变截面积和小车式测压系统测试压力的方法,具有简单易操作的特点。     

文丘里管射流装置的结构及工作原理

运用文丘里管改进现有的射流装置，设计出新型的文丘里管射流装置。阐释了其理论模型，并根据实验得出了经验数据。对新型射流装置的技术方案的合理性进行了验证。     

水力学伯努利方程实验仿真研究

伯努利方程是水力学中最重要且常用的方程之一,它描述了恒定流时流体运动中各种能量之间的相互转换关系和规律.伯努利方程实验是学习和掌握该方程物理意义不可缺少的手段.通过总水头线和测压管水头线可以清晰地表现出水流运动中的各种能量转换关系,用计算机编程进行仿真可以直观方便地再现主要实验现象.程序设计为可视化窗口界面,以命令按钮...     

硬币起飞试验的感想--流体力学现象的研究

论文首先研究了有关流体力学的硬币起飞实验，通过观察实验现象总结出实验原理，此实验原理是伯努利原理及伯努利方程。并且可以通过伯努利方程计算出当要使硬币起飞时最小的空气速度，接着用伯努利原理揭示了一些生活中的发明和现象。     

可编程顶点处理器FPGA验证平台的设计与实现

为了对一个面向移动设备的可编程顶点处理器进行功能验证和性能评估,设计了一个基于片上可编程系统(system on programmable chip,SoPC)的FPGA验证平台.在该平台上,采用软硬件协同验证的方法,成功地运行了多个顶点处理器程序.实验结果表明,该平台可以有效地验证可编程顶点处理器的功能,而且适用于3D图形处理器中其他模块的FPGA验证.     

流体力学方程组人为解应用研究

流体力学方程求解的应用程序已成为众多重大工程理论研究与设计的重要工具,其应用程序的正确性验证已成为研究的重要问题.人为解验证技术是基于偏微分方程建模与模拟、很难解析求解的复杂工程应用程序正确性验证的重要手段.文章对流体力学方程组人为解构造方法及在应用程序正确性验证方面的研究进行了综述总结.利用李群约化理论得到流体力学方程几类精确解,给出了人为解构造的准则及流程,三维理想流体力学方程组的人为解,二维平面、柱坐标系下流体方程组的人为解及在欧氏应用程序验证中的应用,流体力学拉氏方程组人为解及在拉氏应用程序验证中的应用.     

伯努利方程教学新尝试

本文介绍了伯努利方程教学的新思路,阐述了采用不同的教学切入点和方法会取得不同的教学效果.     

基于符号执行的格式化字符串漏洞自动验证方法研究

格式化字符串漏洞是一种常见的危害较大的软件漏洞.现有格式化字符串漏洞自动验证系统未充分考虑参数存储位置位于栈以外空间的情况,造成对该部分漏洞可利用性的误判.针对该问题,论文设计实现了一种基于符号执行的格式化字符串漏洞自动验证方法,首先根据参数符号信息检测当前格式化字符串函数漏洞,然后分别构建参数存储于不同内存空间情况下的漏洞验证符号约束,最后利用约束求解自动得到漏洞验证代码,实现了格式化字符串漏洞的自动验证.在Linux系统下对不同类型测试程序进行了实验,验证了方法的有效性.     

验证功能原理的实验方法

介绍了在气轨上验证功能原理的一种实验方法,从而使功能原理得到进一步的验证.     

淹没水射流士层扩孔方程

运用水射流理论与土力学理论,建立了水射流土层扩孔方程.基于室内模拟实验,研究了射流参数与扩孔效果的关系,并验证了水射流土层扩孔方程的正确性.结果表明,增大射流流量比增大其压力对扩孔效果的提高更有效,实验参数βs主要与扩孔时钻杆的运动有关.     

EDA实现仿真电路验证与实验

论述了现代教育技术仿真实验如何应用在电工、电子电路教学上,对电路的一些物理现象给予验证,使多媒体教学真正实现教学、验证、实验一体化,达到更好的教学效果.     

抛体运动实验方案改进及其设备设计

从抛体运动的类型、分析方法入手,结合实验需要,对各种实验方案进行改进,并且自主设计了一种抛体运动器,不仅能做各种类型的抛体以及自由落体运动,还能做各种抛体的比较验证实验.整个设计操作简便、直观、准确,对抛体运动的教学有很大帮助.     

基于结构的人脸验证

本文提出了一种基于结构的人脸验证方法,并以通过双眉双眼间恒定的几何结构来验证人脸为例讲解了该方法的使用,实验证明该方法增强了验证的灵活性和准确性,突破了正面人脸的限制.     

基于动态布隆过滤器的云存储数据持有性验证方法

针对现有云存储数据持有性验证方法验证效率低的问题,提出一种基于动态布隆过滤器的云存储数据持有性验证方法.首先使用同态哈希函数对云存储数据进行处理,简化客户端计算量;然后第三方验证平台使用数据块标签构造动态布隆过滤器,支持云存储数据的全动态操作;最后通过随机验证路径生成持有证据,增强云存储数据持有性验证的安全性.实验结果表明该方法可有效减少证明计算开销,提高了验证安全性和验证效率.     

定量分析化学实验中的教与学

表述了如何摆正定量分析化学实验中验证性经典实验与设计性实验的关系.利用验证性经典实验为培养学生手、眼、脑并用能力打下基础;利用设计性实验培养学生探究、质疑、分析、解决问题的能力与逆向、发散思维.     

广义相对论预言及其实验验证研究

广义相对论是理论物理学的重要研究内容。爱因斯坦在建立广义相对论的过程中提出了一些重要的预言,这些预言的实验验证成为广义相对论有力的实验证据。通过对广义相对论的五个典型预言及其验证实验的阐述,展示了广义相对论预言的提出及被天文观测实验验证的过程。     

基于SystemVerilog的SoC功能验证方法研究

SoC功能复杂度不断提高,结合了最新验证语言SystemVerilog的断言、随机约束、功能覆盖率等特点以及Verification Methodology Manual(VMM)验证架构,对SoC验证的各阶段进行了改进.模块验证阶段灵活应用了形式验证和动态仿真验证;集成验证阶段依据可重性的思想搭建验证环境、采用迭代开发的思想提前了集成验证启动时间;系统验证阶段采取了软硬件协同验证;同时利用随机约束技术开发验证向量,利用功能覆盖率技术评价随机约束向量对功能的覆盖.通过这些改进措施达到了提SoC功能验证效率的目的.     

一种16位CPUIP核的功能验证方法

分析了IP核设计过程中功能验证的重要性,研究了CIU96B IP核设计,在此基础上提出了一个相应的验证平台设计,仿真显示该验证平台结构的实现了对该IP核的验证,有效地促进了该IP核的设计.     

伯努利方程的解法探讨

针对部分学生学习常微分方程难的特点,以伯努利方程为例,分别给出了伯努利方程在变量分离法、常数变易法、积分因子法、变量替换法下的通解公式和求解条件,并且通过实例验证了上述解法的实用性和高效性。     

旋转磁流体分选法中的伯努利方程研究

立足于旋转磁流体的非磁性矿物分选法,从磁流体微元体模型受力状态出发,对旋转磁流体运动状态进行了分析,以流体力学、铁磁流体力学、离心力学等理论基础为手段,建立旋转磁流体伯努利方程,为旋转磁流体分选法的理论完善和工业应用提供支持.