精细分析对提高关键软件的安全非常重要,并因计算量大而需要自动化.本文基于J M Voas的Fault/Failure概念模型及其PIE分析,提出一个实用的软件代码精细分析技术和工具.文中描述了软件代码精细分析的全过程,重点讲述“自动分析记录”的...精细分析对提高关键软件的安全非常重要,并因计算量大而需要自动化.本文基于J M Voas的Fault/Failure概念模型及其PIE分析,提出一个实用的软件代码精细分析技术和工具.文中描述了软件代码精细分析的全过程,重点讲述“自动分析记录”的工作流程及执行、感染和传播这三个关键分析的概念性算法,并给出了工具的框架图解.此外还提出粒度可调思想,能调节分析的精度和范围,较好地解决了Fault/Failure模型的限制,拓展了用途.最后本文给出了一些具体的应用思路,如放置警报器、评估可靠性、配置资源、设计测试实例等,以及对面向对象软件测试的启发.展开更多
Human immunodeficiency virus （HIV） is a lenti-virus （a member of the retrovirus family） that causes acquired immunodeficieney syndrome （AIDS）, a critical condition in humans in which progressive failure of the i...Human immunodeficiency virus （HIV） is a lenti-virus （a member of the retrovirus family） that causes acquired immunodeficieney syndrome （AIDS）, a critical condition in humans in which progressive failure of the immune system allows life-threatening opportunis- tic infections. Over the past few years HIV has been spreading rapidly in the popula- tion. Almost, everyday there are thousands of new human cases of HIV infection being recorded in the world and these occur in almost every country of the world. However, the spread of HIV is relatively faster in the developing countries as compared to developed countries because developing countries have limited resources. Worldwide, 70% of HIV infections in the adults have been transmitted through heterosexual contact and vertical transmission accounts for more than 90~ of global infection in infants and children. In this paper, we propose a nonlinear mathematical model to study the spread of HIV by considering transmission of disease by heterosexual contact and vertical transmission. A stage structured model is proposed and analyzed by considering the total population variable and dividing the whole population under consideration into three stages： chil- dren, adults and old. Also, in this paper it is assumed that the rates of recruitment are different in different groups of population. Equilibria of the model and their stability are also discussed. Using the stability theory of differential equations and computer simu- lation, it is shown that due to the increase in the awareness of the disease in the adult class the total infective population decreases in the region under consideration.展开更多
文摘精细分析对提高关键软件的安全非常重要,并因计算量大而需要自动化.本文基于J M Voas的Fault/Failure概念模型及其PIE分析,提出一个实用的软件代码精细分析技术和工具.文中描述了软件代码精细分析的全过程,重点讲述“自动分析记录”的工作流程及执行、感染和传播这三个关键分析的概念性算法,并给出了工具的框架图解.此外还提出粒度可调思想,能调节分析的精度和范围,较好地解决了Fault/Failure模型的限制,拓展了用途.最后本文给出了一些具体的应用思路,如放置警报器、评估可靠性、配置资源、设计测试实例等,以及对面向对象软件测试的启发.
文摘Human immunodeficiency virus （HIV） is a lenti-virus （a member of the retrovirus family） that causes acquired immunodeficieney syndrome （AIDS）, a critical condition in humans in which progressive failure of the immune system allows life-threatening opportunis- tic infections. Over the past few years HIV has been spreading rapidly in the popula- tion. Almost, everyday there are thousands of new human cases of HIV infection being recorded in the world and these occur in almost every country of the world. However, the spread of HIV is relatively faster in the developing countries as compared to developed countries because developing countries have limited resources. Worldwide, 70% of HIV infections in the adults have been transmitted through heterosexual contact and vertical transmission accounts for more than 90~ of global infection in infants and children. In this paper, we propose a nonlinear mathematical model to study the spread of HIV by considering transmission of disease by heterosexual contact and vertical transmission. A stage structured model is proposed and analyzed by considering the total population variable and dividing the whole population under consideration into three stages： chil- dren, adults and old. Also, in this paper it is assumed that the rates of recruitment are different in different groups of population. Equilibria of the model and their stability are also discussed. Using the stability theory of differential equations and computer simu- lation, it is shown that due to the increase in the awareness of the disease in the adult class the total infective population decreases in the region under consideration.
