River: an intermediate language for stream processing

This paper presents both a calculus for stream processing, named Brooklet, and its realization as an intermediate language, named River. Because River is based on Brooklet, it has a formal semantics that enables reasoning about the correctness of source translations and optimizations. River builds on Brooklet by addressing the real‐world details that the calculus elides. We evaluated our system by implementing front‐ends for three streaming languages, and three important optimizations, and a back‐end for the System S distributed streaming runtime. Overall, we significantly lower the barrier to entry for new stream‐processing languages and thus grow the ecosystem of this crucial style of programming. Copyright © 2015 John Wiley & Sons, Ltd.     

快速成形技术中STL数据模型的浓淡处理

在快速成形技术的前处理过程中 ,STL数据模型的浓淡处理是一个非常重要的内容之一。OpenGL是一个开放的 3D图形应用程序编程接口 ,已经简化了许多编程操作。通过利用OpenGL图形编程工具和VisualC 6.0编程语言 ,详细介绍了快速成形技术中STL数据模型的浓淡处理方法 ,从而使得STL数据模型的浓淡处理变得非常简单、方便和高效 ,使STL数据模型的显示功能更加完善 ,有利于操作人员对STL数据模型的后续处理和实体成型。     

肺腺癌CT影像分子分型研究进展

研究表明在明确驱动基因后进行特异性靶向治疗,肺癌患者的中位生存期显著延长。而除高通量测序技术和荧光原位杂交等分子生物学技术外,影像基因组学的出现,也为肺腺癌分子分型预测提供了一种无创的新方法。本文对肺腺癌计算机断层扫描(computed tomography, CT)影像分子分型的研究进展进行综述。首先,介绍肺腺癌分子分型的研究背景及肺腺癌主要的基因突变类型;然后,重点介绍两种主要的研究方法,即CT语义特征与肺腺癌分子亚型的相关性分析和基于机器学习的肺腺癌分子分型预测模型;最后,总结了该领域现阶段面临的主要问题,并对未来的研究方向做出展望。肺腺癌CT影像分子分型研究已经取得了一定成果,但仍存在很多问题。相关性分析与基于影像组学的预测模型研究由于样本各异且受过多人为干预,导致研究结果差异大,甚至有部分文献得到的结论截然相反。而基于深度学习的预测模型研究采用端到端的神经网络模型,人为参与极少,降低了研究难度,但尚处于起步阶段,构建的模型大多相对简单,远不能达到临床应用标准。今后的研究应聚焦于结合多种医学图像构建肺腺癌分子分型的大样本深度学习预测模型,同时结合临床信息、语义特征及影像组学特征...     

双流化床送风特性对循环流率影响的试验研究

颗粒循环流率是双循环流化床气化装置性能优化的重要因素,而给风特性是影响颗粒循环流率的主要参数之一。自行设计并搭建了双循环流化床冷态试验台,试验研究了两床给风特性对颗粒循环流率的影响,重点分析了提升管二次风特性对颗粒循环流率的影响。试验表明:物料固定粒径、固定静床高时,颗粒循环流率随着两床风速的增大而增加,二次风速超过一定值后,颗粒循环流率增加的趋势趋于平缓;提升管径向给入二次风比切向给入二次风时颗粒循环流率大;颗粒循环流率对二次风口高度变化敏感,二次风口布置在距布风板15 cm时比20 cm时颗粒循环流率明显增加;颗粒循环流率随着风口数目的增加稍有增加。     

基于HHT的配电网电压波动跟踪研究

针对配电网电压时常波动的问题,提出希尔伯特黄变换(HHT)在配电网电压波动跟踪中的应用。为了解决经验模态分解(EMD)过程中的端点效应问题,采用基于波形匹配的自适应EMD端点延拓方法对信号的边缘进行了处理。HHT将电压波动情况通过固有模态函数(IMF)的电压幅值和波动时刻频率两个参数反映出来,通过Matlab编程仿真,验证了该方法在配电网电压波动跟踪中的实用性。     

42CrMo钢加热过程中的奥氏体晶粒尺寸演变

通过金相试验方法测定42CrMo钢在890～930℃下保温10～240 min后的晶粒尺寸.结果表明,42CrMo钢在加热到试验温度 890～930℃时已经完全奥氏体化,保温过程中的晶粒生长属于正常生长;加热温度对晶粒尺寸的影响较大,保温时间对晶粒尺寸的影响较小;随保温时间的延长晶粒生长缓慢,晶粒尺寸与保温时间满足指数...     

基于Zigbee和GPRS的远程水质监控系统

为了满足远程水质监控的需求,设计了一种基于Zigbee和GPRS的远程水质监控系统。该系统采用CC2530模块构建无线水质数据采集网络,通过双串口单片机STC12C5A60S2实现数据汇聚和对GPRS模块的控制,利用GPRS模块接入Internet,通过TCP/IP协议将水质数据发送到数据管理中心,实现对水质的远程监控。实验结果表明,该系统组网简单,系统稳定性高,成本较低,达到了设计要求,有广阔的应用市场。     

箔条质心干扰防御反舰导弹仿真研究

分析了箔条质心干扰工作原理以及其干扰效能,综合舰艇机动模型、箔条云运动模型、导弹运动模型,对箔条质心干扰防御反舰导弹袭击的全过程进行了作战仿真,最后分析了箔条弹发射舷角、舰艇机动方向与箔条干扰成功概率之间的关系。     

Ar+激光辐照下离体猪鼻咽组织的热响应特性

为了获得用于鼻咽癌(NPC)光活检的Ar^ 激光对鼻咽组织的安全光剂量阈值，实验测定了离体猪鼻咽组织在Ar^ 激光辐照下不同位置的温度分布，重点研究了辐照功率密度和波长对组织中温度分布的影响。实验结果表明，组织中的温度分布与探测位置、激光波长以及激光辐照功率密度有关。在同一波长激光辐射下，组织中的温度随着辐照激光功率密度的增大而增大，当辐照功率密度达到1．85W／cm^2时，鼻咽组织黏膜下层的温度可超过41．5℃；在相同功率密度激光的辐照下，波长为514．5nm的激光照射鼻咽组织时的光热效应较488nm波长明显。     

沟道应力对GaAs PHEMT材料电性能的影响

设计并用分子束外延(MBE)法制备了不同沟道结构的GaAs PHEMT材料,采用高分辨率X射线双晶衍射仪(DCXRD)、应力测试仪和霍尔测试仪对样品的结晶质量、薄层组分和厚度偏差、应力以及电子迁移率进行了分析表征。探讨了外延片应力与沟道结构的相关性,研究了沟道失配应力对电性能的影响机理。建立了GaAs PHEMT材料热应力引起电子传输特性退化的试验方法,进行了高温和低温存储后材料电性能的演化行为测试,并归纳了热应力引起材料电特性退化的实验结果。结果表明GaAs PHEMT材料经高、低温存储并恢复室温后仍能保持原有电性能,沟道应力对材料电性能的影响主要表现为失配应力。