147 results about "Software construction" patented technology

Techniques are described for validating build integrity of software products, such as applications or containers. More specifically, this disclosure describes a build integrity validation system that analyzes build artifacts resulting from a software build process to create source code assertions, and compares the assertions against the source code from which the build artifacts were produced. The build integrity validation system validates that a particular build artifact is producible by the source code to ensure that no additional code was introduced during the build process. The build integrity validation system may also reverse the analysis to validate that the source code is able to produce the build artifacts to ensure that no code was removed or modified during the build process. The build integrity validation system identifies and reports identified discrepancies between the source code and the build artifacts resulting from the software build process of the source code.

Techniques are described for a model-based process to validate build integrity of software products. A build integrity validation system generates a build artifact model including one or more software components extracted from a build artifact resulting from a software build process of source code and generates a source code including one or more software components extracted from the source code. The system compares the software components of the build artifact model and the software components of the source code model, and identifies at least one discrepancy between the build artifact model and the source code model. The system determines a level of risk associated with the at least one discrepancy and, in response to determining the level of risk associated with the at the least one discrepancy, generates a decision indicating whether the at least one build artifact is approved for use in a software product.

The invention discloses a construction method of a TiH binary system machine learning potential. The construction method comprises the following steps: constructing a reference electronic structure data set by adopting first principle calculation software VASP; training and testing an artificial neural network potential-ANN potential model on the reference data set by using the artificial neural network model; vASP and ANN potential obtained through training are used for calculating and comparing a Dimer curve, a lattice constant, an elastic modulus and the like for performance testing; and performing targeted improvement on data with large comparison error between the ANN model and the DFT result in model test and performance test results by increasing related configuration weights until an ANN potential model conforming to the precision is obtained. The machine learning potential model constructed by the invention can better fit the interatomic interaction potential energy surface of the TiH binary system, solves the problems of small time-space scale and low precision of the traditional empirical potential in the calculation of the first principle, and provides a technical basis for the high-precision and large-size simulation and research of the TiH binary system.

The invention discloses a water supply pipe network leakage locating method based on a lightweight gradient elevator algorithm, and belongs to the technical field of intelligent water affair and pipe network monitoring. The method comprises the following steps: integrating hydraulic modeling basic information, and constructing an initial hydraulic model by utilizing hydraulic software; actual measurement values of key node pressure and main pipe flow under different working conditions are collected and compared with simulation values to be calibrated to reach the standard, and a high-precision hydraulic model is obtained; simulating each leakage working condition in different time periods on a selected potential leakage node / pipe section by using the calibration model, collecting pressure change data of a pressure monitoring node, and performing preprocessing and data division; the data set is used for training a LightGBM model, the LightGBM model learns the relevance of node pressure in spatial topology and the dynamic change characteristics of a time sequence at the same time, a spatial position differentiation weight mechanism is introduced, and accurate positioning of leakage points and quantitative estimation of leakage coefficients are achieved. According to the method, the pipe network leakage positioning precision and efficiency are remarkably improved, and support is provided for rapid and accurate leakage detection and leakage amount evaluation.

The invention discloses an automatic page generation method of a software construction platform based on a large language model, which comprises the following steps of: extracting a scene, a page and constraint description from a natural language demand, and generating JSON (JavaScript Object Notation) content containing a data model, a query condition, a table column and static data through the large language model; according to component type constraints and verification rules, the JSON is mapped to components and combinations of buttons, labels, texts, pictures, pull-down selection, multi-choice, single choice, tables, dates and the like of the code-free construction platform; and automatically filling a component set based on the upper and lower partition templates, and injecting static data and verification logic. Through industry knowledge adaptation, component semantic binding and dynamic constraint, it is ensured that the page conforms to field specifications and interaction logic, the learning cost is reduced, manual intervention is reduced, and the method is suitable for the fields of smart cities, natural resources, urban and rural residence construction, emergency management, enterprise digital transformation and the like.

The invention discloses a stereo garage fault analysis system and method based on a large language model (LLM), and the method comprises the steps: generating a private large language model through the fine adjustment of a low-rank adaptation (LoRA) method of the large language model, and constructing an equipment maintenance knowledge base through knowledge graph generation software; when the system runs, equipment internet-of-things signals are subjected to semantic processing, classified according to attributes and features and correspondingly input into the local questioning sub-module and the global questioning sub-module to be processed, and the whole process from description of equipment running states to automatic giving of fault root cause analysis results and fault solutions is achieved. According to the invention, the efficiency and accuracy of fault diagnosis are improved, the maintenance cost is reduced, and comprehensive fault root cause analysis results and fault solutions are provided.

A method comprises generating, during a software build process conducted in a trusted build environment, a trusted log comprising a plurality of records of actions performed during the software build process and a plurality of identifiers of tools used to perform the actions, aggregating the plurality of records of actions and the plurality of identifiers into a build certificate file, generating a digital signature to be applied to the build certificate, and publishing the build certificate in association with one or more build artifacts generated by the software build process.

Modifications to existing computer hardware, compiler changes or source-to-source transforms performed during the software build process, and a collection of libraries and modifications to existing standard system software and libraries. The invention allows a program author to enforce various kinds of locality of causality in software to provide enforcement of boundaries for the following aspects of a computer program: control, space, time, modularity, reference, initialization, and mutability. Where these properties do not suffice to guarantee a property at static time, dynamic checks may be added and the constraints on control flow prevent such dynamic checks from being avoided by the program.

The invention provides a design space position visualization quantifiable method suitable for bridge construction lofting, which specifically comprises the following steps: (1) Dynamo software reads a bridge floor road center line given by a design drawing, and generates a corresponding bridge based on the bridge floor road center line, comprising the following steps: sequentially generating a bridge pier corresponding to a bridge deck road center line, a support padstone at the top of the bridge pier and a bridge deck box girder falling on the support padstone; and (2) reading the bridge corresponding to the midline of the bridge floor road from the Dynamo software by the Revit software, and displaying the bridge. A Dynamo software and Revit software combined three-dimensional modeling calculation method is adopted, the Dynamo software quickly establishes piers, support cushion stones and box girders in batches under an absolute coordinate system, position coordinate calculation of important feature points on a bridge is further completed by means of the Dynamo software, and three-dimensional display is performed on the bridge constructed by the Dynamo software through the Revit software. And synchronously displaying the position coordinates of the important feature points.

Techniques are described for securing secrets in software build workflows. In some implementations, build instructions call for execution of a first program module and a second program module, where the first program module has been approved to make a privileged request, but the second program module has not. The first program module can be stored in a trusted repository, separately from the second program module. When the first program module is loaded for execution, a cryptographic signature can be validated to determine that the first program module is authentic and as a condition for passing a privileged credential to the first program module. The second program module has no access to the privileged credential. Instead, when the second program module is loaded for execution, a determination can be made whether the second program module makes any privileged requests. Any privileged requests from the second program module will not be fulfilled.

The disclosed system and process involve correlating outbound traffic with a CI / CD pipeline. CI / CD Pipelines consist of multiple jobs, and each job's steps execute on the same runner host. Network monitors relay information about domain names and network connections during job execution to the data store. Once all pipeline jobs are complete, the correlation server links domain names and connections to determine endpoints. This correlation, showing outbound traffic for each step, is accessible to the pipeline owner for review. An alert is triggered for new endpoints relative to the baseline. Owners can block unexpected endpoints based on explicitly defined lists. The correlation server also identifies file events, aiding in detecting suspicious file and software build overwrite events for combating software supply chain attacks. Observed file and network events contribute to generating a Software Bill of Materials (SBOM) through runtime events.

The invention provides a numerical simulation and MLP-based rapid assessment method for ship structure damage under fire action, which comprises the following steps: constructing a thermal coupling model based on PyroSim software and ANSYS software, comprehensively considering dual change effects of heat conduction and structural mechanics, and performing thermal coupling numerical simulation on a ship under fire action; a multi-layer perceptron model is adopted to carry out deep learning training on simulation data, and a deep layer perceptron model is constructed to evaluate structural damage under the action of the ship fire; gPU acceleration logic is designed, calculation efficiency of key steps is accelerated and optimized through the GPU, and the aim of rapidly evaluating structural damage under the ship fire action is achieved. According to the technical scheme, the calculation cost can be remarkably reduced, an efficient and accurate damage evaluation result can be provided, and a new technical support and solution are provided for ship structure safety research in a fire scene.

The invention discloses a plug-and-play power distribution terminal topology self-identification method and system, and relates to the technical field of power system power distribution network operation and maintenance, and the method comprises the steps: employing a modular hardware architecture and automatic identification configuration software, and constructing a plug-and-play intelligent terminal; through topological information acquisition, electrical parameter analysis and topological structure construction, the topological structure of the power distribution network is automatically identified and updated; and operation and maintenance decision support is provided for a master station system based on a power distribution network topological structure. According to the method, plug and play of the intelligent power distribution terminal can be realized, the intelligent power distribution terminal can quickly adapt to a complex and changeable network topology structure, and meanwhile, the beneficial effect of quick self-healing of a power distribution network fault is provided.

The invention discloses a BIM-based fabricated building component intelligent matching and construction optimization method, relates to the technical field of fabricated building construction, and aims to solve the problem that the prior art lacks consideration of dynamic change factors of a construction site, and the method comprises the following steps: S1, establishing a BIM information model, and based on a fabricated building design drawing, establishing a BIM information model; building a three-dimensional information model including building structures, component geometric dimensions, material attributes and connection mode information by using BIM software, establishing a component database, and inputting related information of each component into the database; s2, dynamic information of the construction site is obtained, and environment information, construction equipment state information, constructor information and construction progress information of the construction site are obtained in real time through multiple sensors and a construction management system deployed on the construction site. The method has the advantage that construction optimization is carried out according to the dynamic change factors of the construction site.

The invention belongs to the field of software simulation, and particularly discloses a CAE software construction method, system and equipment, and the method comprises the steps: determining a simulation scene which needs to be supported by the current version of CAE software, so as to determine a function which needs to be supported by the current version of CAE software; determining a plurality of sub-function modules needing to be added in the CAE software according to the functions needing to be supported; constructing at least one sub-function module in the plurality of sub-function modules by adopting a data-oriented software design architecture; after the plurality of sub-function modules are constructed, completing iteration of the CAE software of the current version to obtain CAE software of an updated version; the CAE software of the updated version supports the simulation scene. Through the method and the device, the problems of software complexity and performance caused by coupling of a plurality of functional modules in a CAE software architecture are solved, so that the development efficiency of CAE software is improved, the software quality and the execution performance are improved, and the simulation experience of a user is improved.

A method includes receiving a software build task, identifying one or more previously executed software build tasks in view of one or more properties of the software build task and determining a set of computing resources to be allocated to a build container for performing the software build task in view of the one or more previously executed software build tasks. The method further includes generating the build container to perform the software build task.

The invention discloses a jacket three-dimensional visual model establishing method based on an SACS model file. The jacket three-dimensional visual model establishing method comprises the steps that S1, text data about a jacket are extracted based on a'sacinp. 'format file; s2, preliminarily constructing a jacket model in three-dimensional engine software based on the text data; s3, performing rod piece defect inspection on the preliminarily constructed jacket model, if the inspection is correct, entering S4, and otherwise, performing preliminary repair on the rod piece defect and then entering S4; s4, whether a gap exists between adjacent rod pieces or not is judged, if not, the step S5 is executed, and if not, the step S5 is executed after the gap is complemented; and S5, constructing a sphere node model to obtain a final jacket model. According to the method, the jacket model is constructed in the three-dimensional engine by using the'sacinp. 'format file, so that the time for drawing the jacket model in the three-dimensional software according to the drawing is saved, no deviation between the established jacket model and the model constructed by using the SACS software is ensured, the modeling precision is improved, the model information is ensured to be accurate and complete, and the construction efficiency is improved. And model support is provided for subsequent program use.

The invention provides a high-reliability on-orbit reconstruction method for large satellite-borne software, which is characterized in that a BootLoader program solidified on a PROM (programmable read-only memory) is designed with a function of reconstructing any software at a low speed by using a bus, so that the BootLoader program serves as the most fundamental guarantee for the reliability of a reconstruction scheme; a high-speed self-reconfiguration function is designed for the satellite-borne software, so that the high-speed channel self-reconfiguration software can be utilized after the satellite-borne software is started in a normal process; security mode software which is small in size and can exist on an MRAM in a triple modular redundancy mode is constructed, and the main function of the security mode software is to complete high-speed reconstruction of satellite-borne software. And when self-reconfiguration of the satellite-borne software fails and the satellite-borne software cannot be normally started, a special instruction is sent to the BootLoader to start the security mode software, so that high-speed reconfiguration of the satellite-borne software can be continued. The whole satellite-borne software can be reconstructed in a measurement and control arc section through a high-speed channel. Compared with a mode that a comprehensive electronic system spends several measurement and control arc segments to collect data and then distributes the data at a low speed through a bus channel, the method has the advantages that the required time is greatly shortened, and the reliability is high.

Discussed herein are devices, systems, machine-readable media, and methods for assessing a software build for a vulnerability, generating release recommendations, and implementing a remedial action to mitigate security risks. A method includes receiving a Software Bill of Materials (SBOM) that lists one or more libraries used in a software build, receiving a user-specified administration policy, generating an over overall provenance bundle from a metadata of the one or more libraries used in the software build, implementing a gradient boosted tree algorithm using both the overall provenance bundle and the user-specified administration policy to generate a software releasability recommendation, receiving the software releasability recommendation into a Large Language Model (LLM) to generate a recommendation report detailing one or more software vulnerabilities, and implementing the software releasability recommendation by releasing the software build or blocking the release of the software build based on the software releasability recommendation.

The invention discloses a side cloud collaborative electro-hydraulic actuator digital twin modeling method and system, and the method comprises the steps: building a high-fidelity simulation model of a target electro-hydraulic actuator through simulation software, and generating simulation data through the simulation model; constructing a proxy model of the operation characteristics of the target electro-hydraulic actuator by using a reduced-order model and deep learning, and deploying the proxy model to edge equipment and a cloud server according to the computing power demand and the input parameter quantity; acquiring operation state data of the target electro-hydraulic actuator in real time; inputting the operation state data into an agent model to perform real-time model reasoning on the edge device and the cloud server so as to predict the physical field operation characteristics of the target electro-hydraulic actuator under the current actual working condition; and carrying out data fusion and visualization processing on the operating characteristics of the physical field to construct a digital twin reflecting the operating state of the target electro-hydraulic actuator. The method has real-time performance and high modeling precision.

Modifications to existing computer hardware, compiler changes or source-to-source transforms performed during the software build process, and a collection of libraries and modifications to existing standard system software and libraries. The invention allows a program author to enforce various kinds of locality of causality in software to provide enforcement of boundaries for the following aspects of a computer program: control, space, time, modularity, reference, initialization, and mutability. Where these properties do not suffice to guarantee a property at static time, dynamic checks may be added and the constraints on control flow prevent such dynamic checks from being avoided by the program.

The invention provides a semi-physical simulation test method, device and equipment for a wind-heat-electricity linkage system and a storage medium. The method comprises the steps that a wind generating set virtual model is built through Bladed software, and a thermodynamic system virtual response model is built; a wind-heat-electricity linkage control strategy is implanted into the PLC, and a corresponding control signal is transmitted to the PLC; fan and thermal control signals are transmitted to the Bladed hardware test module through a PLC communication interface based on a PLC private protocol of a TCP; through the Bladed hardware test module, a fan control signal is transmitted to the wind generating set virtual model, and a thermodynamic control signal is transmitted to the thermodynamic system virtual response model; different wind conditions are given in the virtual model of the wind generating set, so that the wind-heat-electricity linkage system is subjected to real-time simulation operation, and simulation test results under the different wind conditions are obtained. According to the invention, real-time simulation testing of different working conditions of the wind-heat-electricity linkage system is realized.

A software building method is provided, and includes: A first instance obtains a code file of to-be-built software from a code repository, and obtains, from a dependency library, a dependency file needed for building the software. The first instance generates a plurality of building tasks based on a plurality of targets in the code file, where different building tasks include different targets, and indicates a plurality of instances in a resource pool to execute the plurality of building tasks in parallel by using the dependency file, to obtain execution results respectively corresponding to the plurality of building tasks, so that the first instance obtains the software through building based on the plurality of execution results. In this way, in a software building process, the first instance executes building processes in parallel for the plurality of building tasks including different targets. Compared with a manner of building targets one by one on a single node, this can effectively improve building efficiency for the plurality of targets, and further effectively improve overall efficiency of software building.

The present invention provides a multi-objective optimization method for a bubbling column carbon capture process based on a surrogate model, comprising the following steps: constructing a physical simulation model of a packed bubbling column reactor through COMSOL Multiphysics software; sampling in the design domain by the optimal Latin hypercube method according to preselected optimization objectives and design variables; constructing an adaptive hybrid surrogate model, training the model using simulation results, and evaluating the accuracy and stability of the model using R<supgt;2< / supgt> and RMSE, etc.; performing Sobol global sensitivity analysis on different design variables; solving the multi-objective optimization of the selected surrogate model using the non-dominated genetic algorithm II; drawing a Pareto front plot based on the solution set obtained by NSGA-II to obtain the optimal solution of the multi-objective optimization; outputting a multi-objective optimization scheme that meets the pre-specified process requirements, obtaining the best trade-off solution between the energy consumption required for the process and the carbon dioxide capture rate and the corresponding optimal operating conditions, and these data have guiding significance for the subsequent industrial application of the process.

The invention relates to an edge operating system software construction method and device, electronic equipment and a storage medium, and the edge operating system software construction method comprises the steps: receiving a software construction task request, and extracting a construction identifier of a corresponding architecture from the software construction task request; establishing an identifier, determining preset independent virtualization cluster information matched with the establishment identifier as target independent virtualization cluster information, then performing establishment based on the target independent virtualization cluster information in combination with the software establishment task request, and generating a software establishment task result corresponding to the software establishment task request; therefore, the software can be constructed by using the preset independent virtualization cluster information, the resource cost of the server is effectively reduced, the flexibility is improved, and the problems that the resource cost of the server is relatively high and the flexibility is low in a software construction mode in the prior art are solved.

The invention provides an on-board computer test case automatic generation method and system based on path coverage, and the method comprises the steps: analyzing on-board computer control software through a static analysis tool, constructing a data flow diagram which uses a basic block in a control program as a node and the change of a control flow as an edge, generating initial training data based on the data flow diagram; and generating an instrumentation program, inputting the initial training data into the instrumentation program to obtain an instrumentation path, and training a vehicle-mounted computer test case automatic generation model based on the instrumentation path. Through the method and the corresponding system, all paths of the tested software module can be efficiently and comprehensively covered, and the test quality and efficiency are improved.

The present application relates to a kind of rail trolley positioning solutions, comprising the following steps: step one: equipment installation, laser radar is vertically installed in the top of RGV trolley head by connecting component;Step two: establish measurement model, through the RGV trolley in step one and corresponding software establish motor train unit head template and train bottom template;Step three: real-time positioning of detection robot, compared with prior art, the present application is mainly laser radar, laser ranging is assisted to carry out the high-precision automatic positioning of fault detection robot, and the measurement template is constructed by software and compared with the information collected to compensate for the difference, reduce the existence of error, so that its positioning is more accurate.

The present invention provides a printing press virtual assembly method based on virtual simulation technology, comprising: constructing a PZ1740E offset printing press model through 3Ds MAX software, importing the constructed PZ1740E offset printing press model into Blender for paper feeding animation design, and importing the model and the animation into Unity for function realization. The printing press virtual assembly method based on virtual simulation technology provided by the present invention meets people's demand for developing a virtual simulation system for printing process flow by combining a fault simulation function with a virtual assembly system, provides a solution for the virtual simulation realization of the cause of printing image faults, and helps to promote the expansion and development of the content of the virtual assembly system.

The present invention relates to the field of software construction technology, and discloses a method and system for intelligently generating manufacturing software development solutions based on a large model. The method comprises: receiving real-time constraint data and security requirement data of an industrial control system, and generating a real-time security dynamic balance table using a real-time security risk balancing algorithm; importing threat feature data and system criticality data, and forming a multi-level defense response strategy table using a biological immune hierarchical response algorithm; extracting a security defense code library and an immune memory index table through an attack pattern learning and memory algorithm; constructing a hierarchical isolation architecture diagram and a self-recovery control component set using a multi-layer isolation self-recovery algorithm; and outputting an autoimmune industrial software generation framework and a code template library. The present invention realizes the automated and intelligent generation of industrial control software by introducing a large model, thereby improving software development efficiency and quality.

The invention discloses an embedded software construction method and device, electronic equipment and a storage medium, and belongs to the technical field of software development, the method comprises the steps that construction parameters configured by a user are provided, and the construction parameters comprise a hardware identifier used for specifying a target embedded hardware platform type; calling a corresponding configuration file from a preset configuration library according to the hardware identifier, wherein the configuration file is used for providing a compiler tool chain path and default compiling options related to the platform; generating a compiling rule frame based on the configuration file, wherein the compiling rule frame comprises a to-be-compiled file list, a final compiling option and a target generation rule; and executing compiling operation according to the compiling rule framework to generate a target output file. According to the method, the preset configuration file is automatically matched through the hardware identifier, so that manual configuration redundancy is greatly reduced; dynamic switching of tool chain configuration during cross-platform construction is realized, and zero modification of platform migration is ensured.