基于RDF4S的一种轻量语义Web服务组合

首先简要介绍语义Web服务资源描述框架(RDF4S),在此基础上提出语义Web服务包装机制,语义Web服务经包装后,分别通过组合接口和调用接口为组合语义Web服务的设计与调用提供支持.然后分别详细介绍组合语义Web服务的设计存储和调用执行:通过图形化的设计工具按照语义Web服务的3种基本逻辑关系设计组合结构图,然后将该图映射到组合结构信息表存储,组合语义Web服务执行时根据结构信息表生成语义Web服务代理对象和相应的语义消息,再根据语义消息传递机制调用Web服务实体.最后用一个实例展示组合语义Web服务执行时的消息传递,试验表明该方法有效.     

基于防火墙构建VPN的远程气象连接方案

结合VPN技术在远程用户连入气象局域网中实现数据共享的应用,详细介绍了VPN技术特点、基本原理以及配置过程,为远程气象连接提供了一种新的手段。     

谈专业竞赛对教学实践改革的促进作用

本文结合"数据结构"实践教学,探讨了高等教育大众化教育背景下计算机专业人才培养模式。通过介绍近年来我校参加的计算机专业竞赛,说明改革实践教学模式的必要性。     

一种新的语义对象行为语言

针对人类用自然语言与机器交互所面临的巨大鸿沟,提出了一种基于类自然语言的语义对象行为语言。SOBL是一种宣称式的陈述语言,用于开发数据库驱动的应用,支持复杂的用户交互,主要由一个Semantic Objects^TM的对象关系开发框架所支持。该语言扩展结构化自然语言,携带语义信息,能够面向非程序员使用,降低了软件的开发难度。最后通过一个具体的实例验证了该语言的有效性。     

多小波在一维有限元方法中的应用

有限元方法（FEM）是建立在变分原理基础上的一种频域数值计算方法。其基函数的选取相当重要,既影响到计算结果的精度也影响到计算效率。通常情况下,都是利用拉格朗日线性插值函数作为基函数。文中利用了多尺度函数。由于多尺度函数及它的偏导数的差值特性,可以快速逼近某个函数。同时这个新的基函数的一阶偏导数在相邻节点上是连续的。最后得到的数值结果显示：在保证一定计算效率的基础上,使得精度大幅度提高。因此采用多尺度函数作为基函数具有很多优势。     

基于单片机的变论域模糊 ＰＩ 车载供电系统设计

针对现有车载供电系统的效率低和常规PI控制策略的超调量大、响应时间长、抗干扰性能差等问题,提出了基于单片机的变论域模糊PI供电系统。该系统可以输入低压直流电,经DC-DC升压电路、DC-AC电路变换,输出交流电压为小型用电器供电,并采用变论域模糊控制策略,根据误差大小对PI参数进行实时在线调整,从而满足最优的性能要求。实验结果表明,该系统效率高,响应速度快,电流波动小,电压稳定性高,具有较强的鲁棒性,证实了所提出的方法可行。     

基于机器学习的FPGA电子设计自动化技术研究综述

随着后摩尔时代的来临,现场可编程门阵列(FPGA)凭借其灵活的重复可编程特性、开发成本低的特点,现已被广泛应用于物联网(IoTs)、5G通信、航空航天以及武器装备等各个领域。作为FPGA设计开发过程中所必备的手段,FPGA电子设计自动化(EDA)技术的研究在各界得到了广泛的关注。尤其是在机器学习方法的推动下,FPGA EDA工具的运行效率和结果质量(QoR)得到了很大的提升。该文首先对FPGA EDA技术与机器学习技术的概念内涵进行了简要概述,随后综述了机器学习技术在FPGA EDA高层次综合(HLS)、逻辑综合、布局与布线等各个不同阶段应用的研究现状。最后,对基于机器学习的FPGA EDA技术的发展进行了展望。以期为本领域及相关领域的专家和学者提供参考,为后摩尔时代我国集成电路产业的发展提供技术支持。     

基于申威架构的PCIe热插拔的实现

PCIe热插拔是服务器实现高可靠性(Reliability)、高可用性(Availability)、高服务性(Serviceabili-ty)(简称RAS特性)的一个重要功能。基于申威3231处理器的PCIe硬件设计,遵循PCIe热插拔协议规范,探索了热插拔技术软硬件接口的实现机制。利用Linux内核PCIe热插拔子系统的软件栈,验证了接口设计的正确性,满足了服务器国产化特殊应用场景的需求。     

能源互联背景下面向高弹性的多元融合配电网双层分布式优化调度方法研究

能源互联背景下,以储能、需求响应、分布式发电(DG)等为代表的多元融合资源将深度参与电网运行。配电网作为局部地区多类分布式资源的整合者,需要通过有效的手段,对包括DG、储能、可控负荷等多元融合的分布式资源进行优化调控,提高配电网的弹性。该文针对多元分布式资源接入后,集中式调度策略下的配电网将面临的各类问题,结合多元分布式资源的特性,建立了面向高弹性配电网的两层分布式协调调度模型。该文首先对高弹性配电网下的多元融合分布式资源进行协调整合,之后通过协调全局控制中心和本地控制中心,对上述资源进行合理调度,以保证在一定的电压质量要求下消纳更多的DG发电量,以提高电力中新能源的利用水平。文中算例采用IEEE14节点和69节点的配电网系统,对比传统集中式模型和该文提出的双层分布式模型的优化调度结果,验证了所提模型在配电网系统下的适用性及优越性。     

热带海岛配电自动化终端环境适应性与标准分析北大核心CSCD

配电自动化终端是智能电网自动化建设的重要设备,然而在热带海岛服役环境下的在线故障率一直居高不下,对热带海岛环境配电自动化终端的环境适应性标准提出了考验。文中首先分析了配电自动化终端的主要种类和典型服役环境特征,接着分析了热带海岛环境对配电自动化终端本体和关键元件的影响,得出环境失效的主要原因。随后统计了配电自动化终端相关国家标准、行业标准以及电网企业标准,着重分析设备的环境试验项目、试验方法、严酷等级和状态评价标准;最后,论文通过对配电自动化终端的环境试验标准和状态评价标准的分析结果提出了相关结论和建议,为热带海岛配电自动化终端环境技术研究提供参考。