基于ProVerif的电子商务协议分析

采用应用pi演算来建模自动解决争端的公平电子商务协议,基于一致性给出了公平性的形式描述方法,利用应用pi演算的自动化分析工具--ProVerif分析了该协议,结果表明,利用一致性描述协议公平性是可行的,同时指出了基于ProVerif验证电子商务协议的优缺点:适用于分析"A事件发生以前,B事件是否曾经发生",但不适用于分析"A事件发生之后,B事件将来是否会必然(或可能)发生".     

地铁车站照明配电系统优化设计

针对目前地铁地下车站照明设计存在的问题 ,从照明配电、参数计算、系统优化、灯具选择等方面提出了优化设计建议 ,并在实际设计中应用 ,取得了很好的设计效果。     

基于FPGA／DDS原理的MSK信号调制与解调的设计与实现

本文提出了一种采用直接数字合成DDS原理和延时相干解调原理实现最小频移键控MSK信号的调制与解调的新方法。与传统采用直接提取载波进行相干解调的方法相比较,本文采用的新方法．避免了载波提取困难的问题：本设计建立了系统模型给出了基于现场可编程门阵列FPGA和DDS原理的MSK信号调制与解调的详细的软硬件架构设计及关键核心模块的设计方案,采用FPGA以及专用DDS芯片AD9851实现了调制与解调系统。     

概率法在页岩气未开发最终可采量评估中的应用——以北美某成熟页岩气区块为例

中国实现页岩气规模开发的时间不长,页岩气最终可采量(EUR)评估方法研究尚处于不断积累和完善的阶段,尤其是评估准确度较高的概率法应用还不普遍。为此,在分析评价页岩气EUR评估方法的基础上,应用改进双曲递减模型预测了北美某成熟页岩气区块内在产井的EUR并建立其概率分布,基于上述结果应用概率法模拟新井的未开发EUR,并分4种情形(目标概率、项目风险、项目对比、更合理的EUR评估)对概率法的合理使用及其应用效果进行了详细阐述。研究结果表明:(1)随着页岩气开发项目的推进,生产井数的增加、开采技术的成熟,概率法所需的具有合理置信度水平的类比井组可以建立起来,为应用概率法评估未开发EUR奠定了基础;(2)页岩气项目未开发EUR在部分程度上受总井数的影响,未来钻井数量减少会增加未开发EUR的不确定性,相反钻井数量增加则可以减少未开发EUR的不确定性;(3)概率法具备定量描述不同级别未开发EUR的可能性,定量反映项目存在的不确定性和风险,通过对不同项目的不确定性及风险进行对比,可以为项目的鉴别和决策提供依据。结论认为,随着页岩气生产井数的增加和开采技术的成熟,采用概率法对页岩气项目未开发EUR进行评估是更为合理可靠的选择。     

一种基于气相色谱质谱联用的肉制品中农药残留检测方法的开发与研究

基于气相色谱质谱联用法(GC-MS),通过对色谱和质谱条件的优化,即调节进样口的温度为280℃,载气He每次进入1uL且不分流进样; MS传输线温度为280℃、离子源温度为250℃、数据采集方式为SIM,在国标方法的基础上建立一种基于气相色谱质谱串联法检测肉制品中的恶霜灵、三氯杀螨醇、生物苄呋菊酯、γ-666四种农药残留的方法。结果显示,这四种农药在0. 1280～82 050ug/m L浓度区间内数据方程的相关系数均大于0. 9950,检出限区间是0. 0086～0. 1040mg/kg,均在国家所规定的检测标准之内。样品的加标回收率在90%～130%之间。结果表明,优化后方法的灵敏度、复现性和稳定性较高,适用于肉制品中恶霜灵、三氯杀螨醇、生物苄呋菊酯和γ媚-666四种农药残留的检测。     

基于GPRS网络的电能质量监测系统的研究

针对目前电力系统配网中谐波污染日益严重的情况,为完善电能质量监测的网络化的功能,推提出了一种基于GPRS无线通信的低成本电能质量监测网络系统以监测电能质量。系统由监测终端、GPRS通信网络和系统主站组成,通过采用GPRS无线通讯技术,极大地节省了通讯设施的建设费用,具有实时性好、可靠性高及成本低等特点。     

AS-PANet:改进路径增强网络的重叠染色体实例分割

目的 染色体是遗传信息的重要载体,健康的人体细胞中包含46条染色体,包括22对常染色体和1对性染色体。染色体核型化分析是产前诊断和遗产疾病诊断的重要且常用方法。染色体核型化分析是指从分裂中期的细胞显微镜图像中,分割出染色体并根据染色体的条带进行分组排列的过程。染色体核型化分析通常由细胞学家手工完成,但是这个过程非常费时、繁琐且容易出错。由于染色体的非刚性特质,多条染色体之间存在重叠及交叉现象,致使染色体实例分割非常困难。染色体分割是染色体核型化分析过程中最重要且最困难的一步,因此本文旨在解决重叠、交叉染色体实例分割问题。方法 本文基于路径增强网络（PANet）模型,提出AS-PANet（amount segmentation PANet）模型用于解决重叠染色体实例分割问题。在路径增强网络的基础上引入染色体计数领域知识预测作为模型的一个预测分支,并改进了路径增强网络的模型结构和损失函数,使图像分类、目标检测、实例分割和染色体计数4个子任务共享卷积特征,进行联合训练。在临床染色体图像数据上进行标注并构建训练集和测试集,同时提出有效的数据增广方法用以扩充染色体标注训练数据集,提升模型的训练效果。结果 在临床染色体数据集中开展实证研究实验。实验结果表明,本文方法在临床染色体数据集中,平均分割精度mAP（mean average precision）为90.63%。该结果比PANet提升了1.18%,比基线模型Mask R-CNN提升了2.85%。分割准确率为85%,相比PANet提升了2%,相比Mask R-CNN（region with convolutional neural network）提升3.75%。结论 本文染色体实例分割方法能够更有效地解决临床染色体分割问题,相比现有的方法,分割效果更好。     

浅谈建设工程检测机构与保护环境的关系

本文运用公共政策理论，结合2015年1月1日国家颁布实施的《环境保护法》，指出了建筑工程检测机构在环境检测方面的技术要求应与新环保法相适应，确保了新环保法在建设工程检测方面的贯彻落实。     

医学生理学双语教学的几点体会

阐述了生理学双语教学的实践和体会。提出双语教学应根据学生的接受能力循序渐进，重在激发学生兴趣，引发学生内在驱动力。     

2005年甲醇市场分析及预测

对2005年国内外甲醇生产消费现状进行分析综述,并对近期甲醇市场走势进行展望分析。