公共文化服务平台

共 9 条记录，以下是 1-9

全选清除导出

排序方式：

关于n-精化模态逻辑若干问题的研究: 命题模态逻辑是命题逻辑增加模态算子后的扩充，常用于刻画多agent认知所遵循的逻辑规律。信息事件的发生会导致agent认知的改变，为了刻画诸如此类多agent认知的动态变化所遵循的内在逻辑规律，学术界提出精化的概念。最近...; 施晓静; 关键词：公理系统; 文献传递

n-互模拟量化逻辑语言的不变性: 2017年; n-互模拟量化逻辑语言是计算机理论科学中重要的研究内容之一。本文将针对n-互模拟量化语言,探究其互模拟不变性的特征。; 施晓静

n-精化与n-互模拟之间相关问题的研究: 2018年; n-精化关系在计算机科学领域中发挥着重要作用。在理论计算机科学中,学者们常用互模拟来刻画状态转换系统(例如,实时控制系统)之间的行为关系,当两个系统之间存在互模拟等价关系时,从某种意义上来说,一个系统的行为可以模拟另一个系统,反之亦然。但是互模拟关系并不能使得在模型检测时所需检测状态空间得到明显的缩减,因此引入了精化关系。精化与互模拟的区别在于,其对向前条件没有限制,如果精化关系满足向前条件,那么该精化关系也是互模拟关系。在刻画系统状态之间精化关系是否在有限的可达关系上成立这个问题时,需要将精化扩展到n-精化关系上,从而提出n-精化的概念,进一步地,探究n-精化关系与n-互模拟关系的联系;提出与标准相对化不同的a-相对化的概念,并研究其与标准相对化之间的区别与联系;在这些研究基础上,将n-精化模态逻辑语言翻译成n-互模拟量化语言。; 施晓静张晋津; 关键词：相对化

浅谈在企业中如何正确使用数据挖掘技术被引量：4: 2009年; 在现代信息化社会中,对企业而言,数据的有效利用不仅有助于发现业务发展的趋势,而且可以帮助企业做出正确的决策,使企业处于更有利的竞争位置。文章结合数据挖掘技术在企业中的应用,提出选择数据挖掘技术的两个重要依据,以便开发出有效、实用的数据挖掘系统。; 施晓静; 关键词：数据挖掘聚类

引黄水低温低浊期混凝沉淀工艺强化技术研究: 周建军赫俊国王福进李海红马永强张杰袁一星张文胜刘斌胡海旺郑彦华施晓静丁生明侯峰曹红梅李冬朱兆亮付昆明王俊安王印中; ①、课题来源及背景：该项目为2006年太原市建设管理委员会科研计划项目，由太原市黄河供水有限公司与哈尔滨工业大学市政环境工程学院合作完成。该项目主要解决引黄水低温低浊期处理中存在的混合絮凝效果降低，药剂投加量增大，沉后水...; 关键词：; 关键词：给水处理工艺

万家寨引黄水中内分泌干扰物的去除研究: 2012年; 在引黄原水中存在的环境内分泌干扰物主要为微量但可能超标的邻苯二甲酸二丁酯(DBP)和双酚A(BPA),经太原呼延水厂现行水处理工艺对引黄水进行处理后,仍可能出现超标状况。低浓度DBP和BPA水溶液静态吸附的结果:活性炭对DBP和BPA的吸附平衡时间分别为7h和6h;活性炭对水中DBP和BPA的饱和吸附量分别为35.78mg/g和42.05mg/g;当炭柱内流速为23.28cm/h,DBP和BPA吸附柱穿透吸附量最大分别为32.73mg/g和36.48mg/g。对引黄水中微量但超标准的DBP和BPA进行动态吸附的结果:吸附柱穿透吸附量仅分别为0.048 4mg/g和0.083 8mg/g,表明活性炭对引黄水中微量DBP和BPA的吸附行为与高浓度下取得的研究结果有所不同。采用臭氧进行氧化处理的结果表明,臭氧处理对原水中低浓度的DBP和BPA去除作用有限,处理效果与臭氧加入方式有关。; 郑彦华周建军施晓静张紫阳樊青兰郭栋生; 关键词：内分泌干扰物 DBP BPA 低浓度臭氧

n-精化关系及其相关研究: 2017年; 精化关系是研究反应式系统的重要内容之一。本文在n-互模拟的基础上提出了分层精化精化关系,探究n-精化关系与分层互模拟关系之间的区别与联系,定义n-精化模态逻辑语言并给出相关的永真式。; 施晓静邢惠丽张晋津

n-互模拟及其相关性质: 2017年; n-互模拟理论在许多领域都被独立建立。在计算机科学领域中,如果系统之间存在n-互模拟关系,那么在n-步以内的路径,系统之间的行为均可相互模拟。本文将探究n-互模拟关系的相关性质。; 施晓静; 关键词：等价关系

一种面向航电系统的基于需求的形式化建模与验证方法: 本发明公开了一种面向航电系统的基于需求的形式化建模与验证方法，该方法运用需求状态机语言RSML<Sup>‑e</Sup>建立系统的形式化需求模型，给出形式化模型转换规则，将RSML<Sup>‑e</Sup>模型转换为模型...; 李揭阳施晓静李勇张福高; 文献传递

全选清除导出

共1页<1>

施晓静