In recent years,with the great success of pre-trained language models,the pre-trained BERT model has been gradually applied to the field of source code understanding.However,the time cost of training a language model ...In recent years,with the great success of pre-trained language models,the pre-trained BERT model has been gradually applied to the field of source code understanding.However,the time cost of training a language model from zero is very high,and how to transfer the pre-trained language model to the field of smart contract vulnerability detection is a hot research direction at present.In this paper,we propose a hybrid model to detect common vulnerabilities in smart contracts based on a lightweight pre-trained languagemodel BERT and connected to a bidirectional gate recurrent unitmodel.The downstream neural network adopts the bidirectional gate recurrent unit neural network model with a hierarchical attention mechanism to mine more semantic features contained in the source code of smart contracts by using their characteristics.Our experiments show that our proposed hybrid neural network model SolBERT-BiGRU-Attention is fitted by a large number of data samples with smart contract vulnerabilities,and it is found that compared with the existing methods,the accuracy of our model can reach 93.85%,and the Micro-F1 Score is 94.02%.展开更多
Considering participators' risk bias,which is measured by the method of value at risk,the risk constraints in a two-echelon supply chain coordination under buy-back contract is equal to giving the order of an uppe...Considering participators' risk bias,which is measured by the method of value at risk,the risk constraints in a two-echelon supply chain coordination under buy-back contract is equal to giving the order of an upper bound.With a risk-averse dominant enterprise(M)and a risk-neutral non-dominant one(R),the coordination which optimizes the supply chain under the risk constraints is achieved by a penalty mechanism L to reduce R's order.With risk-neutral M and risk-averse R,M can motivate R to increase his order by providing a risk subsidy K,and two cases are discussed.If the risk constraints of R cannot satisfy M's participation constraint to offer K,M will prefer to accept R's order to obtain a sub-optimization solution of the supply chain.Or else,with M's K,R's optimal order just coordinates the supply chain,which is equal to the case without risk bias,and in this situation R's risk bias only affects the profit distribution between the participators.展开更多
Production sharing contracts have been used in the development of China’s offshore petroleum resources since 1982, but the mechanism in which the fiscal terms impact project economics is complicated and not well unde...Production sharing contracts have been used in the development of China’s offshore petroleum resources since 1982, but the mechanism in which the fiscal terms impact project economics is complicated and not well understood. The purpose of this paper is to model China’s offshore production sharing contracts using a probabilistic approach. Cash flows and economic indicators are used for a typical offshore oilfield development, and meta-models are constructed to analyze the basic features of the fiscal system. Applications of the models in contract negotiation are discussed.展开更多
A constitutive model of quasi-Newtonian fluid based on the type of flow is used in abrupt planar contraction now.The numerical results from finite element analysis are consistent with experimental data for stress patt...A constitutive model of quasi-Newtonian fluid based on the type of flow is used in abrupt planar contraction now.The numerical results from finite element analysis are consistent with experimental data for stress patterns and velocityprofiles in the flow field. The chain conformations of polymer melts are then investigated in such a planar contraction byusing the phenomenological model with internal parameters proposed by the author. That is, the shape and orientation ofpolymer chain coils are predicted and discussed in different flow regions of the contraction flow field that possess simpleshear flow, extensional flow, vortical flow, and mixed flow respectively.展开更多
For a long time,the development model of traditional rice planting industry has been single,linear,and focusing on production first and then market.However,with the low price of rice,such problems as slow technologica...For a long time,the development model of traditional rice planting industry has been single,linear,and focusing on production first and then market.However,with the low price of rice,such problems as slow technological upgrading,meager profits,and unstable rice quality in the primary industry planting units and farmers have become increasingly prominent.The integration and development of the rural primary,secondary,and tertiary industries and industrial integration have the same root.They are integrated industrial development based on technological or model innovation,vertical and horizontal integration.Three agricultural leading companies(Nanjing Tianwei Agricultural Technology Co.,Ltd.,Nanjing CHYKINGYOUNG Biological Technology Co.,Ltd.,and Jiangsu Jingshan Eco-organic Agriculture Co.,Ltd.)established an industrialization complex,and used their respective technical,operational,and market advantages to integrate and form a rice contract farming 1+3+X model.This model effectively integrates scattered rice planting,rice processing,and rice sales in Nanjing City of Jiangsu Province,and Chuzhou City of Anhui Province,and unifies planting regulations and supply of production materials,safeguards the supply of green and high-quality rice and realizes high quality and high price.In addition,it integrates farmers into the entire industrial chain of contract farming,summons up the production enthusiasm of farmers and greatly increases their income from planting production.展开更多
Objective Patients with repaired tetralogy of Fallot(rTOF)account for the majority of cases with late onset right ventricle(RV)failure.The current surgical approach,including pulmonary valve replacement/insertion(PVR)...Objective Patients with repaired tetralogy of Fallot(rTOF)account for the majority of cases with late onset right ventricle(RV)failure.The current surgical approach,including pulmonary valve replacement/insertion(PVR),has yielded mixed results with some patients recover RV function and some do not.An innovative surgical approach was proposed to help ventricle to contract and improve RV function qualified by ejection fraction with one or more active contracting bands.Computational biomechanical modelling is a widely used method in cardiovascular study for investigation of mechanisms governing disease development,quantitative diagnostic and treatment strategies and improving surgical designs for better outcome.Muscle active contraction caused by zero-load sarcomere shortening leads to change of zero-load configurations.In lieu of experimenting using real surgery on animal or human,computational simulations(virtual surgery)were performed to test different band combination and insertion options to identify optimal surgery design and band insertion plan.Methods Cardiac magnetic resonance(CMR)data were obtained from one rTOF patient(sex:male,age:22.5 y)before pulmonary valve replacement surgery.The patient was suffering from RV dilation and dysfunction with RV end-systole volume 254.49ml and end-diastole volume 406.91 mL.A total of 15 computational RV/LV/Patch/Band combination models based on(CMR)imaging were constructed to investigate the influence of different band insertion surgery plans.These models included 5 different band insertion models combined and 3 different band contraction ratio(10%,15%and 20%band zero-stress length reduction).These models included 5 different band insertion models:Model 1 with one band at anterior to the middle of papillary muscle;Model 2 with one band at posterior to the middle of papillary muscle;Model 3 with 2 bands which are the ones from Models 1&2 combined;Model 4 with a band at the base of the papillary muscle;Model 5 with 3 bands which is a combination of Models 3&4.A pre-shrink process was performed on in-vivo begin-filling and end-systole MRI data to obtain diastole and systole zero4oad ventricle geometries.An extra 5%-8%shrinkage was applied to obtain corresponding systole zero-load geometry reflecting myocardium sarcomere shortening.The zero-load band length in systole was 10%,15%and 20%shorter than that in diastole according to their corresponding contraction ratio.The nonlinear Mooney-Rivlin model was used to describe the ventricle material properties with their material parameter values adjusted to match measured data with CMR.The band material properties were in the same scale with healthy right ventricle.The RV/LV/Band model construction and solution procedures were the same as described.Results Model 5 with band contraction ratio of 20%has the ability to improve RV ejection fraction to 41.07%,which represented a 3.61%absolute improvement,or 9.6%relative improvement using pre-PVR ejection fraction as the baseline number.The ejection fractions for Models 1-4 with band contraction ratio of 20%were 39.28%,39.47%,38.87%and 40.34%respectively.Compared to models with band contraction ratio15%and 20%,models with band contraction ratio 10%has the least ability on RV ejection fraction improvement with ejection fraction 38.28%,38.00%,38.81%,38.50%and 39.36%corresponding to Models 1-5.Conclusions This pilot work demonstrated that the band insertion surgery may have great potential to improve post-PVR RV cardiac function for patients with repaired TOF.More band contraction ratio and inserted band number may lead to better post-surgery outcome.Further investigations using in-vitro animal experiments and final patient studies are warranted.展开更多
Building Information Modelling (BIM) is a technology and a process that has brought changes in the construction’s traditional procurement system. Kenya lacks contractual guidelines on implementation of BIM;this makes...Building Information Modelling (BIM) is a technology and a process that has brought changes in the construction’s traditional procurement system. Kenya lacks contractual guidelines on implementation of BIM;this makes the adoption of BIM slow and difficult. Previous research has identified a gap in contractual relationships, roles and resulting risks. The objectives of this study were to investigate BIM adoption in Nairobi and to investigate the influence of BIM on Engineering Contract Management (ECM)</span><span style="font-family:Verdana;"> in Nairobi Kenya</span><span style="font-family:Verdana;">. The survey research was a descriptive study with 175 responsive questionnaires. Respondents comprised of Civil Engineers, Construction Project Managers, Architects, Quantity Surveyors, Contractors and Facility Managers. Data was collected through self-administered questionnaire and in-depth interview. Descriptive analytics, correlation and Exploratory factor analysis methods were used to analyse quantitative data. Qualitative data was analysed thematically. It emerged that adoption level was at 56.6% and shallow understanding of BIM capabilities remains to be a barrier to its adoption and implementation. It also emerged that BIM improves ECM;when time, cost, quality, collaboration and return on investment improve, ECM becomes easier. Latent factors found in BIM and ECM relationship were Legal Implications, awareness and knowledge, efficiency, versatility, mandate and leadership, and competitiveness. Further, the study found out that BIM influence on ECM demands for establishment of standards, guidelines, policy, legal framework, and regulations, which can be achieved by amending the public procurement act which dictates the operation of all the other standard forms of contract. Further research should be conducted to measure whether the understanding of BIM had positively improved.展开更多
The psychological contract is a set of personal beliefs about the reciprocal obligations and rights established in an exchange relationship,and high-level fulfillment of psychological contract helps the development of...The psychological contract is a set of personal beliefs about the reciprocal obligations and rights established in an exchange relationship,and high-level fulfillment of psychological contract helps the development of a team.This study summarizes the concept and theoretical basis of psychological contract,the influencing factors and intervention status of nurse psychological contract,and constructs a psychological contract intervention model to provide reference and reference for better construction and management of nursing teams.展开更多
基金supported by the National Natural Science Foundation of China(Grant Nos.62272120,62106030,U20B2046,62272119,61972105)the Technology Innovation and Application Development Projects of Chongqing(Grant Nos.cstc2021jscx-gksbX0032,cstc2021jscxgksbX0029).
文摘In recent years,with the great success of pre-trained language models,the pre-trained BERT model has been gradually applied to the field of source code understanding.However,the time cost of training a language model from zero is very high,and how to transfer the pre-trained language model to the field of smart contract vulnerability detection is a hot research direction at present.In this paper,we propose a hybrid model to detect common vulnerabilities in smart contracts based on a lightweight pre-trained languagemodel BERT and connected to a bidirectional gate recurrent unitmodel.The downstream neural network adopts the bidirectional gate recurrent unit neural network model with a hierarchical attention mechanism to mine more semantic features contained in the source code of smart contracts by using their characteristics.Our experiments show that our proposed hybrid neural network model SolBERT-BiGRU-Attention is fitted by a large number of data samples with smart contract vulnerabilities,and it is found that compared with the existing methods,the accuracy of our model can reach 93.85%,and the Micro-F1 Score is 94.02%.
基金The National Natural Science Foundation of China(No.70671025)the National Key Technology R&D Program of China during the 11th Five-Year Plan Period(No.2006BAH02A06)
文摘Considering participators' risk bias,which is measured by the method of value at risk,the risk constraints in a two-echelon supply chain coordination under buy-back contract is equal to giving the order of an upper bound.With a risk-averse dominant enterprise(M)and a risk-neutral non-dominant one(R),the coordination which optimizes the supply chain under the risk constraints is achieved by a penalty mechanism L to reduce R's order.With risk-neutral M and risk-averse R,M can motivate R to increase his order by providing a risk subsidy K,and two cases are discussed.If the risk constraints of R cannot satisfy M's participation constraint to offer K,M will prefer to accept R's order to obtain a sub-optimization solution of the supply chain.Or else,with M's K,R's optimal order just coordinates the supply chain,which is equal to the case without risk bias,and in this situation R's risk bias only affects the profit distribution between the participators.
文摘Production sharing contracts have been used in the development of China’s offshore petroleum resources since 1982, but the mechanism in which the fiscal terms impact project economics is complicated and not well understood. The purpose of this paper is to model China’s offshore production sharing contracts using a probabilistic approach. Cash flows and economic indicators are used for a typical offshore oilfield development, and meta-models are constructed to analyze the basic features of the fiscal system. Applications of the models in contract negotiation are discussed.
基金This work was supported by the research grants from the National Nature Science Foundation of China (No. 20174024) and the Special Founds for Major State Basic Research Projects (G199906408)
文摘A constitutive model of quasi-Newtonian fluid based on the type of flow is used in abrupt planar contraction now.The numerical results from finite element analysis are consistent with experimental data for stress patterns and velocityprofiles in the flow field. The chain conformations of polymer melts are then investigated in such a planar contraction byusing the phenomenological model with internal parameters proposed by the author. That is, the shape and orientation ofpolymer chain coils are predicted and discussed in different flow regions of the contraction flow field that possess simpleshear flow, extensional flow, vortical flow, and mixed flow respectively.
基金Food Industry Complex Project of Nanjing Tianwei Agricultural Technology Co.,Ltd.(012948413/2018-00332).
文摘For a long time,the development model of traditional rice planting industry has been single,linear,and focusing on production first and then market.However,with the low price of rice,such problems as slow technological upgrading,meager profits,and unstable rice quality in the primary industry planting units and farmers have become increasingly prominent.The integration and development of the rural primary,secondary,and tertiary industries and industrial integration have the same root.They are integrated industrial development based on technological or model innovation,vertical and horizontal integration.Three agricultural leading companies(Nanjing Tianwei Agricultural Technology Co.,Ltd.,Nanjing CHYKINGYOUNG Biological Technology Co.,Ltd.,and Jiangsu Jingshan Eco-organic Agriculture Co.,Ltd.)established an industrialization complex,and used their respective technical,operational,and market advantages to integrate and form a rice contract farming 1+3+X model.This model effectively integrates scattered rice planting,rice processing,and rice sales in Nanjing City of Jiangsu Province,and Chuzhou City of Anhui Province,and unifies planting regulations and supply of production materials,safeguards the supply of green and high-quality rice and realizes high quality and high price.In addition,it integrates farmers into the entire industrial chain of contract farming,summons up the production enthusiasm of farmers and greatly increases their income from planting production.
基金supported in part by National Sciences Foundation of China grants ( 11672001, 81571691,81771844)
文摘Objective Patients with repaired tetralogy of Fallot(rTOF)account for the majority of cases with late onset right ventricle(RV)failure.The current surgical approach,including pulmonary valve replacement/insertion(PVR),has yielded mixed results with some patients recover RV function and some do not.An innovative surgical approach was proposed to help ventricle to contract and improve RV function qualified by ejection fraction with one or more active contracting bands.Computational biomechanical modelling is a widely used method in cardiovascular study for investigation of mechanisms governing disease development,quantitative diagnostic and treatment strategies and improving surgical designs for better outcome.Muscle active contraction caused by zero-load sarcomere shortening leads to change of zero-load configurations.In lieu of experimenting using real surgery on animal or human,computational simulations(virtual surgery)were performed to test different band combination and insertion options to identify optimal surgery design and band insertion plan.Methods Cardiac magnetic resonance(CMR)data were obtained from one rTOF patient(sex:male,age:22.5 y)before pulmonary valve replacement surgery.The patient was suffering from RV dilation and dysfunction with RV end-systole volume 254.49ml and end-diastole volume 406.91 mL.A total of 15 computational RV/LV/Patch/Band combination models based on(CMR)imaging were constructed to investigate the influence of different band insertion surgery plans.These models included 5 different band insertion models combined and 3 different band contraction ratio(10%,15%and 20%band zero-stress length reduction).These models included 5 different band insertion models:Model 1 with one band at anterior to the middle of papillary muscle;Model 2 with one band at posterior to the middle of papillary muscle;Model 3 with 2 bands which are the ones from Models 1&2 combined;Model 4 with a band at the base of the papillary muscle;Model 5 with 3 bands which is a combination of Models 3&4.A pre-shrink process was performed on in-vivo begin-filling and end-systole MRI data to obtain diastole and systole zero4oad ventricle geometries.An extra 5%-8%shrinkage was applied to obtain corresponding systole zero-load geometry reflecting myocardium sarcomere shortening.The zero-load band length in systole was 10%,15%and 20%shorter than that in diastole according to their corresponding contraction ratio.The nonlinear Mooney-Rivlin model was used to describe the ventricle material properties with their material parameter values adjusted to match measured data with CMR.The band material properties were in the same scale with healthy right ventricle.The RV/LV/Band model construction and solution procedures were the same as described.Results Model 5 with band contraction ratio of 20%has the ability to improve RV ejection fraction to 41.07%,which represented a 3.61%absolute improvement,or 9.6%relative improvement using pre-PVR ejection fraction as the baseline number.The ejection fractions for Models 1-4 with band contraction ratio of 20%were 39.28%,39.47%,38.87%and 40.34%respectively.Compared to models with band contraction ratio15%and 20%,models with band contraction ratio 10%has the least ability on RV ejection fraction improvement with ejection fraction 38.28%,38.00%,38.81%,38.50%and 39.36%corresponding to Models 1-5.Conclusions This pilot work demonstrated that the band insertion surgery may have great potential to improve post-PVR RV cardiac function for patients with repaired TOF.More band contraction ratio and inserted band number may lead to better post-surgery outcome.Further investigations using in-vitro animal experiments and final patient studies are warranted.
文摘Building Information Modelling (BIM) is a technology and a process that has brought changes in the construction’s traditional procurement system. Kenya lacks contractual guidelines on implementation of BIM;this makes the adoption of BIM slow and difficult. Previous research has identified a gap in contractual relationships, roles and resulting risks. The objectives of this study were to investigate BIM adoption in Nairobi and to investigate the influence of BIM on Engineering Contract Management (ECM)</span><span style="font-family:Verdana;"> in Nairobi Kenya</span><span style="font-family:Verdana;">. The survey research was a descriptive study with 175 responsive questionnaires. Respondents comprised of Civil Engineers, Construction Project Managers, Architects, Quantity Surveyors, Contractors and Facility Managers. Data was collected through self-administered questionnaire and in-depth interview. Descriptive analytics, correlation and Exploratory factor analysis methods were used to analyse quantitative data. Qualitative data was analysed thematically. It emerged that adoption level was at 56.6% and shallow understanding of BIM capabilities remains to be a barrier to its adoption and implementation. It also emerged that BIM improves ECM;when time, cost, quality, collaboration and return on investment improve, ECM becomes easier. Latent factors found in BIM and ECM relationship were Legal Implications, awareness and knowledge, efficiency, versatility, mandate and leadership, and competitiveness. Further, the study found out that BIM influence on ECM demands for establishment of standards, guidelines, policy, legal framework, and regulations, which can be achieved by amending the public procurement act which dictates the operation of all the other standard forms of contract. Further research should be conducted to measure whether the understanding of BIM had positively improved.
文摘The psychological contract is a set of personal beliefs about the reciprocal obligations and rights established in an exchange relationship,and high-level fulfillment of psychological contract helps the development of a team.This study summarizes the concept and theoretical basis of psychological contract,the influencing factors and intervention status of nurse psychological contract,and constructs a psychological contract intervention model to provide reference and reference for better construction and management of nursing teams.