有向图k顶点导出子图的DNA粘贴算法

在经典的电子计算中,有向图k顶点导出子图是一个高度复杂的问题。DNA计算是近年来发展的以DNA为载体求解计算问题的非经典计算技术。文中研究了使用DNA计算解决有向图k顶点导出子图的问题,从而提出了一种在粘贴机上运行的子图生成算法。首先,以粘贴机的标准生化元操作作为算法调用的基本算子;其次,使用顺序与循环等程序结构,把上述基本算子按照一定的逻辑方式组织起来;最后,读取生化反应结果,即可获得给定有向图的所有k顶点导出子图。仿真实验结果表明,与经典算法相比,新算法在理想条件下大幅缩短了子图生成时间。     

白灵菇无糖营养饼干的工艺优化及其消化特性

以低筋小麦粉和白灵菇粉为主要原料,研发白灵菇无糖营养饼干。通过单因素和正交试验优化白灵菇无糖营养饼干的最佳工艺参数,并通过饼干的感官品质、剪切力分析各因素对饼干品质的影响,通过体外模拟消化试验评估饼干的体外消化特性。结果显示,以低筋小麦粉和白灵菇粉总量（100%）为基重,白灵菇粉添加量10%、木糖醇添加量25%、食用盐添加量0.5%、油脂添加量30%、泡打粉添加量3%为最佳工艺配方。在此条件下制得的白灵菇无糖营养饼干口感酥松、白灵菇风味尚佳。饼干淀粉水解指数（hydrolysis index,HI）和预估血糖生成指数（estimated glycemic index,EGI）分别为62.43、73.98。通过理化指标和微生物指标检测,此种饼干的品质符合国家标准。     

时间自动机模型验证的研究进展

基于时间自动机的模型验证是一种形式化的实时并发系统时间性质验证技术,重大软件对时间行为、时序关系的高可靠性要求,不断刺激时间自动机模型验证技术的发展.介绍了时间自动机理论、模型验证算法及工具,对该领域的研究进展做了综述,指出了时间自动机模型验证存在的问题和研究方向.     

基于图像加密的置乱性能分析研究

为了安全的使用图像加密方案，促进图像加密技术的进一步发展，对这些加密算法的安全性进行比较与分析是非常必要的。提出了对加密图像置乱度进行评价的若干参数，这些参数包括：不动点比、信息熵、灰度平均变化值、图像r-m自相关度和图像相似度。最后利用这些参数对图像加密算法进行了模拟实验分析和安全性评价。     

基于时序逻辑的3种网络攻击建模

与其他检测方法相比,基于时序逻辑的入侵检测方法可以有效地检测许多复杂的网络攻击。然而,由于缺少网络攻击的时序逻辑公式, 该方法不能检测 出常见的back,ProcessTable以及Saint 3种攻击。因此,使用命题区间时序逻辑(ITL)和实时攻击签名逻辑(RASL)分别对这3种攻击建立时序逻辑公式。首先,分析这3种攻击的攻击原理;然后,将攻击的关键步骤分解为原子动作,并定义了原子命题;最后,根据原子命题之间的逻辑关系分别建立针对这3种攻击的时序逻辑公式。根据模型检测原理,所建立的时序逻辑公式可以作为模型检测器(即入侵检测器)的一个输入,用自动机为日志库建模,并将其作为模型检测器的另一个输入,模型检测的结果即为入侵检测的结果,从而给出了针对这3种攻击的入侵检测方法。     

多元物系传质奇异现象及其阐释

大多数传质过程是在多元物系中进行的,因而多元物系传质过程研究具有重要意义。多元物系传质过程与二元物系存在本质的差别,由于组分间的交互作用,多元物系传质过程远比二元物系复杂,传统的传质过程理论不能解释多元物系的一些传质现象。介绍了一些多元物系传质奇异现象,对近年来发展起来的多元物系传质过程理论进行了简要介绍,利用多元物系传质过程理论对多元物系传质奇异现象进行了解释。     

大枣不同加工工艺对比试验研究

大枣（Chinese date）营养丰富，含糖分较多，VC含量居水果之首，其它维生素含量也很丰富，有“天然维生素”之说。现代医学研究证明，大枣具有润心肺、降血压、补心脏、治虚损等功效，对预防心脏血管病和癌症均有十分重要的作用。