函数指针分析及控制流分析是程序分析中的难点,也是引起分析的精确度降低的原因。
Function pointer alias and control flow analysis are difficulties in the course of program analysis, and reasons why the accuracy of program analysis are decreased.
这些规则通常出现在过程和服务分析模型中的过程或服务流控制中。
These rules are usually encountered within process or service flow control, within the process and service analysis models.
及时编报现金流量分析报告,进行公司现金流的严密控制。
Prepare cash flow analysis report timely to closely control cash flow.
通过功率谱分析,研究了偏心力作用下的功率流特性,并探讨了主动控制策略的效果。
The characteristics of power flow are studied by analyzing the power flow spectra. The effects of the active control are discussed.
基于KOD系统的特点,分析了流服务器和客户端中各个模块的作用,以及内容制作中的码率控制。
According to the KOD system traits, it also analyzed the modules in the streaming server and client, as well as the rate control for the content produce.
以典型的代谢控制发酵产品鸟苷为例说明了一种基于过程参数的相关分析来研究发酵过程中代谢流迁移的方法。
Taking the typical metabolic control product-guanosine as an example, the method of metabolic flux shift investigation based on process multi-levels parameter correlation analysis was established.
分析一个二进制代码的通常方式有以下几个阶段:反汇编,过程抽象,控制流程图生成,数据流分析和签名验证。
The common approach for analysing a binary consists of the following stages: assembly, procedure abstraction, control flow graph generation, data flow analysis, and property verification.
在此基础上,分析了整车系统的基本运行工况,给出了运行工况的功率流,并制定了比较合理的多能源控制策略。
On the basis of this configuration, this paper analyzes fundamental operating mode transitions of overall vehicle system and power distribution, and establishes reasonable control strategy.
分析表明,特性控制方式最为理想,它兼有恒流控制和恒速控制的优点。
Analysis has shown that the characteristic control. which combines the advantages of both constant current control and constant speed control, is the most ideal mode.
在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度。
In the process of analyzing, it adopts synthetically control flow chart and path condition and increase the precision of testing results.
文章分析和设计了一种具有较高电流控制精度和匹配精度的并联白光led驱动芯片,并在成功流片后进行了测试。
A high precise parallel white LED driver with finer current control precision and matching precision is analyzed and designed in the thesis. And the chip was tested after taped out successfully.
静态分析工具分析程序代码(例如,控制流和数据流),以及生成HTML和XML形式的输出。
Static analysis tools analyze program code (e. g. control flow and data flow), as well as generated output such as HTML and XML.
在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度。
In the process of analyzing, it adopts synthetically control flow chart and path condition in order to increase the precision of testing results.
本文分析了基于项目流的分解与控制问题,借助U ML对在动态权限限定下的流程进行模型化描述。
This paper analyzed the problem of disturbing and controlling based on project flow by description of flow changing modelling through dynamic right confined by UML.
主要论述了一次水加压直供空调水系统的形式、工作原理及工况分析;通过控制膜流状态确定溢流回水管管径;
The forms of primary flow pressurized direct connection of air conditioning system, operational principle and condition analysis are discussed.
本文将角色的概念加入进来,讨论了基于角色的工作流状态的动态访问控制,并对其模型进行了形式化描述和分析。
This paper proposes the role concept, discusses the dynamic access control of role-based workflow status, and describes and analyses the formal model.
对在均匀流场作用下的二维非稳态晶体生长控制方程进行了分析,证明了原定解问题的解是稳定的。
The stability about the solution of the original problem is proved by analyzing a two-dimensional time-dependent control equation for crystal growth in a uniform convection field.
文摘:分析了音河水库多孔有闸门控制的溢洪道出流,并用出流的实测资料进行了检验。
Abstract: the outflow through gate controlled multi-opening spillway of Yinhe Reservoir was analyzed. The analysis results were checked by the site observed data.
分析了音河水库多孔有闸门控制的溢洪道出流,并用出流的实测资料进行了检验。
The outflow through gate controlled multi-opening spillway of Yinhe Reservoir was analyzed. The analysis results were checked by the site observed data.
目的从湖南省四次结核病流行病学抽样调查(流调)结果分析和评价我省结核病控制工作质量。
Objective To analyze and evaluate the result of 4 times tuberculosis epidemiological sampling survey in Hunan Province.
本文研究了工作流系统的访问控制模型及其安全性分析的方法。
The thesis is focused on the access control model for workflow systems and the security analysis of workflow systems by formal methods.
基于对程序源代码的静态分析方法,针对程序中一些常见故障,提出了一种基于控制流图的自动测试方法。
Based on the static analysis method of source codes, the automatic testing method for controlling stream graph was pro-posed to detect the faults in programs.
应用计算流体力学程序CFX5对水力驱动控制棒步进缸内部的三维流场进行了计算和分析。
The three dimensional flow field of the step cylinder in Hydraulic Control Rod Driving System (HCRDS) is calculated and analyzed with the computational fluid (dynamics) program CFX5 in detail.
分析了预处理循环控制流系统的特点:硬件电路的循环嵌套形式,预处理程序的设计思想。
The characteristics of pretreatment and cyclic control stream are analysed:the form of cyclic embedded hardware circuit, the idea for designing the pretreatment program.
从系统的功能组成、拓扑结构设计、数据流分析和总线性能分析等方面对基于1553B总线的运载火箭控制系统进行了分析讨论。
This paper mainly discusses the system function and component, topology design, data flow analysis and bus performance analysis of launch vehicle control system based on 1553b bus.
详细分析了轴快流co2激光器控制系统的工作原理及过程,着重研究了气压控制系统以及功率控制系统的原理。
The operation process and primary principle of the FAF CO2 laser control system are analyzed in detail. The theories are mainly studied of the pressure control system and the power control system.
利用供应链管理理论分析区域信息流的运作,提出加强与顾客的接触面、加强对后端物流配送的控制以及加强与供应商的消息沟通等策略。
Based on the SCM, the paper puts forward some methods to construct the information-flow from the exchange with consumer, the control of logistics and the exchange with supplier.
分析类的数据流,说明数据的定义-使用对;给出构造类的控制流图的一种算法。
The data flow testing of class is analysed, and the data definition-use pair is explanated.
分析类的数据流,说明数据的定义-使用对;给出构造类的控制流图的一种算法。
The data flow testing of class is analysed, and the data definition-use pair is explanated.
应用推荐