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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
Building information modelling(BIM),which is a new tool to manage information relating to a construction project throughout its entire life cycle,has been a hot discussion topic in the industry in recent years.With th...Building information modelling(BIM),which is a new tool to manage information relating to a construction project throughout its entire life cycle,has been a hot discussion topic in the industry in recent years.With the many capabilities it can offer,some early adaptors have applied it to solve problems in various areas including utilities.From their practical experience,it is learnt that we need to change our current workflow to apply BIM before the maximum benefits can be gained.The selection of project delivery method or contract type to manage a project defines the workflow and plays an important factor to the success of BIM adoption.This paper will study the problems in applying BIM on traditional project delivery method;other new contract types available in the market;and how they can bring further value in BIM implementation with examples from different countries.展开更多
文摘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.
文摘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.
文摘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.
基金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.
文摘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 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.
文摘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 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.
文摘Building information modelling(BIM),which is a new tool to manage information relating to a construction project throughout its entire life cycle,has been a hot discussion topic in the industry in recent years.With the many capabilities it can offer,some early adaptors have applied it to solve problems in various areas including utilities.From their practical experience,it is learnt that we need to change our current workflow to apply BIM before the maximum benefits can be gained.The selection of project delivery method or contract type to manage a project defines the workflow and plays an important factor to the success of BIM adoption.This paper will study the problems in applying BIM on traditional project delivery method;other new contract types available in the market;and how they can bring further value in BIM implementation with examples from different countries.