A5100424757- Software Reliability and Analysis Research
- Data Mining Algorithms and Applications
- Software System Performance and Reliability
- Software Engineering Research
- Evaluation and Optimization Models
- Advanced Decision-Making Techniques
- Experimental Learning in Engineering
- Innovation in Digital Healthcare Systems
- Private Equity and Venture Capital
- Model-Driven Software Engineering Techniques
- Rough Sets and Fuzzy Logic
- IoT and Edge/Fog Computing
- Digital Media and Visual Art
- Formal Methods in Verification
- Advanced Neural Network Applications
- Corporate Insolvency and Governance
- Advanced Database Systems and Queries
- Algorithms and Data Compression
- Engineering Education and Curriculum Development
- Embedded Systems Design Techniques
- Blockchain Technology Applications and Security
- Evaluation Methods in Various Fields
- Petri Nets in System Modeling
- Higher Education and Teaching Methods
- Cloud Computing and Resource Management
Beijing Electronic Science and Technology Institute
2024
Beihang University
2022-2023
Liaoning University
2022
Chang'an University
2021
Hebei University of Technology
2018
Hefei University of Technology
2015
We release Code Llama, a family of large language models for code based on Llama 2 providing state-of-the-art performance among open models, infilling capabilities, support input contexts, and zero-shot instruction following ability programming tasks. provide multiple flavors to cover wide range applications: foundation (Code Llama), Python specializations - Python), instruction-following Instruct) with 7B, 13B, 34B 70B parameters each. All are trained sequences 16k tokens show improvements...
Recognizing and repairing defects to enhance quality in software life circle has become a critical research topic. Unfortunately, it is difficult guarantee the validity of defect prediction method based on manually designed features proposed previous studies. Numerous scholars have endeavored use single model obtain results for different types fault, but this perform. This article improves representation prediction, proposing Augmented-Code Property Graph (CPG) (ACGDP). Augmented-CPG novel...
Once the frame-by-frame shooting as main body of animation, it has gradually become invalid under background modern computer digital technology. Animation and film have no boundaries, but fact is opposite. Animation, a special communication medium, in current pan-media era. Its independence increasingly prominent. This article mainly combs animation production technology, visual shock, psychological perspectives, analyzes reasons for failure shooting, discusses from impact different shock...
With the development of intelligent vehicles, vehicle image processing system has put forward increasing demand for computing resource utilization efficiency and real-time processing. However, traditional information method that binds software hardware severely restricts efficient use resources. In order to solve this problem, paper proposes a reconstruction scheme based on load balancing strategy, which can realize unified management dynamic allocation resources by establishing view. Then,...
摘要：前方车辆驾驶人意图信息对后方车辆预警防撞模型危险判断至关重要，针对传统防撞模型误警率高、制动不及时等问题，设计了一种考虑前方车辆驾驶人意图的汽车主动预警防撞模型
Code-graph based software defect prediction methods have become a research focus in SDP field. Among them, Code Property Graph is used as form of data representation for code defects due to its ability characterize the structural features and dependencies codes. However, since coarse granularity Graph, redundant information which not related often attached characterization defects. Thus, it problem be solved how locate at finer Graph. Static analysis technique identifying using set rules,...
Dempster-Shafer Theory is specially advantaged in information fusion, while Support Vector Machine (SVM) can well deal with high-dimensional limited sample data. This Article firstly forecasts the data samples by categories multiple SVMs, and hence based thereon, fuses resulting from SVM models using DS Theory. At end, Anderson's Iris set used to simulate system of created DS-SVM model, which shows that approaches proposed this not only increase accuracy rate forecasting but also add...
Dempster-Shafer Theory is specially advantaged in information fusion, while Support Vector Machine (SVM) can well deal with high-dimensional limited sample data.This Article firstly forecasts the data samples by categories multiple SVMs, and hence based thereon, fuses resulting from SVM models using DS theory.At end, Anderson's Iris set used to simulate system of created DS-SVM model, which shows that approaches proposed this not only increase accuracy rate forecasting but also improve...
This paper proposes a novel methodology for AMS SoC formal verification based on Hybrid Scheme combined with symbolic computing and LHPN model, FV-HS. The is concerned class of designs, continuous-time designs i.e., tunnel diode oscillator research target. Firstly, Labeled Petri Net model established safety property oscillator, then mathematical expression this extracted efficiency enhancement, proof policy built in computer algebra Maple applied to the corresponding verify property....