基于仿真模型的止回阀特性及异响分析

以轨道车辆制动系统用止回阀为对象,研究其在运用过程中发生异响的原因。首先采用Amesim仿真软件建立了止回阀仿真模型,通过对比仿真与实物试验的静态特性及动态特性指标,验证了仿真模型的有效性,在此基础上根据止回阀结构原理分析了异响原因。研究了不同环境参数对止回阀动态特性的影响,通过参数化方法探讨了不同结构参数对止回阀阀芯动态特性的影响,得到了影响动态特性的主要结构因素,提出了消除止回阀异响的优化方法,并结合实物试验验证了优化方法的有效性。

低纬高原地区MM5v3不同参数化方案降水模拟试验

为了进一步了解MM5模式在低纬高原降水预报性能，利用MM5模式中的3个物理过程组合了7个不同的参数化试验方案，对低纬高原地区2005年主汛期进行了降水数值试验。结果表明：第三重嵌套网格中的Grell积云参数化、Goddard显式水汽和Cloud（或RRTM）辐射过程组合的试验方案对降水预报效果较好，特别是对大雨和暴雨预报有明显的改善；在将试验结果插值到测站点时，不同扫描半径对插值结果有一定影响，相对而言，20～30km扫描半径插值结果较为理想。

多线程Java程序安全行为模型的静态检查方法

多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持.

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。

参数化设计软件中板的局部稳定性校核

介绍一种批量校核板的局部稳定性的方法。通过该方法在抓斗卸船机参数化设计软件中的应用以及与国外成功算例对比,验证了该计算方法的正确性与实用性。

基于UG的汽车管路检具参数化设计系统的开发与应用

基于Unigraphics NX5.0,以Visual C++6.0与UG/OPEN API为开发工具,利用参数化设计方法开发了适用于汽车管路的检具设计系统。相对原设计方法,利用该系统设计汽车管路检具,操作更简便、可靠,设计效率更高,弥补了通用三维CAD软件不具备专用检具设计模块的缺陷。

乘用车外视野校核方法与参数化设计

针对整车开发过程中布置与造型相互冲突、反复修改的问题,提出了在车型开发概念设计阶段利用CATIA软件,采用正向与逆向两种思路对外后视镜视野进行分析校核与参数化设计的方法。研究结果表明:在整车开发概念设计阶段,使用正向与逆向相结合的设计校核方法能够为整车开发提供相应的设计布置参考依据,缩短造型设计时间,解决布置与造型间的相互冲突,可有效避免后期的反复修改,提高了设计效率。

面向参数化系统验证的自动抽象方法

针对参数化系统验证面临的状态空间爆炸问题,提出自动抽象方法化简参数化系统状态空间.首先进行Y-抽象建立单进程有限状态机模型,然后通过对多个Y-抽象模型的合成运算得到异步合成的参数化系统,最后根据定义的谓词对参数化系统进行X-抽象得到二维抽象模型.运用该方法,对基于Synapse N+1,Illinois,MESI,MOESI,Berkeley,Firefly和Dragon的7个参数化协议和注入错误的MESI协议进行自动化抽象建模,并验证了相关性质,有效地提升了验证参数化系统的能力、缩短了验证时间;应用文中方法验证FT-1000CPU的一致性协议的结果表明,该方法在降低验证复杂度方面具有明显优势.

基于知识工程在汽车后视野校核中的应用

提出了一种基于知识工程在汽车后视野校核中应用的校核方法,这种校核方法通过为产品建立一个产品知识库来完成各种车型的后视野校核,并能够依据法规自动判定该后视镜是否合格,方便地将设计原理、规范、准则等设计依据融入到CAD设计中,并可以根据参数化进行实时的修改、调整镜面以及校核结果的自动更新,提高校核效率,确保校核结果的准确性。结合某车型的后视镜为校核实例,通过知识工程进行了校核验证。

RCC高速缓存一致性协议的带参验证

Godson-T众核处理器的RCC高速缓存一致性协议是一种非常有特色的带参并发系统,对此协议的带参验证是一个很大的挑战.Cubicle是最近出现的基于SMT求解器的带参模型检测工具.我们使用了Cubicle带参模型检测工具,成功对RCC协议进行了建模和验证.实验结果表明,RCC协议在结点个数为任意规模时均满足协议的各种安全性质.

BIM技术在工业建筑电气设计中的应用

剖析R evit软件电气系统的优缺点,分析电气族的建立和参数化,以某工程热轧机组项目的B IM电气设计为例,从协同方式、设计流程、施工图绘制等多个方面交流探讨B IM电气设计的成果。

使用会话期上下文检查的RBAC模型:RBAC-CCS

在大型信息系统的设计中,访问控制一直是一项复杂的工作。基于角色的访问控制(RBAC)被推荐来代替传统的访问控制模型。应用到信息系统中时,需要解决RBAC的控制粒度问题。我们需要一个能够基于上下文进行细粒度访问控制的RBAC模型,即基于对象实例上下文上的访问控制。对现有的解决方案进行综述和比较,提出了使用会话期上下文检查的RBAC模型:RBAC-CCS。RBAC-CCS中用了参数化权限,在权限检查时用上下文变量实例化这些参数化权限,这样就解决了上下文的表示和上下文作用机制问题。最后对RBAC-CCS模型进行了实现,阐述了其中的关键算法并进行了应用。

基于带参系统Murphi模型的SMV自动建模

提出了一种基于带参系统的Murphi模型来完成对应的SMV自动化建模的方法.因为Murphi工具拥有带参特性,因此使用其对带参系统进行建模比较容易,而且得到的模型代码量比较少,易于阅读、理解和修改;而SMV模型则能实现更丰富的控制,如进行快速不变式检查和限界模型检测等,但是建模过程复杂,模型不易维护.我们通过对两者进行分析,首先提出了能够很好描述带参系统的一个语义模型,然后读入相应的Murphi模型并进行分析以获取其语义模型表示,最后再通过一系列的策略自动得到限定参数时的SMV模型,由此得到的模型能够满足实际科研工作的应用要求.

基于CATIA的型架参数化刚度校核方法

型架是飞机装配过程中的重要工装,刚度校核是其设计过程中必不可少的重要环节。通过简化刚度校核过程中的模型建立、参数设置与骨架重构,从而从大量备选参数中快速选取最优参数对型架设计具有重要意义。基于线框化模型建立方法,利用CATIA平台,将参数化技术与有限元分析仿真相结合,提出了一种参数化的刚度校核方法,通过算例验证此方法在保证刚度校核准确度的前提下缩短了校核时间,降低了重复工作量,提高了型架设计的工作效率。