P2P内容传输模型和链路开销最优化分析

对P2P内容传输(P2PCD)模型进行形式化抽象.在不受传输时间约束和受传输时间约束条件下,分析链路资源开销敏感的P2P内容传输相关优化问题,证明了P2P内容传输问题的链路资源开销最优化是NP-完全问题,需要近似最优化研究以达目的.该研究为以后更加复杂的P2P内容传输和P2P应用的优化设计提供了支持.最后指出该领域有待进一步研究的相关问题.     

用于验证多智能体系统的APTL模型检测器

由于经典的线性时序逻辑表达能力有限,设计并开发了基于交替投影时序逻辑（alternating projection temporal logic,简称APTL）的模型检测工具.根据王海洋等人提出的APTL符号模型检测方法,设计并实现了APTL模型检测器MCMAS_APTL.该工具可用于多智能体系统（multi-agent system,简称MAS）的性质验证.MCMAS_APTL检查MAS是否满足具体性质的过程如下：首先,用解释系统编程语言（interpreted system programming language,简称ISPL）描述要验证的系统IS,用APTL公式P描述要验证的性质;然后,符号化表示系统IS,并将非P转化为范式;最后,计算所有满足非P的路径的起始状态集合.如果得到的状态集合中包含系统的初始状态,则说明系统不满足公式P;反之,则说明系统满足公式P.详细阐述了实现MCMAS_APTL的过程,并且通过验证机器人足球赛的例子展示了MCMAS_APTL的性能.     

肟基丙二酸二乙酯的合成

以丙二酸二乙酯、冰醋酸、亚硝酸钠为主要原料,甲苯做溶剂制备肟基丙二酸二乙酯,并用高效液相色谱、核磁及质谱等手段表征了产物的结构.讨论了原料的物质的量比和反应温度对反应收率的影响,同时进行了稳定性实验.目标产品纯度98%,产率高达96%(以丙二酸二乙酯计).     

一种模糊自适应滤波算法的研究与实现

为解决均值滤波和中值滤波算法在数字信号处理中存在的问题,提出一种模糊自适应滤波算法．根据每个元素噪声度的大小控制均值滤波窗口的大小,并做了大量的仿真．与普通的均值滤波和中值滤波进行比较发现,该方法不仅很好地去除了信号中混有的脉冲,而且在不损坏信号细节的前提下,很好地滤除了噪声信号．最后,使用了信噪比改善因子S来检验算法的滤波效果,证明其滤波效果好于传统的中值滤波和均值滤波,且具有算法简单、实时性好等特点,并已经应用在很多场合．     

重庆市居住区绿化现状分析及建议

居住区绿化是城市园林绿化的重要组成部分，居住区环境质量好坏的重要标志文章针对重庆市居住区的绿化现状进行了分析，探讨了存在的问题，并提出改进的建议，希望有助于其绿化建设和管理工作。     

Preliminary Research Results for the Generation and Diagnostics of High Power Ion Beams on FLASH II Accelerator

The preliminary experimental results of the generation and diagnostics of highpower ion beams on FLASH II accelerator are reported, The high-power ion beams presently are being produced in a pinched diode, The method for enhancing the ratio of ion to electron current is to increase the electron residing time by pinching the electron flow, Furthermore, electron beam pinching can be combined with electron reflexing to achieve ion beams with even higher efficiency and intensity. The anode plasma is generated by anode foil bombarded with electron and anode foil surface flashover. In recent experiments on FLASH II accelerator, ion beams have been produced with a current of 160 kA and an energy of 500 keV corresponding to an ion beam peak power of about 80 GW. The ion number and current of high power ion beams were determined by monitoring delayed radioactivity from nuclear reactions induced in a ^12C target by the proton beams, The prompt γ-rays and diode bremsstrahlung X-rays were measured with a PIN semi-conductor detector and a plastic scintillator detector, The current density distribution of ion beam were measured with a biased ion collector array. The ion beams were also recorded with a CR-39 detector.     

联苯-4-甲酸合成工艺研究

以联苯和乙酰氯为原料,通过傅克酰基化反应合成4-联苯乙酮,在醋酸体系中,4-联苯乙酮经Co-Mn-Br常压催化氧化,得目标产物联苯-4-甲酸。详细考察了催化剂用量、物料配比、氧气流速和反应温度对氧化反应的影响,确定较佳的工艺条件:n(Co)∶n(Mn)=1∶1,n(Co+Mn)∶n(Br)=1∶1,催化剂的用量为1.5%(原料的重量比),氧气流速为150 m L/min,反应温度80℃。在此条件下,联苯-4-甲酸产品收率为92.9%(以原料联苯计),纯度为99.5%(HPLC面积归一化法)。产物结构经过熔点、1H-NMR和MS表征。     

偏压电荷收集器测量HPIB的原理和实验

介绍了偏压电荷收集器的结构，分析了利用其测量HPIB束流强度的原理，利用KARAT PIC软件模拟了偏压电荷收集器内部的电荷输运过程，模拟结果表明HPIB在偏压电荷收集器内部电荷中和而电流不中和，从而证实了电荷中和假设和这种装置测量HPIB的准确性。另外还分别对几何参数和偏置电压对偏压电荷收集器的影响进行了模拟，在德拜长度范围内，孔径的大小为0．6-0．8mm比较合适，偏压为-800V就可满足峰值能量为500keV HPIB的测量要求，实验验证了偏压大小与离子收集效率之间的关系。     

闪烁探测器测氡仪的研制与应用

介绍了闪烁探测器测氡仪的工作原理,阐述了应用新型材料及技术达到的技术指标.通过仪器的应用试验与测量结果比对证明了仪器设计方案的可行性和性能的可靠性.     

基于Cu表面原位制备高熵合金涂层的研究

利用机械合金化法在纯Cu表面原位制备NiCoFeCuCr高熵合金涂层,采用XRD、SEM和EDS对涂层的物相、显微组织及成分进行分析,研究球磨时间对涂层组织结构的影响,并分析了涂层的形成机理。结果表明:适当延长球磨时间有利于提高涂层的厚度和致密度,当球磨时间达到5h时,涂层最为致密,厚度约为40μm,且此时涂层与基体之间发生扩散而形成冶金结合。涂层的形成主要经历了合金粉末的镶嵌、冷焊、扩散和涂层的加工硬化4个阶段。