排序方式: 共有28条查询结果,搜索用时 0 毫秒
1.
2.
目前的模型检测方法中,有一种方法是基于自动机来实现的.具体做法是:将抽象出的系统模型用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自动机的求交运算,减少了需要复制的状态个数,使转换后的自动机具有较少的状态.测试的结果表明:对随机产生的公式,新算法相对于以往的算法有明显的优势. 相似文献
3.
4.
5.
6.
利用透射电镜(TEM)观察了δ-Al2O3短纤维内部的微观组织结构及缺陷形式。实验结果表明,纤维中除基体相外,尚有第二相,这些第二相呈薄片或薄膜状贯穿至纤维表面,且内部有层错或孪晶亚结构。实验中还发现,部分纤维中存在原生微裂纹,微裂纹存在于纤维内部或在纤维/基体界面靠近纤维一侧。 相似文献
7.
8.
据预测,2004年我国网印工业的发展速度不低于以往平均增长率为15%的水平。网印行业发展的强劲动力,自然也会有力地推动网印设备需求的增长。但是我国加入WTO后,市场进一步开放,特别是国外高、精网印设备大量涌入我国市场,给国内网印设备市场带来了不小的冲击。加之我国网印设备制造业正在快速发展之中,竞争自然日趋激烈。售后服务在营销中的作用就更加重要,没有售后服务的营销是没有信誉的营销,没有售后服务的商品是没有保障的商品。在这种全新的网印设备市场情况下,惟有做好网印设备售后服务的管理创新,才能全面提升其综合竞争实力,保持… 相似文献
9.
为了揭示木-混凝土组合梁受力性能,设计、制作了3根剪力连接水平不同的木-混凝土组合梁模型。通过静力加载试验,得到了荷载-滑移曲线、荷载-挠度曲线和组合梁跨中应变分布。研究表明:在相同荷载作用下,组合梁的交界面相对滑移、跨中挠度、承载力随着剪力连接度的降低而递减;随着荷载增加,交界面相对滑移量增大,组合梁不再符合平截面假定;传统抗弯刚度计算公式不再适用于组合梁,应给予适当折减。 相似文献
10.
在继承前人的试验与研究成果基础上,建立了无缝线路轨道横向臌曲的有限元模型,运用模型计算可能出现的各种工况,得出计算结果,并将所得计算结果与现有模型进行了对比分析,最后分析了轨枕失效对无缝线路稳定性的影响。 相似文献