排序方式: 共有15条查询结果,搜索用时 281 毫秒
1.
2.
3.
A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rules and m is the maximal length of the rules. The algorithm works for totally normed basic process algebra(BPA) as well as basic parallel process(BPP). 相似文献
4.
结合广播系统在地铁综合监控系统中的集成应用案例,着重对地铁广播系统进行研究。列举1条地铁线路作为典型的工程实例,包括14个车站、1座车辆段、1座控制中心,在各车站、车辆段、控制中心设有广播系统,主要用于对乘客进行公告信息广播和发生灾害时兼作防灾广播。介绍中心、车站、车辆段各级对广播功能的需求,在此基础上分析整条线路的广播系统的结构和典型配置。阐述各级广播的基本原理,对广播系统的各级控制流程和典型音频流程进行剖析。 相似文献
5.
地铁列车联挂后无法广播的原因分析及改进 总被引:1,自引:0,他引:1
分析了深圳地铁罗宝线一期工程电动客车与续建工程电动客车的乘客信息系统在进行联挂后,无法实现列车间司机室对客室人工广播功能的技术原因。结合实际运营操作要求,针对性地提出了技术改进方案,成功实现了该项功能。 相似文献
6.
在分析CTA逆变电源中放大单元不足的基础上,提出了一种利用新型器件PA44构成电压放大单元的方法。实验表明设计合理,具有较好的利用价值。 相似文献
7.
介绍了足尺加速加载设备MLS66的加载方式、组成、性能以及基于MLS66性能特点的加速加载试验方案设计方法。以钢桥面铺装加速加载试验和微表处加速加载试验为例,介绍了MLS66在辽宁省的应用情况。根据两年来辽宁省采用MLS66开展加速加载试验的情况,认为MLS66是一种加载效率高、与实际行车荷载作用接近的加速加载设备,已获得的研究成果对于评价辽宁省沥青路面结构的使用性能、改善路面结构设计等方面都具有重要的参考价值。 相似文献
8.
为实现汽车结构件的轻量化设计,将以塑代钢和尺寸优化技术引入到金属制动储气筒设计中。参考QC/T 200-2015,使用OptiStruct对金属储气筒进行强度分析,并评价其结果。根据理论公式对轻质塑料PA66构成的新储气筒部件厚度进行估算,应用尺寸优化方法得到具体的各组件厚度。优化结果表明:新制动储气筒在满足强度标准要求的同时,质量减轻了56.5%。 相似文献
9.
本文分别观察了维拉帕米(Ver)和苯肾上腺素(PE)对离体人输卵管平滑肌的药理作用及与月经周期的关系。结果表明,PE对人输卵管壶腹及峡部肌均产生收缩效应,酚妥拉明可对抗之,在峡部肌,其增生期的PD_2、PA_2值均大于分泌期,环、纵肌之间无差别。Ver抑制人输卵管平滑肌活动并可对抗PE的作用,其分泌期的PD’2值大于增生期。人输卵管的这种药理特性提示,峡部纵肌与环肌的α受体在调节卵运行上是同样重要的。 相似文献
10.
采用聚乙烯一甲基丙烯酸缩水甘油酯(EGMA)作为增容剂和增韧剂,利用反应增容技术制备了PA6/EGMA的合金。通过试验确定了PA/EGMA合金汽车保险杠新材料的最佳配方,提高合金的综合性能。该合金具有良好的加工性能,较高的抗冲击性能并易于喷涂,是综合性能优良的抗冲击新产品。PA6/EGMA合金表现出非粘弹性高分子材料在高速冲击时仍然具有较高的韧性的特性。 相似文献