排序方式: 共有27条查询结果,搜索用时 15 毫秒
1.
2.
3.
4.
目前的模型检测方法中,有一种方法是基于自动机来实现的.具体做法是:将抽象出的系统模型用Büchi自动机来表示,将需要验证的性质用LTL(linear temporal logic)公式来表达;然后将LTL公式取反后转化为Büchi自动机,并检查这两个自动机接受语言之间的包含关系.有一类LTL公式转化为Büchi自动机的算法是:在计算过程中,首先得到一个标注在迁移上的扩展Büchi自动机(transition-based generalized Büchi automaton,简称TGBA),然后把这种扩展Büchi自动机转换成非扩展的Büchi自动机.针对这类转换算法,根据Büchi自动机接受语言的特点,重新定义了基于迁移的扩展Büchi自动机的求交运算,减少了需要复制的状态个数,使转换后的自动机具有较少的状态.测试的结果表明:对随机产生的公式,新算法相对于以往的算法有明显的优势. 相似文献
5.
为了揭示木-混凝土组合梁受力性能,设计、制作了3根剪力连接水平不同的木-混凝土组合梁模型。通过静力加载试验,得到了荷载-滑移曲线、荷载-挠度曲线和组合梁跨中应变分布。研究表明:在相同荷载作用下,组合梁的交界面相对滑移、跨中挠度、承载力随着剪力连接度的降低而递减;随着荷载增加,交界面相对滑移量增大,组合梁不再符合平截面假定;传统抗弯刚度计算公式不再适用于组合梁,应给予适当折减。 相似文献
6.
7.
据预测,2004年我国网印工业的发展速度不低于以往平均增长率为15%的水平。网印行业发展的强劲动力,自然也会有力地推动网印设备需求的增长。但是我国加入WTO后,市场进一步开放,特别是国外高、精网印设备大量涌入我国市场,给国内网印设备市场带来了不小的冲击。加之我国网印设备制造业正在快速发展之中,竞争自然日趋激烈。售后服务在营销中的作用就更加重要,没有售后服务的营销是没有信誉的营销,没有售后服务的商品是没有保障的商品。在这种全新的网印设备市场情况下,惟有做好网印设备售后服务的管理创新,才能全面提升其综合竞争实力,保持… 相似文献
8.
利用透射电镜(TEM)观察了δ-Al2O3短纤维内部的微观组织结构及缺陷形式。实验结果表明,纤维中除基体相外,尚有第二相,这些第二相呈薄片或薄膜状贯穿至纤维表面,且内部有层错或孪晶亚结构。实验中还发现,部分纤维中存在原生微裂纹,微裂纹存在于纤维内部或在纤维/基体界面靠近纤维一侧。 相似文献
9.
现代胶合木结构人行桥因轻质高强材料的使用而变得轻柔和低阻尼化,无论采取何种结构形式其基频均难以避开步行频率范围,桥梁将产生共振。为研究木结构人行桥的人致振动特性,舒适度评价和减振优化控制方法,进行了一座大尺寸胶合木拱桥模型的人致振动试验和ANSYS有限元仿真分析。分析结果很好地预测了多重调谐质量阻尼器(MTMD)的减振效率,与试验测试结果吻合良好,验证了该方法的可靠性和实用性,可以应用于木结构人行桥的振动优化控制。研究表明:空载时竖向基频小于3Hz、满载时(2人/m2)横向基频小于1.2Hz的木结构人行桥,需要分别检算其在单人和人群共振荷载作用下的竖向和横向加速度峰值是否小于舒适度容许值;采用固定位置集中加载(原地踏步)代替行人移动作用对人行桥激振,既能简化求解过程,又使结果略偏安全;MTMD在其参数经遗传算法优化后可以将木结构人行桥在共振频率附近较窄频带内的动力响应控制在容许范围内。 相似文献
10.
为加强外送盒饭的卫生管理,苏州市自2000年以来开展了食品卫生量化监督分级和限量加工的管理。管理的评价指标包括建筑布局、卫生设施、卫生管理3大类75项,基本包括了卫生部2002年发布的《食品卫生监督量化分级管理指南》中餐饮业卫生许可审查和经常性卫生监督评分表中的105个项目,并围绕卫生安全考虑了一些间接因素,如烹饪间燃具灶眼的多少,菜单与送货单的保留及留样48h等。还注重了指标的客观性和可操作性.尽量克服评分时主观因素的影响,如实际加工使用面积、分菜间空气细菌数,紫外线强度、照度直接现场测定,盒饭检测合格率则根据日常检测报告评分。通过对卫生分级管理3年前后评审结果的比较,发现2003年食品卫生整体水平明显提高,A级企业增加了18.3%,B级企业增加了7.4%,C级企业下降了5.8%,D级企业下降了19.7%;卫生综合评分平均得分提高14.9%。为保证卫生监督量化分级管理的深入开展,对卫生等级评分标准的科学性、可操作性和评审工作的程序性、公正性、效率性以及社会认可等方面进行了讨论。比较结果表明,食品卫生量化监督分级和限量加工的管理科学、公正、效率高,社会认可性强。 相似文献