Domain理论与拓扑

Ｄｏｍａｉｎ理论作为计算机程序设计语言研究的数学基础,序和拓扑的相互结合在这一领域中起着基本而重要的作用,本文力图从Ｄｏｍａｉｎ理论产生的背景,它在几个方面的发展,反映Ｄｏｍａｉｎ理论与拓扑的紧密联系,使我们看到序和拓扑的结合怎样应用于程序设计语言研究。     

5-甲基-1,2,4-三唑-3-硫酮类糖苷化合物的合成及抗菌活性

在KOH/丙酮体系中, 以5-甲基-4-N-取代苯基亚胺/胺基-1,2,4-三唑-3-硫酮为原料, 与溴-α-D-四乙酰葡萄糖进行Kenigs-Knorr反应合成了10个新颖的化合物—5-甲基-4-N-取代苯基亚胺基/胺基-3-S-(2',3',4',6'-四-O-乙酰基-β-D-吡喃葡萄糖基)-1,2,4-三唑(2a~2e, 5a~5e); 并在二氯甲烷/甲醇/甲醇钠混合体系中水解脱除乙酰基, 得到10个新颖的化合物—5-甲基-4-N-取代苯基亚胺基-3-S-(β-D-吡喃葡萄糖基)-1,2,4-三唑(3a~3e)及5-甲基-4-N-取代苯基胺基-3-S-(β-D-吡喃葡萄糖基)-1,2,4-三唑(6a~6e). 化合物的结构均经核磁共振波谱(NMR)、 红外光谱(IR)和高分辨质谱(HRMS)分析确证. 生物活性测试结果表明, 目标化合物对大肠杆菌、 金黄色葡萄球菌、 枯草芽孢杆菌和白色念珠球菌普遍具有较好的抗菌活性. 化合物3d和3e对4种菌株的最小抑菌浓度相对较低, 表现出较强的广谱抗菌活性.     

Domain 投射空间的连续性

本文研究了Domain理论中投射空间的性质.其主要结果是若连续cpoD的投射空间是连续的,则D必是代数Domain.进一步,若连续cpoD具有性质m,则其投射空间是连续cpo当且仅当D是代数Domain并且所有由紧元构成的序稠链是单点集.     

运输问题的合作对策求解方法

产地间或销地间往往存在竞争,在这种情况下,使用运输问题最优化方法是不合理的。因此,从个体理性的视角提出运输问题的合作对策求解方法,方法将运输问题看作是一个博弈问题,各个产地或销地是博弈的局中人,求解其纳什均衡与纳什讨价还价解。在此基础上,说明了运输问题的非合作形式是一个指派问题,并证明指派问题的最优解是一个纳什均衡点。接着,通过实验验证运输问题的最优解是一个纳什讨价还价解,满足产地或销地的自身利益。在此基础上,针对纳什讨价还价解不唯一的问题,从决策者的视角给出最大可能激励成本的计算方法。最后,为弥补纳什讨价还价解不唯一及纳什讨价还价解不允许出现子联盟的缺陷,给出运输收益分配或成本分摊的Shapely值计算方法。     

考虑利益相关者偏好的双边匹配决策方法

针对考虑利益相关者偏好的双边匹配问题,提出了一种基于离散证据推理的决策方法.首先,构建匹配的证据识别框架;然后,将双边利益相关者的不确定偏好序评价信息转换成等级置信度信息;在此基础上,以双边满意程度为目标,将双边的等级置信度信息作为证据,通过离散证据融合求出匹配的融合度;接着,构建基于融合度的决策模型获得匹配方案.最后,用算例展示了该方法的应用.     

完备格上的上拓扑和区间拓扑

对完备格 Ｌ;记ｖ（Ｌ）为 Ｌ上的上拓扑之闭集格本文证明了完备格 Ｌ为 Ｆ－分配格当且仅当映射ｓｕｐ：ｖ（Ｌ）→Ｌ为满完备格同态;若Ｌ为Ｆ－分配的Ｂｏｏｌｅ格,则Ｌ同构于某幂集格、对Ｔ１格 Ｌ,证明了下述各条件等价。（１） Ｌ同构于某幂集格;（２） Ｌ上的区间拓扑是 Ｈａｕｓｄｏｒｆｆ的;（３）是有限分离的;（４） Ｌ是连续的对马空间（Ｘ,Ｏ（Ｘ））,进一步证明了 Ｏ（Ｘ）上的区间拓扑不可能为 Ｈａｕｓｄｏｒｆｆ的,除非（Ｘ, Ｏ（Ｘ））是离散空间．     

基于公共权重的区间DEA效率评价及其排序方法研究

针对传统区间数据包络分析方法,在确定每一个决策单元区间效率的上界和下界时,存在的评价尺度不一致且计算复杂等问题,本文提出了一种同时最大化所有决策单元的效率上界和下界的公共权重区间DEA模型,并给出了一种考虑决策者偏好信息的可能度排序方法,用以解决区间效率的全排序问题。最后,以中国大陆11个沿海省份工业生产效率测算为例说明了所提方法的有效性和实用性。     

模糊偏好关系下考虑从众行为的群体共识决策方法

随着决策面临的环境越来越复杂,个人决策因其局限性难以达到有效决策的标准,致使群体决策变得更为常见;而当决策者行动时,常需考虑他人的判断和行为,使得从众行为成为群体决策中的重要影响因素.因此,文章基于模糊偏好关系提出一种考虑从众行为的群体共识决策方法,能有效节省达成共识所付出的成本.首先,根据模糊偏好关系的特征,设计一致性检验方法和调整模型,为后续的共识达成提供可靠的偏好关系.其次,考虑到专家受到群体规范的压力而产生从众行为,从而对初始效用值进行修正.然后,提出考虑从众行为的最小成本共识模型,进一步设计相应的共识达成算法.最后,计算各已选方案到理想点的距离,运用TOPSIS方法对已选方案进行排序,并通过一个企业产品升级改良的算例来分析说明所提方法是有效的和可行的.     

基于不同联合学习方法的扩展置信规则库环境治理成本预测

现有环境治理成本预测模型构建主要基于专家经验进行输入输出指标的选取.然而专家经验指标选取存在一定的主观性,难以有效且客观地区分关键指标信息对成本预测结果的影响.同时,考虑到现有环境治理成本预测模型的复杂度以及可解释性问题,文章将扩展置信规则库模型(EBRB)用于环境治理成本预测,并基于维度约简介绍三类不同的特征选择方法...     

不分明拓扑中的Stone表示定理

对一类完全分配格给出了Stone 表示定理的格值形式. 准确地说, 证明了若L是一frame且 0ÎL 是素元或1ÎL 是余素元, 则分配格范畴对偶同构于凝聚L-locale 范畴; 若L还是完全分配的, 则分配格范畴对偶同构于凝聚 满层L-拓扑空间范畴.