基于统一状态参数模型的砂中柱孔扩张分析

目前关于不同初始状态砂土砂中柱孔扩张的研究结果还缺乏更深层次的分析,并且由于没有考虑砂土屈服面形状因素的影响,造成许多研究成果难以在不同类型砂土中推广。采用统一状态参数模型(clay and sand model,CASM)和Rowe剪胀方程来描述砂的弹塑性变形特点,结合大变形理论并引入辅助变量,推导了基于拉格朗日描述的弹塑性区内砂土体积和有效应力的一阶偏微分方程组,在此基础上结合弹塑性区的边界条件和柱孔扩张弹性解,建立了饱和砂中的排水柱孔扩张半解析解。结果表明,CASM可以通过改变应力状态参数n和间距比r*的值使砂的屈服面形状发生改变,进而使文中解答能够用于不同类型饱和砂中的排水柱孔扩张计算,其中n、r*值越大,松砂初次屈服时的偏应力和后续砂中的扩孔压力越大,但中密、密实砂土中的情况与松砂完全相反。极限扩孔压力随砂土初始状态参数的减小而增大,相应的砂土体积也从一直剪缩变为先剪胀后剪缩,弹塑性区半径先减小后增大,硬化行为从一直硬化变为先软化后硬化。静止侧压力系数增大时,极限扩孔压力也增大,但对砂的体积变化规律影响不大。本研究可为相关岩土工程问题分析提供可靠理论支持。

统一状态方程描述同位素气体(英文)

通过对分子动力学模拟公式和同位素相互作用势特点的分析 ,提出用一个统一的状态方程描述同位素气体的P V T特性。进而选用Benedict Webb Rubin方程作为统一的状态方程 ,利用H2 气体的 135组实验值确定其八个参数。这个方程的计算结果与H2 和D2 气体的实验值符合良好。T2 气体目前尚未见到成套的P V T实验数据报道 ,不能直接与实验结果对比 ,但与T2

统一建模语言状态图的Petri网模型及其分析方法

针对现有关于统一建模语言状态图形式化语义研究过程中存在的缺点,给出一种统一建模语言状态图的形式化语法表示方法,结合统一网、着色网定义了描述统一建模语言状态图动态语义的Petri网模型状态图网,状态图网可以准确描述状态图中的层间转移、转移的冲突和并发等现象,并且可以描述状态图转移上的数据处理和状态图之间的通讯机制,给出了从统一建模语言状态图到状态图网的转换规则,讨论了基于状态图网验证统一建模语言状态图正确性和一致性的方法。

统一建模语言状态图的测试用例生成方法

目前人们对统一建模语言状态图产生测试用例的研究仅建立在标准UML statecharts的基础之上,其并不适用于描述实时系统的时间扩展UML statecharts。作者在这里提出了一种时间扩展UML statecharts混合时间Petri网模型的构造方法。考虑到时间扩展UML staecharts具有时间描述、层次结构和并发结构,难以直接根据扩展UML statecharts产生测试用例,文中按照时间扩展UML statecharts的语义,论述了时间扩展UML satecharts的混合时间Petri网模型的构造方法、混合时间Petri网模型测试用例生成方法,最终实现对时间扩展UML statecharts的测试。

饱和土不排水柱孔扩张计算的通用半解析解

基于修正剑桥模型建立的不排水柱孔扩张解答仅适用于正常固结和弱超固结饱和黏土,不适用于严重超固结土和颗粒材料。采用统一状态参数模型(CASM)和Rowe剪胀方程推导土的弹塑性应力应变关系,结合大应变理论并引入辅助变量,用拉格朗日分析法推导了弹塑性土体有效应力和超孔隙水压力的相似解,在此基础上结合弹塑性区的边界条件,最终建立通用的饱和土中不排水柱孔扩张半解析解。计算结果表明,选择合适的间距比和应力-状态参数,所得结果与修正剑桥模型结果一致,并且对严重超固结土的计算结果更加合理;通过修正参数取值,该半解析解可用于更多类别饱和土中的不排水柱孔扩张计算。

基于形式化规格说明的UML状态图提取

为了辅助软件开发者理解形式化规格说明,提出一种从B方法规格说明中提取UML状态图的方法。通过分析状态信息在规格说明中的表现形式,定义一系列精确的简单状态、状态迁移、复合迁移、分层状态和状态图通信等提取规则。借助状态变量表和状态迁移表,最终实现状态元素和状态关系的提取,并以此构造完整的UML状态图。实验结果验证了方法的正确性及有效性。

基于动态描述逻辑的UML状态图形式化方法

统一建模语言(UML)状态图包括静态语义和动态语义。针对该特点,提出基于动态描述逻辑的UML状态图形式化方法,介绍动态描述逻辑DDL_SHOIN(D)的语法和语义,设计UML状态图的DDL_SHOIN(D)形式化方法,研究状态图动作推理问题。给出状态图状态可达性和动作包含关系的定义,并证明其正确性。

统一外包过程控制的方法与途径探讨

文章阐述了统一单机产品技术状态,明确单机产品责任人和组批外包方案,将研制任务书和产品数据包以及过程控制等产品保证要求同时提供给供方,为供方批量生产、一次就把工作做好提供基础。通过采用过程验证和现场验收相结合的方式对产品质量进行把关等方面,研究探讨对外包过程控制的方法和途径,以保证产品满足要求。

论过程和状态

过程观对辩证法的理解具有片面性，不能把辩证法贯彻到底。应当全面坚持辩证法，树立过程与状态对立统一观。从观念上来说，状态和过程是一对对立统一的范畴，它们与辩证法的普遍联系观点和发展观点相一致，统一于辩证唯物主义的运动学说。从客观上说，任何一种具体的运动都不仅表现为过程，而且同时表现为相应的状态，任何一种运动都是状态和过程的对立统一。应当突破教学过程观，建构教学过程与教学状态对立统一观。

n+2状态马尔可夫模型在三峡电站电气主接线可靠性计算中的应用

电站电气主接线可靠性评估中存在大量相关事件,运用统一n+2马尔可夫模型可避免传统的基于独立元件的可靠性模型在计算电站电气主接线可靠性时出现误差过大的不足,实现电站电气主接线的充裕性、安全性等评估。从可靠性的角度计算、比较和分析了三峡电站电气主接线10种待选方案在不同方面的优劣,并对选择的实施方案进行了综合分析和讨论。

一种基于状态的面向对象类测试策略

基于状态的类测试是面向对象测试技术的一个重要方面。一种新的基于状态的多角度的面向对象类测试策略,即融合UML Statecharts和EFSM这两个基于状态的模型,并引入Verification & Validation思想。

基于UML状态图和Qt状态机框架的IEC104规约的分析与实现

为了提高软件的可维护性和可扩展性,降低规约开发的复杂度,基于统一建模语言(UML)的状态图理论对IEC 60870-5-104规约主站端进行了分析。抽象定义了动作、事件和状态,利用UML状态图分层和并发特性设计了规约逻辑状态图,并使用Qt的自动机框架进行了软件实现。结果表明,设计出的状态图层次结构分明,逻辑关系清晰,各功能模块间相互独立,而且降低了耦合度,编程实现简单明了,体现了这种方法的优越性,对其他复杂通信规约的开发也具有一定的参考价值。

三峡电站电气主接线可靠性分析

运用统一n+2状态马尔可夫模型,选择三峡机组投产至2006年(三峡工程二期结束及三期初期)这一典型阶段为主要研究内容,对三峡左岸电站在不同运行方式和负荷水平下进行供电连续性、充裕性的计算分析,并对各个元件可靠性参数进行敏感度分析,分析发现:改变发电机和断路器的故障率对整个电站的可靠性有显著影响,由此提出改善当前电站机组及系统可靠性的指导性建议。

构建和谐医院的哲学思考

和谐医院是医院内外各种矛盾对立统一的平衡状态,其中人际关系的和谐是医院达到和谐状态的内因根据,而科学、人性化的管理和全面、协调的发展是促进医院达到和谐状态的外因条件。在构建和谐医院的实践中,要坚持以马克思主义的辨证唯物观为理论指导,以全面、均衡的发展为基石,以人性化管理为手段,从解决发展中的各种矛盾入手,通过全面、协调、可持续的科学发展和科学管理破解发展难题,化解复杂矛盾,努力促进和谐医院的建设进程。

浅谈合唱训练中“呼吸”的技能要点

合唱,是借着集体共同创造音响并达到统一活动动态的集体活动。在合唱训练中,呼吸尤为重要,这也是用来鉴定合唱团成员是否具有统一的发声活动状态的能力,从而使得合唱排练能达到理想的音响。