Investigation on Relationship between Cost and Software Reliability

Based on the fact that the software development cost is an important factor to control the whole project, we discuss the relationship between the software development cost and software reliability according to the empirical data collected from the development process. By evolutionary modeling we get an empirical model of the relationship between cost and software reliability, and validate the estimate results with the empirical data.     

Two virus-encoded RNA silencing suppressors, P14 of Beet necrotic yellow vein virus and S6 of Rice black streak dwarf virus

Functional analysis for gene silencing suppressor of P14 gene of Beet necrotic yellow vein virus and S6 gene of Rice black streak dwarf virus was carried out by agro- infiltration with recombinant vectors of Potato virus X. The phenotype observation of green fluorescent protein (GFP)expression and Northern blot showed that the gene silencing of gfp transgenic Nicotiana benthamiana induced by homologous sequence was strongly suppressed by the immixture infiltration of either the P14 or the $6. In the suppressed plants, the gfp mRNA accumulation was higher than that in the non-suppressed controls and the symptoms caused by PVX infection became more severe, especially the gfp DNA methylation of plant genome was significantly inhabited when co-infiltrated with RBSDV S6 gene. These results suggested that these two virus genes were potentially to encode for proteins as RNA silencing suppressors.     

用好两种智力资源 促进基础研究发展

中国有句古话:功以才成,业由才广。在2006年6月5日举行的中国科学院第十四次院士大会和中国工程院第八次院士大会开幕式上,中国国家主席胡锦涛指出,“建设创新型国家关键在人才,尤其是在创新型科技人才。没有一支宏大的创新型科技人才队伍作支撑,要实现建设创新型国家的目标是不可能的。世界范围的综合国力竞争,归根结底是人才、特别是创新型人才的竞争。谁能够培养、吸引、凝聚、用好人才特别是创新型人才,谁就抓住了在国际激烈竞争中掌握战略主动、实现发展目标的第一资源”。一、几个主要发达国家稳定和吸引人才的做法和经验经济全球化的…     

Specification and Verification for Semi-Structured Data

Tree logic, inherited from ambient logic, is introduced as the formal foundation of related programming language and type systems, In this paper, we introduce recursion into such logic system, which can describe the tree data more dearly and concisely. By making a distinction between proposition and predicate, a concise semantics interpretation for our modal logic is given. We also develop a model checking algorithm for the logic without △ operator. The correctness of the algorithm is shown. Such work can be seen as the basis of the semi-structured data processing language and more flexible type system.     

面向顾客的市场4C竞争策略

在回顾企业传统的4P和6P市场策略基础上,着重讨论了面向全球化大市场环境的4C竞争策略,分析了其构成要素即顾客满意、降低成本、加强交流、提供方便以及各要素之间的关系·也论述了现代4C竞争策略与传统4P和6P策略的相互关系,4P策略着重产品功能,6P策略除产品功能外更偏重市场功能,而4C市场营销策略除强调市场功能外更突出顾客的支配作用;指出了实现这一策略的关键是顾客至上,千方百计满足顾客需要·为企业改造和发展,参与全球化、网络化大市场的竞争提供了有益的借鉴     

铝硅热法冶炼FeWMo合金

根据Si、Al还原WO3、MoO3和FeO的△G－T图，论证了铝硅热法生产FeWMo合金是完全可能的。由SiO2-Al2O3-CaO渣系熔度图和粘度图，获得在较低熔化温度和较低粘度状态下渣系的化学组成；结合单位炉料的热效应进行配料。研究表明，影响W、Mo回收率的主要因素是单位炉料的热效应、还原剂比例及配比、石灰和萤石配比等。采用下列工艺条件：Q为2700－2800kJ/kg炉料，κ＝58％－60％，石灰配比为3％－5％左右，可以获得含W35％左右、Mo30％左右的FeWMo合金，元素回收率达到ηw91.2%-92.8%、ηMo92.0%-93.8%。产品完全可以用于生产WMo系列合金钢，该法熔炼设备和工艺简单，生产成本低，经济效益好，开发应用前景良好。     

磁性氧化铁牺牲阳极FC的研制

论述了磁性氧化铁牺牲阳极生产的必要性、工艺技术条件 (压块压力、烧结温度、烧结时间 )及产品性能等。该阳极的化学成分为 90 %mol (以Fe2 O3 表示 )的Fe3 O4和 10 %molMe1O混合物 ,粒度 <16 μm。研制出的磁性氧化铁牺牲阳极样品结构致密 ,电阻率小 (0 .0 0 7Ω·cm) ,在 2 0 %HCl溶液中腐蚀失重率为 0 .72 % h。结果表明 :采用粉末冶金法生产此种磁性氧化铁牺牲阳极可以做到工艺顺利、牺牲阳极的结构致密、电阻率小、抗腐蚀性能良好。其中以 11# 牺牲阳极的性能为最好。其工艺条件为成型压力 1 2t cm2 ,烧结温度 110 0℃ ,烧结时间 5h。     

福建省桫椤科植物的分子分类学研究

桫椤科科下等级设立长期以来存在一定的争议，以福建省内5种桫椤科植物刺桫椤（Alsophila spinulosa(Hook,)Tryon）、黑桫椤（Gymnosphaera podophylla(Hook.)Copel.）、针毛桫椤（G.metteniana (Hance)Tagawa）、粗桫椤（G.hancokii (Copel,)Ching）、牛姆林桫椤（G.niumulinensis Li,Chen et Deng）（新拟）为材料，采用改进的CTAB法获得了纯度较高，得率高，片段完整（片段大小均大于23kb）的基因组DNA，并运用RAPD技术对这5种桫椤进行了遗传多样性分析，从40个10－mer随机引物中筛选30个有效引物，产利用这30个有效引物共扩增出1073条DNA带，利用UPGA法以桫椤科的5个种的种间亲缘关系进行聚类分析，得出5个种的DNA分子分类系统图。结果表明，可以分为毛桫椤、棘桫椤和黑桫椤3组，平均遗传距离为0．61，符合属间的关系，从而确定了RAPD技术用于桫椤植物分子分类研究的可行性。结合前人在形态解剖学方面的工作，提出这5种桫椤科植物可以分为3个类群，即刺桫椤类、黑桫椤类和针毛桫椤类，并提供了3个类群的检索表。     

非德拜型介电弛豫

钛酸锶钡的超低频介电谱在复介电常数平面上给出一段圆弧 ,满足非德拜型弛豫的经验公式。但当频率高于 5Hz时 ,复介电常数的实验点显著偏离圆弧 ,组成一段直线。表明慢极化效应对低频至射频的介电测量有不容忽视的影响     

低通和带通信号采样的频谱混叠分析

对带通信号的采样和重建进行了理论分析，结果表明，如果用信号的2倍带宽频率进行采样，会产生频谱混叠，且当信号的最高和最低频率分量中含有冲激函数时，采样之后的信号不能精确重建原信号，当信号的最高和最低频率分量为有限值时，仍然能精确重建原信号，研究还表明，低通信号的Nyquist采样中所遇到的类似问题只是带通情况的特例。