【摘 要】
：
Kleene代数在理论计算机科学中具有基础而特殊的重要性,Kleene模、布尔模和动态代数等与Kleene代数密切相关的半模结构在程序的语义逻辑及推理中发挥着十分重要的作用.将半环
论文部分内容阅读
Kleene代数在理论计算机科学中具有基础而特殊的重要性,Kleene模、布尔模和动态代数等与Kleene代数密切相关的半模结构在程序的语义逻辑及推理中发挥着十分重要的作用.将半环和半模等代数系统作为基本构架,研究了理论计算机科学中的Kleene代数、Kleene模和归纳*_气半环等重要概念,并将这些对象统一为序*_气半环上称为归纳半模的代数结构.进一步,提出并讨论了弱归纳半模、伪归纳半模以及伪弱归纳半模等相关概念.
其他文献
用褪色分光光度法(测定药物制剂和生物样品中吡罗昔康含量。)在pH8.75的tris-HCl缓冲溶液中,甲酚红与吡罗昔康反应形成离子缔合物,使甲酚红溶液褪色,最大褪色波长位于570nm,
目的 运用声辐射力脉冲成像(acoustic radiation force impulse,ARFI)技术评价兔肝门脉主干及肝固有动脉同时阻断后的弹性改变.方法 通过同时阻断肝门脉及肝固有动脉的方法建
对标题化合物的合成方法进行了改进。首先用三乙醇胺与二氯亚砜在氯仿中反应制备三(2-氯乙基)胺盐酸盐,然后与邻苯二甲酰亚胺钾在二甲基甲酰胺中反应得到标题化合物的盐酸盐,
固体超强酸是近年来研制开发出的一类新型催化材料[1-4],其克服了传统液体酸催化剂易腐蚀设备、污染环境、副反应多、产物选择性低等缺点.尤其是近年来纳米技术的应用,使得纳
完全分类了满足∣I3(G)∣ = 4的有限2群,其中Ik (G)表示G的所有pk阶子群的交.
利用荧光光谱和同步荧光光谱研究了不同温度下苯胺蓝黑与人血清白蛋白相互作用时的荧光猝灭及构象的变化情况。实验结果表明,苯胺蓝黑与人血清白蛋白之间可以发生相互作用,而
通过引入参数及估算权系数,建立一个新的、具有混合核的Hilbert型积分不等式,并证明其常数因子为最佳值.作为应用,还给出了相应的等价形式及一些特殊结果.
标题化合物是合成喹啉基杂环化合物非常重要的中间体,以喹啉-2-甲酸为起始原料,经酯化、胺解、POCl3脱水3步反应得到标题化合物,该法原料价廉易得、操作简便、适合工业化生产
以蒽、马来酸酐,氢氧化钾和三氮唑为原料,合成了标题化合物蒽醌,经IR和元素分析对化合物进行了初步表征。用X-射线单晶衍射仪测定了其晶体结构,同时使用G03程序对该化合物进
以咔唑、三芳胺及芴衍生物为原料,经甲基化、Ullmann、硼酸化、Suzuki偶联等反应合成了3种星形咔唑衍生物:1-[(4′-N,N-二苯基胺基)苯基]-3,5-二[4-(9H′-9′-咔唑基)苯基]苯