命题逻辑中一类扩展子句消去方法

随着计算机求解问题越加复杂，问题在转化为命题逻辑子句集包含的冗余信息也越来越多，浪费计算机大量的储存空间和搜索解的时间，因此，对于冗余信息的删减有助于提高计算机求解问题的效率．针对命题逻辑子句集化简问题，在原有冗余性质P、RP基础上，提出多种扩展的、具有性质HRP、ARP的子句消去方法，并通过将不对称文字添加前置方法与命题逻辑集合封锁(SET_BC)、蕴涵模归结原则(IMR)结合，分别提出不对称集合封锁(ASET_BC)消去方法和不对称蕴涵模归结(AIMR)原则．最后，提出L-集合蕴涵模归结(L-SET_IMR)原则和L-不对称集合蕴涵模(L-ASET_IMR)原则．所提出的方法丰富了命题逻辑中冗余性子句消去理论和方法．     

L-序代数的内射壳

讨论L-序代数范畴的内射性, 证明L-序代数范畴中的M^≤-内射对象恰是L-并代数, 并给出L-序代数范畴中一类特殊L-序代数的M^≤-内射壳的具体形式.     

L—肉碱对仔猪生产性能影响的研究

试验选择 35日龄断奶的仔猪 4 2头 ,设 3个处理组 ,每个处理组设 2个重复 ,每个重复7头猪 .处理 1组为对照组不供给外源L -肉碱 ,其余 2个处理组分别供给 2 5mg·kg- 1、50mg·kg- 1L -肉碱 .试验结果是对照组、2 5mg·kg- 1、50mg·kg- 1L -肉碱组试验猪日增重分别为 4 10g、4 2 5g、4 6 5g ,料重比分别为 1.58∶1、1.56∶1、1.4 9∶1.以 50mg·kg- 1组效果最明显 ,比对照组日增重提高 13.4 1% (P <0 .0 5) ,料重比降低了 5.70 % (P <0 .0 5) .     

高产L—乳酸的米根霉及其摇瓶发酵

介绍了采用米根霉发酵产Ｌ－乳酸的菌种,以及摇瓶发酵的实验条件。确定米根霉碳源、氮源、底物浓度和通气量等因素对产酸的影响。在摇瓶发酵中采用两步法：菌体生长和发酵产酸。当发酵培养基采用葡萄糖１０％ 时,产酸率可达７４．８０％ ,对糖的利用率达９５．０４％ 。     

离子交换树脂回收L-苯丙氨酸

为降低Aspartame生产成本,建立了1套水解二肽母液,并用离子交换树脂分离L-苯丙氨酸的回收工艺.该工艺可使L-苯丙氨酸回收率达72%以上,且其质量完全达到生产Aspartame的要求.     

环(L-苯丙-L-脯)的合成

从Ｌ苯丙氨酸和Ｌ脯氨酸出发,分别保护两种氨基酸的Ｎ 端和Ｃ端,将Ｎ 端保护的Ｌ苯丙氨酸与Ｃ端保护的Ｌ脯氨酸经ＤＣＣ缩合,得直链二肽,再经Ｐｄ／Ｃ催化氢化,甲醇中回流,得环（Ｌ苯丙Ｌ脯）,结构经ＨＲＥＩＭＳ、ＤＥＰＴ ＮＭＲ等波谱证实     

L-模糊伪理想及其性质

给出了L-模糊伪理想的概念,借助于L-模糊集的几种截集给出了它的刻画,研究了它的运算性质。     

L系统分形图像的Xml表示及其网络传输研究

就如何用Xml来表示L 系统生成的分形图像进行了研究,并提出了用JDOM来处理这些Xml信息,通过javaApplet和Jsp在网络上传输这类分形图像的方法.     

含PAMAM改性硅胶的分子印迹聚合物的合成

利用微乳法合成了纳米硅胶,并利用聚酰胺胺(PAMAM)对其表面进行修饰以用作功能共单体、载体;以甲基丙烯酸为功能单体,甲基丙烯酸丙三醇三酯(TRIM)为交联剂,L-色氨酸为模板分子,通过微悬浮聚合的方法,合成了含有PAMAM改性硅胶的分子印迹聚合物.利用FTIR,SEM等方法对聚合产物进行了表征,并利用静态吸附和HPLC等方法研究了印迹球状的吸附分离性能.结果表明,印迹微球对水溶液中的色氨酸分子具有良好的分子识别能力,实现了对水溶液中色氨酸的识别.     

聚合物支载的L-脯氨酸催化的直接不对称Aldol反应

制备了3种聚合物支载的L-脯氨酸催化剂6a～6c.以4-硝基苯甲醛、丙酮的Aldol反应为模型对它们的催化活性进行了筛选,6b为最佳催化剂,它催化的醛与丙酮的直接不对称Aldol反应(收率60%～68%,62%～82?)与L-脯氨酸催化的该反应(收率60%～68%,60%～85?)相当.6b可以通过结晶回收套用,反复使用5次催化效率不变.DMF,DMSO是最合适溶剂,催化剂用量以n(催化剂):n(醛)=1:4最佳.