龙芯2号微处理器的功能验证

开发龙芯2号这样的高性能通用处理器是一项极其复杂的艰巨任务.龙芯2号处理器的设计规模和复杂度比龙芯1号增加了许多倍,如何保证设计的正确性是一个重大挑战.简单的系统级测试已经不能满足设计的需要,这就要求采用多种有效的、先进的验证方法和工具帮助设计者尽可能早的发现和改正设计错误.主要介绍了在龙芯2号处理器的设计开发过程中采用的功能验证流程和主要验证方法.模拟仿真是主要的验证手段,新的形式化验证方法也应用到了验证流程当中.     

基于多标签的内核配置图及其应用

Linux内核提供了灵活的内核配置项机制, 便于针对不同的应用场景进行个性化定制.但内核配置项的数量巨大且增长快速, 配置项的默认值在不同内核版本中经常改变, 即使专业的内核团队设置配置项也面临很多挑战.针对上述问题, 提出基于多标签的内核配置图, 该图包含内核配置项间的依赖关系、功能标签、性能标签、安全标签和配置项使能率.此外, 该图提供了可视化功能, 更加直观、高效、人性化.该内核配置图在内核配置项异常值检测、内核启动优化、内核裁剪、内核安全增强、内核性能优化、内核配置项智能问答等场景均可应用.且将内核配置图应用到检索场景, 实现了面向内核配置项的检索框架KCIR(kernel config information retrieval), 该框架基于内核配置图对查询语句和内核配置项描述文本进行了扩展, 实验评估表明KCIR和传统检索框架相比, 检索效果有显著提升, 验证了内核配置图在实际应用中的有效性和实用性.     

（S）\|N,N\|二甲基\|3\|羟基（2\|噻吩基）丙胺的合成

为了解决（S）\|N,N\|二甲基\|3\|羟基（2\|噻吩基）丙胺合成工艺中操作较复杂,产率低的问题,以2\|乙酰噻吩、二甲胺盐酸盐、多聚甲醛为起始原料,经曼尼希反应、硼氢化钠还原和S\|(+)\|扁桃酸拆分合成（S）\|N,N\|二甲基\|3\|羟基（2\|噻吩基）丙胺.采用单因素分析方法考察了浓盐酸的用量、投料比、反应时间对产物收率的影响,得到各步反应的最佳工艺条件:曼尼希反应的最佳投料比为n(2\|乙酰噻吩)∶n(浓盐酸的用量)=15∶1,产物收率可达90.6%;还原反应在25 ℃下,投料比为n(3\|二甲胺基\|1\|(2\|噻吩基)\|1\|丙酮盐酸盐)∶n(硼氢化钠)=1∶0.55,反应6 h时效果最佳;拆分反应的最佳条件是反应温度85 ℃,反应45 min.优化后反应的总收率可达60.3%,目标产物经核磁共振氢谱、质谱确认.该合成工艺原料便宜易得,反应条件温和,工艺操作简便适合工业化生产.     

工程能力培养中实践的理论教学与毕业实践双支撑教学模式的构建

本文研究构建了工程能力培养的实践教学体系：实践性教学（认识与生产实习）—理论教学（制药工艺设计）—专业课程设计（小型工艺设计）—实践性教学（毕业实习与设计）,提出了实践教学的理论教学与毕业实践双支撑教学模式。     

使用支持向量机的微处理器验证向量优化方法

为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。利用训练后的分类器对于新产生的验证向量进行预测,并丢弃预测中不能提高覆盖率的冗余验证向量。实验数据表明该方法能准确地过滤冗余验证向量,提高仿真运行的验证向量的质量。和完全随机的验证向量生成方法相比,该方法达到相同的功能覆盖率仅需要前者1/3的验证向量。     

基于卓越计划的制药工程专业工程实践能力的实践教学改革

我们基于国家“卓越工程师”培养理念,改变传统的实践教学模式,结合现阶段我国工程实践教学的实际情况,以提高实践教学质量为目标,对制药工程实践教学进行了深入思考,并通过实践教学改革,探索出了一条强化工程实践能力培养的工作途径。     

(Z)-2-(2-氨基-4-噻唑)-2-羟亚胺基乙酸乙酯的合成工艺改进

以乙酰乙酸乙酯为原料 ,经亚硝化、溴化、环合连续反应制得 (Z) 2 (2 氨基 4 噻唑 ) 2 羟亚氨基乙酸乙酯 ,总收率为 76 73% ,含量为 98 5 %。对合成工艺进行了改进 ,简化了操作 ,提高了反应收率。     

片上多核处理器存储一致性验证

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

瑞巴匹特羧乙酯的合成

以N-乙酰乙酰苯胺为原料,经溴化、环合制得4-溴甲基喹啉-2-酮（Ⅲ）;由盐酸氨基丙二酸二乙酯经酰化制得4-氯苯甲酰胺基丙二酸二乙酯（Ⅳ）;最后用4-溴甲基喹啉-2-酮（Ⅲ）和4-氯苯甲酰胺基丙二酸二乙酯（Ⅳ）经烃化反应合成瑞巴匹特羧乙酯（Ⅰ）．结果表明：在n（Ⅳ）：n（Ⅲ）：n（乙醇钠）=1：1：1．2,回流反应2h时,合成总收率63．81％（以N-乙酰乙酰苯胺计）．     

工业工程在美国的发展及在我国的应用前景

二次世界大战后,工业工程学在美国获得很大进展,并为美国工业的发展作出了令人瞩目的贡献。作为工业活动客观规律的反映和科学手段的探索,工业工程必将展示其在我国工业发展中的光明前景。本文介绍了工业工程学在美国的内容、特点,阐述了在我国应用的迫切性。