基于低代码开发范式的Web Service生成方法

针对目前软件开发人员在手工开发Web Service程序过程中出现效率低下、容易出错等问题,本文基于低代码开发范式,结合需求原型化技术RM2PT,提出一种Web Service自动生成方法。首先,根据操作契约中的OCL表达式与数据基本操作的语义关系,建立两者之间的转换规则;其次,根据Web Service功能模块的代码特征构建转换模板;然后建立解析和处理需求模型的转换算法;最后,使用转换规则、转换模板和转换算法直接将需求模型自动转换为目标应用程序。通过使用4个软件开发案例对提出的方法进行验证,结果表明,约93.3%的系统操作可以实现自动生成。相比传统的软件开发模式,本文方法可以由需求模型自动生成标准化Web Service程序,提高了软件开发效率与质量。此外,本文方法支持快速原型开发和迭代开发,用户可以通过GUI验证、编辑与修改需求,重新生成应用程序。     

考虑不确定性的多能互补系统双层优化调度

为了降低新能源并网对电力系统影响,本文中提出了考虑源、荷不确定性的风光水火储多能互补系统调度方法。首先基于模糊机会约束法处理风电、光伏出力及负荷预测值的不确定性;然后建立了源荷相关度数学模型,以衡量联合发电系统出力与负荷的匹配程度;然后构建了多能互补系统双层优化调度模型,其中上层以源荷相关度最大为目标函数,下层以系统运行成本最小为目标函数;最后提出了改进的遗传算法求解双层调度模型。基于算例仿真验证了所提模型和算法的有效性,为互补发电系统提供可靠的调度方案。     

打磨机器人自适应鲁棒约束跟踪控制

实际工作中的打磨机器人存在外部干扰或参数摄动等不确定因素,这些不确定因素有界但边界未知。针对这种不确定环境下的打磨机器人末端轨迹跟踪问题,文章提出一种自适应鲁棒约束控制方法。该方法将期望轨迹视为系统约束,利用约束跟踪的思想来解决轨迹跟踪问题,并将系统分为标称部分和不确定部分;针对标称部分,通过U-K(Udwadia-Kalaba)方程来求解约束力矩,使系统满足理想状态下的约束条件;针对不确定部分,设计一种泄漏型自适应律对不确定性边界进行估计,并根据估计的边界和约束误差来调节鲁棒控制项的增益,进而有效地补偿系统的不确定性。李雅普诺夫方法证明了该系统具有一致有界性和一致最终有界性,对简化后的打磨机器人进行末端轨迹跟踪控制的数值仿真实验结果验证了所提出方法的有效性。     

基于电网SCADA实时数据综合分析的集控站安全约束系统探讨

集控站安全约束系统的应用可以有效的杜绝集控站人为误操作事故的发生，实现集控中心对综合自动化变电站设备的远方正确遥控操作。本文详细分析了当前集控站运行中存在的各类安全隐患，并针对这些隐患提出了集控站安全约束系统的设计原理、当前应用广泛的四种约束条件、安全约束系统日常工作流程；并结合榆林集控站工程实践，消除了集控站在进行遥控遥调时存在的各种安全隐患。     

高效数据包过滤器部署算法

 整合在路由器上的数据包过滤功能是网络安全的第一道防线，对保护网络的安全有着至关重要的作用。当前的研究主要侧重于对数据包的检测和过滤，忽略了数据包过滤器的部署问题，如果对其部署得当，能极大改善网络的性能和效率。在大规模的网络中，数据包过滤器被部署在管理网络的边界上，即信任网络和非信任网络之间。一般情况下，数据包过滤器被部署在网络边界的每一个路由器上，由于需要遍历路径上的过滤器，大量的时间和空间被消耗，容易造成时延、拥塞、丢包等问题，降低网络的效率。本文依据最短路径优先的思想，提出了一种新的部署算法，通过对比边界上各种风险，移除有操作风险的边界，产生一条最短虚拟路径，更加有效地部署过滤器的位置，给内部节点之间的信任网络提供保护，并使用基于风险的方法对虚拟边界进行离线计算。实验结果表明，使用该算法后，过滤器的数量减少20%～50%，网络的延迟时间变小，网络的连通性也得到改善。     

时事·公安部

1．6月13日．公安部召开全国公安机关“2010严打整治行动”动员部署电视电话会议。公安部党委委员．剥部长张新枫作动员部署，公安部党委委员、副部长黄明主持会议。     

基于马尔科夫随机场模型的多视角异质多模图像的目标检测

研究复杂背景中不同视角的不同光质图像中的特定目标检测问题。利用马尔可夫随机场模型,提出了一个基于地面区域匹配和空间约束关系的目标检测方法。在可见光俯视参考图像和红外光侧视观测图像的实验数据集上的检测结果表明,区域匹配能够有效提高召回率,而空间约束能够有效降低虚警率,获得了比一般异质光图像检测中基于边缘的方法更好的检测结果。该方法降低了不同视角带来的影响,同时能够克服图像间光质不同带来的检测困难,能够有效处理复杂背景下不同光质图像的匹配及其中目标的准确检测定位。     

西湖国际磁约束聚变会议

正西湖国际磁约束聚变会议(The 7th International West Lake Symposium on Magnetic Fusion Research)于2013年5月6~10日在杭州召开。此次会议由浙江大学聚变理论与模拟中心主办。会议代表共89名,其中境外代表7名。来自中国、美国、意大利、日本、韩国的高校和科研机构代表     

基于网结构压缩技术的Petri网监控器综合

针对Petri网控制问题中不可控子网的状态空间指数级增长导致的计算复杂性难题，提出了控制目标（线性约束）等价的网结构压缩算法：（1）将不可控子网部分区域压缩为单个库所；（2）并将原网上的线性约束等价转换为新网的新线性约束.反复迭代该算法，可以有效地压缩原不可控子网，从而指数级地减小不可控子网的状态空间，有效地降低监控问题的计算复杂性，甚至当不可控子网为状态机时，该方法能够彻底解决上述计算复杂性难题，获得高效最优的Petri网监控器，并用一个物料运输系统演示了该方法.