在电力系统规划设计和在线应用方面，静态安全分析已成为近年来深感兴趣的课题。
Recently, the analysis of static security in relation to power system planning and on-line applications has become a subject of increased interest.
为解决上述问题，本文主要研究了两个问题：远方互投方案研究和静态安全分析软件开发。
To resolve these problems, this paper on two issues: the program for Remote BATS research and static security analysis software development.
电力系统的静态安全分析是能量管理系统的重要组成部分，是保证系统安全运行的重要手段。
Static security analysis is an important component of energy management system, as an important means to ensure secure operation.
在电力系统静态安全分析中，静态N - 1支路开断模拟的主要分析方法有直流潮流法、补偿法以及灵敏度分析法等。
In static security analysis, the principal methods for static N-1 branch outage simulation include DC power method, compensation method and sensitivity analysis method.
对东北地区某供电局某一周的检修计划进行优化计算的结果表明：本文所提出的检修计划模型和算法以及静态安全分析中应用的相关算法和指标是正确而有效的。
The proposed model and method of maintenance schedules and static safety analysis are applied to a practical system, and numerical results verify the correctness and validity of them.
本文在对公共信息模型研究的基础上，根据CIM规定的语法和语义，对CIM进行了扩展，设计了预想故障集特有的类，并提出了一个基于CIM通用的静态安全分析软件。
This paper presents an extension of CIM to include a unique class representing the anticipated fault set and develops a software package for static security analysis based on CIM.
这种技术保持使系统安全的一种有效的方法，但是因为并没有真正地清除数据(仅仅以它作为条件)，那么当前的静态分析工具就不能适当地分析这样的代码。
This technique is a valid way to keep the system secure, but because there is no real sanitization of the data (only conditions on it), current static analysis tools do not properly analyze such code.
这个假定，虽然对编译器最优化使用的各种静态分析来说是安全的，但是由于增加了时间和空间的代价，会致反病毒技术于不利处境。
This assumption, though safe for various static analyses for compiler optimizations, could spell doom for an anti-virus technology by increasing the time and space costs of the analyses.
对于Web应用程序，安全静态分析最重要的类型叫做污染流分析。
For Web applications, the most important type of security static analysis is called taint flow analysis.
提出了一个静态分析，动态验证的安全漏洞检测模型。
Propose a security vulnerabilities detection model which use static analysis and dynamic verification strategy.
通过对一实际钢栈桥动、静态应力的测试和分析，提出了保证栈桥安全承载的措施。
This article offers some measures for ensuring a safe loading of landing stages after testing and analyzing the dynamic and static stress of a sample landing stage.
故障树分析法(FTA)用于静态分析系统失效的可能事件和状态，是分析安全苛求系统的可靠性和安全性的一种有效方法。
Fault Tree Analysis (FTA) can be used to analyze the events and states of system failure. It is an effective method in analyzing the reliability and safety of safety-critical system.
核心内容包括了基于白箱测试的思想，通过对源代码进行静态分析，实现对代码的安全检查和对代码剽窃的自动检测。
The core content is the implementation of code security and code plagiarism detect via static analysis of source codes based on the idea of white box test.
根据优化设计的结果，进行了静态应力分析和动态应力分析，确保了后续装配过程的安全性。
According to the results of optimizing design, we carried out the static stress analysis and the dynamic stress analysis, and insured the safety of the later assemble processes.
使用静态分析方法检测应用程序安全漏洞的基础是精确的上下文敏感别名分析信息。
Detection of Security Vulnerabilities in Applications with Static analysis requires precise context-sensitive alias analysis information.
通过对移动计算安全框架的分析，指出考虑安全性要求的扩展类型系统这一静态分析方法是解决移动计算安全性问题的有效方法之一。
It is an efficient way of combining the static analysis based on the security extended type system to solve the mobile computation security problems.
分析了现行钢丝绳安全评价中所采用的静态安全系数法存在的弊端。
This paper analyzes the disadvantages when the current safety evaluation of cable is carried out by adopting the method of static safety coefficient.
以通用曲柄压力机的曲轴作为分析研究对象，应用可靠性理论对其静态、动态可靠性做了分析描述，从疲劳强度的观点给出了曲轴的安全工作区。
In this paper, the reliability of cranks was analyzed with static, dynamic reliability theories separately. It was derived that there was a safety working time for cranks in point of fatigue strength.
首先分析了操作系统中客体的类型，将客体分为静态客体和动态客体，然后总结了安全操作系统中对客体的处理存在的问题。
The mechanism of buffer overflow from the point of view of security operating system is analyzed, buffer overflow with BLP model is formalized.
我们的组织认证的PCIDSS，我们需要解决安全问题的工具，我们使用了安全的静态代码分析。
Our organization is certifying for PCI DSS and we need to address security issues raised by a tool we used for Security Static Code Analysis.
使用该工具能够帮助安全分析人员简洁高效的获取恶意样本的静态和动态行为特征。
The tool help security analyst extracting the static and dynamic features from malware effectively and efficiently.
使用该工具能够帮助安全分析人员简洁高效的获取恶意样本的静态和动态行为特征。
The tool help security analyst extracting the static and dynamic features from malware effectively and efficiently.
应用推荐