中间相沥青基泡沫炭的制备及性能

以日本三菱气体化学公司生产的AR中间相沥青为原料,放入合适的不锈钢模具中,在高压釜中加热、加压。利用中间相沥青在热分解过程中产生的轻组分挥发形成泡沫,在450℃制得了泡沫炭生料,再经炭化和石墨化处理后获得了由孔壁和韧带组成的三维网状结构的石墨泡沫炭。主要研究了升温速率和压力对泡沫炭孔结构的影响,考察了材料的导热性能。结果表明,升温速率以1℃/m in时泡沫炭孔的连通性比较好,压力越大孔径越小;经炭化后泡沫炭孔径略有收缩,孔壁结晶取向度比较完善;2 400℃石墨化后孔壁的结晶取向度得到了加强,形成了高度取向的石墨化结构,密度为0.3 g/cm3,热导率达到了32 W/(m.K)。     

直线尺寸量规公差

《光滑极限量规》新国标中所规定的公差是根据《公差与配合》标准规定的极限尺寸判断原则(即不超极限原则)制订的,而直线尺寸量规公差(即高度、深度及长度量规,‘不含长度塞片及卡规’)目前还尚未制订新标准,仍沿用过去的超极限公差原则。这对全面地贯彻新国标是极不利的。为解决这一问题,我厂制订了《直线尺寸量规公差》企业标准,通过生产实践证明是行之有效的。现将制订原则及有关内容简介如下,供同行的同志参考。     

经营管理系统的模糊决策

科学正确的决策是成功的首要条件,而决策目标的模糊性又给决策者的逻辑判断带来一定困难。本文根据模糊决策论的理论方法之一——三角模糊数的程度分析法,对经营管理中的多目标进行综合决策,给出一种科学、有效的决策方法。     

一种分裂形式CPR格式在欠解析流动中的稳定性研究

基于重构的修正过程（correction procedure via reconstruction, CPR）方法是一种适用于非结构网格、紧致高效的高阶方法,但在离散非线性对流项时容易因为混淆误差的累积而出现数值不稳定。本文研究了基于LG (Legendre-Gauss)点分裂形式的CPR方法在欠解析流动中的稳定性,并将其与子单元限制技术结合,求解含激波的欠解析流动问题。结果表明：经过边界通量修正的LG点分裂形式CPR格式能够满足离散守恒律,且与子单元限制相结合后守恒律依然成立;在无激波的欠解析流动问题中,相比于散度形式CPR格式,分裂形式明显提高了计算的稳定性,而且比使用LGL(Legendre-Gauss-Lobatto)点的分裂形式CPR格式具有更小的数值误差;在含激波的欠解析流动求解中,相比基于LGL点的间断伽辽金谱元法子单元限制策略,基于LG点的分裂形式CPR格式子单元限制策略具有更高的分辨率和更小的振荡。     

一种面向多应用业务的服务质量保证机制

针对服务质量的性能指标——延迟,提出了动态优先级策略。该策略可以根据实时状况确定数据包的发送顺序,从而满足各业务的服务质量要求。仿真实验表明,动态优先级策略显著改善了各应用业务数据包在延迟、吞吐量及丢包率等方面的性能。     

航空燃油密度测量技术研究

燃油量是飞机燃油系统的重要组成部分,同时燃油密度的测量又是燃油测量中的一个关键环节,为了进一步研究提高航空燃油密度测量精度的方法,预测燃油测量未来的发展,介绍了燃油测量系统和密度测量的重要性,结合文献分析法和定性分析法进行了总结归纳,论述了各种燃油密度测量方法的基本原理,包括间接法、比重计法、基于谐振技术测量、放射性同位素测量以及超声波测量,并对比分析了各种方法的优缺点,在国内外研究现状的基础上指出了数字化综合化是航空燃油测量技术发展的必然趋势。     

信息网络管理问题研究

从信息网络安全、网络知识产权和网络商业秘密保护几个方面阐述了信息网络管理上存在的若干问题，并提出自己的见解。     

企业ERP的开发与利用

文章介绍了企业ERP的核心及构成以及ERP的支撑技术,即供应链技术,ERP与CRM的集成及企业ERP项目实施的过程.     

基于NuSMV的AADL模型形式化验证技术

结构分析描述语言(AADL)是一种描述任务关键嵌入式系统架构和行为的建模语言,在航空航天领域广泛被应用。为验证AADL模型的任务关键属性和系统行为的正确性,提出基于NuSMV(新符号模型检查器)的AADL模型形式化验证方法。首先,覆盖AADL模型的所有软件构件和行为特征,提出了AADL模型到NuSMV模型的映射规则和转换算法;其次,采用图同构方法分析了转换算法的正确性;然后,在NuSMV模型中采用时态逻辑公式对AADL模型中待验证属性进行描述,以验证AADL模型中安全性、活性和嵌套模态配置的正确性;最后,以飞行控制系统为例,详细阐释了基于NuSMV的AADL模型形式化验证方法,并给出验证属性的统计信息。     

模拟微重力对人骨髓间充质干胞向成骨细胞分化中细胞信号通路影响的分析

通过模拟来研究微重力对hMSC向成骨细胞分化的影响,并利用相关信号通路的激活剂或抑制剂来调节这一分化过程．研究结果表明,在成骨细胞分化诱导条件下,微重力降低了hMSC向成骨细胞定向分化的能力,并且成骨细胞标记性基因的表达明显降低,Runt相关转录因子2（Runx2）的表达受到抑制．相反,过氧化物酶体增殖激活受体γ（PPARγ2）的表达则增加．同时,微重力也降低了ERK的磷酸化水平,而增加了p38MAPK的磷酸化水平．使用p38MAPK的抑制剂SB203580能够抑制p38MAPK的磷酸化,但不能降低PPARγ2的表达水平．骨形态发生蛋白（BMP）能增加Runx2的表达水平．成纤维细胞生长因子2（FGF2）增加了ERK的磷酸化水平,但也不能显著增加成骨细胞标记性基因的表达水平．采用BMP,FGF2和SB203580三种因子组合来调控微重力下的成骨细胞分化能力,结果表明三者的协同作用能显著逆转微重力对成骨细胞定向分化的生物学效应．研究结果还说明,模拟微重力应该是通过不同的细胞信号通路来抑制成骨细胞分化和提升脂肪细胞分化的．