检索结果-内蒙古大学图书馆

AMCheX: Accurate Analysis of Missing-Check Bugs for Linux Kernel

Journal of Computer Science & Technology 2021年第6期36卷 1325-1341页

作者： Ying-Jie Wang Liang-Ze Yin Wei Dong Key Laboratory of Software Engineering for Complex Systems College of Computer Science National University of Defense TechnologyChangsha 410073China

The Linux kernel adopts a large number of security checks to prevent security-sensitive operations from being executed under unsafe *** a security-sensitive operation is unchecked,a missing-check issue *** check is a class of severe bugs in software programs especially in operating system kernels,which may cause a variety of security issues,such as out-of-bound accesses,permission bypasses,and privilege *** to the lack of security specifications,how to automatically identify security-sensitive operations and their required security checks in the Linux kernel becomes a challenge for missing-check *** this paper,we present an accurate missing-check analysis method for Linux kernel,which can automatically infer possible security-sensitive ***,we first automatically identify all possible security check functions of *** according to their callsites,a two-direction analysis method is leveraged to identify possible security-sensitive operations.A missing-check bug is reported when the security-sensitive operation is not protected by its corresponding security *** have implemented our method as a tool,named AMCheX,on top of the LLVM(Low Level Virtual Machine)framework and evaluated it on the Linux *** reported 12 new missing-check bugs which can cause security *** of them have been confirmed by Linux maintainers.

关键词： security check function security-sensitive operation program analysis missing-check

来源：评论

学校读者我要写书评

暂无评论

Demonstration of the refined three-dimensional structure of mesoscale eddies and computational error estimates via Lagrangian analysis

引用

Acta Oceanologica Sinica 2020年第7期39卷 146-164页

作者： Heqing Yin Haijin Dai Weimin Zhang Xueyan Zhang Pinqiang Wang College of Meteorology and Oceanography National University of Defense TechnologyChangsha 410073China Laboratory of Software Engineering for Complex Systems Changsha 410073China

In previous studies,Lagrangian analyses were used to assess large-scale ocean circulation,and the Lagrangian coherent structure could also reveal the evolution of the two-dimensional structure of the mesoscale ***,few studies have demonstrated the three-dimensional structure of the mesoscale eddies via Lagrangian *** with previous studies,which investigated the eddy structure via a Eulerian view,we used a Lagrangian view to provide a different perspective to study the eddy *** idealized cyclonic mesoscale eddy is built up over a seamount,and it presents downwelling inside the eddy and upwelling alongside the eddy formed within a closed circulation *** structure is difficult to display via a Eulerian ***,the trajectories of particles can well demonstrate the full cycle:the fluid sank and rotated inside the eddies,converged to the upwelling zone of the bottom layer and returned to the surface through *** also applied a Lagrangian analysis to a realistic *** a significant phenomenon in the South China Sea,the dipole structure of the anticyclonic eddy(AE)/cyclonic eddy(CE)pair off of central Vietnam has been well studied but mainly at the sea *** a Lagrangian analysis,we illustrate the three-dimensional structure of the eddy pair:the fluid sank(rose)and rotated inside the AE(CE).More importantly,the trajectories of the particles suggested that there was no fluid exchange between the two eddies since the strong boundary jet separates them from each *** the conclusions above have been verified and are supported by the computational error *** a selected time step and integral period,the computational errors always present small values,although they increase with strong divergent and vertical diffusive flow.

关键词： mesoscale eddy Lagrangian analysis three-dimensional structure

来源：评论

学校读者我要写书评

暂无评论

Assimilating satellite SST/SSH and in-situ T/S profiles with the Localized Weighted Ensemble Kalman Filter

引用

Acta Oceanologica Sinica 2022年第2期41卷 26-40页

作者： Meng Shen Yan Chen Pinqiang Wang Weimin Zhang College of Meteorology and Oceanology National University of Defense TechnologyChangsha 410073China Laboratory of Software Engineering for Complex Systems Changsha 410073China

The Localized Weighted Ensemble Kalman Filter(LWEnKF)is a new nonlinear/non-Gaussian data assimilation(DA)method that can effectively alleviate the filter degradation problem faced by particle filtering,and it has great prospects for applications in geophysical *** terms of operational applications,along-track sea surface height(AT-SSH),swath sea surface temperature(S-SST)and in-situ temperature and salinity(T/S)profiles are assimilated using the LWEnKF in the northern South China Sea(SCS).To adapt to the vertical S-coordinates of the Regional Ocean Modelling System(ROMS),a vertical localization radius function is designed for T/S profiles assimilation using the *** results show that the LWEnKF outperforms the local particle filter(LPF)due to the introduction of the Ensemble Kalman Filter(EnKF)as a proposal density;the RMSEs of SSH and SST from the LWEnKF are comparable to the EnKF,but the RMSEs of T/S profiles reduce significantly by approximately 55%for the T profile and 35%for the S profile(relative to the EnKF).As a result,the LWEnKF makes more reasonable predictions of the internal ocean temperature *** addition,the three-dimensional structures of nonlinear mesoscale eddies are better characterized when using the LWEnKF.

关键词： data assimilation Localized Weighted Ensemble Kalman Filter northern South China Sea sea surface height sea surface temperature temperature and salinity profiles mesoscale eddy

来源：评论

学校读者我要写书评

暂无评论

Application Specified Soft-Error Failure Rate Analysis Using Sequential Equivalence Checking Techniques

引用

Tsinghua Science and Technology 2020年第1期25卷 103-116页

作者： Tun Li Qinhan Yu Hai Wan Sikun Li School of Computer Science National University of Defense TechnologyChangsha 410073China the Laboratory of Software Engineering for Complex Systems National University of Defense TechnologyChangsha 410073China. School of Software Tsinghua UniversityBeijing 100084China

Soft errors have become a critical challenge as a result of technology scaling. Existing circuit-hardening techniques are commonly associated with prohibitive overhead of performance, area, and power. However,evaluating the influence of soft errors in Flip-Flops(FFs) on the failure of circuit is a difficult verification ***, we proposed a novel flip-flop soft-error failure rate analysis methodology using a formal method with respect to application behaviors. Approach and optimization techniques to implement the proposed methodology based on the given formula using Sequential Equivalence Checking(SEC) are introduced. The proposed method combines the advantage of formal technique-based approaches in completeness and the advantage of application behaviors in accuracy to differentiate vulnerability of components. As a result, the FFs in a circuit are sorted by their failure rates, and designers can use this information to perform optimal hardening of selected sequential components against soft errors. Experimental results of an implementation of a SpaceWire end node and the largest ISCAS’89 benchmark sequential circuits indicate the feasibility and potential scalability of our approach. A case study on an instruction decoder of a practical 32-bit microprocessor demonstrates the applicability of our method.

关键词： soft error failure rate analysis Sequential Equivalence Checking(SEC) application specified

来源：评论

学校读者我要写书评

暂无评论

Towards functional verifying a family of SystemC TLMs

引用

Frontiers of Computer Science 2020年第1期14卷 53-66页

作者： Tun LI Jun YE Qingping TAN College of Computer National University of Defense TechnologyChangsha 410073China Laboratory of Software Engineering for Complex Systems Changsha 410073China Jiangnan Institute of Computing Technology Wuxi 214083China

It is often the case that in the development of a system-on-a-chip(SoC)design,a family of SystemC transaction level models(TLM)is *** in the same family often share common functionalities but differ in their timing,implementation,configuration and performance in various SoC developing *** most cases,all the TLMs in a family must be verified for the follow-up design *** our previous work,we proposed to call such family TLM product line(TPL),and proposed feature-oriented(FO)design methodology for efficient TPL ***,developers can only verify TLM in a family one by one,which causes large portion of duplicated verification ***,in our proposed methodology,functional verification of TPL has become a *** this paper,we proposed a novel TPL verification method for FO *** our method,for the given property,we can exponentially reduce the number of TLMs to be verified by identifying mutefeature-modules(MFM),which will avoid duplicated *** proposed method is presented in informal and formal way,and the correctness of it is *** theoretical analysis and experimental results on a real design show the correctness and efficiency of the proposed method.

关键词： system-on-a-chip transaction level model SystemC feature-oriented functional verification

来源：评论

学校读者我要写书评

暂无评论

Detecting Duplicate Contributions in Pull-Based Model CombiningTextual and Change Similarities

引用

Journal of Computer Science & Technology 2021年第1期36卷 191-206页

作者： Zhi-Xing Li Yue Yu Tao Wang Gang Yin Xin-Jun Mao Huai-Min Wang Key Laboratory of Parallel and Distributed Computing College of ComputerNational University of Defense Technology Changsha 410073China Laboratory of Software Engineering for Complex Systems College of ComputerNational University of Defense TechnologyChangsha 410073China

Communication and coordination between OSS developers who do not work physically in the same location have always been the challenging *** pull-based development model,as the state-of-art collaborative development mechanism,provides high openness and transparency to improve the visibility of contributors'***,duplicate contributions may still be submitted by more than one contributors to solve the same problem due to the parallel and uncoordinated nature of this *** not detected in time,duplicate pull-requests can cause contributors and reviewers to waste time and energy on redundant *** this paper,we propose an approach combining textual and change similarities to automatically detect duplicate contributions in pull-based model at submission *** a new-arriving contribution,we first compute textual similarity and change similarity between it and other existing *** then our method returns a list of candidate duplicate contributions that are most similar with the new contribution in terms of the combined textual and change *** evaluation shows that 83.4%of the duplicates can be found in average when we use the combined textual and change similarity compared to 54.8%using only textual similarity and 78.2%using only change similarity.

关键词： Pull-request Duplicate detection textual similarity change similarity

来源：评论

学校读者我要写书评

暂无评论

Improving students’programming quality with the continuous inspection process:a social coding perspective

引用

Frontiers of Computer Science 2020年第5期14卷 43-60页

作者： Yao Lu Xinjun Mao Tao Wang Gang Yin Zude Li College of Computer National University of Defense TechnologyChangsha410073China Key Laboratory of Software Engineering for Complex Systems Changsha410073China School of Information Science and Engineering Central South UniversityChangsha410012China

College students majoring in computer science and software engineering need to master skills for high-quality ***,rich research has shown that both the teaching and learning of high-quality programming are challenging and deficient in most college education ***,the continuous inspection paradigm has been widely used by developers on social coding sites(e.g.,GitHub)as an important method to ensure the internal quality of massive code *** paper presents a case where continuous inspection is introduced into the classroom setting to improve students’programming *** the study,we first designed a specific continuous inspection process for students’collaborative projects and built an execution environment for the *** then conducted a controlled experiment with 48 students from the same course during two school years to evaluate how the process affects their programming *** results show that continuous inspection can help students in identifying their bad coding habits,mastering a set of good coding rules and significantly reducing the density of code quality issues introduced in the ***,we describe the lessons learned during the study and propose ideas to replicate and improve the process and its execution platform.

关键词： continuous inspection programming quality SonarQube

来源：评论

学校读者我要写书评

暂无评论

Research on real-Time facial landmark detection model that can deal with occlusion

Research on real-Time facial landmark detection model that c...

引用

2021 International Conference on Computer Vision and Pattern Analysis, ICCPA 2021

作者： Lv, Shulin Wu, Shang Liu, Jie Gong, Chunye Laboratory of Software Engineering for Complex Systems National University of Defense Technology Changsha410073 China

ISBN: (数字)9781510651937

ISBN: (纸本)9781510651920

With the wide use of face tasks on mobile terminals, facial landmark detection faces new challenges of real-Time and occlusion. Therefore, this paper designs a real-Time facial landmark detection model that can deal with occlusion. The model of this paper includes the backbone network and the auxiliary network. The function of the backbone network is to locate facial landmarks. The backbone network uses the lightweight network module ShufflenetV2 to ensure the realtime reasoning of the model, and uses dynamic convolution and Wing loss function to improve the positioning accuracy of the model. The function of the auxiliary network is to predict landmarks' visibility. The auxiliary network helps the backbone network focusing attention on visible landmarks, so as to deal with occlusion. The experimental results show that the size of the model is 1.3MB, the reasoning speed of the model on Intel i5-8250u CPU is 64.63 pictures per second, and the prediction accuracy on the WFLW dataset of the model is 85.72%. The model performs better than PFLD in size, speed, and accuracy. © COPYRIGHT SPIE. Downloading of the abstract is permitted for personal use only.

关键词： Face recognition

来源：评论

学校读者我要写书评

暂无评论

ProSy: API-Based Synthesis with Probabilistic Model

引用

Journal of Computer Science & Technology 2020年第6期35卷 1234-1257页

作者： Bin-Bin Liu Wei Dong Jia-Xin Liu Ya-Ting Zhang Dai-Yan Wang College of Computer Science National University of Defense TechnologyChangsha 410072China Key Laboratory of Software Engineering for Complex Systems College of Computer ScienceNational University of Defense TechnologyChangsha 410072China

Program synthesis is an exciting topic that desires to generate programs satisfying user intent automatically. But in most cases, only small programs for simple or domain-specific tasks can be synthesized. The major obstacle of synthesis lies in the huge search space. A common practice in addressing this problem is using a domain-specific language, while many approaches still wish to synthesize programs in general programming languages. With the rapid growth of reusable libraries, component-based synthesis provides a promising way, such as synthesizing Java programs which are only composed of APIs (application programming interfaces). However, the efficiency of searching for proper solutions for complex tasks is still a challenge. Given an unfamiliar programming task, programmers would search for API usage knowledge from various coding resources to reduce the search space. Considering this, we propose a novel approach named ProSy to synthesize API-based programs in Java. The key novelty is to retrieve related knowledge from Javadoc and Stack Overflow and then construct a probabilistic reachability graph. It assigns higher probabilities to APIs that are more likely to be used in implementing the given task. In the synthesis process, the program sketch with a higher probability will be considered first;thus, the number of explored reachable paths would be decreased. Some extension and optimization strategies are further studied in the paper. We implement our approach and conduct several experiments on it. We compare ProSy with SyPet and other state-of-the-art API-based synthesis approaches. The experimental results show that ProSy reduces the synthesis time of SyPet by up to 80%.

关键词： application programming interface(API)-based program Petri net probabilistic reachability graph program synthesis

来源：评论

学校读者我要写书评

暂无评论

A Gaussian process regression-based sea surface temperature interpolation algorithm

引用

Journal of Oceanology and Limnology 2021年第4期39卷 1211-1221页

作者： Yongshun ZHANG Miao FENG Weimin ZHANG Huizan WANG Pinqiang WANG College of Meteorology and Oceanography National University of Defense TechnologyChangsha 410073China Key Laboratory of Software Engineering for Complex Systems National University of Defense TechnologyChangsha 410073China

The resolution of ocean reanalysis datasets is generally low because of the limited resolution of their associated numerical ***-resolution ocean reanalysis datasets are therefore usually interpolated to provide an initial or boundary field for higher-resolution regional ocean ***,traditional interpolation methods(nearest neighbor interpolation,bilinear interpolation,and bicubic interpolation)lack physical constraints and can generate significant errors at land-sea boundaries and around *** this paper,a machine learning method is used to design an interpolation algorithm based on Gaussian process *** method uses a multiscale kernel function to process two-dimensional space meteorological ocean processes and introduces multiscale physical feature information(sea surface wind stress,sea surface heat flux,and ocean current velocity).This greatly improves the spatial resolution of ocean features and the interpolation *** eff ectiveness of the algorithm was validated through interpolation experiments relating to sea surface temperature(SST).The root mean square error(RMSE)of the interpolation algorithm was 38.9%,43.7%,and 62.4%lower than that of bilinear interpolation,bicubic interpolation,and nearest neighbor interpolation,*** interpolation accuracy was also significantly better in off shore area and around *** algorithm has an acceptable runtime cost and good temporal and spatial generalizability.

关键词： Gaussian process regression sea surface temperature(SST) machine learning kernel function spatial interpolation

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：