【摘 要】
：
[目的]针对传统工业软件中可扩展性和可靠性不足的问题，提出一种基于微服务的船舶工业软件架构设计方法。[方法]通过对船舶工业软件现状及未来需求进行深入分析，在传统互联网软件架构的基础上引入微服务技术，搭建覆盖船舶设计、建造、配套全产业链环节的工业互联网可信服务软件架构。[结果]采用π演算方法对所提出的软件架构进行抽象建模与形式化验证，结果显示，所提出的软件架构正确、合理。[结论]可为我国船舶行业下一
【基金项目】
：
国家自然科学基金资助项目（61872104）；
论文部分内容阅读
[目的]针对传统工业软件中可扩展性和可靠性不足的问题，提出一种基于微服务的船舶工业软件架构设计方法。[方法]通过对船舶工业软件现状及未来需求进行深入分析，在传统互联网软件架构的基础上引入微服务技术，搭建覆盖船舶设计、建造、配套全产业链环节的工业互联网可信服务软件架构。[结果]采用π演算方法对所提出的软件架构进行抽象建模与形式化验证，结果显示，所提出的软件架构正确、合理。[结论]可为我国船舶行业下一代国产工业软件体系架构设计与开发奠定基础。
其他文献
伴随着交通运输业的蓬勃发展,汽车现存量累年增加。我国成为世界上第三个最大轮胎生产的国家,仅次于美国和日本,也面临着废旧轮胎的处理问题。通过将废轮胎制成胶粉加入沥青中,制成胶粉改性沥青应用在公路工程中,这种处理的工艺方法可以提高路面的质量,同时又可达到环保治污的理想效果。我国内蒙古东部地区属于寒冷地区,冬季较长,路面因热胀冷缩会产生的裂缝。因此本文结合当地道路的地形条件、路线特征、气候特点和原材料特
建立了超高效液相色谱-四极杆/静电场轨道阱质谱（UHPLC-Quadrupole-Orbitrap MS）检测猪尿中环丙氨嗪及其代谢物三聚氰胺的方法。样品用1%三氯乙酸超声提取,调节p H<3.0,阳离子交换固相萃取柱净化氮气吹干后,95%乙腈水溶液复溶,经Syncronis HILIC色谱柱（100 mm×2.1 mm,1.7μm）分离,10 mmol/L乙酸铵水溶液-乙腈为流动相梯度洗脱,使用
[研究目的]本文在大数据背景下深入探讨了数据开放与公民隐私之间的矛盾问题,希望能够借此进一步推动我国政府数据开放建设,并促进大数据下社会经济的发展。[研究方法]研究中针对政府数据开放所带来的隐私权可能遭受侵害的风险,论述了导致该风险的原因包括法律体系滞后、主体权利与义务不明确、信息管理体系存在不足等问题,同时对此提出了相应的对策、建议。[研究结论]具体如下:构建分类分级的数据开放法律体系,促进主体
财务风险管理是企业制胜的法宝,数据是决定企业财务管理质量的保证。随着信息技术的快速发展,对数据的挖掘、处理和应用更加快捷和高效,数据成为企业重要的资产。随着数据在全球范围内的不断整合,人类社会已经进入了大数据时代、信息化时代。越来越多的企业加大了对大数据技术的研发和应用。大数据背景下的财务管理工作越来越复杂、系统,范围越来越广,手段也越来越多样化。统计分析在数据处理方面独具优势,可以说,现代企业精
多友鼎,厉王时器,1980年11月出于陕西长安,铭文22行277字,今藏陕西省博物院。又,铭文叙述多友征战猃狁事,学者或定之为宣王时器。但据《诗经·小雅·六月》可知,猃狁大举进犯是在宣王某年六月,与此铭的十月不合,诗人明确讲到由尹吉甫拒敌,与此铭之武公主其事而派多友拒敌也不合。此暂从厉王之说。铭文洋洋洒洒,叙述某年十月猃狁方炽,大举进犯京师宗
通过酯交换反应合成出新一代环保催化剂-乙二醇钛,并对乙二醇钛合成时的投料比进行了研究。将乙二醇钛与现用的乙二醇锑进行了对比,证明了乙二醇钛可完美取代乙二醇锑作为缩聚催化剂。并对乙二醇钛和稳定剂的最佳用量进行了讨论。
带状疱疹由水痘-带状疱疹病毒感染引起,其典型的临床表现为神经病理性疼痛且沿神经单侧带状分布的簇集性红斑水疱。而该病最常见的并发症就是带状疱疹后神经痛（postherpetic neuralgia,PHN）[1]。PHN是在带状疱疹皮损好转消退1个月后仍有疼痛,其发病率随着年龄的增加而增加。在中国人群中,有29.8%的带状疱疹病人可能会出现带状疱疹后神经痛[2],国外有研究报道带状疱疹发生PH
近年来,网贷平台非法集资等涉众型经济犯罪案件多发,而涉案财物处置工作举步维艰。涉案财物处置的实体与程序两造压力都吁求检察机关的法律监督权贯穿于全链条。对此,应进一步优化审前涉案财物处置的检察监督程序,通过规范启动条件、优化财产保全措施、设置听证程序等审前程序优化举措,强化检察机关对财物处置的监督,并与对"人"的审查逮捕权一起构成完整的刑事诉讼检察监督谱系,有效回应经济犯罪的情势变迁。
目的比较分析复方利多卡因乳膏与利多卡因对动脉穿刺患者的镇痛效果及血流动力学的影响。方法选取2020年1月—2021年1月在辽宁省某医院进行有创动脉血压监测的89例老年患者为研究对象,采用随机数字表法将患者分为对照组（n=44）与观察组（n=45）。在进行动脉穿刺前,麻醉医师给予对照组患者利多卡因进行局部浸润麻醉,给予观察组患者复方利多卡因乳膏进行皮层局部麻醉。比较2组患者在穿刺后各时间点的视觉模拟
食品安全一直都是社会稳定发展的基本要素,而食品质量安全问题的产生,主要源于生产销售过程中的不规范行为。因此,必须要对食品生产销售进行规范,才能保证食品质量安全。1食品质量安全管理的重要意义食品质量安全管理的意义主要有两方面。一方面,食品安全是社会稳定发展的基础,只有完善的食品质量安全管理才能确保食品的安全性,人们在购买或使用食品时才会放心。2008年我国发生的奶制品污染事件,牵涉大量奶粉生产