期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
一种在静态类型面向对象语言中构造VFCG的方法 被引量:1
1
作者 李必信 王云峰 +1 位作者 李宣东 郑国梁 《南京大学学报(自然科学版)》 CAS CSCD 2000年第2期163-170,共8页
阐述了在静态类型面向对象语言中构造虚函数调用图 (VFCG)的方法 :先构造可见方法类层次图 (VM CHG) ,再计算继承集、改写集 ,确定改写边界 ,最后利用VM CHG和改写边界构造VFCG .
关键词 继承集 改写集 VFCG 静态类型面向对象语言
下载PDF
采用了剪枝优化的子类型关系判定算法
2
作者 戴晓君 陈海明 《软件学报》 EI CSCD 北大核心 2010年第7期1481-1490,共10页
静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平... 静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算法的静态类型化XML处理语言都有效. 展开更多
关键词 XML 静态类型化语言 类型检查 类型关系判定 算法优化
下载PDF
刑法与治安管理处罚法的冲突论 被引量:9
3
作者 徐岱 《法治研究》 2014年第1期52-58,共7页
从刑法基础理论上看,刑法与部门法的关系体现为保护与被保护,刑法是部门法的最后一道防线,从刑事立法上看,刑法与部门法的关系体现为衔接、竞合、交叉,从刑法适用上看,刑法与部门法的关系体现为混同适用、责任认定不清。从立法内容上看... 从刑法基础理论上看,刑法与部门法的关系体现为保护与被保护,刑法是部门法的最后一道防线,从刑事立法上看,刑法与部门法的关系体现为衔接、竞合、交叉,从刑法适用上看,刑法与部门法的关系体现为混同适用、责任认定不清。从立法内容上看,《中华人民共和国刑法》和《中华人民共和国治安管理处罚法》存在合理衔接类型、内容一致类型和内容交叉竞合类型,在法律适用上,《刑法》在一定程度上挤占了《处罚法》的适用空间,加剧了两者的紧张关系。理性地解决冲突的路径在于以司法解释为先导,以法律解释为补充,在追求司法效率的同时,假以时日,推进立法的完善。 展开更多
关键词 刑法 治安管理处罚法 静态类型 司法解释 法律解释
下载PDF
Collapse Analysis of Imperfect Subsea Pipelines Based on 2D High-Order Nonlinear Model 被引量:3
4
作者 余建星 李智博 +1 位作者 杨源 孙震洲 《Transactions of Tianjin University》 EI CAS 2014年第3期157-162,共6页
To study the collapse of imperfect subsea pipelinos, a 2D high-order nonlinear model is developed. In this model, the large deformation of the pipes is considered by raiaining the high-order nonlinear terms of strain.... To study the collapse of imperfect subsea pipelinos, a 2D high-order nonlinear model is developed. In this model, the large deformation of the pipes is considered by raiaining the high-order nonlinear terms of strain. In addi-tion, the J2 plastic flow theory is adopted to describe the elasioplastic constitutive relations of material. The quasi-static process of collapse is analyzed by the increment method. For each load step, the equations based on the principle of virtual work are presented and solved by the discrete Newton's method. Furthermore, finite element simulations and full-scale experiments were preformed to validate the results of the model. Research on the major influencing factors of collapse pressure, including D/t, material type and initial ovality, is also presented. 展开更多
关键词 IMPERFECTION subsea pipelines COLLAPSE NONLINEARITY initial ovality
下载PDF
Static Requirement and Type's Complexity in the Diagnostics Phase
5
《Journal of Civil Engineering and Architecture》 2012年第4期489-495,共7页
The preservation of a historical building, whatever its architectural and/or artistic value, is more successful when undertaken with a deep understanding of the building's history, development, materials and construc... The preservation of a historical building, whatever its architectural and/or artistic value, is more successful when undertaken with a deep understanding of the building's history, development, materials and construction techniques. The preliminary phase of any restoration intervention must start with data acquisition regarding the characteristics and conditions of the building, including a survey of significant alterations. In a great number of cases, restorations are not respectful of the building's static efficiency, so its static requirement is weakened. In fact, a very high percentage of instances in which a restoration effort results in building damage is attributable to such modification's indifference to the structural balance of a structure, as consolidated over time. This study focuses on the restoration intervention on two trilobate pillars that separate the central space from the presbytery in the Cathedral of Matera, located in southern Italy. Through the use of sonic tests - carried out despite the complexity of the shape of the building and constructive elements that characterize these pillars -- it was possible to show the effectiveness of the implemented intervention, highlighting critical points and weaknesses. The research aims to show how -- despite the complexity of some structural elements of a building -- in-depth knowledge of a structure's structure and history is essential to for the success of restoration interventions, which are respectful of a building's type and material peculiarities. 展开更多
关键词 Structural complexity static requirements refurbishment interventions diagnosis phase CONSERVATION
下载PDF
Static Model Classification Status: Taking Into Account Emerging External Factors
6
作者 Perminov G. I. 《Journal of Modern Accounting and Auditing》 2013年第6期798-807,共10页
Analysis of the problem of predicting bankruptcy shows that foreign and domestic models included only internal factors of enterprises. But the same indicators of internal factors in the rapidly changing external envir... Analysis of the problem of predicting bankruptcy shows that foreign and domestic models included only internal factors of enterprises. But the same indicators of internal factors in the rapidly changing external environment can lead to bankruptcy, and not in others. External factors are the most dangerous, because the possible influence on them is minimal and the impact of their implementation can be devastating. This paper focuses on the same factors to assess the impact of the macroeconomic indicators (extemal factors) on the parameters of static models predicting a local approximation of the crisis at the plant. To accomplish the purpose, a Spark set of 100 companies was compiled, including 50 companies which officially declared bankruptcy in the period of 2000-2009 and 50 stable operating companies with a random sample of the same time period. External factors were extracted from the Joint Economic and Social Data Archive1 The author compared two data sets: (1) microeconomic indicators--money to the total liabilities, retained earnings to total assets, net profit to revenue, Earnings Before Interest and Taxes (EBIT) to assets, net income to equity, net profit to total liabilities, current liabilities to total assets, the totality of short-term and long-term loans to total assets, current assets to current liabilities, assets to revenue, equity to total assets, and current assets to revenue; and (2) external factors--index of real gross domestic product (GDP), industrial production index, the index of real cash incomes, an index of real investments, consumer price index, the refinancing rate, unemployment rate, the price of electricity, gas prices, oil price, gas price, dollar to ruble, ruble euro Standard & Poor (S&P) index, the Russian Trading System (RTS) index, and region. The aim of the comparison results paging classes "insolvent" and "non-bankrupt" is achieved using two methods: classification and discrimination. In both methods, computational procedures are realized with the use of algorithms linear regression, artificial neural network, and genetic algorithm. In the 2-m model, data set includes both internal and external factors. The results showed that the inclusion of only the microeconomic indicators, excluding external factors, impedes models about two times. 展开更多
关键词 bankruptcy prediction external factors methods of classification and discrimination
下载PDF
A survey of malware behavior description and analysis 被引量:5
7
作者 Bo YU Ying FANG +2 位作者 Qiang YANG Yong TANG Liu LIU 《Frontiers of Information Technology & Electronic Engineering》 SCIE EI CSCD 2018年第5期583-603,共21页
Behavior-based malware analysis is an important technique for automatically analyzing and detecting malware, and it has received considerable attention from both academic and industrial communities. By considering how... Behavior-based malware analysis is an important technique for automatically analyzing and detecting malware, and it has received considerable attention from both academic and industrial communities. By considering how malware behaves, we can tackle the malware obfuscation problem, which cannot be processed by traditional static analysis approaches, and we can also derive the as-built behavior specifications and cover the entire behavior space of the malware samples. Although there have been several works focusing on malware behavior analysis, such research is far from mature, and no overviews have been put forward to date to investigate current developments and challenges. In this paper, we conduct a survey on malware behavior description and analysis considering three aspects: malware behavior description, behavior analysis methods, and visualization techniques. First, existing behavior data types and emerging techniques for malware behavior description are explored, especially the goals, prin- ciples, characteristics, and classifications of behavior analysis techniques proposed in the existing approaches. Second, the in- adequacies and challenges in malware behavior analysis are summarized from different perspectives. Finally, several possible directions are discussed for future research. 展开更多
关键词 Malware behavior Static analysis Dynamic Analysis Behavior data expression Behavior analysis MACHINELEARNING Semantics-based analysis Behavior visualization Malware evolution
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部