From the perspective of civil subject theory,law of value,comparative law and history of laws,the thesis expounds that the contract on the transfer of the contractual right of rural lands is in nature a civil contract...From the perspective of civil subject theory,law of value,comparative law and history of laws,the thesis expounds that the contract on the transfer of the contractual right of rural lands is in nature a civil contract instead of an administrative one.Then it explores the defects in the contract from the viewpoint of legal value goal,contract law and legal sociology,that is,the relevant provisions in Rural Land Contract Law and Explanations of Supreme People's Court about the Issues concerning the Laws Applicable to the Trial of Cases of Disputes over Rural Land Contracting go against the principle of free contracting and run counter to the legal value goal of justice,so they do not achieve good implementing effect.Finally,the thesis demonstrates and makes some practical legislative proposals to perfect the contract system for circulation of the right to operate constructed rural lands,aiming at improving the circulation rate through perfecting the contract of the right to rural land contractual management,solving the disputes in rural lands circulation and safeguarding the legitimate rights of the farmers.展开更多
EDITOR'S NOTE: The Draft Labor Contract Law of the People's Republic of China has been completed and was published for soliciting comments on March 20. In a short period of one month, 191,849 pieces of comments and...EDITOR'S NOTE: The Draft Labor Contract Law of the People's Republic of China has been completed and was published for soliciting comments on March 20. In a short period of one month, 191,849 pieces of comments and opinions were received. Prior to the promulgation of the law, this reporter interviewed Mr. Guan Huai, a noted Chinese expert in labor law, professor of the Law School of the Renmin University of China and law advisor to the All-China Federation of Trade Unions.展开更多
This paper examines the bipartite consensus problems for the nonlinear multi-agent systems in Lurie dynamics form with cooperative and competitive communication between different agents. Based on the contraction theor...This paper examines the bipartite consensus problems for the nonlinear multi-agent systems in Lurie dynamics form with cooperative and competitive communication between different agents. Based on the contraction theory, some new conditions for the nonlinear Lurie multi-agent systems reaching bipartite leaderless consensus and bipartite tracking consensus are presented. Compared with the traditional methods, this approach degrades the dimensions of the conditions, eliminates some restrictions of the system matrix, and extends the range of the nonlinear function. Finally, two numerical examples are provided to illustrate the efficiency of our results.展开更多
With the rise of blockchain technology,the security issues of smart contracts have become increasingly critical.Despite the availability of numerous smart contract vulnerability detection tools,many face challenges su...With the rise of blockchain technology,the security issues of smart contracts have become increasingly critical.Despite the availability of numerous smart contract vulnerability detection tools,many face challenges such as slow updates,usability issues,and limited installation methods.These challenges hinder the adoption and practicality of these tools.This paper examines smart contract vulnerability detection tools from 2016 to 2023,sourced from the Web of Science(WOS)and Google Scholar.By systematically collecting,screening,and synthesizing relevant research,38 open-source tools that provide installation methods were selected for further investigation.From a developer’s perspective,this paper offers a comprehensive survey of these 38 open-source tools,discussing their operating principles,installation methods,environmental dependencies,update frequencies,and installation challenges.Based on this,we propose an Ethereum smart contract vulnerability detection framework.This framework enables developers to easily utilize various detection tools and accurately analyze contract security issues.To validate the framework’s stability,over 1700 h of testing were conducted.Additionally,a comprehensive performance test was performed on the mainstream detection tools integrated within the framework,assessing their hardware requirements and vulnerability detection coverage.Experimental results indicate that the Slither tool demonstrates satisfactory performance in terms of system resource consumption and vulnerability detection coverage.This study represents the first performance evaluation of testing tools in this domain,providing significant reference value.展开更多
Due to mobile Internet technology's rapid popularization,the Industrial Internet of Things(IIoT)can be seen everywhere in our daily lives.While IIoT brings us much convenience,a series of security and scalability ...Due to mobile Internet technology's rapid popularization,the Industrial Internet of Things(IIoT)can be seen everywhere in our daily lives.While IIoT brings us much convenience,a series of security and scalability issues related to permission operations rise to the surface during device communications.Hence,at present,a reliable and dynamic access control management system for IIoT is in urgent need.Up till now,numerous access control architectures have been proposed for IIoT.However,owing to centralized models and heterogeneous devices,security and scalability requirements still cannot be met.In this paper,we offer a smart contract token-based solution for decentralized access control in IIoT systems.Specifically,there are three smart contracts in our system,including the Token Issue Contract(TIC),User Register Contract(URC),and Manage Contract(MC).These three contracts collaboratively supervise and manage various events in IIoT environments.We also utilize the lightweight and post-quantum encryption algorithm-Nth-degree Truncated Polynomial Ring Units(NTRU)to preserve user privacy during the registration process.Subsequently,to evaluate our proposed architecture's performance,we build a prototype platform that connects to the local blockchain.Finally,experiment results show that our scheme has achieved secure and dynamic access control for the IIoT system compared with related research.展开更多
surveys the evolution of the contract system of 'responsibility linked to production' in the cooperative economy of China’s socialist agricultural sector and makes a critical analysis of the old model in whic...surveys the evolution of the contract system of 'responsibility linked to production' in the cooperative economy of China’s socialist agricultural sector and makes a critical analysis of the old model in which labor was deployed in a concentrated way and remuneration paid according to workpoints. He thereby brings to light two specific characteristics of China’s agriculture—the scattered and independent nature of the labor and the unified control and coordination over the process of production by the combination of households—and the two requirements resulting from these. The author holds that the key to the economic nature of the 'contract system of responsibility linked to production' lies in two unique, often puzzling, economic phenomena in the cooperative economy under the system of collective ownership: 1. labor is carried out independently and in a decentralized manner; and 2. remuneration is not based on workpoints but is directly obtained by individuals according to the product. In the process of analyzing these two phenomena, the author differentiates the modes of labor and the relations of production, and clarifies the process of production of the rural contract system’s combination of centralization and decentralization, and the essence of the two-tiered policy. He also formulates the category of 'standard output' to describe a characteristic of the mode of distribution in the rural contract system, that is, the calculation of remuneration according to a standard output. The paper also discusses the rural economy and its development after the institution of the contract system of 'responsibility linked to production' but due to limited space this will be published in a later article.展开更多
With the further development of service-oriented,performance-based contracting(PBC)has been widely adopted in industry and manufacturing.However,maintenance optimization problems under PBC have not received enough att...With the further development of service-oriented,performance-based contracting(PBC)has been widely adopted in industry and manufacturing.However,maintenance optimization problems under PBC have not received enough attention.To further extend the scope of PBC’s application in the field of maintenance optimization,we investigate the condition-based maintenance(CBM)optimization for gamma deteriorating systems under PBC.Considering the repairable single-component system subject to the gamma degradation process,this paper proposes a CBM optimization model to maximize the profit and improve system performance at a relatively low cost under PBC.In the proposed CBM model,the first inspection interval has been considered in order to reduce the inspection frequency and the cost rate.Then,a particle swarm algorithm(PSO)and related solution procedure are presented to solve the multiple decision variables in our proposed model.In the end,a numerical example is provided so as to demonstrate the superiority of the presented model.By comparing the proposed policy with the conventional ones,the superiority of our proposed policy is proved,which can bring more profits to providers and improve performance.Sensitivity analysis is conducted in order to research the effect of corrective maintenance cost and time required for corrective maintenance on optimization policy.A comparative study is given to illustrate the necessity of distinguishing the first inspection interval or not.展开更多
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.展开更多
Background:This study aimed to review treatments and evaluate the aesthetic outcomes,complications,and reoperation rates regarding surgical correction for a postoperative contracted nose.Methods:PubMed,MEDLINE,and Emb...Background:This study aimed to review treatments and evaluate the aesthetic outcomes,complications,and reoperation rates regarding surgical correction for a postoperative contracted nose.Methods:PubMed,MEDLINE,and Embase databases were searched for studies detailing aesthetic outcomes and complications of surgical correction of a contracted nose.Surgical procedures,adjuvant treatment,outcomes,and complications were synthesized and analyzed.Results:Nine articles encompassing 376 patients were included in the systematic review,and six articles(198 participants)were included in the meta-analysis.The most frequently used graft material was the autologous rib cartilage(61.1%).Surgical procedures were heterogeneous in these studies.The nasolabial angle reduced by 9.52°(95%confidence interval(CI):(-11.95,-7.09),P<0.0001),and the nasal length increased significantly(standardized mean difference(SMD)=2.25,95%CI:(1.26,2.23),P<0.00001).However,the evidence was insufficient to determine a significant change in the columellar-labial angle(SMD=-0.95,95%CI:(-2.19,0.29),P=0.13)and columellar-lobular angle(SMD=2.39,95%CI:(-1.20,5.97),P=0.19).Aesthetic dissatisfaction(12.5%)and infection(4.5%)were the most commonly reported complications.Reoperation was performed in 5.3%of patients.Conclusion:Surgical correction can increase the nasal length,reduce the nasolabial angle,and have a low reoperation rate.No significant improvement in the columellar-labial or columellar-lobular angle was observed.展开更多
We developed an eccentric contraction induced electrical stimulation (ES) training system. The purpose of this study was to investigate whether the eccentric contraction induced ES enhance the knee extension torque co...We developed an eccentric contraction induced electrical stimulation (ES) training system. The purpose of this study was to investigate whether the eccentric contraction induced ES enhance the knee extension torque compared with typical ES. Twenty-two young untrained men (age: 23 ± 3 years) in the acute response trial (single training) and seven untrained men in the long period training trial (for 6 weeks) were studied. We measured muscle thickness and knee extension torque evoked by ES with eccentric contraction training system (ES + ECC) or ES alone for the quadriceps muscle of men. The levels of pain and discomfort were evaluated using numeric rating scale (NRS) and heart rate variability. The knee extension torque of ES + ECC was higher than that of ES alone in the acute response trial. There were no significant differences in the levels of pain and discomfort between ES and ES + ECC. Additionally, ES + ECC training for 6 weeks was effective on the quadriceps muscle thickness and knee extension torque. In contrast, the ES alone training failed to increase muscle thickness and knee extension torque. These results suggest that eccentric contraction induced ES would have the potential to become an effective intervention to promote muscle strengthening.展开更多
The study was conducted with the aim of exploring the barriers to the adoption of BOT contract systems for infrastructural development of technical universities in Ghana. In an empirical questionnaire survey with prof...The study was conducted with the aim of exploring the barriers to the adoption of BOT contract systems for infrastructural development of technical universities in Ghana. In an empirical questionnaire survey with professionals and experts in the construction and education sector, the respondents were invited to rate their perception on the barriers to the adoption of the BOT contracts systems. An interview session to satisfy ways of adopting the BOT contracts for infrastructural development in technical universities was conducted with selected professionals. The study revealed that the major barriers to the adoption of the BOT contract system are: delays in approval, corruption, reliability and credit worthiness of entities and expropriation. The study suggested that detailed policy or framework for implementing BOT contracts;proper planning by technical universities;and adequate protection for lenders is required for successful BOT implementation. Therefore there is a need to explore this concept, using adequate policy initiatives, proper measures and support from government to improve on the proper implementation of the BOT contracts in Technical Universities in Ghana.展开更多
Based on the applicable principle of liquidated damages in "contract law", based on the improvement of the system, the article first analyzes the status quo of the development of the default system and secondly puts...Based on the applicable principle of liquidated damages in "contract law", based on the improvement of the system, the article first analyzes the status quo of the development of the default system and secondly puts forward some suggestions for improvement. The final purpose is to perfect the liquidated damages system with the Contract Law, in a bid to enhance the fairness of liquidated damages.展开更多
We examine the economics of royalties in bioprospecting contracts between a pharmaceutical and genetic resource supplier (local), with an eve to understanding the relative advantages of indexing royalty, payments to...We examine the economics of royalties in bioprospecting contracts between a pharmaceutical and genetic resource supplier (local), with an eve to understanding the relative advantages of indexing royalty, payments to gross revenue or net revenue. We show a risk-averse firm facing only production or only cost risks will index royalties to net revenue. When facing both types of risk the choice of royalty type depends on the relative magnitudes of the production and cost risk. In each case, the risk-averse firm chooses the royalty-type that shifts as much risk as possible to the local. Wheat the local is risk neutral the pharmaceutical's and local's preferences are compatible.If the local is risk averse and there is only one type of risk, it will prefer a gross revenue royalty, and shift as much risk as possible to the firm: here the local and firm preferences are compatible only ifthe firm is risk-neutral. Lastly we show if the firm sets the terms of the contract and both agents are risk averse, the.firm will not likely volunteer to implement the socially optimal royalty arrangement as it prefers to shift as much risk to the loeal, who now also prefers a more certain return, This last outcome is at the heart of the benefit sharing discussionand suggests if risk sharing and equity are a concern in benefit sharing, then the choice of rcyalty type can be an important part of negotiations between pharmaceuticals and locals for the phytochemical from nature for new drug discovery.展开更多
The realty(real estate)management of ownership of buildings includes the owner(homeowner)entrust-management and the owner self-management,the former through the way of realty service contracts,the latter through the r...The realty(real estate)management of ownership of buildings includes the owner(homeowner)entrust-management and the owner self-management,the former through the way of realty service contracts,the latter through the resolution of the owners’assembly and the owners’committee.The legal disputes of realty service contracts involve balancing interests among the realty service enterprise,individual owner,and all the owners.We should use dynamic balancing of the interests of the three parties to implement the interests of the win-win cooperation rather than the interests of the trade-off of“all or nothing.”The realty service contract is similar to the entrustment contract,both of which are based on the owners’entrustment.The duty to provide realty service is not simply equivalent to fiduciary duty.The realty service contract has the essence of both behavior debt and result debt.For the former,the general provisions of the entrustment contract can be referred to,and for the latter,the general provisions of the contract for work can be referred to.In view of the group characteristics of the realty service contract,owners have no right to terminate the realty service contract at any time but should obey the principle of due process and take the majority mechanism to make a dismissal resolution resolution.The resolutions and management stipulations worked out by the owners’assembly in a majority mechanism,both of which belong to resolution behavior and are legal tools of the owners’autonomy,shall be binding on all the owners.The relationship between the owner,the owner’s assembly,and the owner’s committee is similar to the fiduciary relationship.If the decision made by the owners’assembly or the owners’committee and the management stipulation infringes upon the legal rights and interests of the owners,the injured owner has the right to revocation litigation.At present,residential commodity owners have a relatively low degree of autonomy in China,and legal disputes over realty services are frequent.In the future,we need to perfect the legal incentive and constraint measures,and stimulate the vitality of owner autonomy to promote better implementation of the owner self-management and owner entrust-management.展开更多
The current Internet web trust system is based on the traditional PKI system, to achieve the purpose of secure communication through the trusted third party. However, with the increase of network nodes, various proble...The current Internet web trust system is based on the traditional PKI system, to achieve the purpose of secure communication through the trusted third party. However, with the increase of network nodes, various problems appear in the centralization system of public key infrastructure (PKI). In recent years, in addition to cryptographic problems, attacks against PKI have focused on the single point of failure of certificate authority (CA). Although there are many reasons for a single point of failure, the purpose of the attack is to invalidate the CA. Thus a distributed authentication system is explored to provide a feasible solution to develop distributed PKI with the rise of the blockchain. Due to the automation and economic penalties of smart contracts, a PKI system is proposed based on smart contracts. The certificate chain was constructed in the blockchain, and a mechanism was adopted for auditing access to CA nodes in the blockchain. Experimental results show that security requirements of CA are met in this system.展开更多
Decentralized finance(DeFi)is a general term for a series of financial products and services.It is based on blockchain technology and has attracted people’s attention because of its open,transparent,and intermediary ...Decentralized finance(DeFi)is a general term for a series of financial products and services.It is based on blockchain technology and has attracted people’s attention because of its open,transparent,and intermediary free.Among them,the DeFi ecosystem based on Ethereum-based blockchains attracts the most attention.However,the current decentralized financial system built on the Ethereum architecture has been exposed to many smart contract vulnerabilities during the last few years.Herein,we believe it is time to improve the understanding of the prevailing Ethereum-based DeFi ecosystem security issues.To that end,we investigate the Ethereum-based DeFi security issues:1)inherited from the real-world financial system,which can be solved by macro-control;2)induced by the problems of blockchain architecture,which require a better blockchain platform;3)caused by DeFi invented applications,which should be focused on during the project development.Based on that,we further discuss the current solutions and potential directions ofDeFi security.According to our research,we could provide a comprehensive vision to the research community for the improvement of Ethereum-basedDeFi ecosystem security.展开更多
Cloud computing has emerged as a viable alternative to traditional computing infrastructures,offering various benefits.However,the adoption of cloud storage poses significant risks to data secrecy and integrity.This a...Cloud computing has emerged as a viable alternative to traditional computing infrastructures,offering various benefits.However,the adoption of cloud storage poses significant risks to data secrecy and integrity.This article presents an effective mechanism to preserve the secrecy and integrity of data stored on the public cloud by leveraging blockchain technology,smart contracts,and cryptographic primitives.The proposed approach utilizes a Solidity-based smart contract as an auditor for maintaining and verifying the integrity of outsourced data.To preserve data secrecy,symmetric encryption systems are employed to encrypt user data before outsourcing it.An extensive performance analysis is conducted to illustrate the efficiency of the proposed mechanism.Additionally,a rigorous assessment is conducted to ensure that the developed smart contract is free from vulnerabilities and to measure its associated running costs.The security analysis of the proposed system confirms that our approach can securely maintain the confidentiality and integrity of cloud storage,even in the presence of malicious entities.The proposed mechanism contributes to enhancing data security in cloud computing environments and can be used as a foundation for developing more secure cloud storage systems.展开更多
The rapid increase in vehicle traffic volume in modern societies has raised the need to develop innovative solutions to reduce traffic congestion and enhance traffic management efficiency.Revolutionary advanced techno...The rapid increase in vehicle traffic volume in modern societies has raised the need to develop innovative solutions to reduce traffic congestion and enhance traffic management efficiency.Revolutionary advanced technology,such as Intelligent Transportation Systems(ITS),enables improved traffic management,helps eliminate congestion,and supports a safer environment.ITS provides real-time information on vehicle traffic and transportation systems that can improve decision-making for road users.However,ITS suffers from routing issues at the network layer when utilising Vehicular Ad Hoc Networks(VANETs).This is because each vehicle plays the role of a router in this network,which leads to a complex vehicle communication network,causing issues such as repeated link breakages between vehicles resulting from the mobility of the network and rapid topological variation.This may lead to loss or delay in packet transmissions;this weakness can be exploited in routing attacks,such as black-hole and gray-hole attacks,that threaten the availability of ITS services.In this paper,a Blockchain-based smart contracts model is proposed to offer convenient and comprehensive security mechanisms,enhancing the trustworthiness between vehicles.Self-Classification Blockchain-Based Contracts(SCBC)and Voting-Classification Blockchain-Based Contracts(VCBC)are utilised in the proposed protocol.The results show that VCBC succeeds in attaining better results in PDR and TP performance even in the presence of Blackhole and Grayhole attacks.展开更多
The fast-paced development of blockchain technology is evident.Yet,the security concerns of smart contracts represent a significant challenge to the stability and dependability of the entire blockchain ecosystem.Conve...The fast-paced development of blockchain technology is evident.Yet,the security concerns of smart contracts represent a significant challenge to the stability and dependability of the entire blockchain ecosystem.Conventional smart contract vulnerability detection primarily relies on static analysis tools,which are less efficient and accurate.Although deep learning methods have improved detection efficiency,they are unable to fully utilize the static relationships within contracts.Therefore,we have adopted the advantages of the above two methods,combining feature extraction mode of tools with deep learning techniques.Firstly,we have constructed corresponding feature extraction mode for different vulnerabilities,which are used to extract feature graphs from the source code of smart contracts.Then,the node features in feature graphs are fed into a graph convolutional neural network for training,and the edge features are processed using a method that combines attentionmechanismwith gated units.Ultimately,the revised node features and edge features are concatenated through amulti-head attentionmechanism.The result of the splicing is a global representation of the entire feature graph.Our method was tested on three types of data:Timestamp vulnerabilities,reentrancy vulnerabilities,and access control vulnerabilities,where the F1 score of our method reaches 84.63%,92.55%,and 61.36%.The results indicate that our method surpasses most others in detecting smart contract vulnerabilities.展开更多
The advent of Industry 4.0 has compelled businesses to adopt digital approaches that combine software toenhance production efficiency. In this rapidly evolving market, software development is an ongoing process thatmu...The advent of Industry 4.0 has compelled businesses to adopt digital approaches that combine software toenhance production efficiency. In this rapidly evolving market, software development is an ongoing process thatmust be tailored to meet the dynamic needs of enterprises. However, internal research and development can beprohibitively expensive, driving many enterprises to outsource software development and upgrades to externalservice providers. This paper presents a software upgrade outsourcing model for enterprises and service providersthat accounts for the impact of market fluctuations on software adaptability. To mitigate the risk of adverseselection due to asymmetric information about the service provider’s cost and asymmetric information aboutthe enterprise’s revenues, we propose pay-per-time and revenue-sharing contracts in two distinct informationasymmetry scenarios. These two contracts specify the time and transfer payments for software upgrades. Througha comparative analysis of the optimal solutions under the two contracts and centralized decision-making withfull-information, we examine the characteristics of the solutions under two information asymmetry scenarios andanalyze the incentive effects of the two contracts on the various stakeholders. Overall, our study offers valuableinsights for firms seeking to optimize their outsourcing strategies and maximize their returns on investment insoftware upgrades.展开更多
基金Supported by the Research Project of Humanities and Social Sciencesat Universities(08KN020) launched by Guizhou Provincial Education Department
文摘From the perspective of civil subject theory,law of value,comparative law and history of laws,the thesis expounds that the contract on the transfer of the contractual right of rural lands is in nature a civil contract instead of an administrative one.Then it explores the defects in the contract from the viewpoint of legal value goal,contract law and legal sociology,that is,the relevant provisions in Rural Land Contract Law and Explanations of Supreme People's Court about the Issues concerning the Laws Applicable to the Trial of Cases of Disputes over Rural Land Contracting go against the principle of free contracting and run counter to the legal value goal of justice,so they do not achieve good implementing effect.Finally,the thesis demonstrates and makes some practical legislative proposals to perfect the contract system for circulation of the right to operate constructed rural lands,aiming at improving the circulation rate through perfecting the contract of the right to rural land contractual management,solving the disputes in rural lands circulation and safeguarding the legitimate rights of the farmers.
文摘EDITOR'S NOTE: The Draft Labor Contract Law of the People's Republic of China has been completed and was published for soliciting comments on March 20. In a short period of one month, 191,849 pieces of comments and opinions were received. Prior to the promulgation of the law, this reporter interviewed Mr. Guan Huai, a noted Chinese expert in labor law, professor of the Law School of the Renmin University of China and law advisor to the All-China Federation of Trade Unions.
基金Project supported by the National Natural Science Foundation of China(Grant No.62363005)the Jiangxi Provincial Natural Science Foundation(Grant Nos.20161BAB212032 and 20232BAB202034)the Science and Technology Research Project of Jiangxi Provincial Department of Education(Grant Nos.GJJ202602 and GJJ202601)。
文摘This paper examines the bipartite consensus problems for the nonlinear multi-agent systems in Lurie dynamics form with cooperative and competitive communication between different agents. Based on the contraction theory, some new conditions for the nonlinear Lurie multi-agent systems reaching bipartite leaderless consensus and bipartite tracking consensus are presented. Compared with the traditional methods, this approach degrades the dimensions of the conditions, eliminates some restrictions of the system matrix, and extends the range of the nonlinear function. Finally, two numerical examples are provided to illustrate the efficiency of our results.
基金supported by the Major Public Welfare Special Fund of Henan Province(No.201300210200)the Major Science and Technology Research Special Fund of Henan Province(No.221100210400).
文摘With the rise of blockchain technology,the security issues of smart contracts have become increasingly critical.Despite the availability of numerous smart contract vulnerability detection tools,many face challenges such as slow updates,usability issues,and limited installation methods.These challenges hinder the adoption and practicality of these tools.This paper examines smart contract vulnerability detection tools from 2016 to 2023,sourced from the Web of Science(WOS)and Google Scholar.By systematically collecting,screening,and synthesizing relevant research,38 open-source tools that provide installation methods were selected for further investigation.From a developer’s perspective,this paper offers a comprehensive survey of these 38 open-source tools,discussing their operating principles,installation methods,environmental dependencies,update frequencies,and installation challenges.Based on this,we propose an Ethereum smart contract vulnerability detection framework.This framework enables developers to easily utilize various detection tools and accurately analyze contract security issues.To validate the framework’s stability,over 1700 h of testing were conducted.Additionally,a comprehensive performance test was performed on the mainstream detection tools integrated within the framework,assessing their hardware requirements and vulnerability detection coverage.Experimental results indicate that the Slither tool demonstrates satisfactory performance in terms of system resource consumption and vulnerability detection coverage.This study represents the first performance evaluation of testing tools in this domain,providing significant reference value.
文摘Due to mobile Internet technology's rapid popularization,the Industrial Internet of Things(IIoT)can be seen everywhere in our daily lives.While IIoT brings us much convenience,a series of security and scalability issues related to permission operations rise to the surface during device communications.Hence,at present,a reliable and dynamic access control management system for IIoT is in urgent need.Up till now,numerous access control architectures have been proposed for IIoT.However,owing to centralized models and heterogeneous devices,security and scalability requirements still cannot be met.In this paper,we offer a smart contract token-based solution for decentralized access control in IIoT systems.Specifically,there are three smart contracts in our system,including the Token Issue Contract(TIC),User Register Contract(URC),and Manage Contract(MC).These three contracts collaboratively supervise and manage various events in IIoT environments.We also utilize the lightweight and post-quantum encryption algorithm-Nth-degree Truncated Polynomial Ring Units(NTRU)to preserve user privacy during the registration process.Subsequently,to evaluate our proposed architecture's performance,we build a prototype platform that connects to the local blockchain.Finally,experiment results show that our scheme has achieved secure and dynamic access control for the IIoT system compared with related research.
文摘surveys the evolution of the contract system of 'responsibility linked to production' in the cooperative economy of China’s socialist agricultural sector and makes a critical analysis of the old model in which labor was deployed in a concentrated way and remuneration paid according to workpoints. He thereby brings to light two specific characteristics of China’s agriculture—the scattered and independent nature of the labor and the unified control and coordination over the process of production by the combination of households—and the two requirements resulting from these. The author holds that the key to the economic nature of the 'contract system of responsibility linked to production' lies in two unique, often puzzling, economic phenomena in the cooperative economy under the system of collective ownership: 1. labor is carried out independently and in a decentralized manner; and 2. remuneration is not based on workpoints but is directly obtained by individuals according to the product. In the process of analyzing these two phenomena, the author differentiates the modes of labor and the relations of production, and clarifies the process of production of the rural contract system’s combination of centralization and decentralization, and the essence of the two-tiered policy. He also formulates the category of 'standard output' to describe a characteristic of the mode of distribution in the rural contract system, that is, the calculation of remuneration according to a standard output. The paper also discusses the rural economy and its development after the institution of the contract system of 'responsibility linked to production' but due to limited space this will be published in a later article.
文摘With the further development of service-oriented,performance-based contracting(PBC)has been widely adopted in industry and manufacturing.However,maintenance optimization problems under PBC have not received enough attention.To further extend the scope of PBC’s application in the field of maintenance optimization,we investigate the condition-based maintenance(CBM)optimization for gamma deteriorating systems under PBC.Considering the repairable single-component system subject to the gamma degradation process,this paper proposes a CBM optimization model to maximize the profit and improve system performance at a relatively low cost under PBC.In the proposed CBM model,the first inspection interval has been considered in order to reduce the inspection frequency and the cost rate.Then,a particle swarm algorithm(PSO)and related solution procedure are presented to solve the multiple decision variables in our proposed model.In the end,a numerical example is provided so as to demonstrate the superiority of the presented model.By comparing the proposed policy with the conventional ones,the superiority of our proposed policy is proved,which can bring more profits to providers and improve performance.Sensitivity analysis is conducted in order to research the effect of corrective maintenance cost and time required for corrective maintenance on optimization policy.A comparative study is given to illustrate the necessity of distinguishing the first inspection interval or not.
基金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 Key Clinical Projects of Peking University Third Hospital(grant no.BYSYZD2019013)。
文摘Background:This study aimed to review treatments and evaluate the aesthetic outcomes,complications,and reoperation rates regarding surgical correction for a postoperative contracted nose.Methods:PubMed,MEDLINE,and Embase databases were searched for studies detailing aesthetic outcomes and complications of surgical correction of a contracted nose.Surgical procedures,adjuvant treatment,outcomes,and complications were synthesized and analyzed.Results:Nine articles encompassing 376 patients were included in the systematic review,and six articles(198 participants)were included in the meta-analysis.The most frequently used graft material was the autologous rib cartilage(61.1%).Surgical procedures were heterogeneous in these studies.The nasolabial angle reduced by 9.52°(95%confidence interval(CI):(-11.95,-7.09),P<0.0001),and the nasal length increased significantly(standardized mean difference(SMD)=2.25,95%CI:(1.26,2.23),P<0.00001).However,the evidence was insufficient to determine a significant change in the columellar-labial angle(SMD=-0.95,95%CI:(-2.19,0.29),P=0.13)and columellar-lobular angle(SMD=2.39,95%CI:(-1.20,5.97),P=0.19).Aesthetic dissatisfaction(12.5%)and infection(4.5%)were the most commonly reported complications.Reoperation was performed in 5.3%of patients.Conclusion:Surgical correction can increase the nasal length,reduce the nasolabial angle,and have a low reoperation rate.No significant improvement in the columellar-labial or columellar-lobular angle was observed.
文摘We developed an eccentric contraction induced electrical stimulation (ES) training system. The purpose of this study was to investigate whether the eccentric contraction induced ES enhance the knee extension torque compared with typical ES. Twenty-two young untrained men (age: 23 ± 3 years) in the acute response trial (single training) and seven untrained men in the long period training trial (for 6 weeks) were studied. We measured muscle thickness and knee extension torque evoked by ES with eccentric contraction training system (ES + ECC) or ES alone for the quadriceps muscle of men. The levels of pain and discomfort were evaluated using numeric rating scale (NRS) and heart rate variability. The knee extension torque of ES + ECC was higher than that of ES alone in the acute response trial. There were no significant differences in the levels of pain and discomfort between ES and ES + ECC. Additionally, ES + ECC training for 6 weeks was effective on the quadriceps muscle thickness and knee extension torque. In contrast, the ES alone training failed to increase muscle thickness and knee extension torque. These results suggest that eccentric contraction induced ES would have the potential to become an effective intervention to promote muscle strengthening.
文摘The study was conducted with the aim of exploring the barriers to the adoption of BOT contract systems for infrastructural development of technical universities in Ghana. In an empirical questionnaire survey with professionals and experts in the construction and education sector, the respondents were invited to rate their perception on the barriers to the adoption of the BOT contracts systems. An interview session to satisfy ways of adopting the BOT contracts for infrastructural development in technical universities was conducted with selected professionals. The study revealed that the major barriers to the adoption of the BOT contract system are: delays in approval, corruption, reliability and credit worthiness of entities and expropriation. The study suggested that detailed policy or framework for implementing BOT contracts;proper planning by technical universities;and adequate protection for lenders is required for successful BOT implementation. Therefore there is a need to explore this concept, using adequate policy initiatives, proper measures and support from government to improve on the proper implementation of the BOT contracts in Technical Universities in Ghana.
文摘Based on the applicable principle of liquidated damages in "contract law", based on the improvement of the system, the article first analyzes the status quo of the development of the default system and secondly puts forward some suggestions for improvement. The final purpose is to perfect the liquidated damages system with the Contract Law, in a bid to enhance the fairness of liquidated damages.
文摘We examine the economics of royalties in bioprospecting contracts between a pharmaceutical and genetic resource supplier (local), with an eve to understanding the relative advantages of indexing royalty, payments to gross revenue or net revenue. We show a risk-averse firm facing only production or only cost risks will index royalties to net revenue. When facing both types of risk the choice of royalty type depends on the relative magnitudes of the production and cost risk. In each case, the risk-averse firm chooses the royalty-type that shifts as much risk as possible to the local. Wheat the local is risk neutral the pharmaceutical's and local's preferences are compatible.If the local is risk averse and there is only one type of risk, it will prefer a gross revenue royalty, and shift as much risk as possible to the firm: here the local and firm preferences are compatible only ifthe firm is risk-neutral. Lastly we show if the firm sets the terms of the contract and both agents are risk averse, the.firm will not likely volunteer to implement the socially optimal royalty arrangement as it prefers to shift as much risk to the loeal, who now also prefers a more certain return, This last outcome is at the heart of the benefit sharing discussionand suggests if risk sharing and equity are a concern in benefit sharing, then the choice of rcyalty type can be an important part of negotiations between pharmaceuticals and locals for the phytochemical from nature for new drug discovery.
文摘The realty(real estate)management of ownership of buildings includes the owner(homeowner)entrust-management and the owner self-management,the former through the way of realty service contracts,the latter through the resolution of the owners’assembly and the owners’committee.The legal disputes of realty service contracts involve balancing interests among the realty service enterprise,individual owner,and all the owners.We should use dynamic balancing of the interests of the three parties to implement the interests of the win-win cooperation rather than the interests of the trade-off of“all or nothing.”The realty service contract is similar to the entrustment contract,both of which are based on the owners’entrustment.The duty to provide realty service is not simply equivalent to fiduciary duty.The realty service contract has the essence of both behavior debt and result debt.For the former,the general provisions of the entrustment contract can be referred to,and for the latter,the general provisions of the contract for work can be referred to.In view of the group characteristics of the realty service contract,owners have no right to terminate the realty service contract at any time but should obey the principle of due process and take the majority mechanism to make a dismissal resolution resolution.The resolutions and management stipulations worked out by the owners’assembly in a majority mechanism,both of which belong to resolution behavior and are legal tools of the owners’autonomy,shall be binding on all the owners.The relationship between the owner,the owner’s assembly,and the owner’s committee is similar to the fiduciary relationship.If the decision made by the owners’assembly or the owners’committee and the management stipulation infringes upon the legal rights and interests of the owners,the injured owner has the right to revocation litigation.At present,residential commodity owners have a relatively low degree of autonomy in China,and legal disputes over realty services are frequent.In the future,we need to perfect the legal incentive and constraint measures,and stimulate the vitality of owner autonomy to promote better implementation of the owner self-management and owner entrust-management.
基金the National Natural Science Foundations of China (grant No. 61802436 and No. 61702550)he National Key Research and Development Plan (grant No. 2018YFB0803603 and No. 2016YFB0501901).
文摘The current Internet web trust system is based on the traditional PKI system, to achieve the purpose of secure communication through the trusted third party. However, with the increase of network nodes, various problems appear in the centralization system of public key infrastructure (PKI). In recent years, in addition to cryptographic problems, attacks against PKI have focused on the single point of failure of certificate authority (CA). Although there are many reasons for a single point of failure, the purpose of the attack is to invalidate the CA. Thus a distributed authentication system is explored to provide a feasible solution to develop distributed PKI with the rise of the blockchain. Due to the automation and economic penalties of smart contracts, a PKI system is proposed based on smart contracts. The certificate chain was constructed in the blockchain, and a mechanism was adopted for auditing access to CA nodes in the blockchain. Experimental results show that security requirements of CA are met in this system.
基金supported by the Key-Area Research and Development Program of Guangdong Province 2020B0101090003CCF-NSFOCUS Kunpeng Scientific Research Fund (CCFNSFOCUS 2021010)+4 种基金Innovation Fund Program of the Engineering Research Center for Integration and Application of Digital Learning Technology of Ministry of Education under Grant No.1221027National Natural Science Foundation of China (Grant Nos.61902083,62172115,61976064)Guangdong Higher Education Innovation Group 2020KCXTD007 and Guangzhou Higher Education Innovation Group (No.202032854)Guangzhou Fundamental Research Plan of“Municipal-School”Jointly Funded Projects (No.202102010445)Guangdong Province Science and Technology Planning Project (No.2020A1414010370).
文摘Decentralized finance(DeFi)is a general term for a series of financial products and services.It is based on blockchain technology and has attracted people’s attention because of its open,transparent,and intermediary free.Among them,the DeFi ecosystem based on Ethereum-based blockchains attracts the most attention.However,the current decentralized financial system built on the Ethereum architecture has been exposed to many smart contract vulnerabilities during the last few years.Herein,we believe it is time to improve the understanding of the prevailing Ethereum-based DeFi ecosystem security issues.To that end,we investigate the Ethereum-based DeFi security issues:1)inherited from the real-world financial system,which can be solved by macro-control;2)induced by the problems of blockchain architecture,which require a better blockchain platform;3)caused by DeFi invented applications,which should be focused on during the project development.Based on that,we further discuss the current solutions and potential directions ofDeFi security.According to our research,we could provide a comprehensive vision to the research community for the improvement of Ethereum-basedDeFi ecosystem security.
文摘Cloud computing has emerged as a viable alternative to traditional computing infrastructures,offering various benefits.However,the adoption of cloud storage poses significant risks to data secrecy and integrity.This article presents an effective mechanism to preserve the secrecy and integrity of data stored on the public cloud by leveraging blockchain technology,smart contracts,and cryptographic primitives.The proposed approach utilizes a Solidity-based smart contract as an auditor for maintaining and verifying the integrity of outsourced data.To preserve data secrecy,symmetric encryption systems are employed to encrypt user data before outsourcing it.An extensive performance analysis is conducted to illustrate the efficiency of the proposed mechanism.Additionally,a rigorous assessment is conducted to ensure that the developed smart contract is free from vulnerabilities and to measure its associated running costs.The security analysis of the proposed system confirms that our approach can securely maintain the confidentiality and integrity of cloud storage,even in the presence of malicious entities.The proposed mechanism contributes to enhancing data security in cloud computing environments and can be used as a foundation for developing more secure cloud storage systems.
文摘The rapid increase in vehicle traffic volume in modern societies has raised the need to develop innovative solutions to reduce traffic congestion and enhance traffic management efficiency.Revolutionary advanced technology,such as Intelligent Transportation Systems(ITS),enables improved traffic management,helps eliminate congestion,and supports a safer environment.ITS provides real-time information on vehicle traffic and transportation systems that can improve decision-making for road users.However,ITS suffers from routing issues at the network layer when utilising Vehicular Ad Hoc Networks(VANETs).This is because each vehicle plays the role of a router in this network,which leads to a complex vehicle communication network,causing issues such as repeated link breakages between vehicles resulting from the mobility of the network and rapid topological variation.This may lead to loss or delay in packet transmissions;this weakness can be exploited in routing attacks,such as black-hole and gray-hole attacks,that threaten the availability of ITS services.In this paper,a Blockchain-based smart contracts model is proposed to offer convenient and comprehensive security mechanisms,enhancing the trustworthiness between vehicles.Self-Classification Blockchain-Based Contracts(SCBC)and Voting-Classification Blockchain-Based Contracts(VCBC)are utilised in the proposed protocol.The results show that VCBC succeeds in attaining better results in PDR and TP performance even in the presence of Blackhole and Grayhole attacks.
基金the Gansu Province Higher Education Institutions Industrial Support Program:Security Situational Awareness with Artificial Intelligence and Blockchain Technology.Project Number(2020C-29).
文摘The fast-paced development of blockchain technology is evident.Yet,the security concerns of smart contracts represent a significant challenge to the stability and dependability of the entire blockchain ecosystem.Conventional smart contract vulnerability detection primarily relies on static analysis tools,which are less efficient and accurate.Although deep learning methods have improved detection efficiency,they are unable to fully utilize the static relationships within contracts.Therefore,we have adopted the advantages of the above two methods,combining feature extraction mode of tools with deep learning techniques.Firstly,we have constructed corresponding feature extraction mode for different vulnerabilities,which are used to extract feature graphs from the source code of smart contracts.Then,the node features in feature graphs are fed into a graph convolutional neural network for training,and the edge features are processed using a method that combines attentionmechanismwith gated units.Ultimately,the revised node features and edge features are concatenated through amulti-head attentionmechanism.The result of the splicing is a global representation of the entire feature graph.Our method was tested on three types of data:Timestamp vulnerabilities,reentrancy vulnerabilities,and access control vulnerabilities,where the F1 score of our method reaches 84.63%,92.55%,and 61.36%.The results indicate that our method surpasses most others in detecting smart contract vulnerabilities.
文摘The advent of Industry 4.0 has compelled businesses to adopt digital approaches that combine software toenhance production efficiency. In this rapidly evolving market, software development is an ongoing process thatmust be tailored to meet the dynamic needs of enterprises. However, internal research and development can beprohibitively expensive, driving many enterprises to outsource software development and upgrades to externalservice providers. This paper presents a software upgrade outsourcing model for enterprises and service providersthat accounts for the impact of market fluctuations on software adaptability. To mitigate the risk of adverseselection due to asymmetric information about the service provider’s cost and asymmetric information aboutthe enterprise’s revenues, we propose pay-per-time and revenue-sharing contracts in two distinct informationasymmetry scenarios. These two contracts specify the time and transfer payments for software upgrades. Througha comparative analysis of the optimal solutions under the two contracts and centralized decision-making withfull-information, we examine the characteristics of the solutions under two information asymmetry scenarios andanalyze the incentive effects of the two contracts on the various stakeholders. Overall, our study offers valuableinsights for firms seeking to optimize their outsourcing strategies and maximize their returns on investment insoftware upgrades.