Regression testing is the process of validating modified software to provide confidence that the changed parts of the software behave as intended and that the unchanged parts have not been adversely affected by the mo...Regression testing is the process of validating modified software to provide confidence that the changed parts of the software behave as intended and that the unchanged parts have not been adversely affected by the modifications. The goal of regression testing is to reduce the test suit by testing the new characters and the modified parts of a program with the original test suit. Regression testing is a high cost testing method. This paper presents a regression testing selection technique that can reduce the test suit on the basis of Control Flow Graph (CFG). It import the inherit strategy of object-oriented language to ensure an edge’s control domain to reduce the test suit size effectively. We implement the idea by coding the edge. An algorithm is also presented at last.展开更多
For estimation group competition and multiagent coordination strategy, this paper introduces a notion based on multiagent group. According to the control domain, it analyzes the multiagent strategy during competition ...For estimation group competition and multiagent coordination strategy, this paper introduces a notion based on multiagent group. According to the control domain, it analyzes the multiagent strategy during competition in the macroscopic. It has been adopted in robot soccer and result enunciates that our method does not depend on competition result. It can objectively quantitatively estimate coordination strategy.展开更多
In order to understand the community capacity for sustainable community-based dengue prevention and control,this paper proposes the approach of a previous study about meaning and domains of dengue prevention and contr...In order to understand the community capacity for sustainable community-based dengue prevention and control,this paper proposes the approach of a previous study about meaning and domains of dengue prevention and control,an assessment tool and a community capacity building model for sustainable community-based dengue prevention and control in the Southern Thailand. A study of dengue community capacity domains was conducted by utilizing a qualitative method, whereby ten initial community domains were identified by means of a literature review,in-depth interviews of sixty community leaders,and eight focus group discussions with sixty non-leaders in four sub-districts of southern Thailand.In the final study,there were 14 identifiable domains in leaders group and 11 domains in non-leaders.The resulting dengue community capacity-assessment tool(DCCAT) consisted of two parts:one for leaders(DCCAT-L) and the other for non-leaders (DCCAT-NL).DCCAT-L was composed of 115 items within 14 domains and 83 items within 11 domains for the DCCAT-NL.The key domains of leaders and non-leaders had a partial overlap of domains such as critical situation management,personal leadership,health care provider capacity,needs assessment,senses of community,leader group networking,communication of dengue information,community leadership,religious capacity,leader group and community networking,resource mobilization,dengue working group,community participation,and continuing activities.The application of the new tool consisted of five steps:1) community preparation,2) assessment,3) a community hearing meeting,4) interventions,and 5) conclusion and improvement step.All stakeholders in the community should use the new tool based on a clear understanding of the measurement objectives,the desired outcomes,resources available and characteristics of their community.If communities need to develop and build dengue community capacity,then the designed pre-post intervention assessments or serial assessments are essential.展开更多
Access control in multi-domain environments is an important question in building coalition between domains. Based on the RBAC access control model and the concepts of secure domain, the role delegation and role mappin...Access control in multi-domain environments is an important question in building coalition between domains. Based on the RBAC access control model and the concepts of secure domain, the role delegation and role mapping are proposed, which support the third-party authorization. A distributed RBAC model is then presented. Finally implementation issues are discussed.展开更多
Based on trust measurement, a new cross-domain access control model is proposed to improve the security performance of the cross-domain access control processes. This model integrates the trust management and trusted ...Based on trust measurement, a new cross-domain access control model is proposed to improve the security performance of the cross-domain access control processes. This model integrates the trust management and trusted platform measurement, defines several concepts （user trust degree, platform configuration integrity and intra/inter-domain trust degree） and calculates them with users＇ uniform identity authentication and historical access behavior analysis. Then this model expands the extensible access control markup language （XACML） model by adding inside trust manager point （ITMP） and outside trust manager point （OTMP）, and describes the architectures and workflows of ITMP and OTMP in details. The experimental results show that this model can achieve more fine-grained access control, implement dynamic authorization in a simple way, and improve the security degrees of the cross-domain access control.展开更多
The secure interaction among multiple security domains is a major concern. In this paper, we highlight the issues of secure interoperability among multiple security domains operating under the widely accepted Role Bas...The secure interaction among multiple security domains is a major concern. In this paper, we highlight the issues of secure interoperability among multiple security domains operating under the widely accepted Role Based Access Control （RBAC） model. We propose a model called CRBAC that easily establishes a global policy for roles mapping among multiple security domains. Our model is based on an extension of the RBAC model. Also, multiple security domains were composed to one abstract security domain. Also roles in the multiple domains are translated to permissions of roles in the abstract security domain. These permissions keep theirs hierarchies. The roles in the abstract security domain implement roles mapping among the multiple security domains. Then, authorized users of any security domain can transparently access resources in the multiple domains.展开更多
A time-domain electromagnetic transmitter（TDET） with great power and large current was designed by using a closed-loop phase shifting control strategy. A clamping voltage source circuit was applied in this system to...A time-domain electromagnetic transmitter（TDET） with great power and large current was designed by using a closed-loop phase shifting control strategy. A clamping voltage source circuit was applied in this system to improve the falling edge of emission current and shorten the turn-off time. The simulated results showed that this TDET exhibited the advantages including a large current, strong capability for rapid turn-off, stably output voltage, preferably dynamic performance, a widely adjustable range in transmitting voltage, accurate measurement precision.展开更多
In this paper, we consider a numerical approximation for the boundary optimal control problem with the control constraint governed by a heat equation defined in a variable domain. For this variable domain problem, the...In this paper, we consider a numerical approximation for the boundary optimal control problem with the control constraint governed by a heat equation defined in a variable domain. For this variable domain problem, the boundary of the domain is moving and the shape of theboundary is defined by a known time-dependent function. By making use of the Galerkin finite element method, we first project the original optimal control problem into a semi-discrete optimal control problem governed by a system of ordinary differential equations. Then, based on the aforementioned semi-discrete problem, we apply the control parameterization method to obtain an optimal parameter selection problem governed by a lumped parameter system, which can be solved as a nonlinear optimization problem by a Sequential Quadratic Programming （SQP） algorithm. The numerical simulation is given to illustrate the effectiveness of our numerical approximation for the variable domain problem with the finite element method and the control parameterization method.展开更多
This paper studies a stochastically forced chemostat model with feedback control in which two organisms compete for a single growth-limiting substrate. In the deterministic counterpart, previous researches show that t...This paper studies a stochastically forced chemostat model with feedback control in which two organisms compete for a single growth-limiting substrate. In the deterministic counterpart, previous researches show that the coexistence of two competing organisms may be achieved as a stable positive equilibrium or a stable positive periodic solution by different feedback schedules. In the stochastic case, based on the stochastic sensitivity function technique,we construct the confidence domains for different feedback schedules which allow us to find the configurational arrangements of the stochastic attractors and analyze the dispersion of the random states of the stochastic model.展开更多
While Role-Based Access Control Model (RBAC) is being analyzed, the concept of Role of Time-domain Based Access Control Model (T-RBAC) is put forward. With time-domain added, both time-domain and authority control rol...While Role-Based Access Control Model (RBAC) is being analyzed, the concept of Role of Time-domain Based Access Control Model (T-RBAC) is put forward. With time-domain added, both time-domain and authority control roles. The basic idea of T-RBAC is introduced and described formally, and the safely of this model is analyzed. The research shows that T-RBAC fulfills both rules of information security, which are principle of least privilege and separation of duties. With practical application of T-RBCA, it can handle most of the time-related or authority-related problems. What’s more, it also increases the security level, flexibility and dynamic adaptation of the system and has lower complexity than system only handled by authority. This model also can solve conflicts caused by authority.展开更多
红外探测器所成图像存在固有非均匀性缺陷,现有的基于场景的最小均方差(least mean square,LMS)校正算法在对图像进行非均匀性校正时极易引入鬼影,严重限制了校正效果。针对这一瓶颈,本研究以时域门控鬼影抑制技术为基础,创新性地将韦...红外探测器所成图像存在固有非均匀性缺陷,现有的基于场景的最小均方差(least mean square,LMS)校正算法在对图像进行非均匀性校正时极易引入鬼影,严重限制了校正效果。针对这一瓶颈,本研究以时域门控鬼影抑制技术为基础,创新性地将韦伯定律引入红外图像非均匀性校正体系,提出双门控LMS非均匀性校正方法。该方法摒弃了“绝对无鬼影”的理想化数学优化目标,转而以鬼影处于人眼视觉感知阈值之下为核心准则进行校正;构建了全新的“运动终止”目标检测模型以获取可校正像素增量;并通过预判增量校正目标的运动趋势来确定其校正幅度,从而达到各类复杂场景下图像质量和鬼影抑制性能的协同优化。实验结果证明,双门控法可与现有各类基线校正算法灵活叠加部署,具备优异的算法普适性;肉眼观测和各类图像量化指标均显示,相较于传统的时域门控算法,该方法可在不降低鬼影抑制效果的前提下,将校正效率提高最高达60%。展开更多
基金This work was supported by Shanghai Municipal Science and Technology commission No.04ZR14105and Shanghai UniversitiesTechnology Development Foundation No.2002DZ46
文摘Regression testing is the process of validating modified software to provide confidence that the changed parts of the software behave as intended and that the unchanged parts have not been adversely affected by the modifications. The goal of regression testing is to reduce the test suit by testing the new characters and the modified parts of a program with the original test suit. Regression testing is a high cost testing method. This paper presents a regression testing selection technique that can reduce the test suit on the basis of Control Flow Graph (CFG). It import the inherit strategy of object-oriented language to ensure an edge’s control domain to reduce the test suit size effectively. We implement the idea by coding the edge. An algorithm is also presented at last.
文摘For estimation group competition and multiagent coordination strategy, this paper introduces a notion based on multiagent group. According to the control domain, it analyzes the multiagent strategy during competition in the macroscopic. It has been adopted in robot soccer and result enunciates that our method does not depend on competition result. It can objectively quantitatively estimate coordination strategy.
文摘In order to understand the community capacity for sustainable community-based dengue prevention and control,this paper proposes the approach of a previous study about meaning and domains of dengue prevention and control,an assessment tool and a community capacity building model for sustainable community-based dengue prevention and control in the Southern Thailand. A study of dengue community capacity domains was conducted by utilizing a qualitative method, whereby ten initial community domains were identified by means of a literature review,in-depth interviews of sixty community leaders,and eight focus group discussions with sixty non-leaders in four sub-districts of southern Thailand.In the final study,there were 14 identifiable domains in leaders group and 11 domains in non-leaders.The resulting dengue community capacity-assessment tool(DCCAT) consisted of two parts:one for leaders(DCCAT-L) and the other for non-leaders (DCCAT-NL).DCCAT-L was composed of 115 items within 14 domains and 83 items within 11 domains for the DCCAT-NL.The key domains of leaders and non-leaders had a partial overlap of domains such as critical situation management,personal leadership,health care provider capacity,needs assessment,senses of community,leader group networking,communication of dengue information,community leadership,religious capacity,leader group and community networking,resource mobilization,dengue working group,community participation,and continuing activities.The application of the new tool consisted of five steps:1) community preparation,2) assessment,3) a community hearing meeting,4) interventions,and 5) conclusion and improvement step.All stakeholders in the community should use the new tool based on a clear understanding of the measurement objectives,the desired outcomes,resources available and characteristics of their community.If communities need to develop and build dengue community capacity,then the designed pre-post intervention assessments or serial assessments are essential.
文摘Access control in multi-domain environments is an important question in building coalition between domains. Based on the RBAC access control model and the concepts of secure domain, the role delegation and role mapping are proposed, which support the third-party authorization. A distributed RBAC model is then presented. Finally implementation issues are discussed.
基金Supported by the National Key Technology Support Program of China(2013BAK07B04)the Natural Science Foundation of Hebei Province(F2014201152)
文摘Based on trust measurement, a new cross-domain access control model is proposed to improve the security performance of the cross-domain access control processes. This model integrates the trust management and trusted platform measurement, defines several concepts （user trust degree, platform configuration integrity and intra/inter-domain trust degree） and calculates them with users＇ uniform identity authentication and historical access behavior analysis. Then this model expands the extensible access control markup language （XACML） model by adding inside trust manager point （ITMP） and outside trust manager point （OTMP）, and describes the architectures and workflows of ITMP and OTMP in details. The experimental results show that this model can achieve more fine-grained access control, implement dynamic authorization in a simple way, and improve the security degrees of the cross-domain access control.
基金Supported by the National Natural Science Foun-dation of China(60403027) the Natural Science Foundation of HubeiProvince(2005ABA258) the Open Foundation of State Key Labo-ratory of Software Engineering(SKLSE05-07)
文摘The secure interaction among multiple security domains is a major concern. In this paper, we highlight the issues of secure interoperability among multiple security domains operating under the widely accepted Role Based Access Control （RBAC） model. We propose a model called CRBAC that easily establishes a global policy for roles mapping among multiple security domains. Our model is based on an extension of the RBAC model. Also, multiple security domains were composed to one abstract security domain. Also roles in the multiple domains are translated to permissions of roles in the abstract security domain. These permissions keep theirs hierarchies. The roles in the abstract security domain implement roles mapping among the multiple security domains. Then, authorized users of any security domain can transparently access resources in the multiple domains.
基金Supported by the National Natural Science Foundation of China(51277189)the Chongqing Education Committee Science and Technology Research Projects(KJ1401208)
文摘A time-domain electromagnetic transmitter（TDET） with great power and large current was designed by using a closed-loop phase shifting control strategy. A clamping voltage source circuit was applied in this system to improve the falling edge of emission current and shorten the turn-off time. The simulated results showed that this TDET exhibited the advantages including a large current, strong capability for rapid turn-off, stably output voltage, preferably dynamic performance, a widely adjustable range in transmitting voltage, accurate measurement precision.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.61374096 and 61104048)the Natural Science Foundation of Zhejiang Province of China(Grant No.Y6110751)
文摘In this paper, we consider a numerical approximation for the boundary optimal control problem with the control constraint governed by a heat equation defined in a variable domain. For this variable domain problem, the boundary of the domain is moving and the shape of theboundary is defined by a known time-dependent function. By making use of the Galerkin finite element method, we first project the original optimal control problem into a semi-discrete optimal control problem governed by a system of ordinary differential equations. Then, based on the aforementioned semi-discrete problem, we apply the control parameterization method to obtain an optimal parameter selection problem governed by a lumped parameter system, which can be solved as a nonlinear optimization problem by a Sequential Quadratic Programming （SQP） algorithm. The numerical simulation is given to illustrate the effectiveness of our numerical approximation for the variable domain problem with the finite element method and the control parameterization method.
基金Supported by the National Natural Science Foundation of China(11671260,11801224)Natural Science Foundation of Jiangsu Province(BK20180856)
文摘This paper studies a stochastically forced chemostat model with feedback control in which two organisms compete for a single growth-limiting substrate. In the deterministic counterpart, previous researches show that the coexistence of two competing organisms may be achieved as a stable positive equilibrium or a stable positive periodic solution by different feedback schedules. In the stochastic case, based on the stochastic sensitivity function technique,we construct the confidence domains for different feedback schedules which allow us to find the configurational arrangements of the stochastic attractors and analyze the dispersion of the random states of the stochastic model.
文摘While Role-Based Access Control Model (RBAC) is being analyzed, the concept of Role of Time-domain Based Access Control Model (T-RBAC) is put forward. With time-domain added, both time-domain and authority control roles. The basic idea of T-RBAC is introduced and described formally, and the safely of this model is analyzed. The research shows that T-RBAC fulfills both rules of information security, which are principle of least privilege and separation of duties. With practical application of T-RBCA, it can handle most of the time-related or authority-related problems. What’s more, it also increases the security level, flexibility and dynamic adaptation of the system and has lower complexity than system only handled by authority. This model also can solve conflicts caused by authority.
文摘红外探测器所成图像存在固有非均匀性缺陷,现有的基于场景的最小均方差(least mean square,LMS)校正算法在对图像进行非均匀性校正时极易引入鬼影,严重限制了校正效果。针对这一瓶颈,本研究以时域门控鬼影抑制技术为基础,创新性地将韦伯定律引入红外图像非均匀性校正体系,提出双门控LMS非均匀性校正方法。该方法摒弃了“绝对无鬼影”的理想化数学优化目标,转而以鬼影处于人眼视觉感知阈值之下为核心准则进行校正;构建了全新的“运动终止”目标检测模型以获取可校正像素增量;并通过预判增量校正目标的运动趋势来确定其校正幅度,从而达到各类复杂场景下图像质量和鬼影抑制性能的协同优化。实验结果证明,双门控法可与现有各类基线校正算法灵活叠加部署,具备优异的算法普适性;肉眼观测和各类图像量化指标均显示,相较于传统的时域门控算法,该方法可在不降低鬼影抑制效果的前提下,将校正效率提高最高达60%。
