TOP3 大事件

1、《低代码开发平台能力要求》团体标准正式发布

近日，中国电子工业标准化协会发布公告（中电标【2022】037 号），由中国电子技术标准化研究院牵头的《低代码开发平台能力要求》（标准号：T/CESA 1239-2022）团体标准正式发布。

《低代码开发平台能力要求》规定了低代码开发平台的应用开发能力、应用管理能力、应用配置能力、开发流程优化能力、资源调用能力、可视化支撑能力、生态扩容能力、一体化开发能力、代码二次开发能力等相关要求。该标准为低代码开发平台的设计开发、测试验证、实施应用和产品选型提供相关依据，将加快推动低代码开发平台生态培育。

报告指出，为实现民主化交付，中型企业正在试点部署公民自动化开发平台（CADP）技术。公民自动化开发平台（CADP）技术是一种可以用来构建和管理自动化流程的技术。它可以帮助企业更轻松地实现企业流程自动化，并将自动化过程集成到企业系统之中。借助 CADP，非 IT 人员无需学习编程知识，也能完成流程、应用的搭建，参与到企业的数字化发展中。

3、无代码开发平台轻流举办 5.0.0 功能发布会

无代码开发平台轻流在近日的【5.0.0功能发布会】上，正式面向轻流用户发布了 5.0.0 版本。新功能覆盖了「无代码」、「轻代码」、「轻析」三大板块，全面提升了产品能力和用户体验。

作为一款企业级业务开发平台，轻流持续升级产品矩阵能力，基于「圆桌式开发」协作理念，为企业中的不同角色提供数字化利器，打破传统生产力壁垒，帮助企业快速开发系统。

1、ToolJet 在种子轮融资中筹集到 460 万美元

开源低代码平台 ToolJet 宣布获得 460 万美元种子轮融资，该轮融资由 Nexus Venture Partners 领投，January Capital、Ratio Ventures、Better Capital 和天使投资人如 Nicolas Dessaigne、Rohith Salim 等人跟投。

ToolJet 是一个开源的低代码框架，可以用最小的工程努力快速建立和部署内部工具。ToolJet 的拖放式前端构建器允许你在几分钟内构建复杂的响应式前端，也可以连接到 Postgres、MySQL 或 Airtable 等数据源来创建自定义内部业务应用程序。据悉，该公司打算利用这笔资金扩大团队，进一步推进产品开发工作。

2、Noogata 获得 1600 万美元A轮融资

Noogata 是一家以色列无代码 AI 解决方案提供商，用于帮助企业和组织扩展他们的企业数据分析计划。该平台可以对数据洞察、预测、建议进行收集、丰富化和建模，并提供关于整个公司上下的可操作的自助分析。

近日获得 1600 万美元 A 轮融资。本轮融资由 8 Roads Ventures 领投 Allon Ventures 参投。目前，Noogata 融资总额为 2800 万美元，种子轮由 Team8 和 Inference 提供。

3、Sandbox Banking 宣布已筹集 430 万美元资金

Sandbox Banking 是一家为银行业构建低代码集成平台的金融科技公司，该公司宣布完成了由地平线风险投资（Horizon Ventures）牵头的战略投资，使种子轮融资总额达到 600 万美元。

通过该公司的 Glyue 平台，银行和信用社可以使用预先构建的 API 适配器和解决方案模板，将现有系统与金融科技合作伙伴安全连接，从而加快数字化转型。Sandbox Banking 的 API 构建器平台已经为美国和加拿大 70 多家金融机构的团队提供了支持，包括硅谷银行、美国联合银行等。

4、飞蝶 XR 科技完成数千万元 A+轮融资

近日，XR 内容创作工具开发商飞蝶 XR 科技宣布完成数千万元 A+ 轮融资。本轮融资由开晟创投旗下东南产投基金独家投资，所筹资金将用于其零代码 XR 内容创作工具“飞蝶灵创”产品的持续迭代。

飞蝶 XR 科技成立于 2016 年，专注于低代码 XR 三维引擎工具云平台研发与销售，帮助用户通过零代码快速创作 XR 内容与多人交互元宇宙应用场景，轻松构建虚实融合的数字化世界。

1、ConsenSys 收购无代码开发工具平台 Hal 以改进 Web3 通知服务

2 月 21 日消息，区块链技术服务提供商 ConsenSys 收购无代码区块链开发工具平台 Hal。此次收购将允许 ConsenSys 的 Web3 API 提供商 Infura 将 Hal 的可配置 webhook 或通知服务集成到其开发人员堆栈中。因此，此举将帮助开发人员在协议级别上为各种信号创建警报和通知。

2、Fresh Consulting 宣布推出无代码平台 Brancher.ai

Brancher.ai 能够让用户连接和使用 AI 模型来创建功能强大的应用程序而无需编码知识。该团队由 Fresh Labs 总监 Johnny Rodriguez 和 Elisha Terada 领导。Fresh Labs 是 Fresh Consulting 的创新部门，专注于使用新兴技术进行原型设计，教育和构建。

在人工智能黑客马拉松中获得第一名不到一个月后，Brancher.ai 已拥有超过 3000 名用户，并制作了 3400 多个人工智能驱动的应用程序。

3、Sway AI 加入 AWS 合作伙伴网络，让更多人都能访问人工智能

Sway AI Sway AI 是一家无代码 AI 公司，近日该公司宣布已加入 Amazon Web Services （AWS）合作伙伴网络（APN）。通过加入 APN，Sway AI 将与 AWS 客户团队合作，支持客户使用 AI/ML。

Sway AI 的无代码可视化平台旨在使所有人的 AI 民主化，使所有技能水平的用户都能使用高级 AI/ML 解决复杂问题。通过 Sway AI 无代码可视化平台，AI 新手也能轻松构建和部署功能强大的 AI 应用程序，从而加速业务流程、改进运营并发现新见解。

1、《低代码开发平台能力要求》团体标准正式发布‘；2、公民自动化开发平台（CADP）列入Gartner《2022-2024 中型企业技术采用路线图》；3、无代码开发平台轻流举办 5.0.0 功能发布会 O - IMC。最后，模型检查器（Storm，Modest，MRMC，IMRMC或IMCA）将计算出某个时间点的故障概率。下一节描述DFTCalc如何将所有这些工具和格式对齐以协调DFT的分析。 DFTCalc将Galileo文本格式的DFT作为输入。这种直观的格式从上至下描述了DFT从上到下的基本组成部分。每个子树都用一个名称标识，通过门与其他子树逻辑连接，然后细化为基本组件。在执行时，DFTCalc在各个阶段处理给定的DFT，并分析系统的可靠性。工具的输出是此属性的量化，表示为给定任务时间的故障概率或平均故障时间。 Linux（在Fedora，Debian上测试） MacOS X（在Catalina上测试） Windows（在Windows 10，Win

基于全球437个IT组织对111项新兴技术采用计划的同行观点收集， Gartner 发布了2021 - 2023新兴技术 路线图 。该 路线图 补充了 Gartner 的Hype Cycles（技术成熟度曲线），后者更着眼于长时间范围内技术的演变趋势。（注：大型企业指营收超过10亿美元的企业机构。）每项技术的风险因素均基于其潜在风险分析，包括市场/供应商成熟度、架构适应性/复杂性、安全风险、人才可用性、合规性挑战、实施成本以及对现有流程和服务的颠覆。企业价值每项技术的价值因素均基于其价值动因分析，包括增加成本效益、提高速度和敏捷性、实现韧性、提高员工生产力，以及通过优化后的产品和/或服务增加营收。由于企业机构开始通过寻求创新机会进行复工复产，运维和IT领导者增加了对新兴技术的使用。在所有技术领域中，相较于2020年的29%，58%的受访者表示，会在2021年增加或计划增加对新兴技术的投资。与此同时，运维部门需要缩短部署时间，所有当前正在部署的技术预计将在未来6至18个月内成功落地。人才短缺是阻碍企业成功采用新兴技术的一个越来越重要的因素。相较于2020年的4%以及2019年的14%，今年64%的受访者认为，人才可用性是阻碍新兴技术使用的最大挑战。今年，企业对韧性的需求推动了大多数新兴技术部署的商业案例。为了实现“增强韧性”的目标，大多数（64%）企业正在部署新兴技术。这与去年的情况截然不同，去年最常见（66%的受访者提到）的投资理由是“提高速度和敏捷性”。新兴技术能够实现民主化交付，这对运维领导者来说越来越重要。今年，82%的运维领导者同意或非常同意，非IT部门的企业领导者会影响到所有受评估技术领域的新兴技术的使用决策。此外，85%的受访者同意或非常同意，他们拥有现成的指标，可以跟踪技术使用前后的客户体验。为了实现自助服务交付，运维部门正在开发一系列“即服务” 技术。运维领导者正在创建分布式平台，其在云技术的支持下，可以实现员工“随处运营”。为了让工作环境和信息在现实和虚拟间自如转换，各企业机构正斥巨资创建一个由多种多云技术支持的、强大的混合云基础设施。升级和维护IT基础设施安全是企业机构的一大重要优先事项，因为他们要应对越来越多的威胁，特别是来自全新混合工作环境中终端设备的威胁。从2020年到2021年，安全技术的部署数量急剧上升，在被评估的技术中，这一比例从15%上升到84%。另外，在2021年，64%的受访者表示，他们已经增加或计划增加对安全技术的投资，这与2020年的31%相比，有了大幅的提升。运营部门的高层领导者正在部署具备高度颠覆性的新兴技术，以确保持续、不间断地访问企业网络并在企业组织内部有效地交付网络服务。。网络技术投资持续增长。53%的受访者指出，他们已经增加或计划在2021年增加对网络技术的投资，而2020年这一比例为32%。企业机构正在投资能够实现智能数据和分析能力的技术，以扩大企业数字化目标的覆盖范围。运维部门正在部署能够在2021年塑造变革的企业技术，如人工智能（AI）云服务、人工智能IT运营（AIOps）平台以及数据科学和机器学习平台等。今年，智能自动化基础设施管理服务、区块链平台和IoT 平台等技术则处于试点阶段。由于对疫情的应对日趋成熟，与2020年相比，2021年对全新的数字化工作场所技术的需求达到高峰，该技术对新冠疫情的反应已经十分成熟。2021年，只有12%的数字化工作场所技术在技术采用周期中取得了进展，而2020年则为41%。 2021年，企业会更有选择性地采用自动化相关技术，进而他们在部署某些新兴的IT自动化技术时会十分谨慎。在今年介绍的所有IT自动化技术中，只有20%的技术自去年以来在技术采用周期中取得了进展，而2020年的数据为30%。今年，由于各企业机构希望维护和优化现有的数据中心基础设施，其对存储和数据库新兴技术的使用有所减缓。今年，处于部署阶段的存储和数据库技术数量有所下降，从2020年的38%下降到2021年的30%。运维领导者正在优化其目前的存储和数据库基础设施，其中，50%的存储和数据库技术仍处于与2020年相同的使用阶段。能够在更接近数据生成点的地方迅速分析信息，这类边缘技术是企业机构关注的重点。今年，诸如边缘计算、边缘服务器和边缘网络等技术正处于部署阶段。那些没有将边缘解决方案与强大的商业用例相结合的企业机构，将在执行战略采用计划时面临挑战。

在6月的2021年可信云大会上，中国信通院联合中国通信标准化协会推出了第一份行业级低代码标准。信通院认为，低代码主要面向中大型企业，技术难度介于纯代码和无代码之间。目前，低代码行业的厂商从各自擅长领域入手，市场的低代码产品标准不统一，产品质量参差不齐，在低代码无代产品即将急速发展、赋能业务的时期，亟需推出统一的低代码标准，更好的促进企业业务创新。在这一背景下，中国信通院牵头编制了《低代码无代码开发平台通用能力要求》。该文档对低代码平台的技术能力要求较全面，其中产物可复用度、开发管理、平台协作、

本篇论文为2023年五一杯数学建模A题的论文。该论文完全按照建模比赛的格式要求进行撰写，包含摘要、关键词、问题背景、问题重述、问题分析、模型假设、符号说明、问题一的建立与求解、问题二的建立与求解、问题三的建立与求解、模型的优缺点及改进方向和推广、参考文献和附录。其中，附录部分放置了本文使用的代码和支撑材料的目录。本文主要建立了微分方程模型，使用了最小二乘拟合、蒙特卡洛方法、非线性规划等模型。对于问题三的数值仿真，本文使用蒙特卡洛方法进行数值仿真。这道建模题共有三个问题，每个问题下设两个小问，两个小问均有各自的特点，第一小问是理论公式求解，第二小问则是对公式代入具体的数值进行求解计算，得出具体的解。

Java是一种编程语言，被特意设计用于互联网的分布式环境。Java具有类似于C++语言的“形式和感觉”，但它要比C++语言更易于使用，而且在编程时彻底采用了一种“以对象为导向”的方式。使用Java编写的应用程序，既可以在一台单独的电脑上运行，也可以被分布在一个网络的服务器端和客户端运行。另外，Java还可以被用来编写容量很小的应用程序模块或者applet，做为网页的一部分使用。applet可使网页使用者和网页之间进行交互式操作。 Java 平台由Java虚拟机(Java Virtual Machine)和Java 应用编程接口(Application Programming Interface、简称API)构成。Java 应用编程接口为Java应用提供了一个独立于操作系统的标准接口，可分为基本部分和扩展部分。本视频教程帮助你从新手小白到成为精通JAVA的高手，从软件的安装，功能的介绍和使用，实战演习讲解等各大维度进行详细的教学. Directed Error Detection in C++ with the Assembly - Level Model Checker StEAM Peter Leven, Tilman Mehler, Stefan Edelkamp Fast and Accurate Bitstate Verification for SPIN Peter C. Dillinger, Panagiotis Manolios Improvements of SPIN Model - Driven Software Verification Gerard J. Holzmann, Rajeev Joshi Minimization of Counterexamples in SPIN Paul Gastin, Pierre Moro, Marc Zeitoun Validation of Timed Systems Black - Box Conformance Testing for Real - Time Systems Moez Krichen, Stavros Tripakis Validation of UML Models via a Mapping to Communicating Extended Timed Automata Iulian Ober, Susanne Graf, Ileana Ober Tool Papers Explicit State Model Checking with Hopper Michael Jones, Eric Mercer SEQ.OPEN: A Tool for Efficient Trace - Based Verification Hubert Garavel, Radu Mateescu X Table of Contents Model Checking Genetic Regulatory Networks Using GNA and CADP Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu Abstraction and Symbolic Methods Verification of Java Programs Using Symbolic Execution and Invariant Generation Willem Visser Polynomial Time Image Computation with Interval - Definable Counters Systems Alain Finkel, Jérôme Leroux Using Fairness to Make Abstractions Work Natalia Ioustinova, Natalia Sidorova A Scalable Incomplete Test for Message Buffer Overflow in Promela Models Stefan Leue, Richard Mayr, Wei Wei Applications Translation from Adapted UML to Promela for CORBA - Based Applications J. Chen, H. Cui Verifying Commit - Atomicity Using Model - Checking Cormac Flanagan Analysis of Distributed Spin Applied to Industrial - Scale Models Murali Rangarajan, Samar Dajani - Brown, Kirk Schloegel, Darren Cofer Verification of MPI - Based Software for Scientific Computation Stephen F. Siegel, George S. Avrunin Tutorials Advanced SPIN Tutorial Theo C. Ruys, Gerard J. Holzmann IF Validation Environment Tutorial Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober