学科分类
/ 3
45 个结果
  • 简介:在软硬件系统的模型检验中经常需要检测系统模型和规约模型的行为之间的包含关系.为提高模型检验技术的自动化程度,提出一种针对有限状态机的仿真检验方法.首先在有限状态系统的基础上,提出系统及其外部行为的概念,然后定义了系统间的仿真关系,之后结合不动点定理,设计了和仿真关系定义相似的FP算子,这就把两个系统外部行为之间的包含关系转化为通过FP寻找组合系统间的最大不动点.如最大不动点存在,称系统模型满足规约属性.最后,通过等价关系给出一种对于无限状态系统转换成有限状态系统的方法,使得该方法可同样应用于无限状态系统.实例显示,该方法能够很好地满足模型检验的要求.

  • 标签: 有限自动机 系统检验 仿真方法 不动点定理
  • 简介:全面分析SLV集团有限公司培训工作现状,针对培训宗旨、培训需求收集、培训态度、培训反馈、培训组织部门及培训资源等方面存在的问题,提出围绕企业战略开展培训、建立系统的培训需求收集体系、评估培训结果、树立科学的培训态度、加强培训部门自身学习、整合集团培训资源等相应对策。

  • 标签: 民营企业 培训 方案设计
  • 简介:摘要描述了中压缸启动机组的旁路全程控制的方法,指明了控制过程中的关键点,并结合沙特RABIGH2×660MW中压缸启动机组的控制过程,介绍了实现旁路的全程自动的具体操作方法,这对同类型机组有一定参考价值和借鉴意义。

  • 标签: 旁路系统 中压缸启动 自动控制
  • 简介:以某型船舶轴系为研究对象,在实际轴系尺寸基础上,基于有限元法对船舶轴系静态校中时的建模问题进行研究。根据有限元简化原则,对轴系载荷进行合理处理,进而研究轴系轴承支撑的六种组合工况,建立轴系有限元模型。通过对模型施加约束和载荷,结果表明所建模型可以作为进一步校中计算的有限元模型。

  • 标签: 船舶轴系 有限元 轴系校中 建模
  • 简介:在闭锁性的有限责任公司中,股东通过公司合约的安排,对控股股东设定信义义务以防止控股股东滥用控制权禁锢、压迫其他股东。控股股东的信义义务主要指向其他股东,以忠实义务为主,注意义务为辅。控股股东的违信责任在性质上属违约责任与侵权责任竞合,但出于限制竞合的考量,应以合同法规则确定其免责事由和责任形式。

  • 标签: 控股股东 信义义务 公司合约 违信责任
  • 简介:有限责任公司股东除名制度是作为消除人合性公司经营障碍的措施而存在的。我国《公司法司法解释》(三)规定的有限责任公司股东除名事由仅限于股东未履行出资义务和抽逃全部出资两种情形,导致股东除名制度的价值功能无法充分发挥。我国立法应将股东严重违反竞业禁止义务、对公司实施犯罪行为扩展为股东除名事由,并将股东严重违反对公司的其他义务作为股东除名的概括性条款。同时应允许有限责任公司章程对股东除名事由进行有限制的自治。

  • 标签: 有限责任公司 股东除名 立法 章程
  • 简介:为了弥补当前土力学课程实践教学环节的不足,在前期开发的土力学教学有限元仿真软件基础上,新增了三个计算模块,使得该软件涵盖了平板载荷试验、三轴试验、恒定渗流、简单边坡稳定性和挡墙土压力分析等土力学课程中所有重要问题的分析。另外,在每个仿真模块中添加了关于该模块的土力学原理、有限元基本理论和实现方法,以及模型计算参数的含义与经验取值范围的介绍,提高了软件的易用性。优化后的软件涵盖内容全面,具有更好的容错性和易用性,能够服务于土力学课程的本科教学,达到以"虚"补"实",激发学生学习兴趣和提高学生学习能力的目的。

  • 标签: 土力学 有限元仿真 课程教学
  • 简介:7月29日,海南广播电影电视传媒集团有限公司揭牌成立,这是海南深化文化体制改革的又一重要举措,标志着海南广播影视产业步入市场化、集约化、规模化发展新阶段。新集团将推进广播影视节目制作、有线网络节目传输、电影发行放映、新媒体、新闻出版、文化传媒、广告经营与相关业务的开展.努力打造合格的市场主体。

  • 标签: 广播电影电视 传媒集团 海南 公司 有限 挂牌
  • 简介:新晨动力机械有限公司创建于1950年,是华晨汽车集团和五粮液集团共同设立的合资企业,于2013年在香港联交所主板上市。业务涵盖国产轻型汽油机、轻型柴油机、BMW发动机的生产、销售和售后服务。公司总部位于绵阳市,拥有绵阳、沈阳两大生产基地。发动机产品共有4大系列29个品种,功率覆盖38.5-170kW,领先达到国V、国VI标准,市场保有量280万台。

  • 标签: 新晨 动力机械 华晨汽车 五粮液集团 主板上市 市场保有量
  • 简介:数控回转工作台是大型数控镗铣床等机床的直接承载附件,其结构特性对整机性能有很大影响。针对HTK200B回台的工作台部件,进行了有限元分析,得到了工作台的前五阶模态频率与静力学变形;对工作台进行模态试验,验证了工作台模态仿真分析模型的正确性,为下一步进行结构优化提供了理论指导。

  • 标签: 工作台 静力学分析 模态分析 模态试验
  • 简介:精益求精追求完美——全体员工要充分了解顾客的要求,严谨有序,一丝不苟地工作,不断革新,创造品质优良的产品,提供最佳服务,完全满足顾客的要求。

  • 标签: 最佳服务 创造品质
  • 简介:我们知道,数的集合简称数集,数集的常用表示法有列举法和描述法两种.一个集合,当它含有限个元素时,称该集合为有限集,如集合A={-2,3};含无限个元素时,称该集合为无限集,如整数的集合Z.

  • 标签: 无限集 有限集 列举法 实数集 描述法 教师教学用书
  • 简介:以轻钢结构临建房屋骨架结构试验为基础,采用有限元分析软件Ansys提出轻钢结构临建房屋的有限元计算模型建立方法,并对轻钢结构临建房屋骨架结构的水平侧移进行计算和分析。计算结果表明,所采用的有限元计算模型建立方法正确合理,且轻钢结构临建房屋骨架结构在设计荷载作用下的水平侧移不能满足规范要求。

  • 标签: 轻钢结构临建房屋 骨架结构 水平位移 有限元分析(FEA)
  • 简介:介绍了基于HSCAE的仪表外壳冷却系统的有限元分析过程。首先对产品的网格进行划分,接着设计两种冷却系统方案,运用HSCAE软件对所设计的冷却系统方案进行分析,最终确定合理的冷却系统方案。

  • 标签: HSCAE 仪表外壳 冷却系统
  • 简介:摘要作为连接飞机与起落架的关键件,撑杆设计将直接影响飞机的起落安全。基于这种认识,本文在分析飞机起落架撑杆受力情况的基础上,使用有限元分析法对撑杆的强度展开了分析。而经过分析可以发现,撑杆将在飞机起落过程中出现较大变形,所以还要增加撑杆的强度,才能为飞机起落提供更多的安全保障。

  • 标签: 飞机起落架 撑杆强度 有限元分析
  • 简介:摘要近年来,随着我国经济的快速发展以及高新技术产业规模的不断扩大,越来越多的电子类企业得到长足的发展。尤其是上世纪末期,这些电子类企业为获得更多的融资渠道、筹集更多的资金以及提升知名度而迈向股市,大量电子类上市公司的出现昭示在着新市场经济体制下,上市已经成为诸多电子类企业的首选发展途径。但是在发展的背后,不能够掩饰的是电子类上市公司的存货管理出现的问题,比如存货管理模式落后、存货监督力度不佳、大量流动资金滞留在存货物资上,严重地制约着上市公司的经营活动。所以,根据市场动向、产品周期、同行竞争、流动资产周转情况来建立长久的、战略性的存货控制机制是当下电子类上市公司提升存货控制的最佳策略。

  • 标签: 存货管理 电子类上市公司 国星光电