摘要：随机测试生成技术是当今大规模集成电路仿真验证流程中的重要支撑技术.覆盖率驱动的随机测试生成方法是目前该领域研究的热点.遗传算法具有部分优化问题的黑盒特性,不需要了解问题的太多先验知识,适合处理黑盒优化问题.因此,将遗传算法应用在覆盖率反馈驱动随机测试生成时,不需要复杂的领域先验知识,节约了大量的专家时间,提高了验证的自动化程度.分析了各种基于遗传算法的覆盖率驱动的随机测试生成方法,并在此基础上设计和实现了基于遗传算法的全芯片级覆盖率驱动随机验证平台.该平台被实际应用在龙芯处理器的验证中,实验结果表明,平台有效提高了验证效率.

摘要：本文介绍了嵌入式系统的BSP及其作用 ,以基于PXA2 5 0的嵌入式Linux系统为开发环境 。

摘要：存储一致性验证是片上多核处理器功能验证的重要部分.由于验证并行程序的执行结果是否符合存储一致性模型理论上是NP难问题,现有的验证方法中只能采用一些时间复杂度大于O(n3)的不完全方法.发现在支持写原子性的多处理器系统中,两条执行时间不重叠的操作之间存在确定的时间序.通过引入时间序的概念,设计并实现了一种线性时间复杂度的存储一致性验证工具***利用时间序将验证局部化,使得在表示程序执行结果的有向图中,序关系边的推导和正确性检测都被限定在有限范围内.与现有其他方法相比,LCHECK时间复杂度低,对程序长度和访存地址数没有限制,因此验证效率更高.作为国产片上多核处理器龙芯3号的重要验证工具,LCHECK发现了一些存储系统的设计错误.

摘要：以龙芯1号处理器为研究对象,探讨了基于JTAG的处理器在片调试功能的验证方法.根据在片调试的结构特征建立了功能覆盖率模型,并以访存模式为基准分步建立虚拟验证原型.整个验证将定向功能测试和指令集随机测试有机地结合起来,迅速定位了设计中多个难以发现的错误.最终验证的功能覆盖率达到100%,FPGA原型经长时间运行无误.

摘要：以瓦楞辊的运动特性建立了数学模型,以上下辊齿啮合过程中中心距变动方程为目标函数,以辊齿的参数(r1,r2,R1,R2)为设计变量,运用Matlab优化工具箱进行了优化,得出了满足纸芯成形的最优齿形参数。并利用Adams进行了运动学仿真,验证了优化后参数的合理性,为进一步研究瓦楞辊的动力学分析提供数据支持。

摘要：研究冻结温度、冻结介质、鱼肉含水量及鱼块大小对养殖大黄鱼冻结过程中所产生的影响。在此基础上,考察NaCl、蔗糖、山梨醇、VC、葡萄糖对降低鱼块冰点所起的作用。通过Box-Behnken设计,结合鱼块冰点与感官品质变化,优化冰点调节剂的配方,最终选用2次挤压TPA方法对冰点调节剂处理前后的鱼肉质构特性进行测定。结果表明,相同冷冻温度和冷冻介质条件下,大黄鱼鱼块越小,含水量越低,鱼块降温越迅速。液体速冻比气体速冻具有更高的降温效率。通过Design-expert7.0软件确定的最佳冰点调节剂配方是:NaCl 5.16%,蔗糖2.96%,山梨醇7.15%。与空白对照组相比,将大黄鱼冰点从-1.5℃降低到-4.2℃,降低冰点作用明显,而鱼肉质构特性无统计学差异(P>0.05)。

摘要：负煤柱工作面采空区弧形底板下方的巷顶沿空掘巷长期惯用架棚被动支护,劳动强度大、成本高、成巷慢,限制了该技术的推广和升级。为此,在大量前人相关研究基础上,以开滦集团唐山矿负煤柱开采实践为背景,采用现场实测、理论分析和数值模拟,重新分析论述了负煤柱巷顶沿空掘巷合理位置及其围岩主动控制原理。结果表明:(1)负煤柱工作面来压强度表现出中部最大、上部次之、下部最小的非对称分布的倾向分区特征,采空区矸石呈现出下部充实、中部充满、上部悬空的非对称堆积形态,下部充实区显著缓解了支承压力影响,为弧形底板创造了良好的应力环境优势。(2)揭示了负煤柱工作面弧形底板下巷顶沿空掘巷内错距离不同时围岩破坏区与弧形底板破坏区的联通规律,巷顶煤体较薄时,巷顶易产生裂隙并不断与其上采空区底板裂隙沟通导致巷道顶板失稳。(3)最佳布巷位置位于上区段弧形底板正下方,既可保留足够顶煤用于锚杆索支护,又可避开上区段采空区左侧应力集中区及应力变化剧烈区。(4)给出了基于自稳隐形拱理论的巷顶沿空掘巷主动支护设计原理,推导了巷顶沿空掘巷的自稳隐形拱表达式,揭示了该自稳隐形拱的非对称特征,最大拱高位于巷道中轴线偏左0.1 m处。研究可为负煤柱沿空掘巷围岩控制提供理论支持和科学依据。

摘要：目的:以北太平洋鱿鱼加工的边角料为原料,使用双螺杆挤压机研究挤压技术在低值水产蛋白组织化加工中的应用。方法:选取物料湿度、机筒温度和螺杆转速3个因素,分析其对挤出物组织化度和咀嚼度的影响;采用三因子二次回归正交旋转组合设计,对低值水产蛋白组织化加工工艺进行优化。通过试验数据推导描述2个评价指标的二次回归模型,并对其变量进行响应面分析。结果:优化得到最佳挤压工艺条件为物料湿度40.65%、机筒温度140℃、螺杆转速25.75Hz。挤出物组织化度与操作参数,挤出物咀嚼度与操作参数的回归拟合的相关系数R2分别为0.889和0.882。结论:拟合的统计模型可信度高,本研究结果对低值水产蛋白资源组织化技术的研究有很好的借鉴意义。

摘要：为增大周视成像系统视场的同时有效降低红外光学系统的复杂度,采用折反式光学结构,通过反射镜及透镜光焦度的合理分配,引入衍射面。分别设计了视场为360°×(--40°～50°)的折反式一次成像非制冷红外周视成像光学系统及视场为360°×(--30°～50°)的折反式二次成像光学系统。其工作波段为8～12■m,光学系统F数为1.2。该系统可实现360°全方位和一定俯仰角度范围内凝视成像。设计结果表明,该系统的结构简单紧凑,后截距大,成像良好,在空间频率20 1p/mm处的调制传递函数(Modulated Transfer Function, MTF)值大于0.4,能满足应用需求。

摘要：通过自制调查问卷对某医学院150名医学专业学生在线学习的现状、特点及态度进行调查,统计分析医学生在线学习的倾向性,为进一步推进和深化医学教学改革提供参考依据。