摘要：有偿交互问答(QA)系统受到越来越多的关注,但是补偿的不公平性等问题可能会引起用户的投诉。通过分析有偿交互QA系统的投诉流程,首先利用颜色Petri网对投诉流程进行形式化建模;然后使用CPN Tools对所建立的形式化模型进行验证;最后对所建模型的状态空间报告进行分析,证明了系统各响应流程设计的正确性等特性。所提出的方法对有偿交互QA系统的综合形式化分析具有重要意义。

摘要：一、存在的问题1．规划意识不强，规划管理薄弱。主要反映在三个方面：一是区域规划不尽合理，缺乏特色产业支撑小城镇的发展；二是规划水平不高，深度不够。有些乡镇把规划工作简单化，只是总体规划，仅限于用地布局、道路红线的控制，这就使具体建设项目的选址定点、设计等工作无从依据。很难起到指导建设的作用；三是不按规划建设，规划管理薄弱，

摘要：立式液硫泵对自身蒸汽伴热系统的依赖性很高,伴热系统一旦出现故障或者伴热量不足,液硫就会在泵体内凝固,导致液硫泵卡死无法正常运行,同时由于立式液硫泵在温度较高的液硫环境中运行,轴套等相对转动的部件受高温的影响而发生膨胀,导致间隙减小后转动部件卡死而无法正常运行。对立式液硫泵在泵体伴热量不足、关键转动部件间隙小、液硫池伴热量不足等设计缺陷进行了逐一详细的分析,同时做出相对的改造。在泵体底部液硫易凝结的泵壳外表增设伴热管,对关键转动部件的间隙进行适当的增大,在液硫黏度允许的情况下适当提高液硫池内液硫的温度来降低液硫的流动性,经以上几方面改造后保证了立式液硫泵的正常运行。

摘要：Use-after-free(UAF)漏洞是多线程程序的常见并发缺陷.预测性UAF漏洞检测方法因兼顾误报率和漏报率而备受关注.然而,已有的预测性UAF检测方法未结合待检测目标作针对性优化,当程序规模大或行为复杂时会导致检测效率低下.为了解决上述问题,提出一种目标导向的多线程程序UAF漏洞检测方法.首先,由程序运行轨迹挖掘程序的Petri网模型;之后,针对每一个潜在可构成UAF漏洞的内存Free/Use操作对,以触发该漏洞为目标导向,在程序的Petri网模型中添加保持操作间因果约束和数据一致性的行为控制结构;在此基础上,设计了一种基于Petri网反向展开的UAF漏洞检测方法.该方法每次只针对1个潜在的UAF漏洞,有针对性地验证其真实性,从而保证检测的效率.与此同时,为了减少待检测的潜在UAF漏洞数量,提出了一种新型向量时钟进行Free操作与Use操作间的因果关系自动识别,据此对潜在的UAF漏洞进行筛选.结合多个程序实例对所提方法进行了实验评估.实验结果表明,所提方法在检测的效率和准确性方面较主流方法有所提高.

摘要：本文提出了一种集成了北斗时空技术和物联网技术的智能救生衣设计方案。该救生衣整合了Arduino主控、电池、自锁开关、北斗+GSM模块等多种关键器材和功能,具备实时定位和远程通信、紧急求救按钮、温度调节以及多重报警等特点。通过北斗+GSM模块,救生衣可实现实时定位,并向救援人员发送溺水者的位置信息和求救信号。内置的加热片可根据环境温度自动调节,保持溺水者的体温。此外,蜂鸣器报警灯和激光头在紧急情况下可发出声音和光线警报,提高被救援者被发现的可能性。本文还探讨了该救生衣在水上救援、军事应用和探险旅行等领域的应用前景,并指出了其提高水上救援效率和溺水者生存几率的重要意义。该智能救生衣的设计和研究为水上安全事业和救援工作提供了新的思路和技术支持。

摘要：结构用木质材料的强度设计值,是由强度标准值除以材料的分项系数获得。合理确定结构用木质材料的强度标准值,是其在建筑结构中安全及合理应用的关键指标之一。美国ASTMD2915标准规定,结构用木质材料,包括结构用锯材、胶合木和其他人造板等,均以75%置信度水平下的5%分位值作为强度标准值;国内标准虽然将5%的分位值定义为结构用木质材料的强度标准值,但对于置信度水平尚无具体规定,而是直接采用抽样样本的特征值系数来确定。

摘要：机械密封是离心泵的核心部件,在冲洗方式、密封副材料选择等方面都有严格的要求,其中任何一个环节出现问题都会影响到其正常使用。通过对多级离心泵机械密封的泄漏与损坏情况进行介绍,分析了一方面由于机械密封冲洗液设计温度较高,导致冲洗液易汽化产生热量导致机械密封损坏,另一方面由于机械密封密封副材料选择了较软的碳石墨材质,导致运行时导热性能差导致机械密封泄漏。通过对机械密封冲洗方式进行了改进,降低了冲洗密封液的温度,通过对密封副材料进行更换,更换为导热性能较好的Si C陶瓷。改进后的机械密封运行情况良好,保障了化工系统的连续稳定运行。

摘要：导致大型机泵产生振动的因素有很多,而振动是评价大型机泵能否安全可靠性运行的重要指标。本文针对某型号的大型多级离心泵在运行期间出现振动超标、机械密封泄漏等问题进行分析,并结合现场实际工况,找出导致泵振动的原因有现场操作不当和泵进口过滤器设计选型不当,介质内部分漂珠以及硬质颗粒导致泵转子内部摩擦副部件过度磨损,最终导致泵转子振动和机械密封泄漏。通过对泵入口过滤器进行重新选型和改造,对机械密封进行重新设计,对泵转子摩擦副材质进行重新选材和更换,对泵转子支撑摩擦副进行技改和对水质系统的改善,有效地解决了泵的振动故障问题,保障了化工系统的连续稳定运行。