论影响鸡浆、鸡糁质嫩的因素

鸡浆、鸡糁是选用老母鸡脯肉,用刀背捶松烂,去尽筋缠,再捶成茸泥状后,加入一定量的水,盐,鸡蛋清,水淀粉,根据菜肴的不同要求,分别加入猪油或肥膘茸后调制而成的稀糊状半成品原料.这类半成品原料,可制成雪花鸡淖,芙蓉鸡片、白汁鸡糕、鸡豆花,     

用于满足音频和视频MPEG标准的LSI芯片

本文介绍了一些满足音频和视频ＩＳＯ／ＩＥＣ ＭＰＥＧ标准的编译码芯片。这些芯片是由ＮＥＣ公司在最近二年内设计制造的。为了满足ＭＰＥＧ１视频标准的需要，ＮＥＣ公司开发了这组用于编译码器设计的芯片。这些芯片可分为三类，其中二类用于译码器的设计，另一类则用于实时ＭＰＥＧ１编码器的设计。同时还使用了一个可编程处理器以支持ＬＴＵ－ＴＨ．２６１和ＪＰＥＧ标准。为支持ＭＰＥＧ２视频标准专门开发了一组译码芯片，它     

基于经典逻辑的安全协议模型检测方法

本文分别以安全协议模型检测器SATMC和ProVerif为例,介绍了基于经典逻辑的安全协议模型检测两种方法:SAT方法和归结方法,并简要地给出了我们设计实现的基于SAT方法的安全协议模型检测器JLU-PV.     

基于抽象-验证-细化范例的软件模型检测

如何保证软件系统的正确性和可靠性是当前软件开发面临的主要问题之一。模型检测作为一种重要的自动化验证技术在软件的分析与验证中正取得越来越多的成功。本文以微软的SLAM和加州大学伯克利分校的BLAST为例综述性地介绍了基于抽象-验证-细化范例的软件模型检测。