Attribute-based encryption is drawing more attention with its inherent attractive properties which are potential to be widely used in the newly developing cloud computing. However, one of the main obstacles for its ap...Attribute-based encryption is drawing more attention with its inherent attractive properties which are potential to be widely used in the newly developing cloud computing. However, one of the main obstacles for its application is how to revoke the attributes of the users, though some ABE schemes have realized revocation, they mostly focused on the user revocation that revokes the user＇s whole attributes, or attribute revocation under the indirect revocation model such that all the users＇ private keys will be affected by the revocation. In this paper, we define the model of CP-ABE supporting the attribute revocation under the direct revocation model, in which the revocation list is embed in the ciphertext and none of the users＇ private keys will be affected by the revocation process. Then we propose a generic construction, and prove its security with the decision q-BDHE assumption.展开更多
We use Hopf-Lax formula to study local regularity of solution to Hamilton- Jacobi （HJ） equations of multi-dimensional space variables with convex Hamiltonian. Then we give the large time generic form of the solution...We use Hopf-Lax formula to study local regularity of solution to Hamilton- Jacobi （HJ） equations of multi-dimensional space variables with convex Hamiltonian. Then we give the large time generic form of the solution to HJ equation, i.e. for most initial data there exists a constant T 〉 0, which depends only on the Hamiltonian and initial datum, for t 〉 T the solution of the IVP （1.1） is smooth except for ~ smooth n-dimensional hypersurface, across which Du（x, t） is discontinuous. And we show that the hypersurface 1 tends asymptotically to a given hypersurface with rate t-1/4.展开更多
Significant progress has been made in computational imaging(CI),in which deep convolutional neural networks(CNNs)have demonstrated that sparse speckle patterns can be reconstructed.However,due to the limited“local”k...Significant progress has been made in computational imaging(CI),in which deep convolutional neural networks(CNNs)have demonstrated that sparse speckle patterns can be reconstructed.However,due to the limited“local”kernel size of the convolutional operator,for the spatially dense patterns,such as the generic face images,the performance of CNNs is limited.Here,we propose a“non-local”model,termed the Speckle-Transformer(SpT)UNet,for speckle feature extraction of generic face images.It is worth noting that the lightweight SpT UNet reveals a high efficiency and strong comparative performance with Pearson Correlation Coefficient(PCC),and structural similarity measure(SSIM)exceeding 0.989,and 0.950,respectively.展开更多
The exhaust smoke dispersion for a generic frigate is investigated numerically through the numerical solution of the governing fluid flow, energy, species and turbulence equations. The main objective of this work is t...The exhaust smoke dispersion for a generic frigate is investigated numerically through the numerical solution of the governing fluid flow, energy, species and turbulence equations. The main objective of this work is to obtain the effects of the yaw angle velocity ratio and buoyancy on the dispersion of the exhaust smoke The numerical method is based on the fully conserved control-volume representation of the fully elliptic Navier-Stokes equations. Turbulence is modeled using a two-equation （k-ε） model The flow visualization tests using a 1/100 scale model of the frigate in the wind tunnel were also carried out to determine the exhaust plume path and to validatc the computational results. The results show that down wash phenomena occurs for the yaw angles between ψ=10° and 20°. The results with different exhaust gas temperatures show that the buoyancy effect increases with the increasing of the exhaust gas temperature. However, its effect on the plume rise is less significant in comparison with its momentum. A good agreement between the predictions and experiment results is obtained.展开更多
Warped product manifolds are known to have applications in physics. For instance, they provide an excellent setting to model space-time near a black hole or a massive star （cf. [9]）. The studies on warped product ma...Warped product manifolds are known to have applications in physics. For instance, they provide an excellent setting to model space-time near a black hole or a massive star （cf. [9]）. The studies on warped product manifolds with extrinsic geometric point of view were intensified after the B.Y. Chen＇s work on CR-warped product submanifolds of Kaehler manifolds （cf. [6], [7]）. Later on, similar studies were carried out in the setting of 1.c.K. manifolds and nearly Kaehler manifolds （el. [3], [11]）. In the present article, we investigate a larger class of warped product submanifolds of 1.c.K. manifolds, ensure their existence by constructing an example of such manifolds and obtain some important properties of these submanifolds. With regard to the CR-warped product submanifold, a special case of generic warped product submanifolds, we obtain a characterization under which a CR-submanifold is reducesd to a CR-warped product submanifold.展开更多
We report a simple and rapid HLA-DRBI generic typing method, PCRSSP, which is practical and inexpensive. We use 9 sequence-specific primers and 2 group specific Primers to define the HI-ADRB1 specificities DR1,DR2, DR...We report a simple and rapid HLA-DRBI generic typing method, PCRSSP, which is practical and inexpensive. We use 9 sequence-specific primers and 2 group specific Primers to define the HI-ADRB1 specificities DR1,DR2, DR3, DR4,DR5,DR6, DR7, DR8, DR9 and DR10. The HLA DR3, DR5,DR6 and DR8 can be amplified by the two primers of DR3568 and DRB1. The DR6 specificity can be identified by excluding the DR3, DR5 and DR8 when the DR3568 are positive. Any individuals can be typed with some exception: the three pairs of phenotype DR3/DR3 and DR3/DR6, DR5/DRS and DR5/DR6,DR8/DR8 and DR8/DR6 cannot be discriminated from each other. We typed 106 unrelated healthy people from Beijing locations in two weeks. We think this typing method is suitable to replace the error-prone serologic HLA-DR tests in routine clinical practice, including the Prospective typing of cadaveric organ donors.展开更多
In this paper, we prove the following two main results: i) Let M be a mixed foliate non-trivial CR Submanifold of a Sasakian space form M(c). If the (D,⊥D) is ξ-horizontal, then c≤1. ii) Let M be a mixed faliate ge...In this paper, we prove the following two main results: i) Let M be a mixed foliate non-trivial CR Submanifold of a Sasakian space form M(c). If the (D,⊥D) is ξ-horizontal, then c≤1. ii) Let M be a mixed faliate generic Submanifold of a Sasakian Space form M^(2m)+1(c). If the(D,⊥) is ξ-horizontal and the f-structure P oa M is paralIel, then M is an (m+l)-dimensional anti-invariant Submanifold of M^(2m+1(c) or, c=1.展开更多
We prove that a Cl-generic volume-preserving dynamical system （diffeomor- phism or flow） has the shadowing property or is expansive or has the weak specification property if and only if it is Anosov. Finally, as in ...We prove that a Cl-generic volume-preserving dynamical system （diffeomor- phism or flow） has the shadowing property or is expansive or has the weak specification property if and only if it is Anosov. Finally, as in [10, 27], we prove that the Cl-robustness, within the volume-preserving context, of the expansiveness property and the weak specifica- tion property, imply that the dynamical system （diffeomorphism or flow） is Anosov.展开更多
In this article,we consider the Lipschitz metric of conservative weak solutions for the rotation-Camassa-Holm equation.Based on defining a Finsler-type norm on the tangent space for solutions,we first establish the Li...In this article,we consider the Lipschitz metric of conservative weak solutions for the rotation-Camassa-Holm equation.Based on defining a Finsler-type norm on the tangent space for solutions,we first establish the Lipschitz metric for smooth solutions,then by proving the generic regularity result,we extend this metric to general weak solutions.展开更多
It is well established that genetic and environmental factors are involved in the etiology of essential hypertension(EH). Previous studies have suggested that at least one of the HLA genes is responsible for the genet...It is well established that genetic and environmental factors are involved in the etiology of essential hypertension(EH). Previous studies have suggested that at least one of the HLA genes is responsible for the genetic susceptibility to EH. Our aim in the present study was to investigate this issue in China by the PCR-SSP HLA-DRB1 typing method. The results showed an increased frequency of HLA-DR2 and a decreased frequency of HLA-DR7 with EH patients compared with controls. We consider that HLA-DR2 may represent a marker for susceptibility to FH in the North Chinese population.展开更多
This paper contrastively studies the generic structures of sixty abstracts from English teaching and learning journals written by Chinese writers and English native writers.Analysis of the data is based on Swales'...This paper contrastively studies the generic structures of sixty abstracts from English teaching and learning journals written by Chinese writers and English native writers.Analysis of the data is based on Swales' IMRD(Introduction-Method-Result-Discussion) model and all the data are coded through SPSS.Result indicates 1) English natives tend to write longer than Chinese.2) The rhetorical structure of the abstract tends to be more complete in the international journals.3) English natives tend to write more about the background details while the Chinese natives focus more on the result explanation.It is hoped that this comparison would shed some lights on abstract writing for Chinese writers.展开更多
We are concerned with the sets of quasi generic points in finite symbolic space. We estimate the sizes of the sets by the Billingsley dimension defined by Gibbs measures. A dimension formula of such set is given, whic...We are concerned with the sets of quasi generic points in finite symbolic space. We estimate the sizes of the sets by the Billingsley dimension defined by Gibbs measures. A dimension formula of such set is given, which generalizes Bowen＇s result. An application is given to the level sets of Birkhoff average.展开更多
Network calculus is an evolving new methodology for backlog and delay analysis of packet-switching networks. With network calculus we are able to compute tight bounds on delays,backlogs,and effective bandwidths in a l...Network calculus is an evolving new methodology for backlog and delay analysis of packet-switching networks. With network calculus we are able to compute tight bounds on delays,backlogs,and effective bandwidths in a lossless setting applicable to packet-switching networks and better understand some physical properties of networks. In this paper,the basic network calculus concepts of arrival curves and service curves are introduced.Then we provide the approach for modeling leaky-bucket,generic cell rate algorithm(GCRA),constant bit rate(CBR)flow, variable bit rate(VBR) flow with arrival curve.It is shown that all rate-based packet schedulers can be by a simple rate latency service curve.And by applying these fundamental rules of network calculus,bounds on delay, buffer,effective bandwidth for leaky bucket,GCRA,CBR and VBR can be derived and some practical examples are given.Finally,we compare all the results obtained and conclude this paper.展开更多
A continuous-time nonlinear model predictive controller(NMPC) was designed for a boiler-turbine unit.The controller was designed by optimizing a receding-horizon performance index,with the nonlinear system approximate...A continuous-time nonlinear model predictive controller(NMPC) was designed for a boiler-turbine unit.The controller was designed by optimizing a receding-horizon performance index,with the nonlinear system approximated by its Taylor series expansion with a certain order,the magnitude saturation constraints on the inputs satisfied by increasing the predictive time,and the rate saturation conditions on the actuators satisfied by tuning the time constant of the reference trajectories in a reference governor.Simulation results showed that the controller can drive the drum pressure and output power of the nonlinear boiler-turbine unit to follow their respective reference trajectories throughout a varying operation range and keep the water level deviation within tolerances.Comparison of the NMPC scheme with the generic model control(GMC) scheme indicated that the responses are slower and there are more oscillations in the responses of the water level,fuel flow input and feed water flow input in the GMC scheme when the boiler-turbine unit is operating over a wide range.展开更多
In the study of multisemiotics, the view of resemiotization complementary to multimodality is conducive to the dissectionof the material and historicized dimensions of representation, tracing the socio-semiotic histor...In the study of multisemiotics, the view of resemiotization complementary to multimodality is conducive to the dissectionof the material and historicized dimensions of representation, tracing the socio-semiotic histories and transitions with the focus onsocial construction. From this perspective, this paper investigates two visual-verbal print advertisements spanning over a centurywithin the framework of Generic Structure Potential. Development of technologies and change of ideologies have contributed to theshifts of meaning making among different components in the verbal and visual modes.展开更多
With the development of globalization and information technology,online company profile has been an effective commu-nication channel between companies and their target customers or clients.Online company profile,as a ...With the development of globalization and information technology,online company profile has been an effective commu-nication channel between companies and their target customers or clients.Online company profile,as a specific genre,has the dis-tinct features and functions in commercial activities.This study aims to do linguistic study of the constitution and the role of thesecompany profiles about sporting goods for communication on the Internet.To realize it,six company profiles have been selectedfrom the official websites of each sports company.The genre analysis of these samples is conducted from the perspective ofHasan’s Contextual Configuration(CC)and Generic Structure Potential(GSP).This thesis attempts to give the suggestions on howto compose a company profile for readers and sporting companies and the reference for the related researches in the future.展开更多
This research proposal focuses on a tentative exploration of teaching procedures for college English writing with the ge-neric approach of Sydney School.This research will mainly adopt a qualitative research methodolo...This research proposal focuses on a tentative exploration of teaching procedures for college English writing with the ge-neric approach of Sydney School.This research will mainly adopt a qualitative research methodology,which aims to figure out the contextual configuration and generic structural potential as well as the register of a specific genre and assist students to write arti-cles of the target genre through teaching procedures like deconstruction,joint construction,and independent construction.展开更多
This study constructs a function-private inner-product predicate encryption(FP-IPPE)and achieves standard enhanced function privacy.The enhanced function privacy guarantees that a predicate secret key skf reveals noth...This study constructs a function-private inner-product predicate encryption(FP-IPPE)and achieves standard enhanced function privacy.The enhanced function privacy guarantees that a predicate secret key skf reveals nothing about the predicate f,as long as f is drawn from an evasive distribution with sufficient entropy.The proposed scheme extends the group-based public-key function-private predicate encryption(FP-PE)for“small superset predicates”proposed by Bartusek et al.(Asiacrypt 19),to the setting of inner-product predicates.This is the first construction of public-key FP-PE with enhanced function privacy security beyond the equality predicates,which is previously proposed by Boneh et al.(CRYPTO 13).The proposed construction relies on bilinear groups,and the security is proved in the generic bilinear group model.展开更多
文摘Attribute-based encryption is drawing more attention with its inherent attractive properties which are potential to be widely used in the newly developing cloud computing. However, one of the main obstacles for its application is how to revoke the attributes of the users, though some ABE schemes have realized revocation, they mostly focused on the user revocation that revokes the user＇s whole attributes, or attribute revocation under the indirect revocation model such that all the users＇ private keys will be affected by the revocation. In this paper, we define the model of CP-ABE supporting the attribute revocation under the direct revocation model, in which the revocation list is embed in the ciphertext and none of the users＇ private keys will be affected by the revocation process. Then we propose a generic construction, and prove its security with the decision q-BDHE assumption.
基金supported by National Natural Science Foundation of China (10871133,11071246 and 11101143)Fundamental Research Funds of the Central Universities (09QL48)
文摘We use Hopf-Lax formula to study local regularity of solution to Hamilton- Jacobi （HJ） equations of multi-dimensional space variables with convex Hamiltonian. Then we give the large time generic form of the solution to HJ equation, i.e. for most initial data there exists a constant T 〉 0, which depends only on the Hamiltonian and initial datum, for t 〉 T the solution of the IVP （1.1） is smooth except for ~ smooth n-dimensional hypersurface, across which Du（x, t） is discontinuous. And we show that the hypersurface 1 tends asymptotically to a given hypersurface with rate t-1/4.
基金funding support from the Science and Technology Commission of Shanghai Municipality(Grant No.21DZ1100500)the Shanghai Frontiers Science Center Program(2021-2025 No.20)+2 种基金the Zhangjiang National Innovation Demonstration Zone(Grant No.ZJ2019ZD-005)supported by a fellowship from the China Postdoctoral Science Foundation(2020M671169)the International Postdoctoral Exchange Program from the Administrative Committee of Post-Doctoral Researchers of China([2020]33)。
文摘Significant progress has been made in computational imaging(CI),in which deep convolutional neural networks(CNNs)have demonstrated that sparse speckle patterns can be reconstructed.However,due to the limited“local”kernel size of the convolutional operator,for the spatially dense patterns,such as the generic face images,the performance of CNNs is limited.Here,we propose a“non-local”model,termed the Speckle-Transformer(SpT)UNet,for speckle feature extraction of generic face images.It is worth noting that the lightweight SpT UNet reveals a high efficiency and strong comparative performance with Pearson Correlation Coefficient(PCC),and structural similarity measure(SSIM)exceeding 0.989,and 0.950,respectively.
基金the financial support received from the Scientific Research Projects Office of Istanbul Technical University,stanbul, Turkey for the project titled as ‘Numerical and Experimental Investigation of Exhaust Smoke Dispersion for Naval Ships’
文摘The exhaust smoke dispersion for a generic frigate is investigated numerically through the numerical solution of the governing fluid flow, energy, species and turbulence equations. The main objective of this work is to obtain the effects of the yaw angle velocity ratio and buoyancy on the dispersion of the exhaust smoke The numerical method is based on the fully conserved control-volume representation of the fully elliptic Navier-Stokes equations. Turbulence is modeled using a two-equation （k-ε） model The flow visualization tests using a 1/100 scale model of the frigate in the wind tunnel were also carried out to determine the exhaust plume path and to validatc the computational results. The results show that down wash phenomena occurs for the yaw angles between ψ=10° and 20°. The results with different exhaust gas temperatures show that the buoyancy effect increases with the increasing of the exhaust gas temperature. However, its effect on the plume rise is less significant in comparison with its momentum. A good agreement between the predictions and experiment results is obtained.
基金supported by the research grant(162/428)of the Research centre,faculty of Science,King Abdul Aziz University, K.S.A
文摘Warped product manifolds are known to have applications in physics. For instance, they provide an excellent setting to model space-time near a black hole or a massive star （cf. [9]）. The studies on warped product manifolds with extrinsic geometric point of view were intensified after the B.Y. Chen＇s work on CR-warped product submanifolds of Kaehler manifolds （cf. [6], [7]）. Later on, similar studies were carried out in the setting of 1.c.K. manifolds and nearly Kaehler manifolds （el. [3], [11]）. In the present article, we investigate a larger class of warped product submanifolds of 1.c.K. manifolds, ensure their existence by constructing an example of such manifolds and obtain some important properties of these submanifolds. With regard to the CR-warped product submanifold, a special case of generic warped product submanifolds, we obtain a characterization under which a CR-submanifold is reducesd to a CR-warped product submanifold.
文摘We report a simple and rapid HLA-DRBI generic typing method, PCRSSP, which is practical and inexpensive. We use 9 sequence-specific primers and 2 group specific Primers to define the HI-ADRB1 specificities DR1,DR2, DR3, DR4,DR5,DR6, DR7, DR8, DR9 and DR10. The HLA DR3, DR5,DR6 and DR8 can be amplified by the two primers of DR3568 and DRB1. The DR6 specificity can be identified by excluding the DR3, DR5 and DR8 when the DR3568 are positive. Any individuals can be typed with some exception: the three pairs of phenotype DR3/DR3 and DR3/DR6, DR5/DRS and DR5/DR6,DR8/DR8 and DR8/DR6 cannot be discriminated from each other. We typed 106 unrelated healthy people from Beijing locations in two weeks. We think this typing method is suitable to replace the error-prone serologic HLA-DR tests in routine clinical practice, including the Prospective typing of cadaveric organ donors.
文摘In this paper, we prove the following two main results: i) Let M be a mixed foliate non-trivial CR Submanifold of a Sasakian space form M(c). If the (D,⊥D) is ξ-horizontal, then c≤1. ii) Let M be a mixed faliate generic Submanifold of a Sasakian Space form M^(2m)+1(c). If the(D,⊥) is ξ-horizontal and the f-structure P oa M is paralIel, then M is an (m+l)-dimensional anti-invariant Submanifold of M^(2m+1(c) or, c=1.
基金partially supported by National Funds through FCT-"Fundacao para a Ciencia e a Tecnologia",(PEst-OE/MAT/UI0212/2011)supported by Basic Science Research Program through the National Research Foundation of Korea(NRF)funded by the Ministry,ICT&Future Planning(No.2014R1A1A1A05002124)supported by National Natural Science Foundation of China(No.11301018 and 11371046)
文摘We prove that a Cl-generic volume-preserving dynamical system （diffeomor- phism or flow） has the shadowing property or is expansive or has the weak specification property if and only if it is Anosov. Finally, as in [10, 27], we prove that the Cl-robustness, within the volume-preserving context, of the expansiveness property and the weak specifica- tion property, imply that the dynamical system （diffeomorphism or flow） is Anosov.
基金supported by Chongqing Post-doctoral Innovative Talent Support Progran,the Fundamental Research Funds for the Central Universities(XDJK2020C054)China Postdoctoral Science Foundation(2020M673102)+3 种基金the Natural Science Foundation of Chongqing,China,(cstc2020jcyj-bsh X0071)supported by the Fundamental Research Funds for the Central Universities(2019CDJCYJ001,2020CQJQ-Z001)the NSFC(11771062 and 11971082)Chongqing Key Laboratory of Analytic Mathematics and Applications。
文摘In this article,we consider the Lipschitz metric of conservative weak solutions for the rotation-Camassa-Holm equation.Based on defining a Finsler-type norm on the tangent space for solutions,we first establish the Lipschitz metric for smooth solutions,then by proving the generic regularity result,we extend this metric to general weak solutions.
文摘It is well established that genetic and environmental factors are involved in the etiology of essential hypertension(EH). Previous studies have suggested that at least one of the HLA genes is responsible for the genetic susceptibility to EH. Our aim in the present study was to investigate this issue in China by the PCR-SSP HLA-DRB1 typing method. The results showed an increased frequency of HLA-DR2 and a decreased frequency of HLA-DR7 with EH patients compared with controls. We consider that HLA-DR2 may represent a marker for susceptibility to FH in the North Chinese population.
文摘This paper contrastively studies the generic structures of sixty abstracts from English teaching and learning journals written by Chinese writers and English native writers.Analysis of the data is based on Swales' IMRD(Introduction-Method-Result-Discussion) model and all the data are coded through SPSS.Result indicates 1) English natives tend to write longer than Chinese.2) The rhetorical structure of the abstract tends to be more complete in the international journals.3) English natives tend to write more about the background details while the Chinese natives focus more on the result explanation.It is hoped that this comparison would shed some lights on abstract writing for Chinese writers.
基金supported by Program Caiyuanpeisupported by NSFC(11171128,11271148)
文摘We are concerned with the sets of quasi generic points in finite symbolic space. We estimate the sizes of the sets by the Billingsley dimension defined by Gibbs measures. A dimension formula of such set is given, which generalizes Bowen＇s result. An application is given to the level sets of Birkhoff average.
基金supported in part by the development Foundation of Southwest Jiaotong Universitythe National Natural Science Foundation of China under Grant No.60572143
文摘Network calculus is an evolving new methodology for backlog and delay analysis of packet-switching networks. With network calculus we are able to compute tight bounds on delays,backlogs,and effective bandwidths in a lossless setting applicable to packet-switching networks and better understand some physical properties of networks. In this paper,the basic network calculus concepts of arrival curves and service curves are introduced.Then we provide the approach for modeling leaky-bucket,generic cell rate algorithm(GCRA),constant bit rate(CBR)flow, variable bit rate(VBR) flow with arrival curve.It is shown that all rate-based packet schedulers can be by a simple rate latency service curve.And by applying these fundamental rules of network calculus,bounds on delay, buffer,effective bandwidth for leaky bucket,GCRA,CBR and VBR can be derived and some practical examples are given.Finally,we compare all the results obtained and conclude this paper.
基金the Natural Science Foundation of China (No.50636010)
文摘A continuous-time nonlinear model predictive controller(NMPC) was designed for a boiler-turbine unit.The controller was designed by optimizing a receding-horizon performance index,with the nonlinear system approximated by its Taylor series expansion with a certain order,the magnitude saturation constraints on the inputs satisfied by increasing the predictive time,and the rate saturation conditions on the actuators satisfied by tuning the time constant of the reference trajectories in a reference governor.Simulation results showed that the controller can drive the drum pressure and output power of the nonlinear boiler-turbine unit to follow their respective reference trajectories throughout a varying operation range and keep the water level deviation within tolerances.Comparison of the NMPC scheme with the generic model control(GMC) scheme indicated that the responses are slower and there are more oscillations in the responses of the water level,fuel flow input and feed water flow input in the GMC scheme when the boiler-turbine unit is operating over a wide range.
文摘In the study of multisemiotics, the view of resemiotization complementary to multimodality is conducive to the dissectionof the material and historicized dimensions of representation, tracing the socio-semiotic histories and transitions with the focus onsocial construction. From this perspective, this paper investigates two visual-verbal print advertisements spanning over a centurywithin the framework of Generic Structure Potential. Development of technologies and change of ideologies have contributed to theshifts of meaning making among different components in the verbal and visual modes.
文摘With the development of globalization and information technology,online company profile has been an effective commu-nication channel between companies and their target customers or clients.Online company profile,as a specific genre,has the dis-tinct features and functions in commercial activities.This study aims to do linguistic study of the constitution and the role of thesecompany profiles about sporting goods for communication on the Internet.To realize it,six company profiles have been selectedfrom the official websites of each sports company.The genre analysis of these samples is conducted from the perspective ofHasan’s Contextual Configuration(CC)and Generic Structure Potential(GSP).This thesis attempts to give the suggestions on howto compose a company profile for readers and sporting companies and the reference for the related researches in the future.
文摘This research proposal focuses on a tentative exploration of teaching procedures for college English writing with the ge-neric approach of Sydney School.This research will mainly adopt a qualitative research methodology,which aims to figure out the contextual configuration and generic structural potential as well as the register of a specific genre and assist students to write arti-cles of the target genre through teaching procedures like deconstruction,joint construction,and independent construction.
基金National Key Research and Development Program of China(2021YFB3101402)National Natural Science Foundation of China(62202294)。
文摘This study constructs a function-private inner-product predicate encryption(FP-IPPE)and achieves standard enhanced function privacy.The enhanced function privacy guarantees that a predicate secret key skf reveals nothing about the predicate f,as long as f is drawn from an evasive distribution with sufficient entropy.The proposed scheme extends the group-based public-key function-private predicate encryption(FP-PE)for“small superset predicates”proposed by Bartusek et al.(Asiacrypt 19),to the setting of inner-product predicates.This is the first construction of public-key FP-PE with enhanced function privacy security beyond the equality predicates,which is previously proposed by Boneh et al.(CRYPTO 13).The proposed construction relies on bilinear groups,and the security is proved in the generic bilinear group model.
