非二元约束满足问题求解

在约束满足问题(CSP)的研究中，大部分工作集中在二元约束，但处理实际问题时，常常会遇到非二元约束的情况．该文在概要地讨论了两类求解非二元约束问题方法的基础上，研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法，并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法，以典型例子给出了实现系统的运行结果．     

面向大电网的人机云终端设计

按照大电网调度控制系统“物理分布、逻辑统一”的总原则,文中设计了面向大电网的人机云终端架构。提出了电力描述语言CIM/G扩展规范和通用的人机交互协议,为不同厂家灵活定制应用的客户端提供了支撑。探讨了构建应用客户端的组态化技术,提供了快速开发的技术手段。利用云终端桌面的自动化部署,满足了用户随时随地下载安装应用客户端的需求。研究了与全局云终端管理、全局权限管理和全局服务管理的交互,通过云终端设备的接入认证、用户权限控制和广域人机交互服务的访问机制,实现了对大系统安全透明的访问和故障状态下服务访问的无缝切换,实现了位置无关的无差别调度。     

大电网调控系统的移动终端设计及关键技术

人机云终端作为大电网调控系统的人机交互终端,为大电网的监视、分析、防控和决策提供支撑。随着移动互联技术的发展,人机云终端已经拓展到平板、手机等移动终端设备。文中研究了大电网调控系统的移动终端架构设计。运用计算迁移技术,将移动终端的计算任务迁移至云端服务,保证了移动终端的可持续化展示能力。提出了人机移动端交互协议,通过更为精准的人机数据交互服务,提升了移动终端展示画面的加载性能。采用基于属性的访问控制机制,保障了不同权限的用户对系统资源的细粒度安全访问。分析了调控人员的行为数据,能够多元化展示调控人员关注的内容,满足调控人员随时随地感知电网运行态势的需求。