城市规划设计中的问题蕴含系统及其表达方式

城市规划设计问题是一个具有复杂因素的系统,进行详细而具体的分析可以更有效率地编制方案。利用可拓学的问题蕴含系统来对城市规划设计中的问题进行逻辑性的体系分析是实现规划问题具体化的一种手段。运用问题蕴含系统的问题相关树展开论述,致力于实现城市规划问题蕴含系统分析模型的建构,推动城市规划领域计算机辅助设计的人工智能研究进程。

浅谈电力安全管理中存在的问题及其解决措施

当今时期,伴着我国国民经济的持续繁荣,社会中各行各业消耗电力的总量在不断增大。电力装置的安全控制是实现安全用电的基本保障,亦为国民维系稳定生产生活的必要条件。然而现实我们国家电力领域的用电安全控制仍蕴含着相当多的矛盾和缺陷。此类矛盾和缺陷可直接阻碍着电力系统服务于人们电力需求效果和质量的提升。本文重点阐释电力领域如何克服相关安全管理的缺陷问题,以及如何确定和实施电力系统安全性管控的策略和手段。

微函数依赖及其推理

起初,作为一个数据库模式设计的工具,函数依赖理论得到了很多的关注,而在数据修复中,该理论并不是十分有效.近年来,针对不一致数据的检测和修复问题,更多的约束被提出来,包括条件函数依赖、修复规则以及编辑规则等.然而,这些方法都只关注了属性整体之间的依赖关系,而实际应用中的数据通常有属性部分之间的依赖关系.例如,某单位员工的工号前两位决定了其所属的部门,而此类依赖信息就被已有方法忽略.该文首先提出了一类更一般化的约束——微函数依赖,微函数依赖引入提取函数,用来表示属性的部分信息.利用提取函数之间的依赖关系,能够检测出更多的不一致数据.理论方面,该文首先研究了微函数依赖的可满足性问题和蕴含问题,然后提供了一个正确且完备的推理系统.最后,通过实验证实了微函数依赖能够在可接受的时间开销内检测出更多的错误数据.

样本依赖与连接依赖的等价性(英文)

以抽象代数为工具,探索了全样本依赖与全连接依赖之间的关系.首先,分别在全样本依赖集和全连接依赖集上建立等价关系,这两种等价关系都将作用相同的依赖视为等价依赖.然后证明了在这两个等价关系下的商集分别构成么半群,并且这两个么半群是同构的.这就等于证明了全样本依赖类本质上等同于全连接依赖类.最后给出了一个关于全无环连接依赖的有趣结果.有关结果可以在关系数据库的设计中发挥积极作用.

关键策略的物元模型

关键策略是为解决关键问题而制定的 ,在决策过程中具有“牵一发而动全身”的作用。因此 ,如何生成关键策略是科学决策的核心问题之一 ,它的形式化研究对于提高决策的可操作性具有重要价值。本文利用可拓方法 ,建立了关键问题和关键策略的形式化概念 ,分析了关键策略的性质 ,提出了关键策略的生成步骤。

浅析电力安全管理中常见的问题及建议

电力装置的安全控制是实现安全用电的基本保障,是人们维系稳定生产生活的必要条件。然而,我国电力领域的用电安全控制仍存在相当多的矛盾和缺陷。为此,重点阐释电力领域如何克服相关安全管理的缺陷问题,以及如何确定和实施电力系统安全性管控的策略和手段。