Attribute-Based Signature(ABS)is a powerful cryptographic primitive that enables fine-grained access control in distributed systems.However,its high computational cost makes it unsuitable for resource-constrained envi...Attribute-Based Signature(ABS)is a powerful cryptographic primitive that enables fine-grained access control in distributed systems.However,its high computational cost makes it unsuitable for resource-constrained environments,and traditional monotonic access structures are inadequate for handling increasingly complex access policies.In this paper,we propose a novel smart contract-assisted ABS(SC-ABS)algorithm that supports nonmonotonic access structures,aiming to reduce client computing overhead while providingmore expressive and flexible access control.The SC-ABS scheme extends the monotonic access structure by introducing the concept of negative attributes,allowing for more complex and dynamic access policies.By utilizing smart contracts,the algorithmsupports distributed trusted assisted computation,and the computation code is transparent and auditable.Importantly,this design allows information about user attributes to be deployed on smart contracts for computation,both reducing the risk of privacy abuse by semi-honest servers and preventing malicious users from attribute concealment to forge signatures.We prove that SC-ABS satisfies unforgeability and anonymity under a random oracle model,and test the scheme’s cost.Comparedwith existing schemes,this scheme has higher efficiency in client signature and authentication.This scheme reduces the computing burden of users,and the design of smart contracts improves the security of aided computing further,solves the problem of attribute concealment,and expresses a more flexible access structure.The solution enables permission control applications in resource-constrained distributed scenarios,such as the Internet of Things(IoT)and distributed version control systems,where data security and flexible access control are critical.展开更多
Recent studies have shown that premature ventricular contractions （PVCs） could enlarge the heart, but its risk factors are incompletely understood as a single 24-hour recording cannot reflect the true PVC burden due...Recent studies have shown that premature ventricular contractions （PVCs） could enlarge the heart, but its risk factors are incompletely understood as a single 24-hour recording cannot reflect the true PVC burden due to day-to-day variability. Our purpose was to investigate the effect of burden and origin sites on left ventricular （LV） function in patients with PVCs by 7-day Holter electrocardiography （ECG）. From May 2012 to August 2013, 112 consecutive patients with PVCs were recruited from the authors＇ affiliated hospital. All patients received 2-dimensional transthoracic echocardiography, 12-lead routing ECG and 7-days Holter ECG. Serum N-terminal pro- brain natriuretic peptide （NT-proBNP） levels were measured. A total of 102 participants with PVCs were included in the final analysis. Origin of PVCs from the tricuspid annulus had the highest burden and NT-proBNP level. LV papillary muscle had a higher LV ejection fraction （EF） level and a lower LV end-systolic dimension （ESD） than other PVC foci （P〈0.05）. The high burden group had a higher LV end-diastolic dimension （EDD） and LVESD but lower LVEF than the other two groups （P〈0.05）. Female, older age, physical work, and history of PVCs had a significantly positive correlation with symptoms. Male, older age, physical work, and high burden were positive predictors of enlarged LVEDD, LVESD and higher serum NT-proBNP level, but lower LVEF. Seven-day dynamic ECG Holter monitor showed the true PVC burden on patients with PVCs. PVCs with a lower burden or origin from the LV papillary muscle and the fascicle were relatively benign, while PVCs with a higher burden or origin from the tricuspid annulus may lead to cardiac dysfunction.展开更多
In this paper, a novel non-monotonic Lyapunov-Krasovskii functional approach is proposed to deal with the stability analysis and stabilization problem of linear discrete time-delay systems. This technique is utilized ...In this paper, a novel non-monotonic Lyapunov-Krasovskii functional approach is proposed to deal with the stability analysis and stabilization problem of linear discrete time-delay systems. This technique is utilized to relax the monotonic requirement of the Lyapunov-Krasovskii theorem. In this regard, the Lyapunov-Krasovskii functional is allowed to increase in a few steps, while being forced to be overall decreasing. As a result, it relays on a larger class of Lyapunov-Krasovskii functionals to provide stability of a state-delay system. To this end, using the non-monotonic Lyapunov-Krasovskii theorem, new sufficient conditions are derived regarding linear matrix inequalities(LMIs)to study the global asymptotic stability of state-delay systems.Moreover, new stabilization conditions are also proposed for time-delay systems in this article. Both simulation and experimental results on a p H neutralizing process are provided to demonstrate the efficacy of the proposed method.展开更多
Some common fixed point results for mappings satisfying a quasi-contractive condition which involves altering distance functions are obtained in partially ordered complete cone metric spaces. A sufficient condition fo...Some common fixed point results for mappings satisfying a quasi-contractive condition which involves altering distance functions are obtained in partially ordered complete cone metric spaces. A sufficient condition for the uniqueness of common fixed point is proved. Also, an example is given to support our results.展开更多
Any composition sequential mapping, periodic composition mapping of a complete non-empty metric space M into M with geometric mean contraction ratio less than 1 ( simplifying as 'g-contraction mapping' ) has a...Any composition sequential mapping, periodic composition mapping of a complete non-empty metric space M into M with geometric mean contraction ratio less than 1 ( simplifying as 'g-contraction mapping' ) has a unique fixed point in M . Applications of the theorem to the proof of existence and uniqueness of the solutions of a set of non-linear differential equations and a coupled integral equations of symmetric bending of shallow shell of revolution are given.展开更多
This paper proposes a novel less-conservative non-monotonic Lyapunov-Krasovskii stability approach for stability analysis of discrete time-delay systems.In this method,monotonically decreasing requirements of the Lyap...This paper proposes a novel less-conservative non-monotonic Lyapunov-Krasovskii stability approach for stability analysis of discrete time-delay systems.In this method,monotonically decreasing requirements of the Lyapunov-Krasovskii method are replaced with non-monotonic ones.The Lyapunov-Krasovskii functional is allowed to increase in some steps,but the overall trend should be decreasing.The model of practical systems used for stability analysis usually contain uncertainty.Therefore,firstly a non-monotonic stability condition is derived for certain discrete time-delay systems,then robust non-monotonic stability conditions are proposed for uncertain systems.Finally,a novel stabilization algorithm is derived based on the introduced non-monotonic stability condition.The Lyapunov-Krasovskii functional and the controller are obtained by solving a set of linear matrix inequalities(LMI)or iterative LMI based nonlinear minimization.The proposed theorems are first evaluated by some numerical examples,and then by simulation and implementation on the pH neutralizing process plant.展开更多
In this paper, we introduce a new class U of 3-dimensional real functions, use U and a 2-dimensional real function ? to construct a new implicit-linear contractive condition and obtain some existence theorems of commo...In this paper, we introduce a new class U of 3-dimensional real functions, use U and a 2-dimensional real function ? to construct a new implicit-linear contractive condition and obtain some existence theorems of common fixed points for two mappings on partially ordered 2-metric spaces and give a sufficient condition under which there exists a unique common fixed point. The obtained results goodly generalize and improve the corresponding conclusions in references.展开更多
Recently, Wardowski [Fixed Point Theory Appl., 2012: 94, 2012] introduced and studied a new contraction called F-contraction to prove a fixed point result as a generalization of the Banach contraction principle. In th...Recently, Wardowski [Fixed Point Theory Appl., 2012: 94, 2012] introduced and studied a new contraction called F-contraction to prove a fixed point result as a generalization of the Banach contraction principle. In this paper, we introduce an α-β-FG-contraction and generalize the Wardowski fixed point result in b-metric and ordered b-metric spaces. As an application of our results we deduce Suzuki type fixed point results for β-FG-contractions.Moreover, we discuss some illustrative examples to highlight the realized improvements.展开更多
Iterated function systems （IFS） were introduced by Hutchinson in 1981 as a natural generalization of the well-known Banach contraction principle. In 2010, D. R. Sahu and A. Chakraborty introduced K-Iterated Function...Iterated function systems （IFS） were introduced by Hutchinson in 1981 as a natural generalization of the well-known Banach contraction principle. In 2010, D. R. Sahu and A. Chakraborty introduced K-Iterated Function System using Kannan mapping which would cover a larger range of mappings. In this paper, following Hutchinson, D. R. Sahu and A. Chakraborty, we present some new iterated function systems by using the so-called generalized contractive mappings, which will also cover a large range of mappings. Our purpose is to prove the existence and uniqueness of attractors for such class of iterated function systems by virtue of a Banach-like fixed point theorem concerning generalized contractive mappings.展开更多
The stability of a periodic oscillation and the global exponential class of recurrent neural networks with non-monotone activation functions and time-varying delays are analyzed. For two sets of activation functions, ...The stability of a periodic oscillation and the global exponential class of recurrent neural networks with non-monotone activation functions and time-varying delays are analyzed. For two sets of activation functions, some algebraic criteria for ascertaining global exponential periodicity and global exponential stability of the class of recurrent neural networks are derived by using the comparison principle and the theory of monotone operator. These conditions are easy to check in terms of system parameters. In addition, we provide a new and efficacious method for the qualitative analysis of various neural networks.展开更多
Acute myocardial ischemia was induced by intravenous injection of pituitrin, and electroacupuncture (EA) was applied at the Heart and Lung Meridians (HM and LM), 3 points on each meridian. The changes in the left ... Acute myocardial ischemia was induced by intravenous injection of pituitrin, and electroacupuncture (EA) was applied at the Heart and Lung Meridians (HM and LM), 3 points on each meridian. The changes in the left intraventricular pressure (LVP), the maximum rise rate of intraventricular pressure (LVP dp/dtmax), the area of cardiac force loop (ACFL), and the maximum shortening velocity of myocardial contractile element (Vmax) were observed. As a result, there were significant differences in the improvement of LVP, LVP dp/dtmax, ACFL and Vmax between EA at HM and LM. The regulatory action of EA at HM on the myocardial contractile function was significantly better than that of EA at LM, indicating that HM has a close relationship with the myocardial contractile function.……展开更多
This study explores the translation of business English contracts from English to Chinese from the perspective of functional equivalence.The functional equivalence theory involves three aspects of functional equivalen...This study explores the translation of business English contracts from English to Chinese from the perspective of functional equivalence.The functional equivalence theory involves three aspects of functional equivalence:lexical equivalence,sentential equivalence,and textual equivalence.As far as translation is concerned,translators adopt different translation techniques for different types of texts,striving to achieve equivalence in lexical,sentential,and textual functions.Therefore,translators are to recognize the different characteristics of business English contracts and highlight English translation styles and characteristics with the help of the functional equivalence theory.展开更多
Nominalization refers to the process of producing a noun from another part of speech or the derivation of a noun phrase from an underlying clause.In order to fulfill the specific analysis of nominalization in business...Nominalization refers to the process of producing a noun from another part of speech or the derivation of a noun phrase from an underlying clause.In order to fulfill the specific analysis of nominalization in business English contract,a corpus has been created with typical contracts.Based on a self-built business contract corpus,aspects of English nominalization,including its frequency of use,meaning selection and discourse position and function,have been examined.This study has found that nominalization is one of the most important characteristics of business contracts,and English nominalization can function mainly to improve the conciseness,formality,objectivity,and cohesiveness of the discourse.Meanwhile,the different characteristics of nominalization require different translation strategies and methods.The findings of this study may have implications for the business English teaching and translation.展开更多
As economic globalization continues to develop increasingly,political and economic trade has become more frequent.In international activities,business contracts are important legal documents,and all international busi...As economic globalization continues to develop increasingly,political and economic trade has become more frequent.In international activities,business contracts are important legal documents,and all international business activities require the signing of contracts,which has greatly increased the demand for translation of business contracts.Based on the functional equivalence theory,this paper analyzes the translation of E-C business contracts with the characteristics of business contracts.This paper aims to provide a theoretical basis and a practical translation strategy for E-C translation of business contracts,and to solve problems encountered in the translation practice.展开更多
In this work we try to give a new contraction type in multi-valued mapping on complete metric spaces. We prove the existence of fixed point for (<i>r</i>,<i>φ</i>,<i>ψ</i>)-Suzuki...In this work we try to give a new contraction type in multi-valued mapping on complete metric spaces. We prove the existence of fixed point for (<i>r</i>,<i>φ</i>,<i>ψ</i>)-Suzuki contraction in such spaces. Around our paper, the function <i>ψ</i> is absolutely continuous, and in this case, the contraction proposed by as has a fixed point.展开更多
This paper investigates the output-feedback control for discrete-time switched linear systems.By extending the methodology of switched Lyapunov functions(SLF),a non-monotonic SLF approach is proposed to analyse the st...This paper investigates the output-feedback control for discrete-time switched linear systems.By extending the methodology of switched Lyapunov functions(SLF),a non-monotonic SLF approach is proposed to analyse the stability of the resulting closed-loop system under arbitrary switching.This approach relaxes the requirement of monotonicity to conventional SLF approach,and hence it will lead to less conservative results.First,the stability of discrete-time switched systems is analysed,and then an output-feedback controller design method is proposed based on the obtained stability results.The controller design problem is formulated in term of LMIs,and relaxed variables are introduced in the synthesis conditions to improve the design freedom.Finally,three examples are used to verify the effectiveness and application potential of the proposed methods.展开更多
基金supported by National Natural Science Foundation of China.
文摘Attribute-Based Signature(ABS)is a powerful cryptographic primitive that enables fine-grained access control in distributed systems.However,its high computational cost makes it unsuitable for resource-constrained environments,and traditional monotonic access structures are inadequate for handling increasingly complex access policies.In this paper,we propose a novel smart contract-assisted ABS(SC-ABS)algorithm that supports nonmonotonic access structures,aiming to reduce client computing overhead while providingmore expressive and flexible access control.The SC-ABS scheme extends the monotonic access structure by introducing the concept of negative attributes,allowing for more complex and dynamic access policies.By utilizing smart contracts,the algorithmsupports distributed trusted assisted computation,and the computation code is transparent and auditable.Importantly,this design allows information about user attributes to be deployed on smart contracts for computation,both reducing the risk of privacy abuse by semi-honest servers and preventing malicious users from attribute concealment to forge signatures.We prove that SC-ABS satisfies unforgeability and anonymity under a random oracle model,and test the scheme’s cost.Comparedwith existing schemes,this scheme has higher efficiency in client signature and authentication.This scheme reduces the computing burden of users,and the design of smart contracts improves the security of aided computing further,solves the problem of attribute concealment,and expresses a more flexible access structure.The solution enables permission control applications in resource-constrained distributed scenarios,such as the Internet of Things(IoT)and distributed version control systems,where data security and flexible access control are critical.
基金supported by the innovation project in Jiangsu province,Chinathe Program for Development of Innovative Research Team in the First Affiliated Hospital of NJMU(IRT-004)
文摘Recent studies have shown that premature ventricular contractions （PVCs） could enlarge the heart, but its risk factors are incompletely understood as a single 24-hour recording cannot reflect the true PVC burden due to day-to-day variability. Our purpose was to investigate the effect of burden and origin sites on left ventricular （LV） function in patients with PVCs by 7-day Holter electrocardiography （ECG）. From May 2012 to August 2013, 112 consecutive patients with PVCs were recruited from the authors＇ affiliated hospital. All patients received 2-dimensional transthoracic echocardiography, 12-lead routing ECG and 7-days Holter ECG. Serum N-terminal pro- brain natriuretic peptide （NT-proBNP） levels were measured. A total of 102 participants with PVCs were included in the final analysis. Origin of PVCs from the tricuspid annulus had the highest burden and NT-proBNP level. LV papillary muscle had a higher LV ejection fraction （EF） level and a lower LV end-systolic dimension （ESD） than other PVC foci （P〈0.05）. The high burden group had a higher LV end-diastolic dimension （EDD） and LVESD but lower LVEF than the other two groups （P〈0.05）. Female, older age, physical work, and history of PVCs had a significantly positive correlation with symptoms. Male, older age, physical work, and high burden were positive predictors of enlarged LVEDD, LVESD and higher serum NT-proBNP level, but lower LVEF. Seven-day dynamic ECG Holter monitor showed the true PVC burden on patients with PVCs. PVCs with a lower burden or origin from the LV papillary muscle and the fascicle were relatively benign, while PVCs with a higher burden or origin from the tricuspid annulus may lead to cardiac dysfunction.
文摘In this paper, a novel non-monotonic Lyapunov-Krasovskii functional approach is proposed to deal with the stability analysis and stabilization problem of linear discrete time-delay systems. This technique is utilized to relax the monotonic requirement of the Lyapunov-Krasovskii theorem. In this regard, the Lyapunov-Krasovskii functional is allowed to increase in a few steps, while being forced to be overall decreasing. As a result, it relays on a larger class of Lyapunov-Krasovskii functionals to provide stability of a state-delay system. To this end, using the non-monotonic Lyapunov-Krasovskii theorem, new sufficient conditions are derived regarding linear matrix inequalities(LMIs)to study the global asymptotic stability of state-delay systems.Moreover, new stabilization conditions are also proposed for time-delay systems in this article. Both simulation and experimental results on a p H neutralizing process are provided to demonstrate the efficacy of the proposed method.
基金Supported by the National Natural Science Foundation of China（11271293）
文摘Some common fixed point results for mappings satisfying a quasi-contractive condition which involves altering distance functions are obtained in partially ordered complete cone metric spaces. A sufficient condition for the uniqueness of common fixed point is proved. Also, an example is given to support our results.
文摘Any composition sequential mapping, periodic composition mapping of a complete non-empty metric space M into M with geometric mean contraction ratio less than 1 ( simplifying as 'g-contraction mapping' ) has a unique fixed point in M . Applications of the theorem to the proof of existence and uniqueness of the solutions of a set of non-linear differential equations and a coupled integral equations of symmetric bending of shallow shell of revolution are given.
文摘This paper proposes a novel less-conservative non-monotonic Lyapunov-Krasovskii stability approach for stability analysis of discrete time-delay systems.In this method,monotonically decreasing requirements of the Lyapunov-Krasovskii method are replaced with non-monotonic ones.The Lyapunov-Krasovskii functional is allowed to increase in some steps,but the overall trend should be decreasing.The model of practical systems used for stability analysis usually contain uncertainty.Therefore,firstly a non-monotonic stability condition is derived for certain discrete time-delay systems,then robust non-monotonic stability conditions are proposed for uncertain systems.Finally,a novel stabilization algorithm is derived based on the introduced non-monotonic stability condition.The Lyapunov-Krasovskii functional and the controller are obtained by solving a set of linear matrix inequalities(LMI)or iterative LMI based nonlinear minimization.The proposed theorems are first evaluated by some numerical examples,and then by simulation and implementation on the pH neutralizing process plant.
文摘In this paper, we introduce a new class U of 3-dimensional real functions, use U and a 2-dimensional real function ? to construct a new implicit-linear contractive condition and obtain some existence theorems of common fixed points for two mappings on partially ordered 2-metric spaces and give a sufficient condition under which there exists a unique common fixed point. The obtained results goodly generalize and improve the corresponding conclusions in references.
基金funded by the Deanship of Scientific Research (DSR), King Abdulaziz University, JeddahDSR, KAU for financial supportthe Ministry of Education, Science and Technological Development of Serbia, Grant No. 174002
文摘Recently, Wardowski [Fixed Point Theory Appl., 2012: 94, 2012] introduced and studied a new contraction called F-contraction to prove a fixed point result as a generalization of the Banach contraction principle. In this paper, we introduce an α-β-FG-contraction and generalize the Wardowski fixed point result in b-metric and ordered b-metric spaces. As an application of our results we deduce Suzuki type fixed point results for β-FG-contractions.Moreover, we discuss some illustrative examples to highlight the realized improvements.
基金Partially supported by National Natural Science Foundation of China (No. 10961003)
文摘Iterated function systems （IFS） were introduced by Hutchinson in 1981 as a natural generalization of the well-known Banach contraction principle. In 2010, D. R. Sahu and A. Chakraborty introduced K-Iterated Function System using Kannan mapping which would cover a larger range of mappings. In this paper, following Hutchinson, D. R. Sahu and A. Chakraborty, we present some new iterated function systems by using the so-called generalized contractive mappings, which will also cover a large range of mappings. Our purpose is to prove the existence and uniqueness of attractors for such class of iterated function systems by virtue of a Banach-like fixed point theorem concerning generalized contractive mappings.
基金Supported by the Natural Science Foundation of Hubei Province (2007ABA124)the Youth Project Foundation of Hubei Province Education Department (Q200722001)the Major Foundation of Hubei Province Education Department (D200722002)
文摘The stability of a periodic oscillation and the global exponential class of recurrent neural networks with non-monotone activation functions and time-varying delays are analyzed. For two sets of activation functions, some algebraic criteria for ascertaining global exponential periodicity and global exponential stability of the class of recurrent neural networks are derived by using the comparison principle and the theory of monotone operator. These conditions are easy to check in terms of system parameters. In addition, we provide a new and efficacious method for the qualitative analysis of various neural networks.
文摘 Acute myocardial ischemia was induced by intravenous injection of pituitrin, and electroacupuncture (EA) was applied at the Heart and Lung Meridians (HM and LM), 3 points on each meridian. The changes in the left intraventricular pressure (LVP), the maximum rise rate of intraventricular pressure (LVP dp/dtmax), the area of cardiac force loop (ACFL), and the maximum shortening velocity of myocardial contractile element (Vmax) were observed. As a result, there were significant differences in the improvement of LVP, LVP dp/dtmax, ACFL and Vmax between EA at HM and LM. The regulatory action of EA at HM on the myocardial contractile function was significantly better than that of EA at LM, indicating that HM has a close relationship with the myocardial contractile function.……
文摘This study explores the translation of business English contracts from English to Chinese from the perspective of functional equivalence.The functional equivalence theory involves three aspects of functional equivalence:lexical equivalence,sentential equivalence,and textual equivalence.As far as translation is concerned,translators adopt different translation techniques for different types of texts,striving to achieve equivalence in lexical,sentential,and textual functions.Therefore,translators are to recognize the different characteristics of business English contracts and highlight English translation styles and characteristics with the help of the functional equivalence theory.
基金This research was supported by Project of National Foundation for Philosophy and Social Science(19BYY138).
文摘Nominalization refers to the process of producing a noun from another part of speech or the derivation of a noun phrase from an underlying clause.In order to fulfill the specific analysis of nominalization in business English contract,a corpus has been created with typical contracts.Based on a self-built business contract corpus,aspects of English nominalization,including its frequency of use,meaning selection and discourse position and function,have been examined.This study has found that nominalization is one of the most important characteristics of business contracts,and English nominalization can function mainly to improve the conciseness,formality,objectivity,and cohesiveness of the discourse.Meanwhile,the different characteristics of nominalization require different translation strategies and methods.The findings of this study may have implications for the business English teaching and translation.
文摘As economic globalization continues to develop increasingly,political and economic trade has become more frequent.In international activities,business contracts are important legal documents,and all international business activities require the signing of contracts,which has greatly increased the demand for translation of business contracts.Based on the functional equivalence theory,this paper analyzes the translation of E-C business contracts with the characteristics of business contracts.This paper aims to provide a theoretical basis and a practical translation strategy for E-C translation of business contracts,and to solve problems encountered in the translation practice.
文摘In this work we try to give a new contraction type in multi-valued mapping on complete metric spaces. We prove the existence of fixed point for (<i>r</i>,<i>φ</i>,<i>ψ</i>)-Suzuki contraction in such spaces. Around our paper, the function <i>ψ</i> is absolutely continuous, and in this case, the contraction proposed by as has a fixed point.
文摘This paper investigates the output-feedback control for discrete-time switched linear systems.By extending the methodology of switched Lyapunov functions(SLF),a non-monotonic SLF approach is proposed to analyse the stability of the resulting closed-loop system under arbitrary switching.This approach relaxes the requirement of monotonicity to conventional SLF approach,and hence it will lead to less conservative results.First,the stability of discrete-time switched systems is analysed,and then an output-feedback controller design method is proposed based on the obtained stability results.The controller design problem is formulated in term of LMIs,and relaxed variables are introduced in the synthesis conditions to improve the design freedom.Finally,three examples are used to verify the effectiveness and application potential of the proposed methods.
