Smart contracts on the Ethereum blockchain continue to revolutionize decentralized applications (dApps) by allowing for self-executing agreements. However, bad actors have continuously found ways to exploit smart cont...Smart contracts on the Ethereum blockchain continue to revolutionize decentralized applications (dApps) by allowing for self-executing agreements. However, bad actors have continuously found ways to exploit smart contracts for personal financial gain, which undermines the integrity of the Ethereum blockchain. This paper proposes a computer program called SADA (Static and Dynamic Analyzer), a novel approach to smart contract vulnerability detection using multiple Large Language Model (LLM) agents to analyze and flag suspicious Solidity code for Ethereum smart contracts. SADA not only improves upon existing vulnerability detection methods but also paves the way for more secure smart contract development practices in the rapidly evolving blockchain ecosystem.展开更多
Objective To provide effective decision making for the subsidy policies given by the government to pharmaceutical enterprises and the coordination model adopted by pharmaceutical stakeholders under the carbon emission...Objective To provide effective decision making for the subsidy policies given by the government to pharmaceutical enterprises and the coordination model adopted by pharmaceutical stakeholders under the carbon emission trading policy.Methods The Stackelberg model was used to discuss the optimal profits of each member and the whole supply chain under different decision-making models while considering the technical capacity of emission reduction and cost sharing contract.Based on this,the impact of the combined contract decisionmaking model on the technical efforts of drug manufacturers to reduce carbon emission,the profits of supply chain members and the overall profits of supply chain was investigated.Results and Conclusion Research has found that improving the research and development efforts of emission reduction technologies by pharmaceutical enterprises can increase drug sales and enhance the expected profits of pharmaceutical supply chain members.The members of the secondary pharmaceutical supply chain can achieve the optimal expected profit when reaching cooperation.Besides,when the cost sharing contract and quantity discount contract meet the constraint conditions,the combined contract decision model can perfectly coordinate the pharmaceutical supply chain,enabling supply chain members to achieve Pareto improvement and gradually reach Pareto optimum.展开更多
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.展开更多
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.展开更多
In supply chain management,an important research direction is to coordinate the supply chain through introducing flexible contracts.A supply chain contract is flexible if it can satisfy two conditions at the same time...In supply chain management,an important research direction is to coordinate the supply chain through introducing flexible contracts.A supply chain contract is flexible if it can satisfy two conditions at the same time：the supply chain is coordinated,and the total profit of the supply chain can be arbitrarily divided between the supply chain members.This paper puts out two contracts,a flexible return contract and a flexible wholesale price discount contract.In contrast to many of literature,the supply chain contracts with an endogenous wholesale price is specifically considered,and a detailed sensitivity analysis of the contract parameters is given.The paper also discusses the application of the contract in vendor-managed inventory（VMI） mode.The results show that the supply chain＇s performance is improved after introducing above contracts.All the findings are illustrated by numerical examples.展开更多
This paper is prepared in honour of Professor E.T.Brown for his outstanding contributions to rock mechanics and geotechnical engineering and also for his personal influence on the first author’s research career in ge...This paper is prepared in honour of Professor E.T.Brown for his outstanding contributions to rock mechanics and geotechnical engineering and also for his personal influence on the first author’s research career in geomechanics and geotechnical engineering.As a result,we have picked a topic that reflects two key research areas in which Professor E.T.Brown has made seminal contributions over a long and distinguished career.These two areas are concerned with the application of the critical state concept to modelling geomaterials and the analysis of underground excavation or tunnelling in geomaterials.Partially due to Professor Brown’s influence,the first author has also been conducting research in these two areas over many years.In particular,this paper aims to describe briefly the development of a unified critical state model for geomaterials together with an application to cavity contraction problems and tunnelling in soils.展开更多
Thick-skinned contractional salt structures are widely developed in the western Kuqa depression, northern Tarim basin. To understand the mechanisms that govern the development of these structures, physical experiments...Thick-skinned contractional salt structures are widely developed in the western Kuqa depression, northern Tarim basin. To understand the mechanisms that govern the development of these structures, physical experiments are conducted and the results show that they are largely governed by the activities of basement faults and the forming of paleo-uplifts and basement slopes. The model materials in this study are dry sand, vaseline and plasticene （or hard foam）, simulating the suprasalt, salt, and subsalt layers respectively. The experiments show that, due to the activities of basement faults and the forming of the paleo-uplifts, salt bodies usually accumulate and thicken significantly on the middle top of the paleo-uplifts which are constrained by the pre-exiting boundary faults. The development of large-scale thrust faults and salt nappes is favored by the basement slops with larger dips. The experiments also conclude that differential structural deformation could occur between the subsalt and suprasalt layers because of the presence of salt layers. Their geometries and the locations of structural highs are different, despite of the great similarities in the uplifted areas. The pierced salt diapir is not observed in the experiments, which indicates that the contractional shortening does not effectively accelerate the development of the salt diapir.展开更多
The interpretation of contract has attracted much attention in the practice of contract law and the basic problems to be solved are what the parties agree on and how to set up the rules of adjudication.The present dom...The interpretation of contract has attracted much attention in the practice of contract law and the basic problems to be solved are what the parties agree on and how to set up the rules of adjudication.The present domestic studies are not conducive to contract practices because they either unnecessarily elevate scientific problems to the speculative realm of fantasy,or make the problems become more unreal and abstract.The two traditional theories of contract interpretation do not conflict in values in terms of the autonomy of the will and trust protection.However,in today' s society where cultural pluralism and legal value pluralism exist,because of different contract practices,differentiation and individualization of contract interpretation will become the basic patterns.Therefore,it is impossible and unnecessary to construct a unitary model,but it is of great significance to introduce the dogmatics-oriented contract interpretation.展开更多
We report on the verification of a multi-party contract signing protocol described by Baum-Waidner and Waidner （BW）. Based on Paulson＇s inductive approach, we give the protocol model that includes infinitely many s...We report on the verification of a multi-party contract signing protocol described by Baum-Waidner and Waidner （BW）. Based on Paulson＇s inductive approach, we give the protocol model that includes infinitely many signatories and contract texts signing simuhaneously. We consider composite attacks of the dishonest signatory and the external intruder, formalize cryptographic primitives and protocol arithmetic including attack model, show formal description of key distribution, and prove signature key secrecy theorems and fairness property theorems of the BW protocol using the interactive theorem prover Isabelle/HOL.展开更多
Based on about 20 years of accumulated experience and knowledge of oil and gas field development in overseas countries and regions for China's oil companies, the development features, ideas, models and plan design...Based on about 20 years of accumulated experience and knowledge of oil and gas field development in overseas countries and regions for China's oil companies, the development features, ideas, models and plan designing strategies of overseas oil and gas fields were comprehensively summarized. Overseas oil and gas field development has ten major features, such as non-identity project resource, diversity of contract type, complexity of cooperation model, and so on. The overseas oil and gas field development aims at the maximization of production and benefit during the limited contract period, so the overseas oil and gas field development models are established as giving priority to production by natural energy, building large-scale production capacity, putting into production as soon as possible, realizing high oil production recovery rate, and achieving rapid payback period of investment. According to the overseas contract mode, a set of strategies for overseas oil and gas field development plans were made. For tax systems contracts, the strategy is to adopt the mode of "first fat and then thinner, easier in the first and then harder", that is, early investment pace, production increase rate, development workload and production were decided by the change of tax stipulated in the contract. For production share contracts, the strategy is to give priority to high production with a few wells at a high production recovery rate to increase the cost-oil and shorten the period of payback. For technical service contracts, the strategy is that the optimal production target and workload of the project were determined by the return on investment, so as to ensure that the peak production and stable production periods meet the contract requirements.展开更多
The contract net protocol has developed to specify problem solving communication for nodes in a distributed problem solving. Task distribution is affected by a negotiation process,a discussion carried on between node...The contract net protocol has developed to specify problem solving communication for nodes in a distributed problem solving. Task distribution is affected by a negotiation process,a discussion carried on between nodes with tasks to he executed and nodes that may be able to execute those tasks. In contract net protocol,once negotiation successes,tbe task execution is assumed to success. However,in real world,even though a task is awarded to successfully bidding nodes,it may be delayed. Such delay may badly propagate in whole system. Here,we introduce real-time constraints into contract net protocol to manage task execution for avoiding the, task's delay,or even though being delayed,the railure cannot propagate to whole system. In this paper,we first present a real-time contract net protocol which is an extension of contract net protocol with real-time constraints for distributed computing. Our proposition extends the basic negotiation protocol to negotiation and controlling execution or task. The controlling process is based on task deadline time,we also present an extension of the internode language of contract net protocol specification with real-time constraints.展开更多
This paper investigates a sliding-mode model predictive control （MPC） algorithm with auxiliary contractive sliding vector constraint for constrained nonlinear discrete-time systems. By adding contractive constraint ...This paper investigates a sliding-mode model predictive control （MPC） algorithm with auxiliary contractive sliding vector constraint for constrained nonlinear discrete-time systems. By adding contractive constraint into the optimization problem in regular sliding-mode MPC algorithm, the value of the sliding vector is decreased to zero asymptotically, which means that the system state is driven into a vicinity of sliding surface with a certain width. Then, the system state moves along the sliding surface to the equilibrium point within the vicinity. By applying the proposed algorithm, the stability of the closed-loop system is guaranteed. A numerical example of a continuous stirred tank reactor （CSTR） system is given to verify the feasibility and effectiveness of the proposed method.展开更多
Muscle unloading due to long-term exposure of weightlessness or simulated weightlessness causes atrophy, loss of functional capacity, impaired locomotor coordination, and decreased resistance to fatigue in the antigra...Muscle unloading due to long-term exposure of weightlessness or simulated weightlessness causes atrophy, loss of functional capacity, impaired locomotor coordination, and decreased resistance to fatigue in the antigravity muscles of the lower limbs. Besides reducing astronauts' mobility in space and on returning to a gravity environment, the molecular mechanisms for the adaptation of skeletal muscle to unloading also play an important medical role in conditions such as disuse and paralysis. The tail-suspended rat model was used to simulate the effects of weightlessness on skeletal muscles and to induce muscle unloading in the rat hindlimb. Our series studies have shown that the maximum of twitch tension and the twitch duration decreased significantly in the atrophic soleus muscles, the maximal tension of high-frequency tetanic contraction was significantly reduced in 2-week unloaded soleus muscles, however, the fatigability of highfrequency tetanic contraction increased after one week of unloading. The maximal isometric tension of intermittent tetanic contraction at optimal stimulating frequency did not alter in 1-and 2-week unloaded soleus, but significantly decreased in 4-week unloaded soleus. The 1-week unloaded soleus, but not extensor digitorum longus(EDL), was more susceptible to fatigue during intermittent tetanic contraction than the synchronous controls. The changes in K+ channel characteristics may increase the fatigability during high-frequency tetanic contraction in atrophic soleus muscles. High fatigability of intermittent tetanic contraction may be involved in enhanced activity of sarcoplasmic reticulum Ca2+-ATPase(SERCA) and switching from slow to fast isoform of myosin heavy chain, tropomyosin, troponin I and T subunit in atrophic soleus muscles. Unloaded soleus muscle also showed a decreased protein level of neuronal nitric oxide synthase(nNOS), and the reduction in nNOS-derived NO increased frequency of calcium sparks and elevated intracellular resting Ca2+ concentration([Ca2+]i) in unloaded soleus muscles. High [Ca2+]i activated calpain-1 which induced a higher degradation of desmin. Desmin degradation may loose connections between adjacent myofibrils and further misaligned Z-disc during repeated tetanic contractions. Passive stretch in unloaded muscle could preserve the stability of sarcoplasmic reticulum Ca2+ release channels by means of keeping nNOS activity, and decrease the enhanced protein level and activity of calpain to control levels in unloaded soleus muscles. Therefore, passive stretch restored normal appearance of Z-disc and resisted in part atrophy of unloaded soleus muscles. The above results indicate that enhanced fatigability of high-frequency tetanic contraction is associated to the alteration in K+ channel characteristics, and elevated SERCA activity and slow to fast transition of myosin heavy chain(MHC) isoforms increases fatigability of intermittent tetanic contraction in atrophic soleus muscle. The sarcomeric damage induced by tetanic contraction can be retarded by stretch in atrophic soleus muscles.展开更多
文摘Smart contracts on the Ethereum blockchain continue to revolutionize decentralized applications (dApps) by allowing for self-executing agreements. However, bad actors have continuously found ways to exploit smart contracts for personal financial gain, which undermines the integrity of the Ethereum blockchain. This paper proposes a computer program called SADA (Static and Dynamic Analyzer), a novel approach to smart contract vulnerability detection using multiple Large Language Model (LLM) agents to analyze and flag suspicious Solidity code for Ethereum smart contracts. SADA not only improves upon existing vulnerability detection methods but also paves the way for more secure smart contract development practices in the rapidly evolving blockchain ecosystem.
文摘Objective To provide effective decision making for the subsidy policies given by the government to pharmaceutical enterprises and the coordination model adopted by pharmaceutical stakeholders under the carbon emission trading policy.Methods The Stackelberg model was used to discuss the optimal profits of each member and the whole supply chain under different decision-making models while considering the technical capacity of emission reduction and cost sharing contract.Based on this,the impact of the combined contract decisionmaking model on the technical efforts of drug manufacturers to reduce carbon emission,the profits of supply chain members and the overall profits of supply chain was investigated.Results and Conclusion Research has found that improving the research and development efforts of emission reduction technologies by pharmaceutical enterprises can increase drug sales and enhance the expected profits of pharmaceutical supply chain members.The members of the secondary pharmaceutical supply chain can achieve the optimal expected profit when reaching cooperation.Besides,when the cost sharing contract and quantity discount contract meet the constraint conditions,the combined contract decision model can perfectly coordinate the pharmaceutical supply chain,enabling supply chain members to achieve Pareto improvement and gradually reach Pareto optimum.
文摘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.
基金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.
基金supported by the Science and Technology Project of Zhejiang Province (2009C110262009C35007)
文摘In supply chain management,an important research direction is to coordinate the supply chain through introducing flexible contracts.A supply chain contract is flexible if it can satisfy two conditions at the same time：the supply chain is coordinated,and the total profit of the supply chain can be arbitrarily divided between the supply chain members.This paper puts out two contracts,a flexible return contract and a flexible wholesale price discount contract.In contrast to many of literature,the supply chain contracts with an endogenous wholesale price is specifically considered,and a detailed sensitivity analysis of the contract parameters is given.The paper also discusses the application of the contract in vendor-managed inventory（VMI） mode.The results show that the supply chain＇s performance is improved after introducing above contracts.All the findings are illustrated by numerical examples.
文摘This paper is prepared in honour of Professor E.T.Brown for his outstanding contributions to rock mechanics and geotechnical engineering and also for his personal influence on the first author’s research career in geomechanics and geotechnical engineering.As a result,we have picked a topic that reflects two key research areas in which Professor E.T.Brown has made seminal contributions over a long and distinguished career.These two areas are concerned with the application of the critical state concept to modelling geomaterials and the analysis of underground excavation or tunnelling in geomaterials.Partially due to Professor Brown’s influence,the first author has also been conducting research in these two areas over many years.In particular,this paper aims to describe briefly the development of a unified critical state model for geomaterials together with an application to cavity contraction problems and tunnelling in soils.
文摘Thick-skinned contractional salt structures are widely developed in the western Kuqa depression, northern Tarim basin. To understand the mechanisms that govern the development of these structures, physical experiments are conducted and the results show that they are largely governed by the activities of basement faults and the forming of paleo-uplifts and basement slopes. The model materials in this study are dry sand, vaseline and plasticene （or hard foam）, simulating the suprasalt, salt, and subsalt layers respectively. The experiments show that, due to the activities of basement faults and the forming of the paleo-uplifts, salt bodies usually accumulate and thicken significantly on the middle top of the paleo-uplifts which are constrained by the pre-exiting boundary faults. The development of large-scale thrust faults and salt nappes is favored by the basement slops with larger dips. The experiments also conclude that differential structural deformation could occur between the subsalt and suprasalt layers because of the presence of salt layers. Their geometries and the locations of structural highs are different, despite of the great similarities in the uplifted areas. The pierced salt diapir is not observed in the experiments, which indicates that the contractional shortening does not effectively accelerate the development of the salt diapir.
文摘The interpretation of contract has attracted much attention in the practice of contract law and the basic problems to be solved are what the parties agree on and how to set up the rules of adjudication.The present domestic studies are not conducive to contract practices because they either unnecessarily elevate scientific problems to the speculative realm of fantasy,or make the problems become more unreal and abstract.The two traditional theories of contract interpretation do not conflict in values in terms of the autonomy of the will and trust protection.However,in today' s society where cultural pluralism and legal value pluralism exist,because of different contract practices,differentiation and individualization of contract interpretation will become the basic patterns.Therefore,it is impossible and unnecessary to construct a unitary model,but it is of great significance to introduce the dogmatics-oriented contract interpretation.
基金Supported by the National Natural Science Foun-dation of China (60373068)
文摘We report on the verification of a multi-party contract signing protocol described by Baum-Waidner and Waidner （BW）. Based on Paulson＇s inductive approach, we give the protocol model that includes infinitely many signatories and contract texts signing simuhaneously. We consider composite attacks of the dishonest signatory and the external intruder, formalize cryptographic primitives and protocol arithmetic including attack model, show formal description of key distribution, and prove signature key secrecy theorems and fairness property theorems of the BW protocol using the interactive theorem prover Isabelle/HOL.
基金Supported by the China National Science and Technology Major Project(2017ZX05030)
文摘Based on about 20 years of accumulated experience and knowledge of oil and gas field development in overseas countries and regions for China's oil companies, the development features, ideas, models and plan designing strategies of overseas oil and gas fields were comprehensively summarized. Overseas oil and gas field development has ten major features, such as non-identity project resource, diversity of contract type, complexity of cooperation model, and so on. The overseas oil and gas field development aims at the maximization of production and benefit during the limited contract period, so the overseas oil and gas field development models are established as giving priority to production by natural energy, building large-scale production capacity, putting into production as soon as possible, realizing high oil production recovery rate, and achieving rapid payback period of investment. According to the overseas contract mode, a set of strategies for overseas oil and gas field development plans were made. For tax systems contracts, the strategy is to adopt the mode of "first fat and then thinner, easier in the first and then harder", that is, early investment pace, production increase rate, development workload and production were decided by the change of tax stipulated in the contract. For production share contracts, the strategy is to give priority to high production with a few wells at a high production recovery rate to increase the cost-oil and shorten the period of payback. For technical service contracts, the strategy is that the optimal production target and workload of the project were determined by the return on investment, so as to ensure that the peak production and stable production periods meet the contract requirements.
文摘The contract net protocol has developed to specify problem solving communication for nodes in a distributed problem solving. Task distribution is affected by a negotiation process,a discussion carried on between nodes with tasks to he executed and nodes that may be able to execute those tasks. In contract net protocol,once negotiation successes,tbe task execution is assumed to success. However,in real world,even though a task is awarded to successfully bidding nodes,it may be delayed. Such delay may badly propagate in whole system. Here,we introduce real-time constraints into contract net protocol to manage task execution for avoiding the, task's delay,or even though being delayed,the railure cannot propagate to whole system. In this paper,we first present a real-time contract net protocol which is an extension of contract net protocol with real-time constraints for distributed computing. Our proposition extends the basic negotiation protocol to negotiation and controlling execution or task. The controlling process is based on task deadline time,we also present an extension of the internode language of contract net protocol specification with real-time constraints.
基金supported by Fundamental Research Funds for the Central Universities(Nos. CDJXS10170008 and CDJXS10171101)
文摘This paper investigates a sliding-mode model predictive control （MPC） algorithm with auxiliary contractive sliding vector constraint for constrained nonlinear discrete-time systems. By adding contractive constraint into the optimization problem in regular sliding-mode MPC algorithm, the value of the sliding vector is decreased to zero asymptotically, which means that the system state is driven into a vicinity of sliding surface with a certain width. Then, the system state moves along the sliding surface to the equilibrium point within the vicinity. By applying the proposed algorithm, the stability of the closed-loop system is guaranteed. A numerical example of a continuous stirred tank reactor （CSTR） system is given to verify the feasibility and effectiveness of the proposed method.
基金supported by a Natural Science Foundation of China Grant(30770805)
文摘Muscle unloading due to long-term exposure of weightlessness or simulated weightlessness causes atrophy, loss of functional capacity, impaired locomotor coordination, and decreased resistance to fatigue in the antigravity muscles of the lower limbs. Besides reducing astronauts' mobility in space and on returning to a gravity environment, the molecular mechanisms for the adaptation of skeletal muscle to unloading also play an important medical role in conditions such as disuse and paralysis. The tail-suspended rat model was used to simulate the effects of weightlessness on skeletal muscles and to induce muscle unloading in the rat hindlimb. Our series studies have shown that the maximum of twitch tension and the twitch duration decreased significantly in the atrophic soleus muscles, the maximal tension of high-frequency tetanic contraction was significantly reduced in 2-week unloaded soleus muscles, however, the fatigability of highfrequency tetanic contraction increased after one week of unloading. The maximal isometric tension of intermittent tetanic contraction at optimal stimulating frequency did not alter in 1-and 2-week unloaded soleus, but significantly decreased in 4-week unloaded soleus. The 1-week unloaded soleus, but not extensor digitorum longus(EDL), was more susceptible to fatigue during intermittent tetanic contraction than the synchronous controls. The changes in K+ channel characteristics may increase the fatigability during high-frequency tetanic contraction in atrophic soleus muscles. High fatigability of intermittent tetanic contraction may be involved in enhanced activity of sarcoplasmic reticulum Ca2+-ATPase(SERCA) and switching from slow to fast isoform of myosin heavy chain, tropomyosin, troponin I and T subunit in atrophic soleus muscles. Unloaded soleus muscle also showed a decreased protein level of neuronal nitric oxide synthase(nNOS), and the reduction in nNOS-derived NO increased frequency of calcium sparks and elevated intracellular resting Ca2+ concentration([Ca2+]i) in unloaded soleus muscles. High [Ca2+]i activated calpain-1 which induced a higher degradation of desmin. Desmin degradation may loose connections between adjacent myofibrils and further misaligned Z-disc during repeated tetanic contractions. Passive stretch in unloaded muscle could preserve the stability of sarcoplasmic reticulum Ca2+ release channels by means of keeping nNOS activity, and decrease the enhanced protein level and activity of calpain to control levels in unloaded soleus muscles. Therefore, passive stretch restored normal appearance of Z-disc and resisted in part atrophy of unloaded soleus muscles. The above results indicate that enhanced fatigability of high-frequency tetanic contraction is associated to the alteration in K+ channel characteristics, and elevated SERCA activity and slow to fast transition of myosin heavy chain(MHC) isoforms increases fatigability of intermittent tetanic contraction in atrophic soleus muscle. The sarcomeric damage induced by tetanic contraction can be retarded by stretch in atrophic soleus muscles.
