细胞形态参数的全自动检测

全自动检测能使人工干预减少到最低程度，从而明显地提高检测速度。当摄像机摄取一幅细胞的模拟图象并被转换成其一幅的数字图像，该幅数字图象再经过阴影消除、二值化和边缘检测等几个预处理步骤时，细胞的边缘就能被显示出来，边缘上所有象素的坐标也就能被本文所介绍的方法进行检索。根据上述几个处理步骤，就能获得诸如面积、周长、长（短）轴、形状因子等细胞的形态参数。     

龙腾Stream流处理器验证

芯片设计复杂度的提高迫切地需要先进的方法学以应对巨大的验证工作量。通过开发基于System Verilog的覆盖率驱动的自动化验证平台,对龙腾Stream流处理器的指令集进行了功能验证。实验结果表明,该验证平台提高了验证效率和功能覆盖率,具有良好的重用性和可移植性。搭建FPGA原型验证系统对流处理器的功能和系统性能进行了评测,并提出了优化流处理器加速性能的方法。     

电子商务安全协议及其非单调动态逻辑验证

该文介绍了SET(secure electronic transactions)的付费业务流程,对NDL(non-monotomic dynamic logic)的逻辑框架进行了扩展,即针对SET协议,增加了新的公理,重新给出积累规则的定义.在此基础上,用对SET中的几个重要的范例进行的逻辑验证,说明了NDL在验证电子商务协议上的重要性,并初步提出了积累规则中需要进一步研究的问题.     

面向服务的软件可靠性探讨

面向服务的体系结构(SOA)具有动态与协同的本质特点,这给软件可靠性研究与实践提出了新的挑战,从而产生了面向服务的软件可靠性(SOSR)这一新的研究领域.本文首先对SOSR的发展背景和研究现状进行了综述;然后从可靠性建模和可靠性评估两个方面归纳出SOSR当前所面临的主要问题;最后,以传统基于体系结构的软件可靠性模型为基础,探讨了由单个服务、服务池和服务组舍三个层次迭加而成的SOSR建模与评估框架,以及服务可靠性建模方法、服务池容错机制和服务在线监测等关键技术.     

多孔PZT95/5铁电陶瓷的机械性能和铁电性能研究

采用添加造孔剂的方法制备多孔锆钛酸铅(PZT95/5)铁电陶瓷, 研究了孔结构包括孔隙率、孔径及孔形状对多孔PZT95/5陶瓷机械性能和电性能的影响及机理, 并揭示多孔PZT95/5陶瓷微观结构、机械性能和铁电性能的内在联系。研究表明: 孔隙率的增加降低了多孔PZT95/5陶瓷的声阻抗, 改善了陶瓷与封装材料的声阻抗匹配. 孔隙率增加, 多孔PZT95/5陶瓷的屈服应力和剩余极化强度降低, 矫顽场强增大。孔结构对多孔PZT95/5陶瓷屈服应力的影响可由应力集中理论解释; 多孔PZT95/5陶瓷剩余极化强度随孔结构的变化可用内应力结合空间电荷理论加以解释。     

非平衡气动加热条件下的材料热响应差异研究

针对风洞烧蚀试验中碳/碳与超高温陶瓷两种复合材料存在热响应差异的问题,本文从材料壁面催化与非平衡流场气动加热的机理出发,基于两种风洞设备设计了3个烧蚀试验状态,并对可能影响材料热响应的重要因素进行了分析.结果表明:在不同试验设备条件下,碳/碳端头驻点温度差异主要是由试验状态调试偏差和温度测量偏差造成的,而超高温陶瓷端头驻点温度的差异主要是由不同条件气流非平衡度不同、试件表面实际接受的热流不同造成;对碳/碳材料而言,由于其壁面催化特性接近完全催化壁面,在试验设备选择或状态调试时,可以不必考虑流场非平衡度的影响;而对于超高温陶瓷材料,在试验设备的选择上,则需要结合风洞非平衡流场特点,对试验考核的有效性做充分评估.相关结论可为碳/碳、超高温陶瓷复合材料防热性能的考核与评价提供参考与借鉴.     

响应面优化低糖滇红奶茶的配方

目的 通过响应面法优化低糖滇红奶茶的配方。方法 以滇红茶、全脂奶粉、零卡糖为主要原料,通过单因素分析结合响应面实验设计优化滇红奶茶配方,并分析产品的理化及卫生指标。结果 优化配方为：滇红茶汁50%、全脂奶粉15%、零卡糖10%、乳化剂0.22%、稳定剂0.2%,此时感官评分为87.83。滇红奶茶浅棕色稳定性好、质地均匀、浓稠恰当、细腻滑润无杂质,甜味适中茶香味与奶香香味协调无异味,经测定蛋白质含量(5.99±0.06)%、脂肪含量(3.38±0.02)%、茶多酚含量(320.6±2.25) mg/kg,微生物指标符合国家标准。结论 本研究开发了一种低糖健康的滇红奶茶,为滇红茶的深加工提供一定的实验依据。     

应用水化硅酸盐纳米粉体制备块体材料

以磨细生石灰和硅质原料的混合物为前驱物,采用动态水热合成方法制备了水化硅酸盐纳米粉体.借助SEM、TEM及氮吸附等测试方法,分析了制得的水化硅酸盐粉体的形貌、粒径和比表面积.将制得的水化硅酸盐纳米粉体压制成块状固体.采用正交设计方法研究了成型压力、水泥掺量、纤维掺量、聚合物掺量等因素对块体材料力学性能的影响.结果表明:由该粉体压制成的块体材料立即具有强度和耐水性,且表观密度低;成型压力是影响其力学性能最显著的因素.     

多智能体系统离散时间一致性问题中的参数设计

研究二阶多智能体系统在固定、有向通信拓扑条件下的离散时间一致性问题.针对每个智能体,采用基于速度、位置的分布式控制协议,分析速度、位置增益系数以及采样周期等参数对系统一致性的影响.结果表明,要实现二阶多智能体系统的一致性控制,在保持个体之间通信拓扑有生成树的同时,控制协议中的各个参数还必须满足一定的约束条件.系统拉普拉斯矩阵的特征值和采样周期对系统能否实现渐近一致起到了关键的作用.最后,给出一致性控制中参数设计的一种可行方法,并通过仿真对理论分析的正确性进行验证.     

基于Rough集方法的RS-MAXNET网络分类器模型

Rough集（RS）理论中如何补偿或拓展Rs约简的局部决策规则使之更加接近全局规则是一个重要的议题。本文提出RS与MAXNET网络结合拓展建立盼MAXNET全局网络分类器模型。基于上述模型进行的脱机手写模式识别算法说明了其有效性。