114 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.

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.

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 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.

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 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 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 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.

The application provides an interactive component assembly module design method, a simulation software construction method and device, and the interactive component assembly module design method comprises the following steps: constructing a data structure class diagram describing the correlation relationship between a geometric component object and a component instance object; determining the method interface required to be provided by the object in the interactive diagram when the component instance object realizes the component assembly function based on the data structure class diagram, and designing an interactive component assembly module based on the interactive diagram and the method interface. The data structure class diagram and the interactive diagram provided by the application meet the cross-module data correlation requirements of the geometric modeling, component assembly and meshing and other modules in the finite element modeling process, realize the assembly function development based on the geometric component object, and effectively improve the expansibility and maintainability of the designed interactive component assembly module.

The application provides a kind of deep foundation pit excavation column pile heave monitoring method, the monitoring method comprises: S1, based on Matlab software constructs the three-dimensional display graph of the heave condition of column pile and underground continuous wall top in foundation pit;S2, based on the three-dimensional display graph that has been constructed, the heave condition of column pile and underground continuous wall is monitored.The application is displayed by three-dimensional display graph display expression method, which significantly improves the effect of column pile heave monitoring in deep foundation pit engineering.Compared with the traditional static data table, the monitoring method can intuitively display the heave distribution and change trend of column pile, help managers quickly identify abnormal areas and take timely measures, thereby enhancing the safety of the project.In addition, the three-dimensional surface fitting technology effectively compensates for the blind area of fixed monitoring points, realizes the comprehensiveness and accuracy of data, optimizes the real-time monitoring and analysis of the state of column pile, and provides linkage analysis of column pile and underground continuous wall, optimizes construction management and decision-making.

The application discloses an immersive customer engineering environment data display method and system, comprising the following steps: S1, an environment collection terminal collects engineering image data of a power supply scheme development stage site and returns the data to a workstation, and a BIM software is used to build an engineering three-dimensional model and engineering design drawings; S2, a management personnel collects expansion scheme environment image data according to customer engineering construction requirements, returns the data to the workstation, combines a classical scheme design library, drags a typical design on the engineering design drawings of the power supply scheme development stage, calls corresponding component attribute data, completes three-dimensional and two-dimensional standardized design of the engineering drawings, and performs graphic rendering on the three-dimensional model; and S3, an environment collection terminal collects environment image data, extracts features of the expansion scheme environment image, returns the data to the workstation, and the BIM software corrects the standardized engineering drawings into customer engineering completion design drawings. The scheme improves the visual control efficiency of engineering projects.

The present application relates to the technical field of computer software, and in particular to a same-name heterogeneous static library dual-domain isolation construction method for executable files, which first completes environment initialization and creates an independent copy for the static library to be isolated, determines a target interface symbol set and an excluded symbol set, and analyzes the binary structure of the static library to complete target symbol positioning; a globally non-conflicting symbol rewriting mapping table is generated, selective binary rewriting is performed only on the target symbols, and an isolated variant static library and a matching header file adapter are generated; finally, the original library and the isolated library are deployed in separate domains, dual-domain isolation construction and full-process verification are completed, and a controllable cross-domain call can be realized with a cross-domain bridging layer. This method does not require modification of the source code and does not intrude on the business, and can effectively realize dual-domain complete isolation of the same-name static library and guarantee the stability of software construction and operation.

A software build environment is scanned for one or more potentially malicious code paths. In response to scanning the software build environment for the one or more potentially malicious code paths, one or more potentially malicious code paths are identified. The identified one or more potentially malicious code paths comprise at least one of: a typo squat code path, a dependency confusion code path, and a brandjack code path. In response to identifying the one or more potentially malicious code paths a microprocessor does at least one of: generate a notification identifying the one or more potentially malicious code paths, automatically change and / or remove the one or more potentially malicious code paths and deny the start of a build process.

The invention belongs to the technical field of embedded system development, and provides a CMake-based cross-platform Display software construction method, system and device and a medium, the method comprises the following steps: in response to a CMake command, reading and analyzing a pre-written CMake configuration file, and generating a local construction system file; compiling a project source file based on the local construction system file to obtain a target file; linking a library to the target file to obtain an executable file; by adopting the CMake as a construction tool, compared with a traditional Makefile, the CMake can use a set of configuration files to achieve cross-platform construction and automatically generate construction files suitable for different operating systems and compilers, the development efficiency is improved, the configuration process and the construction process are separated, and the adaptability to different construction environments is enhanced.

Systems and methods are provided for automatically building software in a secure environment. A system includes a software development environment, having an associated security level. The software development environment generates an encrypted software module containing a software module and a cryptographic hash representing a content of the software module and provides it to a software repository. The software repository, in response to receipt of a build plan, decrypts the encrypted software module to recover the software module and the cryptographic hash representing the content of the software module, generates a new cryptographic hash for the software module, and verifies that the new cryptographic hash matches the cryptographic hash representing the content of the software module. A build environment receives the plurality of software modules from the software repository and generates a software build from the plurality of software modules based upon the build plan.

This invention proposes an embedded BMC software construction method, providing a specially designed and verified operating system kernel for the BMC chip, and supporting the addition of various debugging tools and complex applications, thus increasing the operability of the porting process. The kernel's execution steps can be displayed using disassemblers and various JTAG tools, enhancing the modularity and systematization of the software solution construction work.