基于可满足性计数的(≠,=)约束工作流鲁棒性验证

工作流将业务过程分解为有序的步骤并分配人力资源加以执行.资源分配受访问控制约束及资源异常干扰,存在可满足性和鲁棒性问题.而其鲁棒性验证又依赖于其可满足性判定,目前通过求可满足性的一个解来完成.本文提出另一种途径,通过统计解的个数来完成判定.特别地,通过多项式计数归约为有求解器可用的#SAT问题,给出了互斥和绑定约束下的可满足性计数算法.实验表明,相对目前时间复杂度最低的可满足性求解算法,该可满足性计数算法显著提高了实际判定效率和适用规模.     

单方向分离式母板互联设计技术

针对电路模块的功能扩展带来的模块对外接口不足的问题,通过对分离式母板互联技术研究,确定了结构上分离的母板互联形式,主要对单方向分离互联母板互联设计、结构设计、印制板设计、可靠性设计等设计技术展开探讨,从一个角度解决了传统母板限制电路模块功能扩展带来的互联问题,实现了电路模块功能的有效扩展。     

聚酰亚胺主链结构对液晶取向膜性能的影响

采用一步法,以N,N-二(4-氨基苯基)-4-(十二烷氧基联苯基)-4’-氨基苯醚(C12-BAAPE)为控制预倾角的功能性二胺,2,2’-双三氟甲基-4,4’-联苯二胺(TFDB)或4,4’-二氨基二苯醚(ODA)为辅助二胺,分别与2,2’-双(3,4-二羧苯基)六氟丙烷四羧酸二酐(6FDA)和4,4’-联苯醚二酐(ODPA)聚合,得到三种主链结构不同的聚酰亚胺(PI-1、PI-2和PI-3)。利用NMR、FT-IR、DSC、TGA、偏光显微镜和预倾角测试仪对聚合物的结构、热性能以及制备的液晶盒的取向性进行了表征,同时测试了3种PI的溶解性能。结果表明,PI-2液晶取向膜的耐摩擦性能明显优于PI-1和PI-3,且具有更高的玻璃化转变温度(Tg)和分解温度(Td),更好的溶解性能。分子模拟(MS)表明,由于PI-2分子主链垂直构象的存在,增加了分子链的刚性,因而提高了取向膜的耐摩擦性能。     

锰掺杂CBT压电陶瓷的交流阻抗谱研究

通过固相反应法制备了锰掺杂的CaBi4Ti4O15陶瓷,掺杂量x(MnCO3)从0到3.0%。添加锰以后,材料的直流电阻率先升高,再降低。通过交流阻抗谱分析,得到了各组分晶粒、晶界对电导的贡献。发现在少量掺杂时,锰原子同时进入晶粒及晶界,并改善高温下的导电性能。掺杂量为1.0%时,直流电阻率最大。但当x(MnCO3)大于3.0%时,锰原子开始富集于晶界,使材料性能恶化。     

光子晶体在提高雷达收发隔离中的应用研究

光子晶体是一种具有频率禁带的新型周期结构,它独特的频率带隙特性使其具有广泛的应用前景.简单介绍了雷达收发隔离常用措施,将光子晶体高阻表面应用到收发隔离中,设计了一种用来改善雷达收发天线隔离度的高阻抗电磁表面结构,实测结果表明该结构改善收发隔离度达15 dB以上,效果显著.     

飞秒激光在细胞纳米手术中的应用

激光类型不同,其与生物组织的作用机理也不同。其中飞秒激光由于脉冲持续时间短、瞬时功率大、聚焦尺寸小的特点,使得其在超快、超强和超精细领域有着广阔的应用前景。而结构微小的细胞的动力学研究,如有丝分裂、变形和凋亡,对于了解细胞的生物和发育行为有着重要作用。且生物大分子和水几乎不吸收近红外波长的光,故考虑应用近红外飞秒激光对细胞进行手术。这种激光手术技术已用于对细胞内结构进行切割和蚀除。介绍了该技术在细胞领域中的一些应用,如纳米手术、基因转染和染色体切割等。与传统技术相比,该技术精度高,可在不损伤细胞活性的前提下对细胞进行实验。     

离子源辅助电子枪蒸发制备Ge1-xCx薄膜

应用电子枪蒸发纯Ge,考夫曼离子源辅助的方法在Ge基底上沉积了Ge1－xCx薄膜.制备过程中,Ge作为蒸发材料,CH4作为反应气体.通过改变CH4/(CH4+Ar)的气体流量比（G）,制备了G从40％到85％的Ge1－xCx薄膜.应用X射线衍射仪（XRD）测量了Ge1－xCx薄膜的晶体结构,使用傅里叶红外光谱仪（FTIR）测量了2～22 μm的光学透过率,X射线光电子能谱测试（XPS）计算得到C的含量随G的变化关系,用纳米压痕硬度测试计测量了Ge1－xCx薄膜的硬度,原子力显微镜（AFM）测量了G为60％,85％时Ge1－xCx薄膜的表面粗糙度.测试结果表明：制备的Ge1－xCx薄膜在不同的G值下均为无定形结构.折射率随着G值的增加而减小,在3.14～3.89之间可变,并具有良好的均匀性以及极高的硬度.     

乌檀属吲哚生物碱Norketoyobyrine的全合成

以色胺为起始原料,经还原、酯水解、脱羰-消除四步反应,分别以16%和14%的总收率,实现了乌檀属吲哚生物碱Norketoyobyrine及其N-甲基衍生物的全合成。各中间体及产物的结构通过¹H NMR,¹³C NMR及HRMS等分析方法确证。     

一种基于ERNIE的军事文本实体关系抽取模型

针对军事文本实体关系抽取过程中存在的"一句对应多个三元组","一个主语对应多个客体"等问题提出一种基于ERNIE的军事文本三元组抽取模型,在编码层引入ERNIE模型获取每个词的编码序列,参考seq-to-seq解码器的建模方法和BIO序列标注,采用先预测主体,再传入主体标注序列预测客体和二者之间关系的方法实现三元组的抽...     

固相萃取/液相色谱-串联质谱法测定水果蔬菜中双胍辛胺的残留量

建立了测定沃柑、菠萝蜜、苹果、葡萄、生菜、黄瓜、西红柿、芦笋等水果蔬菜中双胍辛胺残留量的固相萃取/液相色谱-串联质谱方法。试样用0.2%乙酸水提取,二氯甲烷萃取杂质,提取液经WCX固相萃取柱净化,10%甲酸乙腈洗脱,氮吹至近干后以0.2%甲酸水复溶。采用甲醇和0.2%甲酸水为流动相,经Eclipse Plus C18(2.1 mm×100 mm,1.8μm)分离,在电喷雾离子源正离子模式下采用双胍辛胺的双电荷加合母离子m/z 178.8及其子离子m/z 100.0和187.0进行多反应监测（MRM）扫描,基质加标曲线进行定量。结果表明,双胍辛胺在0.005～0.160 mg/kg范围内线性关系良好,相关系数r≥0.995;0.010、0.020、0.050 mg/kg加标水平下的平均回收率为88.5%～109%,相对标准偏差（RSD,n=6）为2.1%～8.8%;方法检出限为0.005 mg/kg,定量下限为0.010 mg/kg。该方法快速、准确、灵敏,适用于水果蔬菜中双胍辛胺残留量的测定。