期刊文献+
共找到104篇文章
< 1 2 6 >
每页显示 20 50 100
一种基于梯度提升回归树的系外行星宜居性预测方法 预览
1
作者 朱维 王鑫 +2 位作者 钟英辉 樊永文 陈永华 《计算机科学》 CSCD 北大核心 2019年第B06期71-73,79共4页
系外行星的宜居性是近年来探索宇宙的一个热点研究课题,机器学习为系外行星宜居性分类提供了一种可行的手段。然而,现有的宜居性分类效果面临严重不足与局限。为此,给出一种基于梯度提升回归树的系外行星宜居性分类预测方法。首先,使用... 系外行星的宜居性是近年来探索宇宙的一个热点研究课题,机器学习为系外行星宜居性分类提供了一种可行的手段。然而,现有的宜居性分类效果面临严重不足与局限。为此,给出一种基于梯度提升回归树的系外行星宜居性分类预测方法。首先,使用梯度提升回归树算法对系外潜在宜居行星与非宜居行星的相关物理学与天文学数据集进行训练;然后,利用训练好的模型对相关测试集进行预测。仿真实验结果表明,新方法在测试集上的预测准确率高达100%。 展开更多
关键词 梯度提升回归树 系外行星 宜居性 二分类
在线阅读 免费下载
在多FPGA上的高性能VPN口令恢复方法
2
作者 韩宇 周清雷 +1 位作者 李斌 朱维 《小型微型计算机系统》 CSCD 北大核心 2019年第4期765-770,共6页
随着国家不断加大对网络安全领域的重视程度,工信部出台规定私人不得自行建立和租用VPN.但由于VPN通信的保密性导致有关部门难以有效监管.因此,实现一种高效的VPN口令恢复方案具有重要意义.通过对VPN使用的身份验证协议以及数据加密协... 随着国家不断加大对网络安全领域的重视程度,工信部出台规定私人不得自行建立和租用VPN.但由于VPN通信的保密性导致有关部门难以有效监管.因此,实现一种高效的VPN口令恢复方案具有重要意义.通过对VPN使用的身份验证协议以及数据加密协议的分析,本文提出了一种针对使用PPTP隧道协议进行VPN通信的破解模式-VPN-DES模式,并实现了基于多组全流水线架构的FPGA口令恢复方案. VPN-DES模式能将需要暴力穷举的口令空间缩小到256.使用VPN-DES模式恢复的口令不仅可以实现身份认证,还可以用于破解VPN加密的通信数据.采用全流水线架构的FPGA设计在充分发挥FPGA高性能计算的优势的同时,还能在有限时间内遍历全口令空间,因此本方案拥有100%的破解率.实验结果表明,与采用CPU、GPU暴力破解相比,该方案性能比GPU提高12. 8倍,相比CPU则提高5万倍左右. 展开更多
关键词 VPN 口令恢复 FPGA 高性能计算
动态异构冗余数据保护安全架构
3
作者 樊永文 朱维 +1 位作者 班绍桓 陈永华 《小型微型计算机系统》 CSCD 北大核心 2019年第9期1956-1961,共6页
针对传统数据保护方法难以应对未知的漏洞和后门等安全问题,提出一种基于拟态防御思想的动态异构冗余数据保护安全架构--拟态数据安全架构(Mimic Data Security,MDS),用以提升数据服务的安全性.首先,根据拟态防御技术的工作原理构造异... 针对传统数据保护方法难以应对未知的漏洞和后门等安全问题,提出一种基于拟态防御思想的动态异构冗余数据保护安全架构--拟态数据安全架构(Mimic Data Security,MDS),用以提升数据服务的安全性.首先,根据拟态防御技术的工作原理构造异构冗余的执行体资源池;然后,利用具有选调器、控制器、输入代理和裁决器等功能模块组成的中心控制器实现对异构冗余执行体的动态调度,并对在线执行体集的输出结果的进行多模裁决处理,用以提升系统的安全性和可靠性.仿真实验结果表明,对比传统静态架构,具有动态随机等特性的MDS架构具有更高的安全性能. 展开更多
关键词 数据安全 异构冗余 动态调度 拟态防御
有向图k顶点导出子图的DNA粘贴算法 预览
4
作者 朱维 张春艳 +1 位作者 周清雷 陈永华 《计算机科学》 CSCD 北大核心 2019年第1期309-313,共5页
在经典的电子计算中,有向图k顶点导出子图是一个高度复杂的问题。DNA计算是近年来发展的以DNA为载体求解计算问题的非经典计算技术。文中研究了使用DNA计算解决有向图k顶点导出子图的问题,从而提出了一种在粘贴机上运行的子图生成算法... 在经典的电子计算中,有向图k顶点导出子图是一个高度复杂的问题。DNA计算是近年来发展的以DNA为载体求解计算问题的非经典计算技术。文中研究了使用DNA计算解决有向图k顶点导出子图的问题,从而提出了一种在粘贴机上运行的子图生成算法。首先,以粘贴机的标准生化元操作作为算法调用的基本算子;其次,使用顺序与循环等程序结构,把上述基本算子按照一定的逻辑方式组织起来;最后,读取生化反应结果,即可获得给定有向图的所有k顶点导出子图。仿真实验结果表明,与经典算法相比,新算法在理想条件下大幅缩短了子图生成时间。 展开更多
关键词 粘贴机 脱氧核糖核酸 有向图 顶点导出子图
在线阅读 免费下载
钢丝绳残余应力检测及分析 预览
5
作者 孙文 孙杰 +1 位作者 朱维 刘礼华 《金属制品》 2019年第1期59-61,共3页
通过使用微区X射线残余应力仪Proto-LXRD对钢丝绳中直径0.5mm的外层钢丝表面和不同深度的轴向残余应力检测,分析不同等温介质和常温时效时间对钢丝残余应力的影响及钢丝绳内残余应力的分布情况,阐述钢丝绳拉拔和捻制过程中影响残余应力... 通过使用微区X射线残余应力仪Proto-LXRD对钢丝绳中直径0.5mm的外层钢丝表面和不同深度的轴向残余应力检测,分析不同等温介质和常温时效时间对钢丝残余应力的影响及钢丝绳内残余应力的分布情况,阐述钢丝绳拉拔和捻制过程中影响残余应力的因素以及残余应力对钢丝绳性能的影响。 展开更多
关键词 钢丝绳 残余应力 X射线 等温介质.
在线阅读 下载PDF
基于时序逻辑的3种网络攻击建模 预览 被引量:1
6
作者 聂凯 周清雷 +1 位作者 朱维 张朝阳 《计算机科学》 CSCD 北大核心 2018年第2期209-214,共6页
与其他检测方法相比,基于时序逻辑的入侵检测方法可以有效地检测许多复杂的网络攻击。然而,由于缺少网络攻击的时序逻辑公式,该方法不能检测出常见的back,ProcessTable以及Saint 3种攻击。因此,使用命题区间时序逻辑(ITL)和实时攻击... 与其他检测方法相比,基于时序逻辑的入侵检测方法可以有效地检测许多复杂的网络攻击。然而,由于缺少网络攻击的时序逻辑公式,该方法不能检测出常见的back,ProcessTable以及Saint 3种攻击。因此,使用命题区间时序逻辑(ITL)和实时攻击签名逻辑(RASL)分别对这3种攻击建立时序逻辑公式。首先,分析这3种攻击的攻击原理;然后,将攻击的关键步骤分解为原子动作,并定义了原子命题;最后,根据原子命题之间的逻辑关系分别建立针对这3种攻击的时序逻辑公式。根据模型检测原理,所建立的时序逻辑公式可以作为模型检测器(即入侵检测器)的一个输入,用自动机为日志库建模,并将其作为模型检测器的另一个输入,模型检测的结果即为入侵检测的结果,从而给出了针对这3种攻击的入侵检测方法。 展开更多
关键词 命题区间时序逻辑 实时攻击签名逻辑 模型检测 入侵检测
在线阅读 免费下载
基于拟态防御机制的全舰计算环境安全架构设计 预览
7
作者 朱维 樊永文 班绍桓 《数字技术与应用》 2018年第1期203-205,共3页
针对全舰计算环境(Total Ship Computing Environment,TSCE)体系结构的计算安全性问题,提出基于动态异构冗余的TSCE体系结构设计思想。首先,对TSCE的基础设施和应用系统分别进行动态异构冗余(Dynamic Heterogeneous Redundancy,DHR)设计... 针对全舰计算环境(Total Ship Computing Environment,TSCE)体系结构的计算安全性问题,提出基于动态异构冗余的TSCE体系结构设计思想。首先,对TSCE的基础设施和应用系统分别进行动态异构冗余(Dynamic Heterogeneous Redundancy,DHR)设计,获得具有更佳抗攻击性的拟态防御系统成份;然后,把上述两大组成部分按照TSCE原有组织架构连接起来,即可获得具有拟态防御能力的全舰计算环境系统架构。内嵌的拟态防御机制可望为新模型带来更强的抗攻击性与主动防御能力。 展开更多
关键词 动态 异构 冗余 拟态防御 全舰计算环境
在线阅读 下载PDF
动态虚拟MSISDN的拟态自动机模型与安全性验证方法 预览
8
作者 朱维 樊永文 班绍桓 《信息网络安全》 CSCD 北大核心 2018年第4期15-22,共8页
移动通信MSISDN号码对外公开,导致用户数据信息泄露或被恶意窃取。动态虚拟MSISDN号码通过引入拟态防御机制,可实现用户信息防泄露和防窃取。然而,对于该技术在全状态空间的安全性,目前尚缺乏有效的分析方法。文章首先使用有穷状态自动... 移动通信MSISDN号码对外公开,导致用户数据信息泄露或被恶意窃取。动态虚拟MSISDN号码通过引入拟态防御机制,可实现用户信息防泄露和防窃取。然而,对于该技术在全状态空间的安全性,目前尚缺乏有效的分析方法。文章首先使用有穷状态自动机描述动态虚拟MSISDN的状态迁移;使用细胞自动机描述动态虚拟MSISDN的变化结构;使用层次自动机描述动态虚拟MSISDN的不同计算粒度。其次,将各种自动机按照一定的逻辑关系组织起来,即可获得描述动态虚拟MSISDN内在行为的拟态自动机模型。然后,使用特定的线性时序逻辑公式描述动态虚拟MSISDN安全性。最后,将动态虚拟MSISDN安全性问题按如下方式规约为拟态自动机模型检测问题:若模型检测结果指出拟态自动机满足给定的线性时序逻辑公式,则动态虚拟MSISDN满足安全性;若模型检测结果指出拟态自动机不满足给定的线性时序逻辑公式,则动态虚拟MSISDN不满足安全性。由此便可在全状态空间上自动验证动态虚拟MSISDN的安全性。仿真实验证实了文中方法的高效性。 展开更多
关键词 拟态自动机 模型检测 MSISDN虚拟化 拟态防御
在线阅读 下载PDF
基于功能切片的拟态防御体系结构及安全等级评估方法 预览
9
作者 周清雷 冯峰 朱维 《通信学报》 CSCD 北大核心 2018年第A02期95-105,共11页
网络空间安全领域,邬江兴院士提出了拟态防御理论及动态异构冗余(DHR,dynamic heterogeneous redundancy)架构。目前对该机制的实现都着眼于系统全栈化,有复杂度大与成本高等问题。由于应用层具有可控性,有利于被引入该机制。因此,在应... 网络空间安全领域,邬江兴院士提出了拟态防御理论及动态异构冗余(DHR,dynamic heterogeneous redundancy)架构。目前对该机制的实现都着眼于系统全栈化,有复杂度大与成本高等问题。由于应用层具有可控性,有利于被引入该机制。因此,在应用层上通过对业务功能进行分割切片,再引入DHR架构,构建出了基于功能切片的拟态防御体系结构。同时,提出了一种拟态安全等级评估方法,并用此方法进行分析评估,最后通过实验验证了该体系结构的可行性和安全性。 展开更多
关键词 拟态防御 体系结构 动态异构冗余 拟态安全 安全等级
在线阅读 下载PDF
全舰计算环境形式化验证算法 预览 被引量:1
10
作者 朱维 樊永文 聂凯 《数字技术与应用》 2017年第6期140-141,143共3页
简要介绍全舰计算环境(Total Ship Computing Environment,TSCE)的基本概念、相关组成、体系架构、安全需求分析以及美军TSCE设计经验对我军舰艇发展的启示。针对TSCE的安全性未知问题,我们引入了形式化验证方法。首先,使用全自动的... 简要介绍全舰计算环境(Total Ship Computing Environment,TSCE)的基本概念、相关组成、体系架构、安全需求分析以及美军TSCE设计经验对我军舰艇发展的启示。针对TSCE的安全性未知问题,我们引入了形式化验证方法。首先,使用全自动的模型检测方法验证TSCE子集;然后,使用形式推理的方式半自动半人工的验证TSCE全集。复杂度分析揭示了新方法的效率。最后,得出结论,本文提出的TSCE形式化验证方案可望与传统的软件工程方法优势互补,协同验证TSCE是否满足包括安全性在内的相关性质需求。 展开更多
关键词 全舰计算环境 形式化验证 模型检测 形式推理
在线阅读 下载PDF
线性时序逻辑公式Xp模型检测的DNA计算方法 被引量:2
11
作者 韩英杰 朱维 +2 位作者 焦林枫 刘洋 周清雷 《小型微型计算机系统》 CSCD 北大核心 2017年第3期553-558,共6页
突破传统计算框架的DNA计算为模型检测提供了新思路.目前已经实现了LTL公式p Uq的DNA模型检测算法,并在其基础上实现了Gp、Fp模型检测的DNA算法.但是Xp无法用含有U算符的公式来表示,目前也没有关于Xp的DNA模型检测算法.提出Xp的基于DNA... 突破传统计算框架的DNA计算为模型检测提供了新思路.目前已经实现了LTL公式p Uq的DNA模型检测算法,并在其基础上实现了Gp、Fp模型检测的DNA算法.但是Xp无法用含有U算符的公式来表示,目前也没有关于Xp的DNA模型检测算法.提出Xp的基于DNA计算的模型检测算法,仿真实验结果表明其可行性和正确性,DNA计算框架下的LTL模型检测算法得到了扩充和完善,DNA计算已解决的问题库也进一步丰富了. 展开更多
关键词 模型检测 线性时序逻辑 DNA计算 粘贴自动机
基于统计差分的轨迹隐私保护 预览
12
作者 朱维 游庆光 +1 位作者 杨卫东 周清雷 《计算机研究与发展》 CSCD 北大核心 2017年第12期2807-2814,共8页
随着车联网不断地发展,车联网为驾乘者提供便捷服务的同时,也带来了相应的隐私保护问题.轨迹数据发布将可能泄露用户位置隐私,从而危害用户人身安全;为改变已有差分隐私保护方法中添加随机噪音的弊端,提出一种基于统计差分隐私的轨迹隐... 随着车联网不断地发展,车联网为驾乘者提供便捷服务的同时,也带来了相应的隐私保护问题.轨迹数据发布将可能泄露用户位置隐私,从而危害用户人身安全;为改变已有差分隐私保护方法中添加随机噪音的弊端,提出一种基于统计差分隐私的轨迹隐私保护方法.车辆行驶轨迹具有Markov过程的特点,根据车辆轨迹的特征计算轨迹中位置节点敏感度;并根据位置敏感度,统计阈值和敏感度阈值添加适量Laplace噪音;使用平均相对误差评价轨迹数据的可用性大小.实验证实了基于统计差分隐私的轨迹隐私保护方法的可用性和有效性. 展开更多
关键词 轨迹数据 差分隐私 MARKOV过程 数据发布 隐私保护
在线阅读 下载PDF
大桥缆索用钢丝国际标准的发展
13
作者 王奂 卢靖宇 +1 位作者 朱维 任翠英 《冶金标准化与质量》 2017年第3期36-39,共4页
详细介绍了大桥缆索用钢丝的发展现状及其当前创新技术,通过国际上较早开发桥梁缆索用钢丝的国家所使用的标准内容对比分析,阐述了大桥缆索用钢丝国际标准立项的重要性,并详细介绍了ISO/DIS19203国际标准中的技术内容。
关键词 桥梁缆索 钢丝 锌铝合金 国际标准
YB/T4575—2016《高处作业吊篮用钢丝绳》制定与研究
14
作者 王奂 朱维 +3 位作者 邵永清 黄磊 施瑾 冯平 《冶金标准化与质量》 2017年第4期10-12,47共4页
根据吊篮行业的特殊工况,研究制定高处作业吊篮用钢丝绳行业标准,在钢丝绳分类、尺寸和允许偏差、捻制等方面进行了特别的参数设计,适应吊篮行业的发展。
关键词 吊篮 钢丝绳 标准研究
基于DNA计算的线性时序逻辑模型检测方法 预览 被引量:3
15
作者 朱维 周清雷 张钦宪 《计算机学报》 EI CSCD 北大核心 2016年第12期2578-2597,共20页
该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先,使用3'-5'型单链DNA分子对LTL公式的有穷状态自动... 该文研究基于脱氧核糖核酸(Deoxyribonucleic Acid,DNA)计算的线性时序逻辑(Linear Temporal Logic,LTL)模型检测问题.为此,该文给出了使用粘贴自动机实现LTL模型检测的方法.首先,使用3'-5'型单链DNA分子对LTL公式的有穷状态自动机(Finite State Automata,FSA)模型进行编码,从而获得实现公式的粘贴自动机;其次,使用5'-3'型单链DNA分子对系统模型进行编码,从而获得粘贴自动机的输入字符串;最后,对表征粘贴自动机的DNA单链分子和表征输入字符串的DNA单链分子实施一系列生化反应,即可判定系统是否满足公式.分子生物学仿真实验结果表明:给出的DNA编码序列能达到99.9%的碱基配对正确率,且新方法成功地对所有4种LTL基本公式与5种LTL常见公式实施了检测;与之对照,已有的方法只能有效检测1种LTL基本公式与0种LTL常见公式.在此基础上,对本实验给出的DNA编码方案直接作位数扩展即可拥有对任意给定LTL一般公式的(理论)检测能力. 展开更多
关键词 模型检测 脱氧核糖核酸 线性时序逻辑 粘贴自动机 有穷状态自动机 DNA计算
在线阅读 下载PDF
以DNA为载体的线性时序逻辑模型检测 预览 被引量:3
16
作者 朱维 周清雷 李永亮 《电子学报》 EI CAS CSCD 北大核心 2016年第6期1265-1271,共7页
线性时序逻辑模型检测被广泛应用于处理器设计与验证、网络协议验证、安全协议验证等领域.然而到目前为止,该技术只能在电子计算的平台上实现.为了以脱氧核糖核酸(Deoxyribo Nucleic Acid,DNA)为载体对线性时序逻辑(Linear Temporal ... 线性时序逻辑模型检测被广泛应用于处理器设计与验证、网络协议验证、安全协议验证等领域.然而到目前为止,该技术只能在电子计算的平台上实现.为了以脱氧核糖核酸(Deoxyribo Nucleic Acid,DNA)为载体对线性时序逻辑(Linear Temporal Logic,LTL)实施模型检测,给出了使用粘贴自动机实现Until算子模型检测的方法.首先,使用粘贴自动机对Until公式的有穷状态自动机(Finite State Automata,FSA)模型进行编码;然后,将系统模型转换为粘贴自动机的输入字符串;最后,用粘贴自动机验证系统是否满足公式.仿真实验结果证实,新方法可实现对LTL逻辑时序算子的检测. 展开更多
关键词 模型检测 脱氧核糖核酸 线性时序逻辑 粘贴自动机
在线阅读 下载PDF
越南Nhat Tan桥斜拉索技术 预览 被引量:2
17
作者 薛花娟 朱维 陈爱华 《金属制品》 2015年第1期16-19,共4页
越南Nhat Tan桥是城市快速通道的五塔斜拉桥,其斜拉索耐久性、可靠性等要求较高.分析Nhat Tan桥斜拉索镀锌钢丝的技术要求,同时对成品斜拉索进行较大应力范围的抗疲劳性能研究.对比分析平行钢丝拉索和钢绞线斜拉索体系的特点,Nhat Tan... 越南Nhat Tan桥是城市快速通道的五塔斜拉桥,其斜拉索耐久性、可靠性等要求较高.分析Nhat Tan桥斜拉索镀锌钢丝的技术要求,同时对成品斜拉索进行较大应力范围的抗疲劳性能研究.对比分析平行钢丝拉索和钢绞线斜拉索体系的特点,Nhat Tan桥选取平行钢丝拉索结构,采用优质、扭转性能高的高强度镀锌钢丝.镀锌钢丝强度要求达到l 770 MPa;斜拉索公称抗拉强度要求不小于1 770 MPa,弹性模量为(1.90~2.00) &#215;105 MPa.经过疲劳及静载试验后,斜拉索的断丝率在1%以下,非弹性伸长率达到2.4%,说明Nhat Tan桥斜拉索不仅具有较高的抗拉强度,也有优良的韧性. 展开更多
关键词 Nhat Tan桥 五塔斜拉桥 斜拉索 热镀锌钢丝 扭转 抗拉强度 疲劳性能试验
在线阅读 下载PDF
CFRP筋粘结型锚固系统数值模拟及失效分析
18
作者 朱元林 刘礼华 +3 位作者 张继文 朱维 王奂 周祝兵 《复合材料学报》 EI CAS CSCD 北大核心 2015年第5期1414-1419,共6页
针对碳纤维增强复合材料(CFRP)筋粘结型锚固系统,采用数值分析研究了不同锚具内壁与锚固胶体间的摩擦系数、不同锥形倾角、锚具前端有无直筒过渡段及有无端堵约束对筋材应力状态的影响,找出了筋材在靠近锚具端部发生破坏的原因,提... 针对碳纤维增强复合材料(CFRP)筋粘结型锚固系统,采用数值分析研究了不同锚具内壁与锚固胶体间的摩擦系数、不同锥形倾角、锚具前端有无直筒过渡段及有无端堵约束对筋材应力状态的影响,找出了筋材在靠近锚具端部发生破坏的原因,提出了相关强度分析方法及锚固改进方法,并用试验结果验证了方法的有效性。分析结果表明:筋材在摩擦系数为0.7时受到的径向挤压应力峰值只有摩擦系数为0.3时受到的径向挤压应力峰值的45.01%;随着锥形倾角增大,CFRP筋在锚具锥段所受的径向挤压应力峰值逐渐减小,所受剪应力峰值逐渐增大;在锥段末端增设直简过渡段可以缓解筋材所受到的径向挤压应力与剪应力峰值,缓解系数分别为76.78%与52.90%;端堵约束的存在使锚具端部应力集中现象明显,导致筋材在锚具端部发生破坏。 展开更多
关键词 碳纤维增强复合材料筋 锚固系统 数值分析 应力状态 失效分析
一种面向教学的排课冲突检测算法 预览
19
作者 朱维 王迤冉 《河南教育学院学报:自然科学版》 2015年第2期30-33,共4页
排课算法可在大规模空间上对排课元素实施自动编排。然而,目前未见报道有关针对已排好的课表实施正确性检测的通用全自动方法。为此,给出课表所需满足约束条件的形式化描述;在此基础上,分别给出3个子算法以检测3种约束条件;顺序调... 排课算法可在大规模空间上对排课元素实施自动编排。然而,目前未见报道有关针对已排好的课表实施正确性检测的通用全自动方法。为此,给出课表所需满足约束条件的形式化描述;在此基础上,分别给出3个子算法以检测3种约束条件;顺序调用这些子算法,即可得到一种面向教学实践的排课冲突检测算法。检测实验证实了新方法的有效性。 展开更多
关键词 排课系统 算法 冲突检测 课程表
在线阅读 下载PDF
凝固型紫薯酸奶加工工艺研究 预览 被引量:9
20
作者 汤高奇 朱维 +3 位作者 田洁 曹乐民 介元芬 周友杰 《中国乳品工业》 CAS CSCD 北大核心 2015年第1期59-62,共4页
以紫著和纯牛奶为主要原料,经发酵剂发酵制备新型凝固型紫薯酸奶。通过单因素和响应曲面试验优化凝固型紫薯酸奶的生产工艺为:紫薯浆添加量为6.84%,白砂糖添加量为8%,发酵剂添加量为0.1%,发酵时间为4h,发酵温度为43℃。在此... 以紫著和纯牛奶为主要原料,经发酵剂发酵制备新型凝固型紫薯酸奶。通过单因素和响应曲面试验优化凝固型紫薯酸奶的生产工艺为:紫薯浆添加量为6.84%,白砂糖添加量为8%,发酵剂添加量为0.1%,发酵时间为4h,发酵温度为43℃。在此工艺条件下制作出的紫薯酸奶口感独特,状态最佳,并同时具有紫薯和酸奶的营养特征。 展开更多
关键词 紫薯 凝固型酸奶 生产工艺
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部 意见反馈