一种新的组织P系统变体的研究

本文介绍了一种新的组织P系统的变体.定义的P系统改进了原始的设计,允许在通道(连接,生物上称为突触)上的规则应用中采用并行机制,以提高系统的运行效率.文中我们首先给出这种组织P系统的定义,然后描述它的运行机制,接着对它的计算能力做了一些简单的分析,并且用一个典型的例子说明了我们的P系统的运行过程的特点.     

以纳米二氧化锆为载体的Pd催化剂制备及还原缩合性能研究

考察了不同制备方法得到的纳米二氧化锆为载体担载Pd催化剂对丙酮还原缩合的影响。纳米二氧化锆的制备方法对二氧化锆的物理性质和催化性能有较大的影响。不同的沉淀方法、陈化环境制备的纳米ZrO2,对不同的产物有不同的选择性,其中,在母液中373K陈化的二氧化锆为载体的催化剂对二异丁基酮(DIBK)的选择性较高,为61 43%;沉淀剂滴加到盐溶液中得到的二氧化锆为载体的催化剂对甲基异丁基酮(MIBK)的选择性较高,为63 70%。催化剂的酸性和Pd分散度表征结果表明,较高的Pd分散度、合适的酸性有利于MIBK的生成,较高的Pd分散度、较强的酸性有利于DIBK的生成。     

除氢催化剂失活机理与工业再生技术的研究与开发

使用催化色谱、TPR、XPS、XRD、IR比色法等研究了Pd(Pt)/Al_2O_3催化剂失活机理及工业再生技术。结果表明,硫中毒是催化剂失活的首要原因。而硫的化学状态有S~(2-)、S_2~(2-)、S~(6+),其中主要是硫酸铝盐水化合物。经过不同程序的再生,可使工业失活催化剂的催化活性和抗中毒性能基本恢复到新鲜催化剂水平,並使催化剂的物化结构得到基本恢复。     

基于STM32单片机的智能送药小车设计

本设计使用STM32F103RBT6开发板作为控制中心,采用无线模块实现控制端与运动端之间的交流,通过灰度传感器进行循迹,测出小车移动的位置经采样后反馈给单片机,及时矫正小车运动轨迹,实现智能小车按要求运动,并将信息实时反馈给控制端显示。系统实现了小车在规定区域上行驶并将信息实时反馈给控制端等功能。     

蜂蜜酿造过程中糖分的变化规律

旨在通过分析不同酿造程度蜂蜜的理化指标和糖组分,找出蜂蜜在成熟过程中糖分的变化规律,从而获得评价蜂蜜品质的特征性指标。分别测定不同酿造程度蜂蜜的水分含量、锤度、酸度、pH值、电导率,并采用HPLC—ELSD法定量分析在蜂巢内酿造不同时间的5种蜂蜜的糖组分。通过单因素方差分析(ANOVA)可知,不同酿造程度的蜂蜜存在显著性差异;而由主成分分析可知,果糖、海藻糖、葡萄糖、麦芽酮糖、吡喃葡萄糖基蔗糖是引起不同酿造程度蜂蜜差异性的主导因素。因此,海藻糖、麦芽酮糖、吡喃葡萄糖基蔗糖可以作为鉴别不同酿造程度蜂蜜的特征性指标。     

基于TPM的强身份认证协议研究

根据可信计算领域中对身份认证的要求,提出一种基于TPM的强身份认证协议。介绍可信平台模块架构,给出其支持的密钥类型,按照进程理论建立协议模型,阐述协议扩展方案,包括引入PCR挑战、实现跨平台认证,并采用网络开发技术加以实现。实验结果表明,该协议可有效对用户身份进行验证。     

带Mismatch算子的高阶π演算

主要研究带mismatch的高阶进程演算的公理化问题。首先,建立存在mismatch时高阶进程的开弱高阶互模拟理论,证明了等价关系、同余性等重要性质;其次,沿用线性的方法,构建得到带 mismatch 的有限进程上的公理系统;最后,基于对开弱高阶互模拟的刻画,证明了该公理系统的完备性定理。该工作为带 mismatch 的高阶进程上互模拟判定的有效算法的设计与实现,进而为相关的应用建模工作提供了理论借鉴。     

原料组成对半焦中间相结构发展的影响

以中低温煤焦油全馏分加氢尾油（FHT）和>350℃中低温煤焦油沥青（CTP）为原料，制备出不同微观结构的半焦。采用元素分析、核磁共振氢谱、傅里叶变换红外光谱、气相色谱-质谱联用等手段对原料的组成结构进行表征，研究了原料组成对中间相结构发展的影响。结果表明：FHT含有25.94%环烷烃且芳环侧链以环烷结构为主，CTP中含有3.92%环烷烃且芳环侧链以短烷基为主，FHT的含氧杂环化合物含量比CTP低。热聚实验表明具有环烷结构含量高、含氧杂环化合物含量低的原料（FHT），有利于降低炭化反应活性和反应体系黏度，促进中间相有序发展。采用偏光显微镜、扫描电子显微镜和X射线衍射对半焦的微观结构和微晶参数进行分析，结果表明，CTP的氧含量和QI含量高，容易生成镶嵌结构，微晶排列扭曲，取向性差，而FHT中富含环烷结构以及氧含量低，芳烃片层分子更容易有序堆叠形成细纤维结构且内部碳微晶排列更加规整，更易石墨化。此外，利用纤维软件对半焦的光学组织结构进行了定量分析，发现FHT制备的半焦的纤维结构质量分数为79.84%，而CTP制备的半焦的纤维结构质量分数为22.18%。     

中低温煤焦油制备特种喷气燃料的加氢工艺研究

以陕北中低温煤焦油<350℃的馏分油为原料，加氢精制剂和加氢异构剂为催化剂，在小型固定床反应器上进行中低温煤焦油加氢制备航空特种喷气燃料研究。考察了反应温度、反应压力和液体空速对喷气燃料收率及性质的影响，获得最优工艺参数：温度360℃、压力12 MPa、空速0.4 h^-1。将所得加氢产品油中195℃～265℃馏分作为特种喷气燃料，其中环烷烃和异构烷烃质量分数分别为62.43%和21.84%，几乎不存在芳烃类物质，且其各项指标均满足GB 6537—2018《3号喷气燃料》的要求。     

考虑静态电压稳定裕度的含UPFC最优潮流计算方法研究

提出一种考虑静态电压稳定裕度的含统一潮流控制器(UPFC)最优潮流计算模型及方法。模型中增加了局部电网的静态电压稳定裕度约束和UPFC运行约束条件,以及UPFC串联和并联侧等效电压源的幅值、相角等自变量。基于Benders分解法将模型分解为主模型和子模型,其中,主模型为典型的含UPFC最优潮流模型,子模型为静态电压稳定计算模型,通过Benders割建立主子模型间的协调优化,最终实现了整个模型的求解。以苏州南部500 k V为例进行仿真计算,结果验证了文中模型及算法的有效性。