云南高校图书馆联盟文献共享服务平台- PSPACE

PSPACE: 作品数：26被引量：17H指数：2; 导出分析报告; 相关作者：高霞强彩文祁圣华张彩文张蓓更多>>; 相关机构：北京三维力控科技有限公司中国石油化工集团公司中冶北方工程技术有限公司鞍山钢铁集团公司更多>>; 相关期刊：《工矿自动化》《世界仪表与自动化》《国内外机电一体化技术》《工业控制计算机》更多>>; 相关基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>

提升信息化现场数据采集齐全率降低采油厂异常线损的应用和研究被引量：1: 《江汉石油职工大学学报》2024年第3期65-67,108,共4页肖勇; 江汉油田能源管控中心平台提示部分供电线路出现线损超标、日耗电量异常等故障。从信息化采集设备、传输网络、PLC下位机组态程序、力控pSpace及采集站等方面提出解决方案。采用修改PLC组态程序中RS485串口通信的轮询时间,修改力控IoCon...; 关键词：江汉油田能源管控平台生产指挥系统(PCS) 可编程逻辑控制器(PLC) 力控采集站(IoConfig) 力控实时数据库(pSpace)

浅谈pSpace工业实时/历史数据库在计量业务中的应用: 《中文科技期刊数据库（文摘版）工程技术》2023年第11期001-004,共4页王荣; 运用国产实时数据库数据采集软件PSPACE为基础、采集计量仪表实时值和历史值。并利用PSPACE和达梦数据库相互支撑,以业务需求和辅助决策为重点,实现计量仪表的智能诊断、报警管理、大数据分析应用、综合展示、实时数据和历史数据检索及...; 关键词：国产化替代监测诊断系统系统安全能力

Complexity of adaptive testing in scenarios defined extensionally: 《Frontiers of Computer Science》2023年第3期11-28,共18页Ismael RODRÍGUEZ David RUBIO Fernando RUBIO; This work has been partially supported by project PID2019-108528RB-C22;by Comunidad de Madrid as part of the program S2018/TCS-4339(BLOQUES-CM)co-funded by EIE Funds of the European Union.; In this paper,we consider a testing setting where the set of possible definitions of the Implementation Under Test(IUT),as well as the behavior of each of these definitions in all possible interactions,are extensional...; 关键词：formal testing adaptive testing computational complexity PSPACE-completeness approximation hardness

膜计算系统求解计算困难问题综述被引量：1: 《广州大学学报（自然科学版）》2019年第6期25-34,共10页宋勃升赖乐珊李肯立; 国家自然科学基金资助项目(61972138,61602192);中央高校基本科研业务费资助项目(531118010355).; 在膜计算领域,一个备受关注的问题是证明各种膜系统模型能否在多项式时间内解决计算困难问题.然而一个重要的事实是,许多能够求解NP完全问题的膜系统模型甚至可以在多项式时间内解决PSPACE完全问题,有的模型可以刻画P#P(该复杂类被推测...; 关键词：生物计算膜系统计算复杂性 NP PSPACE

pSpace实时数据库的建设与应用: 《科技与企业》2013年第1期117-117,118,共2页刘杰穆卫巍; 天然气生产单位所辖的多个集气站,处理厂均有独立的自控系统,为了实现对多站点的集中监控该生产单位调度中心架设Honeywell PKS210 DSA服务器通过以太网对生产数据进行采集,本文主要阐述了在生产调控平台的建设中三维力控pSpace实时数...; 关键词：三维力控 PSPACE WEB发布

基于力控软件的城市供水SCADA调度系统被引量：3: 《自动化博览》2012年第10期128-130,共3页张蓓; 本文针对大部分城市已经建立的供水监控系统主要存在的问题,以力控实时数据pSpace为数据平台、结合SCADA监控软件Force Control建立了基于Web的B/S模式的供水监控系统,以供水公司为工程节点建立一级管网监控中心,各个自来水厂为监控节...; 关键词：力控SCADA 软件 RTU Force Control 实时数据库pSpace B/S模式

Uniform Solution to QSAT by P Systems with Proteins被引量：5: 《Chinese Journal of Electronics》2012年第4期667-672,共6页LU Chun SHI Xiaolong; This work is supported by the National Natural Science Foundation of China （No.61033003, No.60971085）, the Opening Fund of Key Laboratory of Image Processing and Intelligent Control, Ministry of Education （No.200905）.; P systems are distributed parallel computing models in the area of membrane computing, which are inspired by the structure and the functioning of living cells, as well as the organization of cells in tissues, organs, ...; 关键词：Membrane computing Membrane protein PSPACE-complete problem Quantified satisflability problem （QSAT problem） Uniform solution.

智慧城市之危险源远程监控解决方案被引量：1: 《自动化博览》2012年第S1期73-75,80,共4页董黎芳; 随着城市化建设的不断发展,一些有毒、有害、易燃、易爆等危险源有明显向城市整体区域扩散的趋势,因此为了城市的安全,必须把城市重大危险源的控制与管理提到重要位置。针对智慧城市建设中的危险源远程监控系统,本文提出了详尽的解决方...; 关键词：力控智慧城市危险源远程监控 pFieldComm LONWORKS Profibus PSPACE 实时历史数据库 GIS

三维实时历史数据库pSpace在球团厂管控一体化系统的应用被引量：2: 《矿业工程》2012年第2期60-62,共3页庞秋昕钟刚; 通过力控实时数据库软件系统的应用,实现大孤山球团厂生产实时、历史数据、控制画面统一绘制并建立实时数据库,接入管理网进行数据共享、分析和报表,形成管控一体化系统,提高了工厂的信息化建设和生产管理水平。; 关键词：PSPACE 实时数据库管控一体化系统

SCADA在油气田信息化中的应用被引量：1: 《西部大开发（中旬刊）》2012年第4期52-53,90,共3页高风陈平; 高效、安全地开采资源是油气生产行业一直努力的方向。随着不断发展进步的信息化技术的推广使用。传统石油工业的管理模式逐渐实现了革命化的升级换代。在油气生产中引进SCADA系统，是油田数字化应用的成功典型。该系统采用力控监控组...; 关键词：SCADA PSPACE 自动监控力控组态软件

PSPACE