并发程序中数据竞争检测方法

针对数据竞争检测过程中的误报和漏报问题，提出一种静态数据竞争检测方法。首先，使用控制流分析自动构造线程内和线程间函数调用图；然后，收集线程内变量访问事件信息，定义竞争产生条件并分析检测出所有可能的竞争；其次，为了提高检测的准确率，进行别名变量和别名锁的分析降低漏报和误报；最后，通过控制流分析来抽象访问事件之间的时序关系，并结合程序切片技术对访问事件的发生序关系进行判断，以此避免因忽略线程交互带来的误报。依据该方法，使用Java语言在Soot软件分析框架下实现了一个数据竞争检测工具。在实验中，对JGF和IBM Contest基准测试套件中的raytracer和airline等程序进行数据竞争检测，并与目前已有的数据竞争检测算法和工具（HB算法和RVPredict）进行对比。实验结果表明，与HB算法和RVPredict工具相比，该方法检测到的数据竞争总数分别增加了81%和16%，数据竞争检测的准确率分别提升了约14%和19%，有效地避免了数据竞争检测中的漏报和误报现象。     

基于激光成丝的太赫兹时域光谱系统研究综述

太赫兹时域光谱(THz-TDS)技术是一种使用相干探测的频谱分析手段。THz-TDS系统集太赫兹波发射器与探测器于一体,通过相干探测,可以同时获取太赫兹脉冲的电场强度和相位信息,广泛用于生物、材料、安检等领域。超快激光成丝产生太赫兹波是当前产生宽频谱、高强度太赫兹辐射的一个重要途径。文章详细介绍了超快激光成丝辐射太赫兹波的主流物理机制以及增强、调控太赫兹波的主要方法,阐述了基于激光成丝的THz-TDS系统的探测原理和探测手段。     

基于绿色发展理念的新农村旅游产业发展探讨——以四川省宣汉县为例

随着新农村的发展与建设,旅游行业逐渐在新农村中兴起。通过农村旅游业的发展,可以使农民获得更多收入,另一方面可以促进精神文明在新农村中的建设,从而创造一个文明、富裕以及和谐的社会主义新农村。通过农村旅游的发展,还能够使农村资源得到更为合理的运用,农村环境也可以得到保护。     

对溢流坝模型下游动定床试验的研究

本文以某实际工程为基础,通过建立1∶60水工物理模型,对模型试验下游设置定床和动床两种河道型式,测量了不同工况条件下的下游河道的流速变化。结果表明:动床相对于定床的流速变化要小些,同时动床能消减部分水流冲刷的能量。因此,在修建类似工程时,需要进行动定床试验分析,以此来确定是否需要修建动床消力池。     

超高效液相色谱-串联质谱法测定鱼肉中多种雄性激素和孕激素

目的建立超高效液相色谱-串联质谱(ultraperformanceliquidchromatography-tandemmass spectrometry,UPLC-MS/MS)检测鱼肉组织中10种雄性激素和孕激素的分析方法。方法样品经乙酸铵提取,乙酸-乙腈再提取,无水硫酸钠吸水,QuEChERS净化,经C18柱分离后进行UPLC-MS/MS选择电喷雾ESI正离子模式多反应监测模式下定量分析。结果线性范围在0.4～8.0μg/kg,相关系数达到0.99以上,10种激素的检出限在0.0100～0.200μg/kg之间,方法的回收率在77.3%～114.4%之间,相对标准偏差在0.9%～10.3%之间。结论该方法简单、快速、准确,且检出限低、回收率高,适用于鱼肉组织中雄性激素和孕激素的测定。     

TE22,6模式—高斯波的准光模式转换器设计

准光模式转换器是高功率毫米波回旋管的重要组成部份,能够实现电磁波与电子注的分离、隔离波的反射,并实现回旋管的高斯波束输出。基于耦合波理论,分析设计出用于频率140 GHz、TE22.6模式回旋管的Denisov辐射器;基于几何光学理论,设计出准光反射镜面系统,并采用Feko软件进行优化。计算结果表明,所设计的准光模式转换器系统的转换效率约为97.3%,波束的高斯含量约为93.3%,达到了回旋管的应用需求。     

短切玻纤增强PEKK与BDM/DABPA共混体系固化反应动力学及断裂韧性

利用二烯丙基双酚A(DABPA)对二苯甲烷型双马来酰亚胺(BDM)树脂进行扩链,采用短切玻纤增强聚醚酮酮(PEKK-GF)对BDM/DABPA树脂进行改性。利用差示扫描量热法(DSC)研究了PEKK-GF改性BDM/DABPA树脂固化动力学,确定了改性树脂的固化工艺,并计算出了改性树脂的部分动力学参数。改性树脂的力学性能通过万能拉力机进行测试,结果表明当BDM/DABPA体系中加入10%(质量分数)的PEKK-GF时,改性树脂固化物的冲击强度比原来体系提高了69%,临界应力强度因子(KIC)和临界应变能释放率(GIC)值分别为1.22 MPa·m0.5和295J/m~2,分别提高了21%和59%;拉伸强度从85.21 MPa增加到96.39 MPa,拉伸模量从4.198GPa增加到4.531GPa;弯曲强度从133.0 MPa增加到140.4 MPa,弯曲模量从4.080GPa增加到4.251GPa。采用动态热机械分析法(DMA)对改性树脂体系耐热性进行研究,结果表明,当BDM/DABPA树脂中加入10%(质量分数)的PEKK-GF时,改性树脂固化物的玻璃化温度提高了16.5℃,达到263.5℃。该改性树脂综合性能优异,在耐高温预浸料基体树脂及胶黏剂等领域具有很好的应用前景。     

工艺参数对聚甲醛微注塑制品力学性能的影响机理EI北大核心CSCD

基于单因素实验,研究工艺参数对不同厚度聚甲醛(POM)微注塑制品屈服应力、弹性模量、断裂强度和断裂伸长率等力学性能指标的影响,并基于制品形态结构分析工艺参数对制品力学性能的影响机理。实验结果表明,随着注射速度的增大,1.0mm厚微制品的皮层厚度减小,过渡层厚度增加,结晶度增大,综合效应使得屈服应力、断裂强度和弹性模量增大,断裂伸长率减小;0.2mm厚微制品的皮层厚度占主导地位,其力学性能是由皮层的力学性能决定,皮层厚度先增大后减小使得屈服应力、断裂强度和弹性模量先增大后减小,断裂伸长率先减小后增大。随着熔体温度的升高,1.0mm厚微制品的分子链取向度减小,皮层厚度减小,收缩量增大,使得屈服应力、断裂强度和弹性模量减小,断裂伸长率增大;而0.2mm厚微制品的皮层减小,但过渡层增加,结晶度增大,且补料更充分,综合作用使得屈服应力、断裂强度和弹性模量增大,断裂伸长率减小。随着模具温度的升高,1.0mm厚微制品的皮层比例减小,结晶度增大,结晶度影响占主导,使得屈服应力、断裂强度和弹性模量逐渐增大,断裂伸长率减小;而0.2mm厚微制品的皮层厚度占主导,皮层厚度明显减小使得屈服应力、断裂强度和弹性模量减小,断裂伸长率增大。