一种同步语言多线程代码自动生成工具

随着安全关键系统对计算性能要求的日趋提高,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用。同步语言能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模和验证。目前,同步语言SIGNAL编译器主要支持串行代码生成,较少关注多线程代码生成。提出一种同步语言SIGNAL多线程代码生成工具。首先将SIGNAL程序转换为经过时钟演算的S-CGA中间程序;之后将S-CGA中间程序转换为时钟数据依赖图以分析依赖关系;然后对时钟数据依赖图进行拓扑排序划分,并针对划分结果提出优化算法和基于流水线方式的任务划分方法;最后将划分结果转换为虚拟多线程结构并进一步生成可执行多线程C/Java代码。通过在多核处理器上的实验,验证了所提方法的有效性。

空心抽油杆螺纹黏结原因分析及预防

介绍了空心抽油杆的螺纹结构、加工工艺和基本使用条件。对出现螺纹黏结的杆头和接箍进行了材料成分和性能分析,对使用现场的相关设备、操作过程进行了追踪检查,指出了空心抽油杆螺纹黏结既与制造质量有关,也与现场应用不当相关。同时对空心抽油杆的螺纹黏结给出了预防措施,并对现行标准的进一步完善提出了相关建议。

LG351井油管粘扣原因分析及预防

对LG351井油管下井全过程进行了调查研究。通过调查研究和实际应用认为,油管引扣不到位,则容易发生粘扣和错扣;上扣控制方法不当,上扣扭矩过大,则容易发生粘扣。要保证油管下井质量,应严格执行油管使用及维护作业规程,在螺纹接头保护、清洗、检查、修理、螺纹脂、对扣、引扣、上扣速度、上扣扭矩、上扣控制方法等方面严格把关。

嵌入式系统线程库同步机制的实现

NPTL（本地POSIX线程库）具有较好的性能和稳定性，已成为Glibc的首选线程库。同步是为了达到多线程协同工作目的而设计的一种机制。线程库中同步函数的底层实现大多用汇编语言编写，因此，在将NPTL移植到不同嵌入式硬件平台时，必须重写相关代码。通过引入一个虚拟的锁设备，实现原子操作，进而实现同步函数，最小化硬件平台的相关性，方便地实现不同嵌入式平台上NPTL的同步机制。

非遗类纪录片的动作线

非遗类纪录片的动作线,即是发生的与人物有关系的某一事件或线索。动作线就如“葫芦串”中间的那根木棍,把其他的错综复杂的事件串联起来形成一个有机的整体。找到动作线,并放大动作线,是非遗类纪录片创作的重要路径。遵循这样的创作原则,纪录片便有了灵魂,丰富起来,也生动起来。

螺纹孔加工质量和延伸公差带测量

螺纹连接在发动机和变速箱上有着广泛的应用,为保证其正确装配和实现功能,一般在加工工艺图上都会标注延伸公差带。对引起螺纹孔延伸公差带失效原因的各种因素进行了分析,并对采取的预防措施进行了讨论。

中国穴位埋线疗法系列讲座(86) 星状神经节作用机制——对疼痛的调节机制的研究

人的痛觉中枢分布在中枢神经系统中,且各级中枢神经都有"痛觉调节系统"的调控,所有的调控均抑制了痛觉与神经中枢的传递。针刺或阻滞星状神经节类似于人为模拟一个假性疼痛信号传递给中枢系统,继而激发脊髓、脑干、大脑等各层次的神经元活动,使人体本身原有的镇痛系统被激活,分泌产生5-羟色胺、乙酰胆碱、内源性阿片样物质,此类物质直接或间接的产生镇痛效应。

毛细结构管道的芯吸特性实验

毛细现象是指浸润液体在细管里升高和不浸润液体在细管里降低的现象,这种作用在日常生活中的应用非常广泛。基于此,本文对于毛细管中不同物质对毛细现象所带来的影响进行了研究,分析了在毛细管内添加不同股棉线以及不同内径对毛细作用的影响。研究发现毛细管密度是影响毛细管芯吸能力的重要因素。不同规格毛细管,芯吸高度随时间的增加而变大,芯吸速率逐渐减小。在对毛细管芯吸高度和芯吸时间进行线性拟合后,发现它们线性相关且曲线性拟合系数高于0.9,毛细管内毛细结构的多孔介质孔径大小对毛细管毛细芯吸效应有显著影响,毛细结构孔径适当的毛细管更有利于发生毛细作用,且毛细效果明显。相同规格的毛细管,芯吸平衡高度随着密度增加而减小。

自动脱螺纹的注塑模设计

本文从一套自动脱螺纹的注塑模设计，分析了螺纹制件的成型工艺，着重阐述了塑件自动从模具螺纹型芯上脱落的结构设计特点和工作过程。通过采用定模滑块抽芯和液压泵的作用，大大提高了螺纹制件的生产效率，降低了人员的生产强度。经生产验证该模具结构动作稳定可靠、使用寿命长、生产工艺合理、产品符合技术要求。节约生产成本实现自动化批量生产的目的。