期刊文献+
共找到17篇文章
< 1 >
每页显示 20 50 100
A Simplified-Syntax-Based Static Structure Model for Embedded Software Analysis
1
作者 XU Xiangyang LIU Qing +2 位作者 ZHANG Weixin YANG Guangyi LIU Jinshuo 《Wuhan University Journal of Natural Sciences》 CAS CSCD 2016年第4期324-332,共9页
In order to solve the problem that the embedded software has the shortcoming of the platform dependence, this paper presents an embedded software analysis method based on the static structure model. Before control flo... In order to solve the problem that the embedded software has the shortcoming of the platform dependence, this paper presents an embedded software analysis method based on the static structure model. Before control flow and data flow analysis, a lexical analysis/syntax analysis method with simplified grammar and sentence depth is designed to analyze the embedded software. The experiments use the open source code of smart meters as a case, and the artificial faults as the test objects, repeating 30 times. Compared with the popular static analyzing tools PC-Lint and Splint, the method can accurately orient 91% faults, which is between PC-Lint's 95% and Splint's 85%. The result indicates that the correct rate of our method is acceptable. Meanwhile, by removing the platform-dependent operation with simplified syntax analysis, our method is independent of development environment. It also shows that the method is applicable to the compiled C(including embedded software) program. 展开更多
关键词 embedded system static structure model software analysis
原文传递
Analysis software for upper atmospheric data developed by the IUGONET project and its application to polar science 被引量:2
2
作者 Yoshimasa Tanaka Atsuki Shinbori +9 位作者 Tomoaki Hori Yukinobu Koyama Shuji Abe No-rio Umemura Yuka Sato Manabu Yagi Satoru UeNo Akiyo Yatagai Yasunobu Ogawa Yoshizumi Miyoshi 《Advances in Polar Science》 2013年第4期231-240,共10页
To comprehensively understand the Arctic and Antarctic upper atmosphere, it is often crucial to analyze various data that are obtained from many regions. Infrastructure that promotes such interdisciplinary studies on ... To comprehensively understand the Arctic and Antarctic upper atmosphere, it is often crucial to analyze various data that are obtained from many regions. Infrastructure that promotes such interdisciplinary studies on the upper atmosphere has been developed by a Japanese inter-university project called the Inter-university Upper atmosphere Global Observation Network (1UGONET). The objective of this paper is to describe the infrastructure and tools developed by IUGONET. We focus on the data analysis software. It is written in Interactive Data Language (IDL) and is a plug-in for the THEMIS Data Analysis Software suite (TDAS), which is a set of IDL libraries used to visualize and analyze satellite- and ground-based data. We present plots of upper atmospheric data provided by IUGONET as examples of applications, and verify the usefulness of the software in the study of polar science. We discuss IUGONET's new and unique developments, i.e., an executable file of TDAS that can run on the IDL Virtual Machine, IDL routines to retrieve metadata from the IUGONET database, and an archive of 3-D simulation data that uses the Common Data Format so that it can easily be used with TDAS. 展开更多
关键词 data analysis software metadata database upper atmosphere ground-based observation polar science interdisciplinary study IUGONET
下载PDF
A Software Risk Analysis Model Using Bayesian Belief Network 被引量:1
3
作者 Yong Hu Juhua Chen +2 位作者 Mei Liu Xang Yun Junbiao Tang 《南昌工程学院学报》 CAS 2006年第2期102-106,共5页
The uncertainty during the period of software project development often brings huge risks to contractors and clients. If we can find an effective method to predict the cost and quality of software projects based on fa... The uncertainty during the period of software project development often brings huge risks to contractors and clients. If we can find an effective method to predict the cost and quality of software projects based on facts like the project character and two-side cooperating capability at the beginning of the project,we can reduce the risk. Bayesian Belief Network(BBN) is a good tool for analyzing uncertain consequences, but it is difficult to produce precise network structure and conditional probability table.In this paper,we built up network structure by Delphi method for conditional probability table learning,and learn update probability table and nodes’confidence levels continuously according to the application cases, which made the evaluation network have learning abilities, and evaluate the software development risk of organization more accurately.This paper also introduces EM algorithm, which will enhance the ability to produce hidden nodes caused by variant software projects. 展开更多
关键词 software risk analysis Bayesian Belief Network EM algorithm parameter learning
下载PDF
Development of SPM Quantitative Micromorphology Analysis Software
4
作者 Suozai Li Libing Liao(School of Materials Science and Engineering, China University of Geosciences, Beijing 100083, China) 《International Journal of Minerals,Metallurgy and Materials》 SCIE EI CAS CSCD 1999年第2期136-138,共3页
Scanning Probe Microscope (SPM) has great advantages in quantitative micromorphology analysis because of its conveniencein obtaining micromorphology information of materials on nanometer or atomic scale under control ... Scanning Probe Microscope (SPM) has great advantages in quantitative micromorphology analysis because of its conveniencein obtaining micromorphology information of materials on nanometer or atomic scale under control of a computer. Based on an established SPM quantitative micromorphology analysis model, an SPM image analysis software Which can calculate both two- and three-dimensional micromorphology parameters is developed. 展开更多
关键词 SPM quantitative micromorphology analysis software
下载PDF
Research on Application of Enhanced Neural Networks in Software Risk Analysis
5
作者 Zhenbang Rong Juhua Chen +1 位作者 Mei Liu Yong Hu 《南昌工程学院学报》 CAS 2006年第2期112-116,121,共6页
This paper puts forward a risk analysis model for software projects using enranced neural networks.The data for analysis are acquired through questionnaires from real software projects. To solve the multicollinearity ... This paper puts forward a risk analysis model for software projects using enranced neural networks.The data for analysis are acquired through questionnaires from real software projects. To solve the multicollinearity in software risks, the method of principal components analysis is adopted in the model to enhance network stability.To solve uncertainty of the neural networks structure and the uncertainty of the initial weights, genetic algorithms is employed.The experimental result reveals that the precision of software risk analysis can be improved by using the erhanced neural networks model. 展开更多
关键词 software risk analysis principal components analysis back propagation neural networks genetic algorithms
下载PDF
Android Apps:Static Analysis Based on Permission Classification 被引量:3
6
作者 Zhenjiang Dong Hui Ye +2 位作者 Yan Wu Shaoyin Cheng Fan Jiang 《ZTE Communications》 2013年第1期62-66,共5页
I IntroductionSmartphones have become more complex in terms of functions and third-party applications, and this makes lhem a living space for malware. People store private information such as accounts and passwordson ... I IntroductionSmartphones have become more complex in terms of functions and third-party applications, and this makes lhem a living space for malware. People store private information such as accounts and passwordson their smartphones, the loss of which could have serious con- sequences. 展开更多
关键词 MALWARE software analysis static analysis ANDROID
下载PDF
Stability analysis of underground surrounding rock mass based on block theory 被引量:9
7
作者 LIN Jian-yun ZUO Yu-jun +4 位作者 WANG Jian ZHENG Lu-jing CHEN Bin SUN Wen-ji-bin LIU Hao 《Journal of Central South University》 SCIE EI CAS CSCD 2020年第10期3040-3052,共13页
Evaluation of the performance of existing support in underground tunnels is of great importance for production and interests.Based on field investigation,the shape and number of joints and fractures were investigated ... Evaluation of the performance of existing support in underground tunnels is of great importance for production and interests.Based on field investigation,the shape and number of joints and fractures were investigated in the mining area.Then,the stability of each structural blocks is analyzed by 3D wedge stability analysis software(Unwedge).Moreover,a new analysis method based on critical block theory is applied to analyze the stability of excavated laneways in continuous and discontinuous rock and monitor the stress changes in a fractured tunnel rock mass.The test results indicate that the 3D wedge stability analysis software for underground excavation can evaluate deep tunnel support.Besides,there is no direct relation between the size of the block and the instability of the tunnel.The support method,on large and thick key blocks,needs to be improved.In a broken tunnel section,U-shaped steel support can effectively promote the stress state of the surrounding rock.By monitoring the surrounding rock,it is proven that the vibrating string anchor stress monitoring system is an efficient and real-time method for tunnel stability evaluation. 展开更多
关键词 block theory Unwedge analysis software stress monitoring system support evaluation
下载PDF
X-ray diffraction analysis of cold-worked Cu-Ni-Si and Cu-Ni-Si-Cr alloys by Rietveld method 被引量:3
8
作者 A.KHEREDDINE F.HADJ LARBI +3 位作者 L.DJEBALA H.AZZEDDINE B.ALILI D.BRADAI 《Transactions of Nonferrous Metals Society of China》 SCIE EI CAS CSCD 2011年第3期482-487,共6页
Cold worked and annealed supersaturated Cu-2.65Ni-0.6Si and Cu-2.35Ni-0.6Si-0.6Cr alloys were studied. The microstructural parameters evolution, including crystallite size, root mean square strain and dislocation dens... Cold worked and annealed supersaturated Cu-2.65Ni-0.6Si and Cu-2.35Ni-0.6Si-0.6Cr alloys were studied. The microstructural parameters evolution, including crystallite size, root mean square strain and dislocation density was analyzed using Materials Analysis Using Diffraction software (MAUD). The parameters for both alloys have typical values of cold deformed and subsequently annealed copper based alloy. A net change of the crystallite size, root mean square strain and dislocation density values of the alloys aged at 450 °C for 2.5-3 h seems corresponding to the recovery and recrystallization processes. Addition of Cr as quaternary element did not lead to any drastic changes of post deformation or ageing microstructural parameters and hence of recovery-recrystallization kinetics. 展开更多
关键词 Cu-Ni-Si alloy microstructure XRD line profile analysis Materials analysis Using Diffraction software
下载PDF
An integrated analysis platform merging SuperDARN data within the THEMIS tool developed by ERG-Science Center (ERG-SC)
9
作者 Tomoaki Hori Nozomu Nishitani +9 位作者 Yoshizumi Miyoshi Yukinaga Miyashita Kanako Seki Tomonori Segawa Keisuke Hosokawa Akira S Yukimatu Yoshimasa Tanaka Natsuo Sato Manabu Kunitake Tsutomu Nagatsuma 《Advances in Polar Science》 2013年第1期69-77,共9页
The Energization and Radiation in Geospace (ERG) mission seeks to explore the dynamics of the radiation belts in the Earth's inner magnetosphere with a space-borne probe (ERG satellite) in coordination with relat... The Energization and Radiation in Geospace (ERG) mission seeks to explore the dynamics of the radiation belts in the Earth's inner magnetosphere with a space-borne probe (ERG satellite) in coordination with related ground observations and simulations/modeling studies. For this mission, the Science Center of the ERG project (ERG-SC) will provide a useful data analysis platform based on the THEMIS Data Analysis software Suite (TDAS), which has been widely used by researchers in many conjunction studies of the Time History of Events and Macroscale Interactions during Substorms (THEMIS) spacecraft and ground data. To import SuperDARN data to this highly useful platform, ERG-SC, in close collaboration with SuperDARN groups, developed the Common Data Format (CDF) design suitable for fitacf data and has prepared an open database of SuperDARN data archived in CDE ERG-SC has also been developing programs written in Interactive Data Language (IDL) to load fltacf CDF files and to generate various kinds of plots-not only range-time-intensity-type plots but also two-dimensional map plots that can be superposed with other data, such as all-sky images of THEMIS-GBO and orbital footprints of various satellites. The CDF-TDAS scheme developed by ERG-SC will make it easier for researchers who are not familiar with SuperDARN data to access and analyze SuperDARN data and thereby facilitate collaborative studies with satellite data, such as the inner magnetosphere data pro- vided by the ERG (Japan)-RBSP (USA)-THEMIS (USA) fleet. 展开更多
关键词 ERG Science Center SUPERDARN database data analysis software TItEMIS Common Data Format
下载PDF
Development of an automated system for continuous monitoring of powered roof support in longwall panel 被引量:1
10
作者 ATULKumar DHEERAJKumar +1 位作者 SINGHU.K. GUPTAP.S. 《Journal of Coal Science & Engineering(China)》 2010年第4期337-340,共4页
Described the development of an Intrinsically Safe System for continuous monitoring of load and convergence of powered roof supports installed at Iongwall faces. The system developed for monitoring of behavior of a po... Described the development of an Intrinsically Safe System for continuous monitoring of load and convergence of powered roof supports installed at Iongwall faces. The system developed for monitoring of behavior of a powered support in a mechanized Iongwall sublevel caving face. The logging system can be programmed for logging the data from the sensors at different logging intervals ranging from 16 h to 1 ms for logging variation in hydraulic pressures in legs and convergence of the support during progressive face advance. For recording dynamic loads, the data logger can be programmed to start fast logging, say at 10 ms intervals, when the pressure in a leg reaches a pre-specified threshold value, and continue fast logging until the pressure drops below this threshold value. This fast logging automatically stops when the pressure drops below this threshold value. 展开更多
关键词 data logging system CONVERGENCE leg pressure software analysis
下载PDF
Data Processing System (DPS) software with experimental design, statistical analysis and data mining developed for use in entomological research 被引量:361
11
作者 Qi-Yi Tang Chuan-Xi Zhang 《Insect Science》 SCIE CAS CSCD 2013年第2期254-260,共7页
A comprehensive but simple-to-use software package called DPS (Data Pro- cessing System) has been developed to execute a range of standard numerical analyses and operations used in experimental design, statistics an... A comprehensive but simple-to-use software package called DPS (Data Pro- cessing System) has been developed to execute a range of standard numerical analyses and operations used in experimental design, statistics and data mining. This program runs on standard Windows computers. Many of the functions are specific to entomological and other biological research and are not found in standard statistical sottware. This paper presents applications of DPS to experimental design, statistical analysis and data mining in entomology. 展开更多
关键词 data mining DPS entomological research experimental design software statistical analysis
原文传递
Study on the thermal environment of rural residential buildings in winter in the Guanzhong region of Shaanxi
12
作者 WEI Na GUO Yue +2 位作者 FENG Xin-ya CAO Xiao-ying SU Ling-jun 《Ecological Economy》 2023年第1期77-88,共12页
In order to study the thermal environment of rural dwellings in cold areas,the physical environment of rural dwellings in the Guanzhong region was taken as the research object.The thermal environment parameters,such a... In order to study the thermal environment of rural dwellings in cold areas,the physical environment of rural dwellings in the Guanzhong region was taken as the research object.The thermal environment parameters,such as indoor and outdoor temperature and humidity,wall surface temperature of existing dwellings were measured,recorded,and analysed using physical environment measurements and numerical software simulations.By using Ecotect Analysis software to optimize the building envelope of existing residential buildings,the thermal analysis shows that the optimized building envelope reduces the heat transfer coefficient,increases thermal insulation,reduces building energy consumption by 59%,and increases the human comfort PMV from-2.01 to-1.40.These findings provide theoretical and data support for the construction of rural dwellings in cold regions and for research into thermal environments. 展开更多
关键词 rural dwellings thermal environment ENVELOPE Ecotect analysis software
下载PDF
Computational studies on magnetism and ferroelectricity
13
作者 Ke Xu Junsheng Feng Hongjun Xiang 《Chinese Physics B》 SCIE EI CAS CSCD 2022年第9期76-86,共11页
Magnetics,ferroelectrics,and multiferroics have attracted great attentions because they are not only extremely im-portant for investigating fundamental physics,but also have important applications in information techn... Magnetics,ferroelectrics,and multiferroics have attracted great attentions because they are not only extremely im-portant for investigating fundamental physics,but also have important applications in information technology.Here,recent computational studies on magnetism and ferroelectricity are reviewed.We first give a brief introduction to magnets,fer-roelectrics,and multiferroics.Then,theoretical models and corresponding computational methods for investigating these materials are presented.In particular,a new method for computing the linear magnetoelectric coupling tensor without applying an external field in the first principle calculations is proposed for the first time.The functionalities of our home-made Property Analysis and Simulation Package for materials(PASP)and its applications in the field of magnetism and ferroelectricity are discussed.Finally,we summarize this review and give a perspective on possible directions of future computational studies on magnetism and ferroelectricity. 展开更多
关键词 MAGNETS FERROELECTRICS MULTIFERROICS Monte Carlo simulation four-state method DFT calculation Property analysis and Simulation Package for materials(PASP)software
下载PDF
Software defect prevention based on human error theories 被引量:1
14
作者 Fuqun HUANG Bin LIU 《Chinese Journal of Aeronautics》 SCIE EI CAS CSCD 2017年第3期1054-1070,共17页
Software defect prevention is an important way to reduce the defect introduction rate.As the primary cause of software defects,human error can be the key to understanding and preventing software defects.This paper pro... Software defect prevention is an important way to reduce the defect introduction rate.As the primary cause of software defects,human error can be the key to understanding and preventing software defects.This paper proposes a defect prevention approach based on human error mechanisms:DPe HE.The approach includes both knowledge and regulation training in human error prevention.Knowledge training provides programmers with explicit knowledge on why programmers commit errors,what kinds of errors tend to be committed under different circumstances,and how these errors can be prevented.Regulation training further helps programmers to promote the awareness and ability to prevent human errors through practice.The practice is facilitated by a problem solving checklist and a root cause identification checklist.This paper provides a systematic framework that integrates knowledge across disciplines,e.g.,cognitive science,software psychology and software engineering to defend against human errors in software development.Furthermore,we applied this approach in an international company at CMM Level 5 and a software development institution at CMM Level 1 in the Chinese Aviation Industry.The application cases show that the approach is feasible and effective in promoting developers' ability to prevent software defects,independent of process maturity levels. 展开更多
关键词 Human factor Human error Programming Root cause analysis software defect prevention software design software quality software psychology
原文传递
A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS 被引量:3
15
作者 Deepak KAPUR 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2006年第3期307-330,共24页
A method using quantifier-elimination is proposed for automatically generating program invariants/inductive assertions. Given a program, inductive assertions, hypothesized as parameterized formulas in a theory, are as... A method using quantifier-elimination is proposed for automatically generating program invariants/inductive assertions. Given a program, inductive assertions, hypothesized as parameterized formulas in a theory, are associated with program locations. Parameters in inductive assertions are discovered by generating constraints on parameters by ensuring that an inductive assertion is indeed preserved by all execution paths leading to the associated location of the program. The method can be used to discover loop invariants-properties of variables that remain invariant at the entry of a loop. The parameterized formula can be successively refined by considering execution paths one by one; heuristics can be developed for determining the order in which the paths are considered. Initialization of program variables as well as the precondition and postcondition, if available, can also be used to further refine the hypothesized invariant. The method does not depend on the availability of the precondition and postcondition of a program. Constraints on parameters generated in this way are solved for possible values of parameters. If no solution is possible, this means that an invariant of the hypothesized form is not likely to exist for the loop under the assumptions/approximations made to generate the associated verification condition. Otherwise, if the parametric constraints are solvable, then under certain conditions on methods for generating these constraints, the strongest possible invariant of the hypothesized form can be generated from most general solutions of the parametric constraints. The approach is illustrated using the logical languages of conjunction of polynomial equations as well as Presburger arithmetic for expressing assertions. 展开更多
关键词 Automated software analysis and verification inductive assertion loop invariant quantifier elimination.
原文传递
A Hybrid Instance Selection Using Nearest-Neighbor for Cross-Project Defect Prediction 被引量:10
16
作者 Duksan Ryu Jong-In Jang Jongmoon Baik 《Journal of Computer Science & Technology》 SCIE EI CSCD 2015年第5期969-980,共12页
Software defect prediction (SDP) is an active research field in software engineering to identify defect-prone modules. Thanks to SDP, limited testing resources can be effectively allocated to defect-prone modules. A... Software defect prediction (SDP) is an active research field in software engineering to identify defect-prone modules. Thanks to SDP, limited testing resources can be effectively allocated to defect-prone modules. Although SDP requires sufficient local data within a company, there are cases where local data are not available, e.g., pilot projects. Companies without local data can employ cross-project defect prediction (CPDP) using external data to build classifiers. The major challenge of CPDP is different distributions between training and test data. To tackle this, instances of source data similar to target data are selected to build classifiers. Software datasets have a class imbalance problem meaning the ratio of defective class to clean class is far low. It usually lowers the performance of classifiers. We propose a Hybrid Instance Selection Using Nearest-Neighbor (HISNN) method that performs a hybrid classification selectively learning local knowledge (via k-nearest neighbor) and global knowledge (via na/ve Bayes). Instances having strong local knowledge are identified via nearest-neighbors with the same class label. Previous studies showed low PD (probability of detection) or high PF (probability of false alarm) which is impractical to overall performance as well as high PD and low PF. use. The experimental results show that HISNN produces high overall performance as well as high PD and low PF. 展开更多
关键词 software defect analysis instance-based learning nearest-neighbor algorithm data cleaning
原文传递
Identifying Composite Crosscutting Concerns with Scatter-Based Graph Clustering
17
作者 HUANG Jin BETEV Latchezar +2 位作者 CARMINATI Federico ZHU Jianlin LU Yansheng 《Wuhan University Journal of Natural Sciences》 CAS 2012年第2期114-120,共7页
Identifying composite crosscutting concerns(CCs) is a research task and challenge of aspect mining.In this paper,we propose a scatter-based graph clustering approach to identify composite CCs.Inspired by the state-o... Identifying composite crosscutting concerns(CCs) is a research task and challenge of aspect mining.In this paper,we propose a scatter-based graph clustering approach to identify composite CCs.Inspired by the state-of-the-art link analysis tech-niques,we propose a two-state model to approximate how CCs tangle with core modules.According to this model,we obtain scatter and centralization scores for each program element.Espe-cially,the scatter scores are adopted to select CC seeds.Further-more,to identify composite CCs,we adopt a novel similarity measurement and develop an undirected graph clustering to group these seeds.Finally,we compare it with the previous work and illustrate its effectiveness in identifying composite CCs. 展开更多
关键词 software engineering aspect mining link analysis undirected graph clustering
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部