4,4’-联苯二乙酰丙酮桥联双核铜(Ⅱ)配合物的合成、EPR谱与热分析

在碱性条件下,以4,4’-联苯二乙酰丙酮和二苯甲酰甲烷为原料合成了新型固态三元配合物[Cu2(C22H20O4)(C15H11O2)2],并用元素分析、电导率、红外光谱、电子光谱和电喷雾质谱对其进行了表征,确定了配合物的组成,研究了配合物在氮气气氛中的热分解行为.对配合物测量了室温固体电子顺磁共振谱,定性探讨了配合物的...     

湿地松林下6树种光合日变化及其与环境因子的关系

以红壤区湿地松林下栽植的6树种为研究对象,监测了各树种叶片净光合速率（Pn）的日变化,同时系统分析了Pn与各环境因子间的关系。结果发现,麻栎（Quercus acutissima）、黧蒴锥（Castanopsis fissa）、木荷（Schima superba）和胡枝子（Lespedeza bicolor）的Pn日变化均呈现为先增加后降低的趋势,最大值均出现在11:00,分别为(1982±266)、(1458±179)、(1611±482)、(1492±367) μmol/（m2〖DK〗·s）;而椤木石楠（Photinia davidsoniae）和杨桐（Adinandra millettii）则呈现为双峰曲线,最大值分别为（891±181）、（1085±163）μmol/（m2〖DK〗·s）。各树种日平均Pn从大到小的顺序依次为麻栎、木荷、黧蒴锥、胡枝子、杨桐、椤木石楠。方差分析发现,麻栎、黧蒴锥、木荷的Pn显著大于椤木石楠和杨桐（p＜005）。通径分析发现,黧蒴锥、麻栎和胡枝子的Pn动态变化主要受饱和水蒸气压差（VPD）、温度（T）、相对湿度（RH）和光合有效辐射（PAR）的影响;木荷主要受VPD、T和PAR的影响,而椤木石楠和杨桐的主要受VPD、T、RH的影响,且各物种各因子均具有较大的间接通径系数。     

基于NuSMV的Web服务失配限界模型检测

目前,Web服务组合已成为Web服务领域的研究热点,Web服务失配检测是保证服务正常组合的基础.当服务模型状态数较大时,现有的失配检测方法将面临状态空间爆炸问题,本文采用限界模型检测技术,提出一种基于NuSMV的Web服务失配检测方法.该方法能够有效地处理服务模型状态数较大时的情形,并且能够实现在异步通信模式下进行Web服务失配的自动化检测.最后通过实验说明了该方法的可行性.     

基于概率时间自动机的模型检测反例表示研究

近年来,概率系统在实际中应用越来越广泛,其中模型检测基于概率系统的反例生成问题,已引起人们的广泛关注,现有的工作主要围绕模型检测Markov链反例生成展开.概率时间自动机(PTA)是Markov链的不确定性和系统时钟的扩展,针对模型检测PTA的反例表示问题,首先将PTA的语义表示为Markov决策过程(MDP),通过策略解决MDP不确定性,将MDP转换为离散时间Markov链(DTMC);然后将DTMC转换为带权有向图,则PTA中最小反例问题转化为带权有向图中最短路径问题;最后采用正则表达式表示求得的反例.     

广义分散控制系统的闭环正则性

分别从静态分散输出反馈、动态分散输出反馈和混合型分散输出反馈的角度讨论了广义分散控制系统的闭环正则性问题，相应得到了广义分散控制系统在这种不贩馈形式下可闭环正则的判别条件及相互关系.     

太原市西山地区开山取石停采面植被恢复的试验

利用边试验、边推广的方法，通过人工造林的方式，对停采多年的开山破坏面进行植被恢复，树种以侧柏、油松为主，臭椿为辅，苗木宜采用带土胎的移植苗，实行水平阶式整地，乔灌草相结合的种植方法，辅以浇水措施，约需10年，植被覆盖率可达到60％以上。     

用PES传输太原-长治自动转报数据

简要阐述了用PES传输太原－长治自动转报数据的传输方案，系统故障监测方法，传输性能及应注意的事项。     

新型核-多臂聚合物的合成和表征

合成了以超支化聚缩水甘油为核，聚氨酯剂聚物为臂的新型星形聚合物，并利用核磁共振、Raman光谱、差热分析、X射线衍射等手段对其结构和性能进行了表征．结果表明，该聚合物超支化核的支化度为0．54，核臂比为1：4，且无明显结晶，呈无定型态．由自旋晶格驰豫时间Tl的变化可知，星形聚合物局部分子链段更容易运动．这些性质都有利于星形聚合物在固体电解质方面的应用．     

TCP协议的安全性和活性验证

网络协议簇中,传输控制协议TCP是最重要的协议之一,提供面向连接的可靠传输服务．采用Promela描述TCP建立连接和可靠数据传输,并用模型检测工具Spin,验证TCP三次握手协议的安全性与可靠数据传输协议活性的属性．     

Attitude and Orbit Optimal Control of Combined Spacecraft via a Fully-Actuated System Approach

Journal of Systems Science and Complexity - This paper investigates the attitude and orbit control for the combined spacecraft formed after a target spacecraft without the autonomous control...