航空机载软件适航性审定标准DO-178C与软件管理标准GJB5000A的比较分析

 航空机载软件适航性审定是验证软件安全性是否满足飞行要求的重要手段，审定依据的标准DO-178C是航空企业软件设计所必须遵循的规范要求，但在软件管理领域，还存在着重要的能力成熟度集成模型标准GJB5000A。比较分析了DO-178C与GJB5000A的异同，得出机载软件适航性审定在对软件开发过程的管理方面存在不足，提出需要加强企业在项目监控、过程测量与分析和风险管理方面的要求，并按照DO-178C标准的形式要求，给出了参考的改进方案。     

SiCl_4-H_2沉积多晶硅薄膜过程中放电功率的影响

以SiCl4 和H2 为气源 ,用等离子体增强化学气相沉积技术 ,以 3 5 s的速率生长出了晶化度为 75 %的优质多晶硅薄膜 .着重分析放电功率的影响 ,结果表明 :随着功率的增大 ,薄膜沉积速率基本上线性增大 ,之后有减小的趋势 ;薄膜晶化度随功率的增大而减小 ;功率较大时 ,晶粒密度也大 ,且比较均匀 ,但晶粒尺寸较小 ,功率较小时 ,大尺寸的晶粒明显增多 ,但仍有较多的小晶粒存在     

Progress in the synthesis and reactivity studies of metallabenzenes

Metallabenzenes are metallacyclohexatriene complexes that are derived by replacement of one of the CH groups in benzene with a transition-metal fragment. Their synthesis and aromatic properties have recently attracted considerable attention. This paper summarizes the progress in the synthesis, aromatic property, and reactivity studies of metallabenzenes. We will describe the synthesis and reactivity of typical metallabenzenes with various metals (e.g. osmium, iridium, and ruthenium, etc.), the synthesis and structure of a recent reported example of metallanaphthalene and several rare examples of novel and stable metallabenzynes. Finally, the possible future developments in this field have also been suggested.     

The model of defense gene expression induced by signaling molecule β-ocimene

β-ocimene, a kind of monoterpene, was found recently as a plant communication signal molecule. It has two isomeric forms in nature: cis-β-ocimene and trans-β-ocimene. According to recent reports, all investigated plants, such as corn, cotton, lima bean, potato, tobacco, arabidopsis, and Mediterranean pine, could release the chemical component β-ocimene after fed by arthropod herbivores,     

基于对等网络的信任模型

在Client/Server网络架构得到普遍应用的格局中,对等网络却异军突起迅速发展。针对这种新兴架构提出了与传统架构不同的一种安全信任模型。它依据网络的推荐值建立节点间的信任关系,更好地保证网络的安全性和避免恶意攻击。给出了求解信任值的数学模型和具体算法,并对信任模型的安全性能进行了理论评测。     

基于TCP/IP的计算机远程监控

根据Borland公司的新一代面向对象编程语言C++Builder的特点,介绍了一种全新的方法,实现Win9X平台下对计算机的实时监控.本系统基于TCP/IP协议,从而打破了传统地域上的限制,真正实现了"远程"监控的目的.在实践中具有较高的应用价值.     

C半群与积分半群的概率型逼近问题

借助Pettis积分、算子值数学期望、连续修正模等概念,以较为简化的形式给出了C半群的概率型逼近式及收敛速度的估计式.此外,还得到了n次积分半群的一个逼近定理.     

cDNA cloning and functional analysis of 4-coumarate --CoA: ligase (4CL) gene in Chinese white aspen

cDNA encoding 4-coumarate: CoA ligase (4CL) was isolated from the secondary developing xylem of Chinese white aspen (Populus tomentosa) by RT-PCR for the first time, which was 1619 bp in length. The coding sequence and putative amino acid sequence showed 97.53% and 97.00% identity to that of Pt4CL1 in quaking aspen (P. tremuloids), respectively. Molecular analysis indicated that 4CL was encoded by multiple genes in P.tomentosa, its mRNA was highly accumulated in xylem and the expression of 4CL revealed a biphasic pattern in one growing season, almost in phase with the expression of other related enzymes in lignin biosynthesis. Transgenic research showed that expression of antisense 4CL cDNA led to the decreasing of lignin content in transgenic tobaccos, among which the average reduction was 10.3% and the highest could be up to 18.9%. These data suggested that 4CL gene was a potential gene used in altering lignin biosynthesis by biotechnology for producing new materials of papermaking.     

Pt羰基簇合物途径制备的Pt/C催化剂对甲醇的电催化氧化

通过Pt羰基簇合物在N2气氛下于150℃热分解制得了无定形的碳载纳米Pt催化剂。发现甲醇在这种催化剂上氧化的起始电位和峰电位均比在传统的液相还原法制得的Pt／C催化剂上发生了,负移,峰电流也有明显的增加,且稳定性好。表明通过Pt羰基簇合物热分解制备Pt／C催化剂是一种较好的制备甲醇氧化电催化剂的方法。     

<Emphasis Type="Italic">In situ</Emphasis> generation and detection of methyl radical by voltammetry

The chemistry of free radicals is one of the advanced subjects of fundamental sciences such as biomedicine, environment protection, new energy sources and new material. The detection technique of free radicals is an essential tool for studying free radicals. Methyl radical is one of the representatives of alkyl radicals and the studies on it attract more attention. The current approaches to obtaining methyl radical are based on pulse radiolysis of organic substances that contain the methyl gro…