摘要：[目的]针对传统工业软件中可扩展性和可靠性不足的问题,提出一种基于微服务的船舶工业软件架构设计方法。[方法]通过对船舶工业软件现状及未来需求进行深入分析,在传统互联网软件架构的基础上引入微服务技术,搭建覆盖船舶设计、建造、配套全产业链环节的工业互联网可信服务软件架构。[结果]采用π演算方法对所提出的软件架构进行抽象建模与形式化验证,结果显示,所提出的软件架构正确、合理。[结论]可为我国船舶行业下一代国产工业软件体系架构设计与开发奠定基础。

摘要：矩阵运算是高性能计算中核心问题之一,矩阵分解是提高矩阵运算并行性的重要途径,飞速发展的FPGA为并行运算结构提供了有力的环境支持。该文基于子矩阵更新同一化算法实现了Cholesky分解,基于FPGA设计了相应的并行结构。实验结果表明:与通用处理器的软件实现相比,本文实现的Cholesky分解的FPGA并行结果在核心计算性能上可以取得10倍以上的加速比,该算法针对矩阵三角化计算过程具有更高的数据和流水并行性。

摘要：本文分析了建筑消防给排水系统存在的问题,提出了完善建筑消防给排水系统的有效方法,旨在为建筑给排水设计和施工人员提供一定的参考。

摘要：可信服务组件选择是实现分布式虚拟化环境下服务可信性保障的关键.将服务组件选择抽象为多限制优化路径问题后,可以通过搜索信任路径来选择服务组合所需组件,但现有的信任路径搜索算法计算复杂度过高、性能表现差,同时在建立可信服务组件选择模型时缺少从服务组件信任关系和证据传播的角度出发,对可信服务构建与组合过程中服务组件社会关系方面考虑.针对以上不足,本文提出可信质量Qo D概念,引入组件亲和度等属性来对分布式虚拟化环境可信服务组件选择模型加以描述与限制,并设计一种基于Qo D的启发式优化信任服务路径搜索算法HA-OTPS,选择优化信任服务路径上的服务组件来满足用户可信性需求.实验结果表明,与现有的信任路径搜索算法相比,HA-OTPS算法具有运行时间较短、搜索结果效用值较高等优势.

摘要：通过引入面向服务架构技术,提出一种面向服务的自律计算模型,对自律计算环境的架构和自律单元的设计进行了详细论述,并对计算模型的关键问题——服务装载过程做出改进,解决了服务引用、行为不一致性的问题。实验结果表明,提出的模型使Web服务器节省了平均事务响应时间,提高了平均吞吐量,改进的服务装载过程能增加约10个百分点的服务通过率。服务质量得到有效提高。

摘要：设计一个基于STM32F030单片机的3.2V光伏MPPT控制系统,该系统以双向同步整流的BUCK-BOOST电路拓扑结构为基础,结合MPPT理论及电池充电优化策略,实现3.2V光伏系统的MPPT充电及升压放电控制,实验证明该系统的可行性。

摘要：设计并制作了一种基于CPLD的光纤通信实验编码发送模块。该系统分为光信号发送模块和CPLD编码模块,其中光信号发送模块以模拟电路为基础,且按电流走向布置探测点;CPLD编码模块以CPLD为基础,采用自顶向下模块化的设计方法,结合Verilog HDL语言与VHDL语言,实现数据处理核心功能,同时依据输出功能布置探测点。

摘要：设计一个基于STM32F103单片机的四单体串联锂离子电池组主动均衡系统,该系统的实现方法是利用MOSFET作为开关的开关阵列旁路均衡拓扑结构实现充电均衡,实验证明该均衡方法的可行性。

摘要：传统路灯控制系统只能执行开关控制,无法实现对太阳能路灯的控制、定位及状态监控。为了实现对太阳能路灯的远程监测,设计开发了一种基于LoRa通信的物联网太阳能路灯控制系统。该系统实现了路灯终端100W的照明功率和单一集中器互联100个终端,可对每个路灯终端的功率、电池状态、温度等信息进行实时采集,对城市照明系统进行在线控制和管理,具有一定的社会实用价值。

摘要：为了解决太阳能充电系统的状态无法被远程读取,以及主控芯片会因蓄电池电量过低而无法工作等问题,设计了一套基于LoRa的光伏控制电路。当蓄电池电量过低而光伏系统无法正常工作时,该电路可以实现对蓄电池的充放电;单片机通过调控PWM波的占空比实现对充电电流和供电电流的准确控制;故障检测模块会根据检测到的故障类型采取对应的处理措施;同时系统的运行状态和故障类型会根据自定义的协议通过LoRa无线模块传输至上位机,从而实现对系统的远程监控。实验数据表明此系统具有可行性,可以满足实际应用的需求。