3D NoC中柔性可配置的高可靠路由器设计

三维片上网络中路由器发生故障及拥塞等可靠性问题,会影响整个网络性能。因此针对路由器输入缓存的故障和拥塞问题,提出一种柔性(flexible)可配置的高可靠路由器架构。每条输入链路和2个相邻的输入缓存相连。通过建模,根据具体的故障和拥塞情况,选择合适的输入缓存路径,实现部分缓存的共享。不仅能达到路由器故障的容错目的,还能在网络重负载的情况下有效的解决网络拥塞问题。实验结果表明,方案相较于传统路由器方案,在一般传输模式和0.5 filts/node/cycle的注入率下,无故障时平均时延下降了81.89%,2个数据分配器故障时平均时延下降了87.38%。在网络出现故障和拥塞时,方案具有明显的优势,很好的保证了整个网络的高可靠性以及低时延。

浅议如何提高基层党校党的理论教育水平

强化、提高党的理论教育是加强和改进新形势下党校工作的主要内容和重点工作。基层党校是宣传马列及中国特色社会主义理论的前沿阵地,是培养党的各级领导干部的第一线,也是培养基层党员干部及各级中青年后备干部的重要阵地。提升党的理论教育水平是当前基层党校教学需要长期探索的命题。

预应力-悬臂排桩组合支护结构空间变形的应用研究

通过使用钢绞线部分替代排桩中受拉钢筋,基坑开挖前张拉钢绞线使得排桩支护体系获得减小水平位移的偏心预压力,形成预应力-排桩组合技术的新型支护结构。利用势能驻值条件中总势能的一阶变分为0的原理,计算支护结构最大变形。在实际工程中同时应用组合技术和普通排桩进行基坑支护。理论计算和工程实测数据表明,预应力-排桩组合技术的支护结构可以有效减少空间变形。

使用形式化验证方法进行流水线验证

随着流水线技术的广泛应用,流水线设计的验证问题也越来越受到业界的关注.本文提出的方法作为自上而下验证方法的一部分,可以在指令级对流水线设计的正确性进行检验.本文从控制逻辑的角度对流水线的行为进行分析,通过为控制逻辑建立FSM表示,以及采用NuSMV作为验证工具,达到对流水线的自动验证.这种方法的优势在于是以流水段为单位进行检验,这种局部验证的方法不但可以降低建模和检验的复杂度,还可以极大地缩短验证时间.

计算机专业全日制硕士专业学位研究生课程教学研究

针对目前计算机技术领域全日制专业硕士学位研究生培养中的课程授课方式和考核方式进行了初步研究,从全日制硕士专业学位研究生的培养目标出发,结合计算机技术领域的学科特点,以培养学生的学习能力、分析问题和解决问题的能力为目标,提出对于全日制硕士专业学位研究生授课方式和考核方式方面的几点建议。

初中语文高效阅读教学的形成途径

新课标不断深入的背景下,作为新时代的教师,一定要去调整自己的教学方法,让学生在今天的学习过程中可以做到高效地学习。从某些层面上来说,阅读能力直接反映了一个学生的语文综合素养,所以教师在教学的时候需要去着重对于学生阅读的能力进行提升,让学生能够掌握阅读方法,提高他们的阅读兴趣。

全日制硕士专业学位研究生学位论文的质量管理与控制

全日制硕士专业学位研究生的学位论文质量管理存在不少问题。学校应通过招生宣传和课程设置等环节提高全日制硕士专业学位研究生的质量;通过建立有效合作的双导师制度、加强监管部门对学生实践环节的管理,双管齐下,实现学位论文的过程控制。

盾构法隧道结构震害及其抗震措施浅析

对国内外城市地下线形结构(地下管道、地下铁道和隧道等)震害的形式、成因及外部影响因素,如地震烈度、场地土条件、埋深、结构构造特点及尺寸等进行了综合分析,并就不同地下线形结构抗震措施的制订发表了见解。综合有关文献资料和工程实例,对盾构隧道进行纵向抗震分析,总结了地震区隧道结构的震害特点以及目前所采用的抗震措施,以供地震区隧道结构的设计、施工、加固作参考。

L4进程间通信机制的模型检测方法

采用模型检测方法验证微内核操作系统的进程间通信机制,提出了一种从源码提取验证模型的方法.该方法以L4操作系统的进程间通信机制的C++源码实现为检验对象,从源码实现直接提取形式化模型,得到Promela语言的模型描述,可以直接应用模型检测器Spin对其进行正确性检测.实验表明了该方法的可行性和实用性.

分光光度法分析水果酵素中功效酶活性的研究

目的:利用分光光度法分别测定水果酵素中多种功效酶的活性。方法:借助分光光度计,采用3,5-二硝基水杨酸法、福林法、铜皂法和邻苯三酚终止法分别对液状水果酵素中淀粉酶、蛋白酶、脂肪酶以及超氧化物歧化酶的活力进行测定。结果:液状水果酵素中淀粉酶活力为1.968 U/mL,蛋白酶活力为5.421 U/mL,脂肪酶活力为1.106 U/mL,超氧化物歧化酶活力为10.758 U/mL。结论:液状水果酵素中SOD酶活性最高,蛋白酶次之,淀粉酶和脂肪酶活性较低;后续实验中可优化发酵条件来提高其中的淀粉酶与脂肪酶活力。

绵羊血浆中三氯苯达唑及其代谢产物的HPLC同步测定方法的建立

为建立血浆样品中三氯苯达唑(TCBZ)及其代谢产物三氯苯达唑砜(TCBZSO2)和三氯苯达唑亚砜(TCBZSO)的高效液相色谱同步检测方法,以甲苯咪唑(MBZ)为内标物,将加有目标物标准品的新鲜绵羊血浆样品经甲醇提取净化和氮气浓缩等前处理后,供HPLC检测;并对以上3种目标物紫外检测方法的专属性、稳定性、准确度和灵敏度等进行了系统研究。结果表明,三氯苯达唑、三氯苯达唑砜、三氯苯达唑亚砜以及内标物甲苯咪唑的保留时间分别为10.021、4.373、5.407、3.420min,分离良好,且不受干扰峰的影响;目标物均在0.05μg/mL～6.4μg/mL范围内呈现良好的线性关系,R2分别为0.999 5、0.999 0和0.999 1;血浆样品被测物含量的日内和日间变异系数(CV)分别小于1%和12%;绝对回收率分别为84.96%、83.84%和86.27%,内标物甲苯咪唑的绝对回收率为90.16%;最低检测限为0.05μg/mL。表明该方法适用于跟踪检测三氯苯达唑及其代谢产物在绵羊血浆中的浓度,是一种稳定而准确的检测方法。

伊维菌素和三氯苯达唑在羊体内的药动学相互作用

【目的】研究联合应用伊维菌素和三氯苯达唑在蠕虫感染绵羊体内的药代动力学特征及相互影响,【方法】借助经典麦克麦斯特法定量检查羊群消化道蠕虫感染基础上选取每克粪便虫卵数大于1500个,且感染强度相近的泌乳期鄂尔多斯细毛羊15只,平均体重为(39.3±3.2)kg,年龄为4周岁。将15只受试羊禁食8 h后随机分成3组,按照预定试验设计给予不同药物:第1组皮下注射伊维菌素(0.2 mg·kg^(-1)),第2组灌服三氯苯达唑混悬液(12 mg·kg^(-1)),第3组皮下注射伊维菌素(0.2 mg·kg^(-1))的同时灌服三氯苯达唑混悬液(12 mg·kg^(-1))。分别于给药后第0.75、2、4、8、16、24、36、48、72、120、192和336 h,由颈静脉采集5 mL血样,离心分离血浆,冷冻保存待测。建立检测血浆伊维菌素(IVM)、三氯苯达唑(TCBZ)及其主要活性代谢产物三氯苯达唑亚砜(TCBZSO)浓度的高效液相色谱(HPLC)荧光检测法和紫外检测法,并对每个样品进行甲醇沉淀蛋白,经ODS C18固相萃取柱进行纯化处理后,分别测定各组血浆样品中的IVM、TCBZ及其主要代谢产物TCBZSO的浓度。色谱条件:反相C18柱,Inertsi10DS—SP(5μm,4.6×150mm,I.D.);流动相为V(甲醇+乙腈):V(水)=95:5;激发波长364 nm,发射波长470 nm;流速为1.0 mL.min^(-1);柱温为室温;进样量为20μL。最后将测定血药浓度数据用Phoenix WinNonlin药动学软件按非房室模型方法处理,计算出各试验组每只羊的相关药动学参数,并进行统计学分析。【结果】血浆样品色谱图中IWM和内标物AVM色谱峰分离良好,保留时间分别为8.73 min和6.16 min,且不受血浆其他干扰峰的影响;TCBZ和TCBZSO以及内标物甲苯咪唑的保留时间分别为10.04、5.53和3.42 min,且在试验分析条件下具有良好的分离度,血浆内源性物质对目标峰没有干扰。对HPLC检测方法的绝对回收率、精密度和准确度等的考证结果均达到色谱测定要求。因此,本试验所建立的方法切实可行,能满足测定血浆样品各目标物的检测要求。联合应用IVM和TCBZ后,IVM的血浆峰浓度(C_(max))和药时曲线下面积(AUC)极显著下降,表观分布容积(V_d)、消除半衰期(T_(1/2ke))和体清除率(CL_b)反而极显著增加;联合用药后TCBZSO的V_d、MRT和T_(max)显著高于单独用药组,T_(1/2ke)则极显著高于单独用药组。【结论】为蠕虫感染绵羊联合应用伊维菌素和三氯苯达唑后,在药代动力学方面相互产生了负面影响,未达到联合用药的真正目的。由此可见,在临床实践中联合用药时应考虑它们的药动学相互作用问题,应避免只根据体外药效学协同作用进行盲目配伍和联合用药,从而保证充分发挥各药物的原有药效和协同作用的目的。

一种集成可重构硬件的多核片上系统的软硬件任务划分与调度算法

提出了一种静态的软硬件任务划分与调度相结合的算法,可以同时获得给定任务集在该类平台上的软硬件任务划分和任务调度方案.算法的时间复杂度为O(V(E+V)+V2logV+PVlogV).实验结果表明了该算法的可行性和有效性.

NoC中基于路径树的无冲突测试调度方法

在复用片上网络（No C）架构作为测试访问机制对No C内嵌核进行测试时,如果有多个I/O接口并行测试就容易发生资源的冲突.为了解决多区域并行测试的资源冲突问题,提出一种无链路冲突的测试调度方法.首先使用分区算法将网络划分多个区域,然后使用链路分配算法对节点建立路径树来查找可连通路径,最后全局考虑各个区域的连通路径来分配链路使所有区域都连通,从而避免资源冲突、减少测试时间、保证测试可靠性.实验结果表明,相对于基准对象,该方法可减少测试时间14.13%～52.62%,比已有算法的测试时间最多减少了16.42%,是一种较优的无冲突测试调度方法.

提高基层党支部组织生活会和民主评议党员质量研究

基层党支部组织生活和民主评议党员是党的优良传统,开展的好有利于支部成员之间加强交流,化解矛盾,总结经验,改正错误,因此需坚持科学的原则,严格的落实,认真对待结果以提高其质量和成效。

唐山市建设低碳城市问题研究

低碳经济时代的来临以及我国城市化进程的进一步加快,使人们普遍意识到要加快"低碳城市"创建步伐。本文通过对唐山市发展低碳经济情况的调查与分析,了解到唐山市在建设低碳型城市过程中所具备的一些优势,但同时也发现其在建设过程中所存在的问题,并结合实际情况提出了相应的对策建议,以实现低碳经济模式下"低碳城市"的合理规划与建设,从而有效推动我国城市的可持续发展。

可重构计算平台上软硬件任务划分与调度算法

软硬件任务划分和任务调度是保证任务集合在可重构计算平台上高效运行的重要技术。传统上软硬件任务划分与任务调度独立进行,划分方案和调度方案不一定匹配,加速效果难以保证。提出了一种将软硬件任务划分与任务调度相结合的算法。该算法综合考虑了任务的执行时间、任务间的通信开销、任务间的依赖关系以及计算资源间的并发关系,可以同时获得给定任务集的软硬件任务划分方案和任务调度方案,加速效果良好。算法开销与传统的任务调度算法相当,时间复杂度为O(V2log2V+PVlog2V)。实验结果表明了该算法的可行性和有效性。

双曲线函数模型预测螺杆桩极限承载力

双曲线函数模型可较准确地拟合桩基的P-s曲线,并通过曲线预测该种桩基的极限承载力。根据2个工地6根桩的实测P-S曲线,使用双曲线函数模型预测螺杆桩的极限承载力,结果表明在极限载荷范围内,双曲线函数模型适用于螺杆桩,预测曲线与实测曲线吻合度较高,预测方法有较高的工程实用价值。

关于功能模拟器生成环境的研究

为了满足专用指令集处理器的发展和产品上市时间缩短的需要,功能模拟器的自动生成方法受到越来越多的关注。该文介绍了一种体系结构描述语言xpADL驱动的模拟器生成环境,它由xpADL、模拟器生成器和函数库三部分组成。XpADL对目标体系结构的行为和组成进行描述,然后生成器对描述文件进行解析,将其转化为树型抽象表示并生成相应的体系结构相关部分,这部分和函数库组成了功能模拟器。在实验部分,通过StrongArm和PISA两种体系结构的功能模拟器的自动生成,证明了方法的正确性和有效性。该文的研究结果对于嵌入式系统的设计具有重要的指导意义。

大学生心理健康教育课程建设的新挑战与突破探索

随着社会的不断发展,当代大学生的心理需求也日益多样化,网络文化的冲击和重大的影响等都给大学生心理健康教育带来了新的挑战。本文通过观察法、问卷调查法和深度访谈法在研究分析心理健康教育课程的基本现状、学生需求的基础上,提出了大学生心理健康教育课程建设需要重视学生的主体性和个性化需求、加强与社会实践的结合、提高教师的专业能力和课程的实效性等方面的突破探索。