基于XYZPADL 的Web 服务体系结构形式描述

在对时序逻辑语言XYZ/E进行扩展的基础上,对服务、合成服务、面向服务的体系结构以及系统的活性、正确性以及安全性等核心概念进行了形式定义,并对整个Web服务体系结构进行了形式化的描述与实现过程的分解与逐步求精,指出了在该体系结构框架下,系统的活性、正确性以及安全性存在的与服务求精过程中所具有的语义的可组合特性,这一组合特性在服务的状态转换变迁模型下得到了证明,从而为服务的合成与重用机制提供了形式化的理论指导.     

DDWS的波形误差校正算法及实现

介绍了直接数字波形合成(direct digital waveform synthesizer,DDWS)的误差来源,分析了DDWS结构中其数模转换器(DAC)信号重构机理,比较研究了DAC信号重构误差对输出信号脉冲压缩结果的影响。提出了一种针对DAC带来的信号辛格函数调制误差的数字化补偿算法,对中频30 MHz,带宽分别为40 MHz和20 MHz的超宽带低中频线性调频信号进行了实际补偿。实验结果表明该算法简单方便,能有效补偿DAC带来的波形调制误差。     

超宽范围可变速率时钟恢复技术及其实现

针对多种速率卫星信号的接收,提出并实现了一种针对QPSK信号的20 Mbps~320 Mbps超宽范围可变速率的数字时钟恢复算法。基于直接数字频率合成技术,该算法利用超前-滞后型鉴相器组成时钟恢复数字锁相环路,并采用由时域分析得到的一些方法扩大捕捉范围、降低时钟抖动。计算机仿真和硬件实现的结果验证了该算法具有超宽的捕捉范围和良好的时钟抖动性能。     

新乡市坚持自主创新 努力实现跨越式发展

“十五”期间，新乡市科技工作始终坚持“自主创新、重点跨越、支撑发展，引领未来”的方针。深入实施“科教兴市”战略，充分发挥科技引领作用，不断推进科技进步，提供全社会自主创新能力，加速科技成向现实生产力转化，促进经济社会发展步入依靠科技进步的良性轨道，为新乡市的经济建设和社会发展提供了强有力的科技支撑。     

NiS纳米晶的水热合成及表征

在低温水热条件下,以NiCl2.6H2O、Na2S2O3、硫脲为反应物,制备了金属硫族化合物NiS纳米晶.用X射线粉末衍射(XRD)、透射电镜(TEM)分别对NiS纳米晶的结构及形貌进行了表征分析.结果表明,所得样品为六方晶系的NiS纳米晶;同时采用不同硫源及表面活性剂聚乙烯吡咯烷酮(PVP)可以获得不同形貌的纳米晶.     

MARK2激酶是PAR3／PAR6／aPKC复合体调节海马神经元极性的下游因子

中国科学技术大学合肥微尺度物质科学国家实验室（筹）俞书宏课题组，一直致力于模拟生物矿化设计和构筑具有特殊结构与形状的复杂结构功能材料研究。日前他们将水溶液中的双亲聚合物模板控制矿化过程成功拓展到混合溶剂体系，在混合溶剂中以两亲聚合物长链多肽PEG-b-pGlu为晶体生长修饰剂，成功合成了高度单分散的球文石碳酸钙微球，并实现了对其形状的有效调控。     

固体超强酸SO~(2-)_4/SnO_2催化合成顺丁烯二酸二异辛酯

以顺丁烯二酸酐和异辛醇为原料,用一种高活性的固体超强酸S O24-/SnO 2催化剂催化合成了顺丁烯二酸二异辛酯,研究了酯化反应的优化条件。当n(异辛醇):n(顺丁烯二酸酐)为2.8:1;催化剂用量为酐质量的1.0%时,反应时间120 min,反应温度145℃,顺丁烯二酸二异辛酯的收率达到98.7%。同时对用H2SO4和对甲苯磺酸催化该反应作了比较。     

2—乙酰基—乙酰苄胺与铕(III)和铽(III)配合物的合成及荧光性质研究

合成了一个新型β—二酮型配体,2—乙酰基—乙酰苄胺(L),以及它与铕(III)和铽(III)形成的配合物。分别在固态、乙醇、丙酮、氯仿及甲醇溶液中研究了配合物的荧光性质,并讨论了溶剂效应对配合物荧光强度的影响。     

属性一致关系及其应用

本文在属性测度的基础上定义了属性关系及属性一致关系,并讨论了它们的性质及运算.文章最后还讨论了属性一致关系在决策分析中的应用.     

二亚苄基山梨糖醇系列产品的合成

研究了合成二亚苄基山梨糖醇(DBS)、二(对甲基苄叉)山梨糖醇(p-CH3-DBS)和二(对氯苄叉)山梨糖醇(p-Cl-DBS)系列产品的投料摩尔比、反应用溶剂、催化剂对甲基苯磺酸和搅拌速度等因素对DBS产品收率和熔点的影响.在苯甲醛(或对甲基苯甲醛、对氯苯甲醛)和山梨糖醇投料摩尔比为(2.0～2.1):1,对甲基苯磺酸、环己烷用量分别为苯甲醛和山梨糖醇投料总质量的4.0%和550%,反应时间6 h条件下,DBS、p-CH3-DBS和p-Cl-DBS产品收率大于70%,熔点分别为210～216 ℃、230～240 ℃和245～260 ℃.