RVM在SoC验证中的应用及覆盖率驱动技术

介绍了RVM的层次化验证平台的结构,描述了RVM提供的基类和它们相互之间的关系。并且以USB 为例,给出了利用RVM搭建模块级验证平台的方法,阐述了基于代码覆盖率和功能覆盖率的覆盖率驱动技术。     

苦丁茶主物质提取及其HPLC指纹图谱分析

通过对苦丁茶成分的提取方式和条件初步优化,选取最优的色谱分离条件,运用高效液相色谱技术(HPLC),针对4个不同产地的10个批次苦丁茶建立指纹图谱.从图谱中所含主成分的种类和化学成分的提取率选择超声提取的方式,确定75％的乙醇为提取溶剂和30 min的超声时间.在对HPLC条件的优化过程中,根据最终实验结果的优越性选择...     

基于学习通课程的学生网络学习行为研究

针对超星学习通课程学习过程中学生出现的被动学习、消极学习现象,提出分析学生学习态度的方法,构建学习态度跟踪模型.首先针对超星学习通平台收集的学生网络学习行为数据,选取与学习态度相关性较高的指标,形成训练数据集;然后,通过调查法对学生学习态度进行调查,以此获得学习态度标签;最后,基于分类算法构建学习态度跟踪模型,采用五折...     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

基于区块链的车联网群智感知位置隐私保护方法

针对车联网群智感知位置隐私泄露和用户参与任务公平性的问题,提出了一种基于区块链的车联网群智感知位置隐私保护方法(location privacy protection method based on blockchain and crowdsensing, LPPMBC)。将分布式的区块链引入车联网群智感知位置隐私保护方法中,消除第三方服务平台对参与用户数据的控制;通过保序加密和Geohash编码相结合,为参与工人提供多级别的位置隐私保护,确保参与工人位置隐私的保密性;通过Haversine公式进行感知位置验证,防止工人通过非感知区域数据获得非法奖励,保障感知数据的质量。仿真结果表明,LPPMBC能够更好地权衡感知数据质量与工人隐私保护关系,保障用户参与任务的公平性, 提高用户参与任务的积极性。     

非接触IC卡的信息安全策略论述

讨论了非接触型IC卡的信息安全技术,在应用中为保证非接触型IC卡的数据安全所采取的措施等问题.     

考虑BOM的FMS生产线能力规划问题

针对印刷装配板(Printed Wiring Board, PWB)的制造过程,建立了一个基于多种需求状态的多计划期多种产品类的能力规划模型.该模型考虑了机器的柔性、产品类的BOM(Bill of Materials)约束(物料需求约束)以及进行生产能力调整的风险.考虑该模型是一个大规模的混和整数规划问题,无法用一般的数学软件直接进行求解,提出了一种求解近似最优解的方法,首先应用启发式算法减少装配线能力调整决策变量的搜索空间,然后应用遗传算法进行搜索.最后通过实例分析验证了该方法的可行性及其在管理学上的意义.     

不确定需求下供应链合作广告与订货策略的博弈

基于报童类型产品的二级供应链结构,放宽了市场需求为确定性的假设,引入了订货量这一决策变量,先后考察了Stackelberg主从博弈和Nash合作博弈时制造商与零售商的最优广告策略及零售商的最优订货策略,比较了不同博弈均衡下的策略选择及系统期望利润,探讨了市场需求随机性对制造商与零售商广告投入水平的抑制作用.并利用Nash讨价还价理论对合作利益进行了分配.最后,通过一个数学算例验证了有关结论.     

原子第二宇宙速度与电离能普遍公式的推导、实验验证和理论预言

提出了“原子第二宇宙速度”这一新概念,并根据此概念推导出了单电子原子和离子的原子第二宇宙速度和电离能的普遍公式。根据这些公式计算出了100余种单电子原子和离子电离能的具体数值,计算数据与实验数据符合得很好,从而使这一新的理论和计算获得了成功。因现今实验技术的局限性,有些单电子离子的电离能实验值尚未被科学界测出,我们的理论计算值就作为理论预言列出,已获得的成功使我们有理由相信它们将会获得实验验证。本文的概念和计算显然涉及到经典物理与量子物理的关系等原则问题,其物理本质将在后面两篇文章中论述。     

基于篇章结构相似度的复制检测算法

学术论文的复制检测研究对于知识产权保护和抑制抄袭侵权等行为有重要意义.国内外主要用数字指纹及关键词匹配等技术进行论文的复制检测.为解决目前中文复制检测难题,给出了一种基于篇章结构相似度的中文学术论文复制检测算法及其问题的数学模型.在分析论文篇章结构的基础上,利用数字指纹和词频统计等技术,经编程实现,用于论文的全抄、部分抄袭和拼抄等抄袭现象的初步检测.与基于全文数字指纹和基于全文词频统计的检测方法相比较,更适用于要求较准确的论文复制检测.