排序方式: 共有38条查询结果,搜索用时 31 毫秒
1.
符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;同时,通过将协议代码中的密码学逻辑与协议交互逻辑相分离,避免了因密码逻辑的复杂性导致路径约束无法求解的问题。在SSH协议开源项目Dropbear上的成功实践表明了所提方法的可行性;通过与 Dropbear 自带的模糊测试套件对比,验证了所提方法在代码覆盖率与错误点发现上均具有一定优势。 相似文献
2.
针对从细菌中提取的胶原蛋白酶酶解牛骨胶原蛋白的动力学性质进行研究。通过全波长扫描和SDS-PAGE电泳,对酶解的动态变化及其多肽分子量的变化进行了研究,考察了温度、酶用量、底物浓度等因素对酶解动态的影响,并对酶解的过程动力学进行了分析。结果说明:胶原蛋白酶酶解牛骨胶原蛋白得到的多肽分子量分布不均匀,分子量大小随反应时间的增大而减小;在一定范围内,增大酶浓度、提高温度可使酶解反应更彻底。 相似文献
3.
<正>河南科技大学的食品工艺学课程自1983年创立以来,经过40年的发展,成功获得了校级和省级精品课程的评定,2018年被评为“国家精品在线开放课程”,2021年先后被授予“国家级线上一流本科课程”“河南省混合式一流课程”和“河南省课程思政样板课”等称号,同时获得“河南省教育信息化创新应用一等奖”。食品工艺学课程是食品科学与工程、食品质量与安全、乳品工程3个专业的核心必修课,也是食品科学与工程专业工程教育专业认证、国家一流专业的重要支撑课程, 相似文献
4.
5.
本文对黑格尔的《法哲学原理》从不同的角度进行了评析:包括《法哲学原理》的"两个凡是"命题;关于自由意志的思想;对当代道德教育的启示;与马克思哲学的关系四个方面的内容。 相似文献
6.
本文对黑格尔的《法哲学原理》从不同的角度进行了评析:包括《法哲学原理》的"两个凡是"命题;关于自由意志的思想;对当代道德教育的启示;与马克思哲学的关系四个方面的内容。 相似文献
7.
最近,机电部七所研制成功 GC—CMS1型900MHz 无中心选址电台呼号监测系统。该系统由专用接收机与计算机、监视器、打印机等组成.具有与计算机非联机与联机两种工作方式。在非联机情况下,可对900MHz 无中心选址电台呼号编码进行实时监测,并有“嘟”声提醒监测人员注意,也可存贮少量数据。在 GC—CMS1组合软件支持下,可与 IBM—PC/AT 或XT 及其兼容机,经RS—232接口相连,提供自动的监测手段,在监视屏幕上可显示每次呼叫监测的时间,正在通话的群号,信道号及发射电台的呼号编码,同时可享用计算机的硬件和 相似文献
8.
前不久,朋友到上海出差,带回一双胶粘圆口边带皮鞋,不仅新而且大方,还挺美观舒适。欣赏之余,翻过底面一看,“鄂西利川”几个显眼的大字在鞋底下印着,我们和朋友顿时哭笑不得。利川人到上海买回利川皮鞋,这件事倒成了人们茶余饭后的笑 相似文献
9.
<正>2011年4月16日至17日,受中国机械工程学会摩擦学分会委托,第二届中日摩擦学高层论坛在河南科技大学举行。校长王键吉教授出席论坛并致辞,清华大学、中国科学院兰州化学物理研究所等单位的专家学 相似文献
10.
为了研究乳酸链球菌素(nisin)的抗菌活性,采用金黄色葡萄球菌为实验培养菌种,分别研究了不同的酸溶液(乙酸、硝酸、盐酸、柠檬酸)、不同的金属离子(Zn2+、K+、Fe3+、Cu2+)、不同的离子强度(以Na+的离子强度:0、0.2、0.4、0.6、0.8mol/L)和不同的pH值(4.0、4.5、5.0、5.5、6.0)等非生物性因素对Nisin抗菌活性的影响。实验结果表明,乙酸对Nisin的抗菌活性的提高效果最佳;加入金属离子会提高Nisin的抗菌活性,其中K+的促进作用最强;离子强度的增加对Nisin的抗菌活性有很大的提高;Nisin在pH4.0的酸性环境中抗菌活性最好。 相似文献