3-异硫氰酸酯氧化吲哚在串联环化反应中的研究进展

异硫氰酸酯类化合物作为构建杂环骨架的高效合成子,引起了许多化学家的兴趣．本课题组首次设计、合成了3-异硫氰酸酯氧化吲哚类合成子,并报道了其参与的不对称反应．本文对本课题组在3-异硫氰酸酯氧化吲哚与醛、酮的Aldol/cyclization反应,与亚胺的Mannich/cyclization反应,与缺电子烯烃的Michael/cyclization反应,与缺电子苯并芳香杂环的不对称去芳构化[3+2]环化反应,以及与3-吲哚基甲醇的[3+3]环化反应方面的研究进展进行综述．     

基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

查询优化器连接顺序评估

连接顺序选择问题,即从连接顺序搜索空间中选出性能最优的连接顺序,是关键的查询优化问题.然而,连接顺序的选择存在庞大的搜索空间,导致其成为难点问题,优化器往往无法确保找到最佳的连接顺序.虽然目前存在许多连接顺序选择策略,但是,现有的评测基准不适用于评估各种连接顺序选择策略的优劣.为了有效地评估优化器在连接顺序选择方面的优化效果,本文基于确定性数据生成方法,采用适用于不同连接形状的连接模板生成算法和基于结果导向的参数实例化方法,生成评测场景的数据与负载,实现了通用的优化器连接顺序选择评估工具.通过对OceanBase和PostgreSQL进行评测,表明本文所提出的工具能够全面且有效地评估查询优化器的连接顺序选择功能的性能.     

市政污水厂污水和污泥中15种典型抗生素同步测定方法优化

采用固相萃取/超声辅助萃取-超高效液相色谱-质谱联用技术,建立了一种适用于市政污水厂污水和污泥中15种典型抗生素的同步测定方法.污水样品经过滤、酸化及固相萃取柱富集净化;污泥样品用体积比为3 ∶ 1的McIlvaine缓冲液-乙腈和Mg( NO3 )2-NH3·H2 O超声提取后经固相萃取柱富集净化.以体积分数为0. ...     

阿托品肝匀浆代谢物的液相色谱-串联质谱法检测

运用液相色谱-电喷雾离子阱串联质谱(LC-MSn)联用技术分析检测阿托品大鼠肝匀浆中的代谢物.采用离体实验的代谢研究方法,将阿托品与大鼠肝匀浆在富氧条件下温孵,代谢物以乙酸乙酯萃取,采用LC-MS及LC-MSn等方法进行分析.和原药相比较,根据温孵液中分析物分子量的变化(ΔM)及其多级质谱数据,鉴定代谢物并阐述其结构.结果在阿托品的大鼠肝匀浆培养液中发现了脱水阿托品和去甲基阿托品2种代谢物.     

An efficient algorithm to generate candidates in discovering frequent episodes

0 IntroductionData mining is widely used in many research fieldssuch as decision supporting systems[1], bio-informationanalysis[2]and knowledge engineering[3-5]. Most data col-lected from scientific experiments or telecommunicationnetworks have inherent sequential nature inthemand canthus be abstractly viewed as a sequence of events . Onebasic problemin miningsuchevent sequencesis discoveryof recurrent combinations of events , which are calledepisodes. Once frequent episodes are discovered,rul…     

一类不确定线性系统的输出反馈鲁棒重复控制设计

重复控制将人类的学习机制引入控制系统,并在许多领域中得到广泛的应用。文中针对一类具有时变结构不确定性的线性系统,研究基于输出反馈的鲁棒重复控制系统设计问题。为了能精确地描述重复控制的特性,建立起能够独立调节重复控制过程中的连续控制行为和离散学习行为的连续/离散二维混合模型,以线性矩阵不等式(LMI)形式给出重复控制系统鲁棒稳定的充分条件,并利用该稳定性条件进行重复控制系统的参数设计。最后用数值仿真验证了文中所提方法的有效性。     

磨细高炉矿渣和硅灰对重复荷载作用下混凝土氯离子透过性的影响

研究了磨细高炉矿渣(GGBFS)与硅灰(SF)对重复荷载作用下混凝土中氯离子透过性的影响.磨细高炉矿渣的掺量分别为20%,30%,40%,硅灰的掺量分别为5%和10%,并对混凝土试件施加了5次最大荷载为40%与80%圆柱体抗压强度()的重复荷载.混凝土的氯离子透过性利用氯离子加速迁移装置阳极溶液中的氯离子浓度进行评价.结果表明:掺加20%,30%矿渣的混凝土及5%和10%硅灰的混凝土氯离子透过数量低于基准混凝土,掺加40%矿渣的混凝土氯离子透过数量高于基准混凝土.最大荷载为40%与80%的5次重复荷载增大了混凝土的氯离子透过数量,掺加5%硅灰的混凝土与掺加20%矿渣的混凝土抗氯离子渗透性相当.     

超临界CO2萃取法提取库尔勒香梨精油及其成分分析研究

采用超临界CO2萃取法提取库尔勒香梨精油,用气相色谱-串联质谱技术对其成分进行分析,并对几种提取方法进行综合比较。结果表明,与水蒸气蒸馏法、固相微萃取法相比,超临界CO2萃取法具有香梨精油提取率最高,为0．0549％。感官分析的结果表明,超临界CO2萃取法所得的库尔勒香梨精油颜色为橙色透明液体,而且风味好。气相色谱-质谱联用（GC-MS）分析结果表明：超临界CO2萃取法所得的香梨精油中共鉴定出28种成分。丁酸乙酯、顺-7-十四烯-1-醇和乙酸己酯的含量最高,含量分别为5．19％、4．85％和4．37％。     

分散固相萃取-UHPLC-APCI-MS/MS测定猪肉中阿维菌素药物残留量

建立了分散固相萃取-超高效液相色谱-大气压电离串联质谱(UHPLC-APCI-MS/MS)法测定猪肉中阿维菌素残留量的检测方法.样品经乙腈提取,N-丙基乙二胺吸附剂(PSA)和十八烷基键合硅胶吸附剂(C18)分散固相萃取吸附剂净化,优化了流动相比例、柱温、流速、碎裂电压、碰撞能及吸附剂用量、吸附剂种类对结果的影响,采用多反应监测(MRM)模式进行分析.结果表明,阿维菌素在5～500μg·L-1范围内保持良好线性关系,线性相关系数为0.9995,在2,5,10μg kg~(-1)加标水平下,平均回收率在89.6%～98.4%,RSD为5.3%～8.4%;检出限为1.2μg·kg~(-1),定量限为4.2μg·kg~(-1).该方法操作简单,结果准确,有机试剂使用量小,可满足肉制品中阿维菌素药物残留检测的需要.