基于时间自动机的操作系统中断管理建模与验证

时序正确性问题一直以来都是航天嵌入式软件的热点、难点问题.运用时间自动机理论,对某星载操作系统的中断管理进行了建模,同时对与操作系统行为存在交互的环境进行了建模,以描述完整的中断管理过程.利用模型检测工具箱Uppaal验证了中断管理模块的状态可达性、安全性、活性等方面的性质,证明了其服务行为的正确性.

一种面向多核的可重构容错方法

随着二代导航、载人航天、深空探测等空间应用对星载电子产品的低功耗和抗辐射容错能力提出更高的需求,传统多机冗余设计星载计算机面临着亟需进行设计升级换代。将可重构技术应用到多核片上系统的设计中,提出了一种基于动态可重构的容错体系结构,在硬件层提高系统的容错能力和扩展性对未来空间工程应用具有重要意义。首先介绍了多核片上系统和可重构技术的基本概念,简要分析了国际宇航可重构系统的研究案例。随后提出了一种基于动态可重构的容错体系结构,即通过基于系统降级的重构策略来实现系统级容错。在方案验证环节,采用LEON3作为处理单元,对容错模块功能进行了仿真验证。仿真结果表明,容错控制满足预期的设计需求。最后对后续工作做了简要规划,并对可重构容错方法设计进行了总结。

严寒地区污水源热泵系统的节能改造及效果分析

本文以处于我国严寒地区的沈阳市某热源厂的3号污水源热泵系统为研究对象,该污水源热泵通过吸收污水处理厂排入废水河中的污水进行供热。在严寒期内该系统进水温度过低,并且其淤堵现象较为严重,这些都极大影响了热泵的供热品质及COP值,因此在考虑到沈阳地区气候条件的情况下,对该污水源热泵系统进行优化改造,拟将脱硫塔中的废水余热提出,代替热泵原有的连接方式。通过对比改造前后的各项参数,证明对该系统改造后热泵的供热品质及热泵COP值都会有极大的提升。

城市意识的增长和审美观点的分歧——评建国初对肖也牧创作的批评

本文认为,建国初肖也牧的创作和对他的批评,反映了两种审美观的分歧。肖也牧的作品能突破几千年农业社会和解放区农村生活审美风尚的规范,敏感地发现了解放后社会心理中现代城市意识的增长和审美观点的变化及其意义,在当时是难能可贵的。而批评者却无视时代的发展,仍然以狭隘、保守的小农意识来观察并反对现代城市意识的增长和审美观点的变化,这就不可避免地会出现“左”的主观主义、教条主义的错误批评。

多管除尘脱硫一体化设备的优化及分析

本文以沈阳市某供热公司3号锅炉的多管除尘脱硫一体化设备为研究对象,针对其除尘脱硫效率低的问题对其进行优化改造。基于影响设备除尘脱硫效率的主要因素以及工程的实际情况,本文提出了通过提高烟管浸液深度来提升设备除尘脱硫效率的优化措施,结合工程实际,利用gambit软件建立了设备模型,并应用FLUENT软件对改造前后的多管除尘脱硫一体化设备内部进行了气液两相流的仿真模拟,模拟了原有结构烟管浸液50mm及两种改造方案烟管浸液150mm、250mm,通过对模拟结进行分析,得到了提升烟管浸液深度对除尘脱硫效率有一定提升的结论,以模拟结果为指导,将设备烟管浸液深度升至250mm投入运行,对比实测结果显示:除尘效率较初始结构提高3%,脱硫效率较初始结构提升6.3%,能满足国家烟尘及SO_2排放的标准。

多管脱硫水床的优化研究

以辽宁某供热公司的多管脱硫水床为研究对象,通过安装疏波设备对系统进行改造,结果表明,系统改造后比系统改造前方案的脱硫效率以及排烟温度皆有显著地改善。目前,很多热源厂以及火力发电厂的脱硫效率虽然达标,但却不是最佳状态,通过此方法可以大大解决此类问题。再者其脱硫废水中潜藏着很大一部分热量,若不加以利用直接排放也是一种资源浪费,因此,很多热电厂或热源厂的脱硫废水可以进一步进行余热回收,这样可以达到节能减排的目的。

多管除尘脱硫一体化设备的节能改造及分析

沈阳市某供热公司于2017夏季"三修"期间对三号锅炉的炉排进行了改造,将原有链条炉排改为链条-往复炉排型复合炉排,现有炉排烧的煤种由原来的标煤改为了劣质煤,劣质煤的灰分及硫份高,这导致了烟尘颗粒物及二氧化硫再度超标。对3~#锅炉的多管除尘脱硫一体化设备的烟管套设疏波器以进一步提升设备的除尘脱硫效率,选用Gambit软件建立模型,并应用Fluent软件进行气液两相流的仿真模拟,模拟结果显示:设备烟管增设疏波器后,设备的除尘脱硫效率提升效果明显。因此,以模拟结果为依据,在工程实际中对设备的烟管套设疏波器,并投入运行,对比实测结果显示:设备除尘效率提升了6.5%,脱硫效率提升了8.6%,烟尘及SO_2的排放标准大大满足了国家排放标准。

加定至海晏公路长大纵坡段路线设计方案探讨

长大纵坡路段安全问题突出,以加定至海晏公路长大纵坡段为例,利用展线方法结合控制因素,从多角度分析比选路线方案,再分别对下坡路段、上坡路段制动毂温升、运行速度、通行能力进行验算分析,确定沿线交通设施布置,为同类工程项目提供参考与借鉴。

论细节描写

细节描写是文艺创作和文艺理论中的重要问题。多年来，常有文章论及。但论者的看法往往不尽相同。本文试就这一问题加以论述，以就教于读者。 一 细节描写的基本特征是什么？ 人们一般都认为，细节描写的特征在于“细”。这是对的，但略嫌笼统，需作进一步的分析。我以为，这个“细”包含着三联意思，即细致性、细小性和细部性。

关于如皋至常州高速公路黄桥至泰兴段互通式立体交叉设置研究

互通式立交布局及方案设计是高速公路设计中的重点,以如皋至常州高速公路黄桥至泰兴段为例,从枢纽型、服务型互通两个角度分析沿线互通布局,从建设条件、交通情况、经济情况比选确定互通设计方案,为同类工程项目提供参考与借鉴。

结膜羊狂蝇蛆病3例报告

羊狂蝇所致人眼蝇蛆病,据已查到的资料,自1957年以来国内相继报道135例。我院于1989年8月及1990年8月先后在北京市大兴地区发现2例,1987年在伊拉克北部中国建筑出国劳务人员中亦曾发现1 例,现报告如下。病例介绍 [例1] 陈××, 男性,31岁,干部,于1989年8月的一天下午在郊区公路上骑车行进时突觉有飞虫撞左眼,当即有磨痛、异物感、流泪,于次日来诊。全身检查无异常,双眼视力1.5。左眼结膜充血、水肿,以脸部及下穹窿部显著,且有散在的细小出血点。眼前节及眼底检查无异常。裂隙灯显微镜检查,见下穹窿及下方球结膜表面有长约1毫米。

形象思维和逻辑思维

形象思维是文艺创作的一个根本问题,还需要进一步展开讨论。这期本刊发表了《形象思维三题》、《形象思维与逻辑思维》两篇文章,作为讨论的开始。