角色自律分散系统的RN-C形式化描述方法

旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础.角色随时空变化的动态表达取决于系统的自律度和环境条件.在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素.应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述.指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点.     

摩托车轮胎动平衡

首先我们来告诉大家摩托车轮胎为什么也要做动平衡。有些人认为轮毂是成批铸造或冲压出来的,轮胎是成批压模出来的,型号一样,岂不知世界上的东西很难有绝对的一致。车速70~80km/h时,问题不明显,当车速达到100km/h以上的时候,轮子不平衡的弊病就会马上暴露出来,许多朋友平时只对轮胎的花纹、磨损度、气压进行检查,但他们忽视了最重     

如何更换轮毂盖与轮胎

<正>无论汽车多么先进,最终还是要靠轮胎将动力传递到地面上。车辆的性能不断提高,作为汽车上唯一接触地面的部分,轮毂盖和轮胎的工作环境可谓非常恶劣。平时我们开车除了会发生刮蹭事故外,轮毂盖和轮胎恐怕是最容易出现问题的部件。汽车轮毂盖,又称轮毂罩,具有美观、防腐、防锈、防尘等功能。轮毂盖分为两种类型:紧固型和镶嵌型。紧固型有4~10枚螺帽(小     

基于非结构网格的Godunov格式的二维浅水有限体积数值计算模式

利用非结构化的有限体积方法,建立了二维浅水方程高精度、高分辨率模型。以HLL类型的近似Riemann解计算界面通量,通过多维限制线性重构和三阶TVDRunge-Kutta法获得了空间和时间都具有高阶精度的格式。控制体三点坐标的斜底模型方法处理底坡源项和全隐式方法处理摩擦源项保证了格式的稳定性。通过连接丹麦和瑞典的跨海实际工程进行了潮流模拟,验证了模型的适用性和有效性。     

预应力混凝土渡槽的三维有限元分析

渡槽是跨流域调水工程中的立体交叉输水建筑物的一种重要结构形式。文中运用有限单元法对渡槽进行应力、变形分析。通过采用大型有限元通用软件ADINA建立正确合理的计算模型。模型中的预应力钢筋采用杆单元,混凝土采用块体单元。     

柴油发动机“飞车”故障浅析

柴油发动机＂飞车＂的原因①调速器本身的故障,即失去了正常的调速功能。具体原因有：供油拉杆（齿杆）卡在某一供油位置;某一缸的柱塞与柱塞套卡死在供油位置,不能相对转动;供油拉杆与调速拉杆（或导动杠杆）之间联系中断;飞球式调速器的飞球组合件锈死;调速弹簧折断并被卡住,或飞块（飞锤）连接销折断或脱出;     

有限自动机的类类型实现方法

把有限自动机的输入集合（X）、状态集合（S）、输出集合（Y）声明为枚举类型的数据成员，把状态转换函数F（s,x)、输出函数G（s,x)声明为成员函数，把它们封装在一起定义为一个自动机类类型，用类对象模拟现实世界中的自动机动作，较之其它更确切。     

欧瑞康巴尔查斯涂层有限公司三个分公司陆续开业

今年的2月26日、3月3日和3月12日，欧瑞康巴尔查斯涂层（苏州）有限公司陆续在广东东莞、浙江温岭和陕西西安举行了三个分公司的开业典礼。欧瑞康巴尔查斯全球首席执行官汉斯．布兰德博士（Dr．Hans-Braendle），欧瑞康巴尔查斯涂层中国区总裁傅瑞柯先生（Thomas-Frick）．欧瑞康集团中国区总裁王军先生以及当地主要政府官员与客户出席了开业庆典。     

大跨度悬索桥有限元建模策略和易损性分析

为描述大跨度地锚式悬索桥服役前结构性能,以湖南矮寨特大悬索桥为例,采用基于适度精细理念的建模策略建立有限元模型开展静力分析及动力特性计算,分析其静动力特性和易损性,为结构损伤识别及安全评定提供依据。     

深基坑桩锚支护三维应力应变数值分析

以某商业区建筑的深基坑工程为研究对象，对该深基坑的支护设计及其开挖施工方案进行了研究。通过方案比选，该基坑采用自然放坡，钻孔灌注桩加锚杆作为支护结构型式。运用三维数值方法建立了该工程的桩-锚支护深基坑三维数值模型，对基坑开挖全过程进行了三维非线性数值模拟，将数值模拟结果与其他方法的结果进行了对比分析，结果表明:三维数值模拟结果与经典方法的结果较为吻合，验证了设计方案的合理性与可行性。并运用有限差分法对深基坑工程分步开挖进行三维数值模拟分析，探讨了基坑支护结构的变形机理、特点及工作机理，并将数值模拟结果与理正软件计算结果进行对比分析，讨论两者的异同点。