摘要：为了提高芯片设计中功能验证环节的效率,提出了一种对系统的功能特性归类划分、自动选择适合的验证技术的协同验证方法,构建了多种验证技术之间无缝协作的平台。该协同验证方法所依据的策略是:特定的功能特性采用特定的验证技术更有效。因此,利用不同验证技术的互补验证能力,可提高验证效率。协同验证平台的实现是基于从控制数据流图得到的细化模型,该细化模型采用了包括特性分组、变量重排、结构细化等模型优化技术,以提高验证速度。根据在ITC99上的验证,证明了该协同验证方法的有效性和实用性。

摘要：本文研究了CPR1000核电厂反应堆保护系统的总体结构，对其纵深防御功能进行了分析。在此基础上介绍了软件共因故障及 AP1000核电厂的应对技术——多样性驱动系统（DAS）。并对基于CPR1000核电厂的DAS基本功能需求和仿真模拟的实现方法进行了研究。以安全壳内主给水系统管道破裂事故瞬态为例，对发生反应堆保护系统共因实效情况下DAS功能的验证、分析过程进行了阐述，证实其功能设置能有效将机组带入安全状态，缓解事故后果。

摘要：将文章Ⅰ建立的平面无结构、垂向σ坐标网格上的三维自由水面水沙数学模型与几个类似模型进行了比较,并从水流、泥沙两个方面对模型进行了验证。借助天然感潮河道水流运动实测资料对水流模型进行了测试,采用净冲刷实验、梯形断面丁坝局部冲刷实验资料和天然潮沟冲刷现场观测资料对泥沙模型进行了验证,计算结果与解析解、实验资料和天然观测资料符合良好,表明本文模型能较准确地模拟实验水槽及天然河流中的水沙运动。

摘要：基于SystemC的嵌入式系统描述 ,提出了一种全新的自动化验证方法 .该方法采用面向方面编程技术、分离和封装测试代码 ,结合自动化测试框架 ,完成对系统的自动化验证 .此验证方法对被测系统无扰动 ,能适应测试要求的灵活变化 ,对嵌入式系统模型可自动、重复地测试 ,能够满足系统级模型快速验证和评估的要求 .

摘要：本文介绍了一套汽液相平衡(VLE)实验系统的设计、搭建和验证工作。该实验系统具有测试温区大(140 K<T<300 K),压力范围广(0<P<7 MPa),精度高等优点,并对C2H6+C3H8的二元混合物以及C3H8的饱和蒸汽压进行了实验,对比参考文献提供的数据,具有很高的精度。

摘要：为研究长江口深水航道整治工程实施过程中的若干技术问题，交通部在上海建造一座长江口大型潮汐模型，以长江口外开敞海区的旋转流为主要特点，使相关水域的潮汐流场达到与原型相似。

摘要：针对目前在颈部损伤机理的研究中尚未有适合中国人体型特点的全颈椎有限元模型的情况,采用CT技术获取中国50百分位人体颈椎数据,并以此建立了全颈椎有限元模型.模型采用映射网格划分方法对松质骨、椎间盘和韧带等结构进行了划分,利用现有的颈椎材料参数进行比例和功能缩放来定义稀缺的材料参数.整个模型共有22 512个实体单元,14 180个壳/膜单元,模型解剖结构描述细致、准确.最后通过颈椎离体坠落试验对模型的有效性进行验证,验证结果表明,该模型具有良好的生物逼真度,可应用于研究国人颈椎在汽车碰撞事故中的动态响应和损伤机理.

摘要：数字化报警规程作为核电厂的一类重要运行规程,将在数字化仪控技术系统(DCS)中安装使用。当核电厂工艺参数偏离运行范围、设备状态与当前运行状态不符、设备发生故障、系统设备无法操作时触发报警,以避免机组状态进一步恶化。基于在建核电厂数字化报警规程在模拟机上的验证经验、工作流程和验证结果,提出数字化报警规程验证的基本工作方法。基于此方法,能确保报警规程编写和数字化报警规程设计的正确性,从而满足核电厂安全运行的要求。

摘要：介绍了 3种静气弹发散方法 (柔度法、模态法、颤振法 ) ,并对这 3种方法的一致性从理论上进行了分析和证明。使用这 3种方法对 5个平板机翼模型的发散速度进行了计算 ,其实际发散速度也从低速风洞试验中获得。通过对比计算结果和各模型风洞试验结果 ,进一步验证了这 3种方法的一致性。另外 ,还提出了在模态法和颤振法中基于发散特征向量的结构模态选取原则。

摘要：黄翔鹏先生的"(甫页)—曾体系"之说,是当今学术界公认的、对曾侯乙编钟十二音生成形态的权威解读,并作为一项被其揭示的先秦音乐重要成就,在众多的辞书、教材以及专著、论文中得到传播与应用。但通过来自编钟三个不同方面的事实显示,以及它们之间的相互印证,本文最终确认——该说并不是一种对周人所设计的、曾侯乙编钟十二音生成形态规律的历史发现,它仅仅是一个由线索触发灵感而产生的、属于主观意识的"大胆假设",在曾侯乙编钟上,没有任何真实证据能够证明其存在。