一类约束满足问题及其算法

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·     

配合物Zn(Val)SO4·H2O的低温热容和热力学研究

用精密自动绝热热量计测定了配合物Zn(Val)SO4·H2O在78～373K温区的摩尔热容,通过热容曲线的解析得到该配合物起始脱水温度为327.05K.将该温区的摩尔热容实验值用最小二乘法拟合得到摩尔热容(Cp,m)对温度(T)的多项式方程,并计算了它的各种热力学函数.此外,用惰性气氛下的TG DTG及DSC对该配合物的热分解过程进行了研究.     

不同土壤锰结核对Cr(Ⅲ)的氧化比较

以几种土壤锰结核为实验材料,采用平衡吸附法和化学选择溶提技术,对不同类型的氧化锰矿物氧化Cr(Ⅲ)进行了研究.结果表明,供试锰结核对Cr(Ⅲ)的氧化能力大小顺序为N1>N4>N2>N5,与所含易还原性锰含量顺序不一致.换算成易还原性锰对Cr(Ⅲ)的氧化后,则其顺序为N4>N2>N1>N5.由组成供试锰结核的主要氧化锰矿物得知,对Cr(Ⅲ)的氧化能力:钠水锰矿>锂硬锰矿>钙锰矿,这可能与氧化锰矿物的结晶程度、晶体构造和Mn(Ⅳ)含量的差异以及Cr(Ⅲ)在氧化锰表面的吸附位置有关.     

N-(2'',3'',4'',6''-四乙酰基-β-D-吡喃葡萄糖基)-5-(4''-甲基联苯基-2-基)四氮唑的合成

5-(4’-甲基联苯基-2-基)四氮唑与2,3,4,6-四乙酰基-α-D-吡喃溴代葡萄糖在弱碱性条件下反应生成了β型的氮糖苷。产物结构经红外光谱、核磁共振光谱、质谱和元素分析得到了证实。     

基于网络分布式入侵检测系统的设计与实现

对现有的入侵检测技术进行了阐述。在结合通用入侵检测系统框架模型的基础上，提出和实现基于网络分布式入侵检测系统，该系统具备良好扩展性。     

智能光网络控制平面模型的研究

首先介绍了IETF的基于GMPLS对等模型和ITU T的ASON重叠模型,并且比较了它们之间的关系;接着阐述了基于GMPLS智能光网络控制平面的功能模块;最后在Berkeley实验室开发的NS 2网络仿真器平台上对基于GMPLS智能光网络模型进行了设计和仿真。     

基于USB接口的变电站自动化系统中通信控制器的设计

变电站自动化系统中采用通信控制器负责与上位机及调度中心的通信。传统的设计抗干扰能力差,且安装不便。本设计则利用USB总线的优点,采取多种抗干扰措施保障数据通信的安全高效,并对USB传输机制作了简要的介绍。     

阳离子表面活性剂CTAB与PVA相互作用性质研究

通过粘度、电导率、表面张力以及紫外吸收光谱等手段,研究水溶性中性聚合物聚乙烯醇(PVA)与阳离子表面活性剂十六烷基三甲基溴化铵(CTAB)之间的相互作用。结果表明,PVA与CTAB之间有一定的相互作用,从而使体系表现出异常的粘度行为,显示出一定的电粘效应,并导致其混合溶液的最大紫外吸收峰发生了红移,未观察到PVA的加入对CTAB溶液表面张力和临界胶束浓度的影响。     

Cs(NTO)·H2O的结构和水溶液中的FT-IR和Raman光谱

用Raman和FT-IR 光谱实验技术对Cs(NTO)*H2O配合物水溶液的振动光谱进行了研究,从单晶结构角度说明了配合体的原子与Cs离子之间的配合键;量子化学计算结果表明配合键的性质主要属于静电吸引作用.该配合物饱和水溶液与晶体的振动光谱峰吻合.证明水溶液中的振动光谱可以用晶体中键的形成来说明光谱峰归属.     

面向多品种引信类产品的相似制造工程

详细论述了相似制造工程的含义,并指出了进行多品种引信类产品相似制造工程的重要性和必要性;在分析相似制造工程国内外发展现状的基础上,提出了多品种引信类产品相似制造工程的主要内容及其实现技术,给出了基于PDM的集成框架体系;对相似制造工程理论进行了初步探索,为相似制造工程的应用起到了一定的借鉴作用.