基于模型的网构软件可达性检测方法研究

针对网构软件(Internetware)可达性检测中存在状态空间"爆炸"等问题,提出了一种基于网构软件代数模型的可达性检测方法.根据网构软件特性建立其代数模型,通过引入网构相关和网构空间概念,进一步扩展网构软件代数模型.通过明确网构软件可达性与网构组合运算表达式的关系,把可达性判定转化成递归表达式(网构线性相关)判定上...     

基于TTCN-3的SIP协议软件测试方法研究

为了更加高效地测试基于SIP(session initiation protocol,会话初始协议)的应用软件,提出了一种通过执行TTCN-3抽象测试套来验证SIP应用程序正确性的新方法.简单介绍了SIP协议和TTCN-3,给出了基于TTCN-3的SIP协议软件测试的设计与实现方法,结合一个具体应用实例详细验证了该方法的可行性.该方法具有可重用、操作简单、执行快捷等特点.     

基于组件的软件可靠性模型

首先对不同的软件体系结构描述语言（ADL）进行分析，找出体系结构的共性，用抽象代数和一代阶逻辑理论对组件，连接器和软件体系结构的属性和动态行为进行讨论和描述，探讨不同连接形式下的软件体系结构，给出基于组件的软件可靠性模型，在此模型基础上，对基于组件的软件系统的可靠性计算模型进行研究，提出一种半Markov模型，并在理论上证明该模型的可用性，最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。     

嵌入式API测试套生成方法和技术

随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.     

苯乳酸与单增李斯特菌和大肠杆菌胞内外基因组的抑菌作用机制

为研究苯乳酸与食源性致病菌基因组的相互作用机制,选取单增李斯特菌（Listeria monocytogenes 10403s）和大肠杆菌（E.coli 44752）采用凝胶电泳阻滞实验法和紫外-可见光谱法研究苯乳酸与胞内、胞外基因组DNA的作用机制。实验结果表明苯乳酸与单增李斯特菌和大肠杆菌的胞内DNA迁移率和条带亮度均未发生变化,无相互作用;苯乳酸对单增李斯特菌和大肠杆菌的胞外DNA发生结合作用。单增李斯特菌体外DNA在苯乳酸16³2 mmol/L浓度下,与苯乳酸发生结合作用,结合常数为9.16×10⁵M^-1;大肠杆菌体外DNA在苯乳酸2¹6 mmol/L的浓度下,与苯乳酸发生结合作用,结合常数为7.36×10⁵M^-1。两者的结合方式为静电结合和嵌插结合。      

低温管道改性聚脲补口涂料的研制

介绍了油气长输管道施工补口材料的选用以及优缺点。阐述了低温管道改性聚脲涂料的研制开发以及该涂料在高寒地区管道补口中的优势。     

低温果浆酶处理对黑莓出汁率和几个理化指标的影响

用低温果浆酶处理黑莓浆液,探讨酶处理对黑莓出汁率、还原糖含量和色泽等的变化规律。在pH、酶作用时间、加酶量和反应温度单因素实验的基础上进行正交实验。结果表明,pH为3.5、低温果浆酶用量为0.2%,反应温度为30℃,作用时间为1.5h时,黑莓的出汁率最高。      

南瓜菠萝复合汁制造工艺研究

研究了由南瓜、菠萝、苹果和西瓜复合的果汁制造工艺,采用D-最优设计确定了复合配方,并对其稳定性进行了研究。结果表明,由40%南瓜汁、30%菠萝汁、17%苹果汁和13%西瓜汁复合时,口感最好;添加0.02%黄原胶和0.06%果胶的果蔬汁保温至40℃时,在40MPa的压力下均质2次后,悬浮稳定性好。      

苹果家族再添粉红色成员

(2008年1月22日,加利福尼亚,卡布其诺)苹果公司今天宣布其世界上最流行的音乐播放器家族再添亮丽的新款粉红色iPod~(?) nano。深受期待的粉红色iPod nano即刻起提供8GB机型,售价人民币1,798元。iPod nano配备了两英