分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,lis...分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,list of CDIs)三元组,引入了角色层,以更实用的方式实现了职责隔离.同时,实现机制实现了对TP的保护,有效地保障了TP功能的正确性,提高了系统正确控制TP操作的可信度,减少了对Clark-Wilson模型验证规则的依赖.展开更多
Abstract: The aim of this study was to create a laboratory model of an amperometric microbial biosensor for maltose quantification in the presence and absence of starch and to estimate the use of the model in the stud...Abstract: The aim of this study was to create a laboratory model of an amperometric microbial biosensor for maltose quantification in the presence and absence of starch and to estimate the use of the model in the study of maltase activity of the culture-receptor. The biosensor for maltose was developed on the basis of a Clark-type oxygen electrode, coupled with a bioreceptor, which contained bacterial cells immobilized on the membrane. The determination of maltose concentration was based on measuring the rate of electrode current change in response to addition of the analyte. The detection limit of the biosensor was 1 μM maltose, a linear interval of standard curve was observed from 14 μM up to 1.9 mM of maltose. The microbial biosensor demonstrated good sensitivity to maltose, 36.02 nA (M-s)-1. Combination of bioreceptors on the basis of fungus and bacterium allowed of using the biosensor for quantification of maltose in the presence of starch. Changes in metabolism of the culture-receptor had an effect on the biosensor response. It indicated that the developed model was a tool of simple construction and easy-to-use in the study of maltase activity of the immobilized culture-receptor.展开更多
This paper refers to Clarke generalized gradient for a smooth composition of max-type functions of the form: f(x) = g(x, maxj∈J1 f1j(x),''', maxj∈Jm fmj(x)), where x ∈Rn, Ji, i = 1,''',m are...This paper refers to Clarke generalized gradient for a smooth composition of max-type functions of the form: f(x) = g(x, maxj∈J1 f1j(x),''', maxj∈Jm fmj(x)), where x ∈Rn, Ji, i = 1,''',m are finite index sets, g and fij,j ∈ Ji, i = 1,... )m, are continuously differentiable on Rm+n and Rn, respectively. In a previous paper) we proposed an algorithm of finding an element of Clarke generalized gradient for f, at a point. In that paper, finding an element of Clarke generalized gradient for f, at a point, is implemented by determining the compatibilities of systems of linear inequalities many times. So its computational amount is very expensive. In this paper) we will modify the algorithm to reduce the times that the compatibilities of systems of linear inequalities have to be determined.展开更多
文摘分析了当前Clark-Wilson完整性模型实现机制的不足,提出了一种基于TE实现Clark-Wilson模型的方法.首先讨论了TE对Clark-Wilson模型的支持能力,然后给出了用TE实现Clark-Wilson模型的配置规则和约束.在实现中,扩展了模型的(userid,TP,list of CDIs)三元组,引入了角色层,以更实用的方式实现了职责隔离.同时,实现机制实现了对TP的保护,有效地保障了TP功能的正确性,提高了系统正确控制TP操作的可信度,减少了对Clark-Wilson模型验证规则的依赖.
文摘Abstract: The aim of this study was to create a laboratory model of an amperometric microbial biosensor for maltose quantification in the presence and absence of starch and to estimate the use of the model in the study of maltase activity of the culture-receptor. The biosensor for maltose was developed on the basis of a Clark-type oxygen electrode, coupled with a bioreceptor, which contained bacterial cells immobilized on the membrane. The determination of maltose concentration was based on measuring the rate of electrode current change in response to addition of the analyte. The detection limit of the biosensor was 1 μM maltose, a linear interval of standard curve was observed from 14 μM up to 1.9 mM of maltose. The microbial biosensor demonstrated good sensitivity to maltose, 36.02 nA (M-s)-1. Combination of bioreceptors on the basis of fungus and bacterium allowed of using the biosensor for quantification of maltose in the presence of starch. Changes in metabolism of the culture-receptor had an effect on the biosensor response. It indicated that the developed model was a tool of simple construction and easy-to-use in the study of maltase activity of the immobilized culture-receptor.
基金This project is supported by the Science Function of Liaoning Province.
文摘This paper refers to Clarke generalized gradient for a smooth composition of max-type functions of the form: f(x) = g(x, maxj∈J1 f1j(x),''', maxj∈Jm fmj(x)), where x ∈Rn, Ji, i = 1,''',m are finite index sets, g and fij,j ∈ Ji, i = 1,... )m, are continuously differentiable on Rm+n and Rn, respectively. In a previous paper) we proposed an algorithm of finding an element of Clarke generalized gradient for f, at a point. In that paper, finding an element of Clarke generalized gradient for f, at a point, is implemented by determining the compatibilities of systems of linear inequalities many times. So its computational amount is very expensive. In this paper) we will modify the algorithm to reduce the times that the compatibilities of systems of linear inequalities have to be determined.
