基于扩展投影时序逻辑的组合Web服务描述与验证

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据.     

中国温室气体减排与选择性催化还原脱硝材料

综述了中国温室气体排放和Nox污染的现状及相互影响.论述了电厂锅炉和机动车发动机的稀燃化对CO2减排的意义和对Nox污染控制的影响,阐述了选择性催化还原脱硝技术对解决中国经济发展带来的能源危机和温室气体减排的重要性.基于温室气体减排和Nox排放的相互制约关系,指出了采用燃料的稀燃方式辅以SCR脱硝后处理技术是中国同时实现温室气体减排和Nox控制的显示可行途径.重点论述了中国燃煤电厂烟道气脱硝和柴油车尾气脱硝对选择性催化还原(SCR)脱销材料的要求,对国内外脱硝材料的研究领域、研发现状和发展趋势进行了探讨,并结合中国国情指出,具有自主知识产权的V-W-Ti基SCR脱硝材料、低温SCR脱硝材料和沸石基SCR脱硝材料是适应我国电厂烟道气脱硝和机动车尾气脱硝的SCR脱硝材料发展方向.     

狗脑抗吗啡活性肽“74a”的分离纯化方法及其鉴定

本实验报道从正常狗脑中获得的第三个具有明显拮抗吗啡镇痛效应的肽,暂定为“74a”肽。所得纯品经等电聚焦电泳和SDS电泳鉴定均为一条带,分子量约10,000道尔顿,等电点pH7.5左右,N-末端35个氨基酸残基序列已经测定,经检索未见文献报导,是一个新肽。     

CaCO_3热分解的非等温动力学机制研究

本文建立了确定固态热分解非等温反应机制的动力学模型,根据该模型研究了CaCO_3分解的反应动力学。结果表明;不同升温速度条件下CaCO_3分解受不同的反应机制控制.同时;随着升温速度提高.CaCO_3分解的活化能降低。     

程序控温动态分析对聚醚醚酮结构特征的研究──（Ⅰ）探针分子苯对聚醚醚酮结构的研究

采用程序控温动态分析方法，并辅之以红外分析手段，探讨了不同合成工艺所得聚醚醚酮样品的结构特征．考察了探针分子苯在不同样品上的程序升温解吸（ＴＰＤ）行为，并与红外分析结果相比较，结果发现：对于不同合成工艺所得的ＰＥＥＫ样品，虽然其红外谱图极为相似．但在分子结构方面仍有一定差异；利用程序控温动态分析方法，可针对这一差异给出有意义的信息，而这些具有理论和实用价值的信息是红外分析方法无法或很难得到的．     

市场营销战略研究

市场营销战略要素“10Ps”包括了战略性要素“探查”、“划分”、“优先”、“定位”,战术性要素“产品”、“价格”、“分销”、“促销”、“政治权力”和“公共关系”。市场营销战略管理的实质是根据企业所处的外部环境和企业本身的内部经营要素来决定企业的战略目标,确定企业的目标市场和市场定位。在当前市场复杂多变,市场竞争激烈,“市场机会”与“市场威胁”并存的条件下,如何发现和选定企业的目标市场是企业营销战略的关键。     

（Y，Ce，Sm）（Mg，Mn）B_5O_（10）中Sm~（3＋）的发光与Mn~

研究了（Ｙ，Ｃｅ，Ｓｍ）（Ｍｇ，Ｍｎ）Ｂ５Ｏ（１０）中Ｓｍ（３＋）和Ｍｎ（２＋）的发光性质，Ｍｎ（２＋）浓度对Ｓｍ（３＋）发射的影响．着重讨论了Ｍｎ（２＋）对Ｓｍ（３＋）发射的敏化作用及能量传递机理．     

混合表面活性剂存在下人发中微量锌的测定

本文研究了在混合表面活性剂存在下，测定人发中锌含量的方法。在ＰＨ＝６．４的磷酸二氢钾和磷酸氢二钠的缓冲溶液中，Ｚｎ与５ＢｒＰＡＤＡＰ及混合表面活性剂ＣＴＭＡＢ和Ｔｗ８０进行显色，用分光光度计进行测定，取得了表现摩尔吸光系数为ε＝１．２８×１０５的满意结果。     

用于MIP-AES的超声雾化平衡-脉冲进样法

研究了一种用于MIP-AES的超声雾化平衡-脉冲进样法。与原来的超声雾化平衡-连续进样法相比,该法大大降低了引入MIP中的样品量,提高了MIP对含高盐分溶液样品的承受能力。     

特征结构鲁棒配置的一种算法──最优鲁棒极点的选择

本文提出了一种状态反馈鲁棒设计算法，通过允许非主导极点在一定范围内移动并选定最优鲁棒极点和允许特征向量在单位正交阵中选择，以扩展自由度，进行特征值和特征向量的配置，从而进一步提高了鲁棒性．