BACH:线性混成系统有界可达性模型检验工具

混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类--线性混成自动机,它的可达性问题仍然是不可判定的.现有的相关工具大都使用多面体计算来判定线性混成自动机状态空间的可达集,复杂度高、效率低,无法解决实际应用规模的问题.描述了一个面向线性混成系统有界可达性模型检验工具--BACH(bounded reacha...     

基于Peercast的P2P直播系统改进

分析Peercast流媒体直播系统的结构。根据分析结果,指出其在实际网络应用中的弊端。改进下载流程,将单线程下载改为多线程下载,设计多线程F载任务分配模块。重新设计缓冲区,维护多对一情况F的缓冲区。介绍在多线程下载情况下直播延时方面的改进,对改进方案的性能进行分析。     

射流曝气机内部流动三维数值模拟与关键结构参数分析

为了探究射流曝气机关键结构对其引射气体性能的影响规律,利用Fluent软件,采用控制变量的方法对不同喉嘴距、喉管长径比以及面积比下的射流曝气机内部流动进行了三维数值模拟,得到了射流曝气机内部压力、流速以及湍动能的仿真结果。通过对比分析可知,喉嘴距、喉管长径比、面积比等都对射流曝气机引射性能有一定的影响。在设计的结构尺寸范围内,当喉嘴距为1.5D、喉管长径比为4、面积比为4.84时引射系数最大,曝气机引射气体性能最好。研究结果可为新型射流曝气机的设计提供理论和实际参考。     

四象限探测器光电跟踪伺服系统的研究

为了实现光电跟踪目标,用四象限探测器检测目标物,利用单片机MSP410F169的AD采集,将采集到的信号进行滤波,利用PID算法,以及单片机MSP410F169的时钟控制PWM波的占空比来调节电机的转速。通过两个电机来实现跟踪装置的空间旋转跟踪目标物。     

混合现实包装

正自从有了人类可能就开始有了包装,主要用于保护物品或者商品。发展至今,包装更多地承载了传达品牌理念、产品特点、消费者心智等要素。自第一次工业革命开始,赋予了包装真正质的提升,19世纪,各种金属包装、塑料包装、瓦楞包装蜂拥而出。即使这样,如果没有中国的四大发明之一——印刷术,可能时至今日,包装也还是只能用于保护物品。     

一起220kV母线保护动作案例分析与讨论

近年来,随着电网技术的发展和继电保护装置的不断更迭,母线保护在运行中出现了一些新问题.介绍了某220 kV变电站内发生的一起因压板投入不正确导致的220 kV母线保护延时跳闸的事故案例,总结了母联开关跳位与母线分列压板两者的逻辑关系以及对母线保护的影响,并针对不同的逻辑关系提出了不同运行方式下母联开关和分列压板的正确操作顺序.     

经济衰退将带领油价下移

由于原油基本面的转弱和未来降息幅度可能减小等因素，决定了原油价格将在二季度出现整体区间下移。预计，二季度国际原油期货的平均价格将为102美元／桶。     

主变冷却器二次控制回路研究

变压器的冷却器辅助系统决定了变压器的容量及其负载损耗,是变压器发展的关键,必须满足稳定可靠性要求。为此提出了一种可满足现场运行要求的冷却器启动控制回路和冷却器失电跳闸控制回路,其中冷却器启动控制回路具有自行投退功能,冷却器失电跳闸控制回路具有瞬时告警并带延时跳闸功能,有利于变压器长期安全可靠运行。     

皱皮木瓜腐败微生物的分离鉴定

为探明皱皮木瓜贮藏保鲜过程中腐败变质的原因,采用组织分离法对引起皱皮木瓜腐败的微生物进行分离纯化,初步分离出2株细菌和6株霉菌,未分离出酵母菌.回接实验结果表明共有2株细菌、3株霉菌能引起皱皮木瓜腐败.通过形态学及分子生物学对5株腐败微生物进行鉴定,结果表明:2株细菌分别为巨大芽孢杆菌(Bacillus megater...     

鳞片石墨掺杂对单向C/C复合材料结构和性能的影响

以大直径(40~50μm)中间相沥青基炭纤维为导热相,以掺杂一定量不同粒径天然鳞片石墨的中间相沥青为黏结剂,经500℃热压成型、高温炭化及石墨化处理制备出单向高导热炭/炭(C/C)复合材料。采用偏光显微镜和扫描电子显微镜对复合材料石墨化样品的形貌和微观结构进行表征,并探讨鳞片石墨掺杂对复合材料不同方向导热性能的影响。结果表明,掺杂鳞片石墨对复合材料的体积密度影响较小,但对复合材料不同方向的导热性能有显著影响,复合材料沿纤维长度方向的室温热扩散系数随鳞片石墨体积分数和粒径的增加而减小,而垂直纤维长度方向的室温热扩散系数呈现上升趋势;添加16 vol.%粒径约为60μm的鳞片石墨所制复合材料沿纤维长度方向热扩散系数由掺杂前的650.5 mm~2/s降至510.9 mm~2/s,下降了21%,而垂直纤维长度方向的室温热扩散系数由22.4 mm~2/s提高到48.9 mm~2/s,增加了118%。掺杂鳞片石墨明显提高了复合材料垂直纤维长度方向的导电性能和抗弯性能。