简介:在软硬件系统的模型检验中经常需要检测系统模型和规约模型的行为之间的包含关系.为提高模型检验技术的自动化程度,提出一种针对有限状态机的仿真检验方法.首先在有限状态系统的基础上,提出系统及其外部行为的概念,然后定义了系统间的仿真关系,之后结合不动点定理,设计了和仿真关系定义相似的FP算子,这就把两个系统外部行为之间的包含关系转化为通过FP寻找组合系统间的最大不动点.如最大不动点存在,称系统模型满足规约属性.最后,通过等价关系给出一种对于无限状态系统转换成有限状态系统的方法,使得该方法可同样应用于无限状态系统.实例显示,该方法能够很好地满足模型检验的要求.
简介:以轻钢结构临建房屋骨架结构试验为基础,采用有限元分析软件Ansys提出轻钢结构临建房屋的有限元计算模型建立方法,并对轻钢结构临建房屋骨架结构的水平侧移进行计算和分析。计算结果表明,所采用的有限元计算模型建立方法正确合理,且轻钢结构临建房屋骨架结构在设计荷载作用下的水平侧移不能满足规范要求。
简介:摘要近年来,随着我国经济的快速发展以及高新技术产业规模的不断扩大,越来越多的电子类企业得到长足的发展。尤其是上世纪末期,这些电子类企业为获得更多的融资渠道、筹集更多的资金以及提升知名度而迈向股市,大量电子类上市公司的出现昭示在着新市场经济体制下,上市已经成为诸多电子类企业的首选发展途径。但是在发展的背后,不能够掩饰的是电子类上市公司的存货管理出现的问题,比如存货管理模式落后、存货监督力度不佳、大量流动资金滞留在存货物资上,严重地制约着上市公司的经营活动。所以,根据市场动向、产品周期、同行竞争、流动资产周转情况来建立长久的、战略性的存货控制机制是当下电子类上市公司提升存货控制的最佳策略。