关于McEliece公钥体制的安全性*

本文证明了McEliece公钥体制中的公开钥矩阵实际上就是一个Goppa码生成矩阵，指出Adams和Meijer对McEliece公钥体制安全性分析的不合理之处．本文的结果对KorzhikTurkin攻击是一种理论上的支持，并与一类基于纠错码的公钥体制的安全性密切相关．     

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.     

13C代谢通量估计的量子粒子群优化算法

~(13)C标记实验的代谢通量分析(~(13)CMFA)是探索代谢网络的重要途径。~(13)C通量估计是以碳富集度平衡为条件的全局优化问题,带有众多约束条件和存在多个局部极小点等特点,如何高效地求解是~(13)C MFA中的难点,也是实现通量精确估计的关键。量子粒子群优化算法显著特点是控制参数少,设置简单,具有较好的全局搜索能力,适应于通量估计。本文提出量子粒子群优化算法结合最小二乘计算求解噪音环境下的环磷酸戊糖代谢网络的通量,以带约束的最小化问题为目标优化函数,仿真实验验证了量子粒子群优化算法是1种有效的通量估计分析算法。     

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

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

基于J2ME技术的手机信息查询系统的设计与实现

本文以公安系统的应用为例,介绍了如何在基于Java的手机上实现信息的移动查询以及如何实现信息的属性变换,对基于J2ME的终端开发技术和服务器端开发技术等也做了说明。     

远程测控模块中有限状态机的设计

基于FPGA无线测控模块在测控系统中有限状态机的设计,通过主从机的工作状态和行为转移的描述,建立以有限状态机为核心模型的远程测控系统,并利用实际硬件模块实现了对温度、溶氧量等现场环境远程测控的真实验证.实际使用结果证实了测控系统中状态机模型的通用性和可靠性,对于基于FPGA的远程测控模块的验证设计具有很好的工程参考价值.     

串行程序并行化中计算代码与同步通信代码的自动生成

简要介绍了并行编译中的计算划分和依赖关系分析,提出如何利用计算划分和依赖关系自动生成并行程序中的计算代码和同步通信代码.     

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

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

电力配电自动化技术的探讨

针对自动化技术的布置流程进行详细论述,能够使电力企业快速适应多元事业的规划标准,为用户各类生产、生活需求奠定适应基础。     

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

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