水风光互补适应性调度的集合卡尔曼滤波方法北大核心CSCD

水风光互补是实现能源转型、助力碳中和的重要途径。传统的水风光互补中长期调度模型,忽略了气候变化和人类活动引起的水风光资源变异,得到的静态调度规则难以适应变化环境。为此,本研究采用集合卡尔曼滤波技术开展适应性调度研究。首先进行确定性优化调度,得到最优运行轨迹;其次识别调度函数的决策变量与自变量,构建线性调度函数;最后采用集合卡尔曼滤波动态更新调度函数的参数,形成适应性调度规则。以锦屏一级水电站及周边风、光电站为实例,研究表明适应性调度规则较常规调度和静态调度,在检验期年均发电量分别提高6.45亿k W·h和0.53亿k W·h,说明论文所提方法可有效追踪最优轨迹的变化来适应变化环境。     

基于GS1的铅蓄电池回收系统架构设计

为建立基于GS1的统一的铅蓄电池回收系统,本文分析了国内外铅蓄电池回收系统以及相关政策,引入GS1系统与“5W”分析法,建立基于GS1的铅蓄电池回收过程信息集合。根据铅蓄电池回收系统实际需求,选择集中式数据库存储、管理数据信息,最后构建基于GS1的铅蓄电池回收系统架构,为实现铅蓄电池有效回收提供技术基础。     

表达式的覆盖、分解与划分

本文把简单表达式（项和原子）视为语言Ｌ的Ｈｅｒｂｒａｎｄ域或Ｈｅｒｂｒａｎｄ基中的集合．作者提出覆盖表达式的概念,得到２个表达式之间覆盖关系的判别准则．对多个表达式,作者提出表达式的分解概念及相应的分解算法,在此基础上,本文给出卫个表达式覆盖多个表达式的等价条件．根据集合的划分公式,得到划分表达式的方法．最后定义１个变换把合取式转换为简单表达式,从而方便地把简单表达式的结果推广到合取式．本文是作者提出的一种标记逻辑程序的过程语义的理论基础．     

测试系统多任务管理研究

针对测试系统多任务管理中存在的代码冗余和代码混乱等问题,运用面向对象的思想提出了"任务集合"和"任务配置集合"的概念,结合某具体的测试系统,具体阐述了"任务集合"和"任务配置集合"的概念,采用C#编程语言给出了"任务集合类"和"任务配置集合类"的具体实现,并讲解了其在测试系统中的实际应用;通过比较,"任务集合类"和"任务集合配置类"的应用减少了代码冗余,提高了编程效率;最后得出所做的研究优化了测试系统多任务管理的结论.     

一个在Horn子句中求解极大缩减的算法

在信念修正理论中,一个核心问题是求解一个公式集合关于事实集合的所有极大协调子集,即极大缩减.本文尝试从算法的角度来解决这一问题,研究在Horn子句中求解所有极大缩减的算法.首先,本文指出并证明了公式集合和事实集合并集的极小不协调子集与公式集合关于事实集合的极大缩减之间的转化关系.其次,给出并证明了Horn子句集合极小不协调的一个必要条件.然后,基于上述两个结论,本文提出了一个在Horn子句中枚举公式集合和事实集合并集的极小不协调子集的交互式算法和一个通过这些极小不协调子集计算所有极大缩减的算法.最后,综合这两个算法,提出了一个在Horn子句中求解所有极大缩减的交互式算法.     

基于贪婪算法的卫星区域观测方案制定

针对卫星区域最优观测方案制定,将其抽象为集合覆盖问题和带附加条件的集合覆盖问题,在利用多星观测资源的情况下,提出了一种基于贪婪算法的解决方法,在该方法的基础上通过多次迭代求解来满足观测的实际需求。通过对该方法进行仿真实验,实验了不同条件下的求解情况,并对仿真结果进行了相关分析。     

Multicut问题参数算法的改进

Multicut问题即在一个图上删除最少个数的顶点,使得预先给定的一组顶点对均不连通.该问题是NP难的.在深入分析问题结构特点的基础上,运用集合划分策略和相关问题的最新研究结果,对它提出了一种时间复杂度为O*的参数化算法,其中,l为给定的顶点对数目,k为需删除的顶点个数.该算法明显改进了当前时间复杂度为O*的最好算法.     

香港ACG动漫电玩节暨X360 Kinect亚洲首次试玩活动报道

香港动漫电玩节2010（ACGHK2010）7月30日起为期5天的展会已经圆满结束,这是一个以年青观众为主要对象．集合动漫、游戏以及各种潮流元素的展会。在游戏这一环．如果说香港AOS（香港亚洲游戏展）是SONY的主场．那ACOHK无疑是微软历年在香港的反击舞台．     

基于粗糙度的一种分形维数计算方法

在股票市场中,计算分形维数有助于投资者把握股市的相对复杂性,分析股市的动向或趋势,利用一种新的属性选择分类标准--集合分类粗糙度,并结合粗糙集中决策表的数据离散化方法,针对计算股票市场中的股票价格的分形维数问题,选用香港恒生指数,把开盘价、最高价、最低价、收盘价视为条件属性,交易量视为决策属性,在不影响分类结果的前提下,得出:不同的证券市场数据,应选择不同的属性指标计算分形维数.该方法是可行的、有效的,从而为分形维数的计算,选择合适的属性提供了一条新的途径.     

感兴趣区域的非线性变换多描述编码

介绍一种基于感兴趣区域的非线性变换的多描述图像编码,能够与目前的标准图像压缩算法兼容,对图像的感兴趣区域进行更好的保护。由感兴趣区域的非线性几何变换产生冗余,对图像进行采样形成多描述编码。通过仿真实验,证实当图像在差错信道下传输而丢失描述时,该算法能够使图像感兴趣区域得到更好的恢复。