摘要：软件模拟验证在SoC设计中得到了广泛的研究和应用,是目前SoC功能验证的主要方法.文中从高度抽象化、可重用和自动化三个方面梳理和综述了基于软件模拟的SoC功能验证技术的研究进展.同时,基于断言的验证在SoC的功能验证技术中起到重要的辅助性作用,文中阐述了断言技术的研究进展.最后,对软件模拟验证技术的发展趋势进行了展望.

摘要：所有类型的学习最终都导向长时记忆中的认知图式,即对信息或动作的类别及彼此之间的关系加以区分,形成一定的思维或行为模式。人通过建构与熟练认知图式,以及自我调节学习和自导学习对学习过程进行调节,其认知架构包括归纳学习和精细加工这一重构/建构认知图式的基本学习过程,以及知识编辑和强化这一熟练认知图式的基本学习过程。综合学习中同时发生的这四种基本学习过程,四元教学设计是面向综合学习的一种教学设计方式,强调要合理安排教育媒体与技术。

摘要：为了提高二进制乘法器的速度并降低其功耗,在乘法器的部分积产生模块采用了改进的基4Booth编码和部分积产生电路并在部分积压缩模块应用了7∶3压缩器电路,设计并实现了一种高性能的33×28二进制乘法器.在TSMC 90 nm工艺和0.9 V工作电压下,仿真结果与Synopsys公司module compiler生成的乘法器相比,部分积产生电路速度提高34%,7∶3压缩器和其他压缩器的结合使用减少了约一级全加器的延时,整体乘法器速度提高约17.7%.

摘要：健康饮食行为是影响个体健康状况的重要生活方式因素之一。由不健康饮食习惯所导致的慢性非传染性疾病(如肥胖、高血压、心血管疾病和糖尿病)已经成为当前中国所面临的重大公共健康挑战之一。为应对这一挑战,《健康中国行动(2019—2030)》在其十五项专项行动中特别提出了“合理膳食行动”。然而,如何让“合理膳食行动”能够落到实处仍然是中国公共健康促进过程中所面临的一项艰巨任务,新兴的行为科学为应对这一挑战提供了新的视角。以行为科学为基础的行为助推干预策略,即在不限制人们自主选择权利的情况下通过情境重塑或选择架构设计让健康饮食行为变得更容易执行、更有吸引力,利用社会情境的影响来促进健康饮食并在适宜的时机来促进健康饮食行为,从而为开发适用于中国文化情境的健康饮食行为助推干预策略提供借鉴。

摘要：尼采以历史的哲思来审视西方哲学传统,在其中,记忆被视为一个重要因素。何种记忆,为何记忆,如何记忆,这些就成为尼采消解哲学传统并建立新哲学的重要途径。尼采将记忆与人类的生理学机制密切关联,于是生理可感的痛苦成为了一种哲学本体,这在逻辑上可能导致的一个后果就是记忆的方式与内容融为一体,此为尼采记忆术的关键特征。虽然尼采本人明确地区分颓废者与超人的痛苦与记忆,但作为一种哲学的逻辑效应,这种记忆术使得主动记忆与被动记忆之差别不再清晰,而“自我升华”与“制造效果”的生命实践亦趋于混同,这在自我生活的艺术化中体现得尤为明显,其影响一直延续至今。

摘要：劳里劳德提出的会话框架是描绘对话教学过程的一种实践性分析与设计工具。该框架基于一般的学习机制,即基于概念体系与实践能力两种知识水平的"目标-行动-反馈"循环过程,建构了教师-学生、学生-学生、学生-学习环境的互动层次,形成了五大学习循环圈,由此指向不同学习活动类型的对话教学形式。在会话框架视野下,对话教学的展开要求是:明确对话教学过程的一般性和情境性;灵活变通教学形式,指向意义学习;主张教师也作为学习者,保持师生主体平等性。

摘要：工控私有协议的广泛应用给工业控制系统的安全运行带来了很大挑战。由于工控私有协议规范的闭源性,传统的模糊测试工具难以高效地生成测试用例,限制了采用私有工业控制协议的工控设备的模糊测试效率。针对此问题,提出了一种基于私有工控协议逆向的黑盒模糊测试方法。首先,在流量捕获的基础上,采用改进的多序列比对算法与字段划分算法得到协议字段结构;然后,通过定义一系列启发式规则对协议中的常量字段、序列号字段、长度字段、功能码字段进行识别,进而推断协议格式;最后,根据时序及功能码字段构建协议状态机。在模糊测试过程中,根据逆向推断的协议格式,采用多种变异策略生成测试用例,并利用构建的协议状态机指导模糊测试工具与被测设备的深度交互。基于上述方法设计实现了ICPPfuzz工具,并利用真实设备中的3种工控协议(Modbus/TCP,UMAS,S7comm)对ICPPfuzz协议逆向分析能力及模糊测试能力进行了评估。实验结果表明,在协议逆向方面,该工具的字段划分、语义识别和协议状态机构建能力明显强于Netzob;在模糊测试方面,该工具在相同时间内生成的有效测试用例数量为Boofuzz的1.25倍,测试用例的质量以及漏洞发现能力也都优于Boofuzz;同时,在对Modicon TM200/221系列PLC进行测试时,成功发现3个拒绝服务漏洞,证明了该工具的有效性。

摘要：认知负荷理论常与教学设计相联系,因为该理论中阐释的有关人类认知的许多方面都对教学设计有着重要意义。首先,该理论认为人并不能轻易地习得教育或培训机构中教授的专业知识;其次,要习得这些知识需要学习者具备特定领域而非通用认知类的知识;最后,通用认知类知识的掌握并不需要明确具体的教学指导,因为人早已具备习得这类知识的能力。相反,特定领域的概念与技能则需要明确具体的教学指导。这些因素与人类工作记忆的容量及持续时间等约束因素相互作用,勾勒了个体的认知系统架构,从而影响着教学设计。工作记忆的这种限制性并不会对生物初级知识的习得产生约束,但对生物高级知识的学习则会产生约束效用。如上所述,掌握通用认知类知识并不需要特定的教学指导,而习得特定领域的专业知识则需要专门的教学指导。由此,认知负荷理论可为教学设计提供具体指导,以减少学习者在学习过程中所产生的不必要的外在工作记忆负荷,有利于习得涉及专门教学指导的、属于生物高级知识范畴的、特定领域的专门知识。

摘要：家居布局作为虚拟场景设计的重要内容,在虚拟现实、三维游戏以及室内家居设计中都有应用.针对现有的家居自动布局方法存在约束冲突容易导致局部最优,以及由于全局优化方法收敛速度慢而达不到实时要求的问题,提出层次优化的思想化解约束冲突并采用粒子群优化算法解决布局优化问题.首先引入层次树对家具之间的约束关系进行结构化组织,避免约束冲突;然后引入粒子群优化算法进行优化求解,由于粒子群优化算法有着良好的并行结构,便于GPU加速,从而提高算法效率.通过多样化的实例对算法的有效性进行了验证,并对运行效率进行细致分析,结果表明,文中方法提升了家居布局的质量和效率.

摘要：消除旋转影响是纹理图像特征提取及分类的关键问题之一.文中基于一类正交分段多项式函数系——U系统,提出一种纹理图像分类算法.首先通过U系统函数与三角函数的张量积定义了一类单位圆盘上的U调和基函数;基于该基函数,提出了图像的旋转不变U变换RIUTs,并在此基础上构造了具有平移、旋转及缩放不变的纹理图像描述子,从而得到纹理图像的特征向量.RIUTs既可以消除图像旋转的影响,又特别适合纹理图像特征提取.在通用纹理数据库中的纹理图像分类实验结果,表明了文中算法的优越性能.