模型验证论文

论文摘要作为一种可永久续用的清洁能源,风能得到了越来越多的重视,然而由于风速的不可控性且难以准确预测,风力发电具有很强的随机性,风电场出口母线降低到一定程度时发电机会表现出与稳...

论文摘要近30年来,商业银行特别是中小商业银行正面临日趋复杂的风险环境,2006年新巴塞尔资本协议的正式实施,在信用风险量化上着重强调内部评级法,以完善商业银行风险控制。对于中...

论文摘要系统仿真活动是围绕着仿真模型进行的,因此在适应用户应用目的的前提下,仿真模型的质量会在极大程度上影响人们对于真实对象行为特性的判断和对仿真结果可用性的信心。模型VV&A...

论文摘要研究背景人工颈椎间盘置换术的产生是由于其相对于前路椎间盘切除融合手术的生物力学优势,即保留手术节段的活动性而减少对临近节段的影响。以往关于人工颈椎间盘的生物力学研究大多...

论文摘要混杂系统的形式验证技术是利用数学分析方法对混杂系统的安全性进行验证。近十年来,模型验证技术是形式验证研究的主要方法。模型验证技术是指,利用计算机强大的计算功能自动地对混...

论文摘要葡北油田78-54块葡I油组发育三角洲内前缘水下分流河道成因砂体,砂体窄而薄,造成砂体井控程度低,单层钻遇率仅在30%-40%左右,凭借目前地球物理技术和开发井网难以实...

论文摘要水土流失携带的氮磷元素是导致受纳水体(如湖泊、河流等)发生富营养化的重要原因。在侵蚀性降雨冲刷作用下,表层土壤中吸附态氮磷流失量增加,导致土地贫瘠化和地表水环境的富营化...

论文摘要半主动控制是目前性价比较高、具有工程应用前景的一种结构控制方法,其应用越来越广泛。作为磁流变半主动控制技术的核心,磁流变（MR）阻尼器具有明显的非线性滞回特性。因此,建...

论文摘要统一建模语言(UnifiedModelingLanguage,UML)作为面向对象的分析与设计方法的代表,已经获得了广泛的关注和研究,并在多个领域中有成功的应用。然而,...

论文摘要随着Internet重要性的不断增长,软件产品对于安全性的需求也越来越高。安全软件工程对构建安全的软件给出了一些方法和规范,需要搭建一个可扩展的安全软件集成开发环境,对...

论文摘要本文研究太阳能-土壤源热泵系统的优化,该系统主要由四部分组成:太阳能集热系统、热泵机组、U型管土壤换热系统、地板辐射供暖供冷系统。本文最主要的工作是建立整个系统的数学模...

论文摘要车辆排队、消散、超车等过程往往伴随有车道变换行为。在高峰时段,车道变换行为会引发交通拥堵,严重时将导致交通事故。特别是我国存在相当一部分驾驶员漠视交通法规,在驾驶车辆的...

论文摘要会话初始化协议（SIP）是由IETF提出的信令协议,近年来发展成为下一代网络（NGN）和3G中的核心协议之一。本文研究的内容是SIP的安全性问题。文中首先对SIP进行了...

论文摘要非点源污染指溶解性或固体污染物在大面积降水和径流冲刷作用下汇入受纳水体而引起的水体污染。本论文的主要工作是选取渭河华县断面以上流域进行了非点源污染模拟计算,分析了渭河流...

论文摘要在面向服务的架构中,如何根据系统资源环境的变化以及构件的功能和实时性等QoS属性动态组合已有的功能构件以满足应用需求,成为当前此领域的一个研究热点。由于采用非形式化（自...

论文摘要森林是主要的陆地碳库。准确评估森林碳储量和碳平衡是估算未来大气CO2浓度,预测气候变化及其对陆地生态系统影响的关键。切实评估不同类型植被和土壤的碳储存能力,制定合理政策...

论文摘要流程工业企业的综合自动化对企业模型提出了多层次的需求,传统的企业建模方法难以满足企业层次化管理和优化控制的要求。现有的多分辨率建模方法存在模型形式化、模型校验、建模成木...

论文摘要随着计算机技术和网络技术的发展，移动计算与实时计算已经成为计算机科学领域的两个研究热点，受到越来越多的关注。不同领域的学者对这一问题的研究有不同的方法。形式化方法作为研...

论文摘要面向服务的计算技术所支持的标准化、松耦合的集成方式为实现最终业务用户主动参与应用构造提供了可能。然而在动态、开放的计算环境下,服务资源具有高度的自治性和不可预知性,使得...

论文摘要公理化设计作为一种科学的产品设计方法,在欧美日等国家受到高度重视并得到了迅速发展,于2000年6月在剑桥召开了第一届公理化设计国际研讨会。尽管,国内外学者在该领域做了大...