面向半物理仿真的陈述式模型求解方法研究

通过符号操作和数值计算相结合,提出了一种求解半物理仿真模型的新方法。为了满足半物理仿真对实时性的要求,在模型编译阶段将代表数值积分的隐式离散公式插入到仿真模型中,增广后的方程系统伴随着非线性方程的出现,需要在积分的每一步对这些非线性方程进行迭代求解,而求解非线性方程的时间复杂度随维度的变大成指数增加,因此引入代数环撕裂减小代数方程块耦合变量数,以满足实时求解对粒度的要求。最后通过实例对文中提出的方法进行了验证。     

拟态路由器TCP代理设计实现与形式化验证研究CSCD

拟态路由器基于拟态防御的动态异构冗余架构进行设计,对于未知漏洞后门具有良好的防御能力。协议代理在拟态路由器中处于内外联络的枢纽位置,协议代理的安全性和功能正确性对于拟态路由器有着重要意义。本文设计实现了拟态路由器的TCP协议代理,并采用形式化方法,对其安全性和功能正确性进行了验证。TCP协议代理嗅探邻居和主执行体之间的TCP报文,模拟邻居和从执行体建立TCP连接,并向上层应用层协议代理提供程序接口。基于分离逻辑与组合思想,采用Verifast定理证明器,对TCP协议代理的低级属性,包括指针安全使用、无内存泄露、无死代码等,进行了验证;同时,还对TCP协议代理的各主要功能模块的部分高级属性进行了形式化验证。搭建了包含3个执行体的拟态路由器实验环境,对实现结果进行了实际测试,结果表明所实现的TCP代理实现了预期功能。TCP协议代理实现总计1611行C代码,其中形式化验证所需人工引导定理检查器书写的证明共计588行。实际开发过程中,书写代码实现与书写人工证明所需的时间约为1︰1。本文对TCP协议代理的实现与形式化验证工作证明了将形式化验证引入拟态路由器的关键组件开发中是确实可行的,且证明代价可以接受。     

雅克比矩阵近似更新的三维装配约束求解研究

提出了三维装配约束求解中雅克比矩阵近似更新的方法。该方法通过对迭代过程中满秩以及行秩秩亏雅克比矩阵进行近似更新,提高了约束求解的效率。首先在非线性迭代求解过程中添加雅克比矩阵及其逆矩阵近似更新的公式;然后给出使用近似更新公式需要满足的限制条件;最后通过对奇异点扰动算法的描述介绍迭代求解过程中雅克比矩阵发生行秩秩亏的处理办法。文中提出的策略与算法已在三维装配约束求解引擎 CBABench中实现,给出的实例表明本文提出的方法效果显著。     

酶法水解豆渣制备水溶性膳食纤维及其作为微胶囊壁材的研究

研究了酶法水解豆渣制备可溶性膳食纤维的工艺。在复合纤维素酶的添加量(与底物比值)为1·2%时,豆渣与水的比例为1g∶12mL。应用正交试验找出最佳水解条件,即pH为4·5,水解时间为12h,水解温度为40℃,豆渣与水的比例为1g∶12mL,在此条件下水解,可溶性膳食纤维的产率为39·03%。同时研究了以豆渣可溶性膳食纤维作为月见草油微胶囊粉末油脂壁材的可行性和效果。     

微胶囊化罂粟籽油鲜味粉的制备及理化分析

以自制的鲜味米渣深度水解蛋白粉(20%)和鱼肉水解蛋白粉(13.8%)为壁材,罂粟籽油为芯材,制备了罂粟籽油微胶囊鲜味粉。产品感官指标优良,包埋率达到99.2%,罂粟籽油微胶囊鲜味粉芯材过氧化值为4.53meq/kg,酸价0.50mgKOH/g,符合食用油的卫生要求。      

有限酶解米渣蛋白的乳化功能特性表征

讨论了米渣蛋白经碱性内切蛋白酶Alcalase 2.4L FG水解后,水解度(DH)分别为3、4、5、6、10的有限酶解米渣蛋白的乳化活性、乳化稳定性、溶解性、表面张力、粘度、样品乳状液粒度分布等特性,并与米渣蛋白、大米分离蛋白、国外进口酪朊酸钠进行比较。结果表明,有限酶解米渣蛋白的乳化功能特性大大优于大米分离蛋白和米渣蛋白,并且得到有限酶解米渣蛋白(DH=4)的乳化性比国外进口的酪朊酸钠佳,但乳化稳定性次于酪朊酸钠。综合结果表明,DH=4的有限酶解米渣蛋白的乳化功能特性很好。     

国潮营销之外，中式汉堡仍需夯实内功

<正>2年狂飙2000多家店,总门店数直逼3000家,汉堡赛道跑出了拓店力炸裂的新秀玩家——塔斯汀。这家拓店速度吊打“麦肯”的中式汉堡,以本土喜好制胜：强调“现擀现烤”;口味更加中国化,内馅包括北京烤鸭、梅菜扣肉等;门店以“中国红”为主色调,遍布国潮元素;价格上走平民模式,客单价约20元……除了塔斯汀,楚郑、豪客吉、大大方方等中式汉堡也在积极扩张并得到资本青睐,不惧与科班出身的“麦肯”、Shake Shack正面刚。脱离了“西式快餐”的叙事,     

白茶与安吉白茶的研究进展

在中国六大茶(绿茶、红茶、乌龙茶、白茶、黄茶和黑茶)中,安吉白荼属于绿茶,由于名称与白茶相似,且具有类似的药理功效,常易被混淆本文从白茶和安吉白茶的发展历史、药理学研究和产品开发三个方面对白茶和安吉白荼进行综述,并对两者的发展前景进行展望.     

桑白皮多酚的抗氧化和对UV辐射致成纤维细胞光老化的修复作用

采用2,2-联氮-二(3-乙基-苯并噻唑-6-磺酸)二铵盐(ABTS)和1,1-二苯基-2-三硝基苯肼(DPPH)自由基清除法研究桑白皮多酚的抗氧化活性。体外培养成纤维HS68细胞,通过紫外线(UV)辐射建立细胞光老化模型,采用噻唑蓝(MTT)法检测细胞增殖活性,利用酶联免疫吸附(ELISA)法检测细胞Ⅰ型前胶原蛋白(PIP)含量,采用实时荧光定量PCR(qRT-PCR)测定基质金属蛋白酶-1(MMP-1)、PIP的mRNA表达水平。结果显示,桑白皮多酚(CMP)具有显著的抗氧化活性,其对ABTS、DPPH自由基清除作用的半数抑制浓度(IC50)分别为1.49,8.94μg/mL,阳性对照丁基羟基茴香醚(BHA)的IC50分别为11.25,11.03μg/mL,表明CMP的自由基清除能力强于BHA。与UV模型组相比,CMP显著促进成纤维细胞的增殖(P0.05),并呈浓度依赖性地提高受损细胞内PIP的含量(P0.05)。同时,CMP能够显著下调UV辐射损伤细胞内MMP-1的mRNA水平,提高PIP的mRNA表达(P0.05)。研究表明,CMP对UV辐射致皮肤光老化有一定的修复作用,其作用机制可能与有效清除自由基,抑制细胞内MMP-1表达及调控PIP合成有关。