A new anchor-siphon drainage combined method used for slope stabilization is proposed in this paper.It includes an anchoring section and a siphon drainage section.The novelty of the anchor-siphon drainage combined met...A new anchor-siphon drainage combined method used for slope stabilization is proposed in this paper.It includes an anchoring section and a siphon drainage section.The novelty of the anchor-siphon drainage combined method is the realization of the drainage and anchoring in the one inclined borehole.The engineering cost of drilling and the resulting disturbance to the slope is reduced.To validate the feasibility of the proposed method,a numerical method that combines the pore water pressure distribution after siphon drainage and the anchoring force of the anchoring section is used to evaluate the safety of the slope with the anchor-siphon drainage method.The proposed method was illustrated and validated with the Hongpu Village landslide,in Tonglu County,Zhejiang Province,in China.Compared with the common anchor bar with the same length in the anchoring section,the factor of safety(FOS)for Hongpu Village slope with anchorsiphon drainage is increased by 0.085.The calculation method of the optimal length ratio between the drainage section and the anchoring section and its influencing factors were studied.For the different design parameters,there is always an optimal length ratio of the drainage section.Compared with the siphon drainage and full-length anchor bar with the same borehole length,the anchor-siphon drainage combined method shows better landslide prevention ability.Moreover,when the optimized parameters with a bond strength of 560kPa,a borehole inclination of 35°,and no reduction in length are used,the calculated safety factor is 1.316,which is significantly higher than the FOS of 1.131 for the slope with siphon drainage.展开更多
The siphon drainage is an effective measure for the slope groundwater control. However,for the traditional siphon drainage, limitations such as siphon lift restriction and poor reliability in longterm service prevent ...The siphon drainage is an effective measure for the slope groundwater control. However,for the traditional siphon drainage, limitations such as siphon lift restriction and poor reliability in longterm service prevent it from being widely used. In this study, an improved siphon drainage method with inclined borehole penetrating the deep part of the slope is proposed to overcome the limitations suffered by the traditional method. Through experimental research, theoretical analysis and engineering practice,the reliability and capability of the proposed method are investigated. The results demonstrate that with the inclined pipe the height difference between the control point of the groundwater level and the orifice can be controlled to be less than the height of the water column corresponding to the local atmospheric pressure. As a result, deep drainage can be achieved.In addition, by controlling the diameter of siphon drainage pipe not larger than 4 mm, a plug flow can be formed in the siphon pipe, which can prevent air accumulation in the siphon process and a continuous and effective siphon drainage is achieved. Through a practical project running smoothly since September 2013, it is found that the proposed method can effectively drain the groundwater deep in the slope and the maximum drawdown of groundwater level in boreholes can reach 8.5 m with an average drainage flow of 5.5 m3/d. The practical results also illustrate that 4 mm siphon pipe can be used to realize deep slope drainage and restart siphon automatically.展开更多
Based on the characteristics of large flow rate , low head , short annual operation time , and high reliability of the city flood-control pumping stations , a new-type shaft tubular pumping system featuring a shaft su...Based on the characteristics of large flow rate , low head , short annual operation time , and high reliability of the city flood-control pumping stations , a new-type shaft tubular pumping system featuring a shaft suction box and a siphon-type discharge passage with a vacuum breaker as the cutoff device was developed , which possesses such advantages as simple structure , reliable cutoff , and high energy performance.Taking some pumping stations as the case studies , in the light of the specified operation conditions , the hydraulic optimal design of the shaft-type tubular pumping system was determined and the optimized shape of the system was recommended.The performance prediction based on the computational fluid dynamics methodology was determined and the model test verification was conducted.The results show that the predicted data agree with the experimental head and efficiency so that both methods can be used to determine the performance of a real pumping station.Finally , the in-situ measurements of a pumping station during the commissioning period further verified that the shaft-type tubular pumping station with a siphon discharge passage is of higher efficiency , more reliable and stable.展开更多
Deadlock resolution strategies based on siphon control are widely investigated.Their computational efficiency largely depends on siphon computation.Mixed-integer programming(MIP)can be utilized for the computation of ...Deadlock resolution strategies based on siphon control are widely investigated.Their computational efficiency largely depends on siphon computation.Mixed-integer programming(MIP)can be utilized for the computation of an emptiable siphon in a Petri net(PN).Based on it,deadlock resolution strategies can be designed without requiring complete siphon enumeration that has exponential complexity.Due to this reason,various MIP methods are proposed for various subclasses of PNs.This work proposes an innovative MIP method to compute an emptiable minimal siphon(EMS)for a subclass of PNs named S^(4)PR.In particular,many particular structural characteristics of EMS in S4 PR are formalized as constraints,which greatly reduces the solution space.Experimental results show that the proposed MIP method has higher computational efficiency.Furthermore,the proposed method allows one to determine the liveness of an ordinary S^(4)PR.展开更多
A large amount of research has shown the vitality of siphon enumeration in the analysis and control of deadlocks in various resource-allocation systems modeled by Petri nets(PNs).In this paper,we propose an algorithm ...A large amount of research has shown the vitality of siphon enumeration in the analysis and control of deadlocks in various resource-allocation systems modeled by Petri nets(PNs).In this paper,we propose an algorithm for the enumeration of minimal siphons in PN based on problem decomposition.The proposed algorithm is an improved version of the global partitioning minimal-siphon enumeration(GPMSE)proposed by Cordone et al.(2005)in IEEE Transactions on Systems,Man,and Cybernetics-Part A:Systems and Humans,which is widely used in the literature to compute minimal siphons.The experimental results show that the proposed algorithm consumes lower computational time and memory compared with GPMSE,which becomes more evident when the size of the handled net grows.展开更多
Siphonic roof drainage systems (SRDS’s) have been widespread used now for approximately 40 years and are an efficient method of removing rainwater rapidly from roofs. SRDS’s are designed to run full-bore, resulting ...Siphonic roof drainage systems (SRDS’s) have been widespread used now for approximately 40 years and are an efficient method of removing rainwater rapidly from roofs. SRDS’s are designed to run full-bore, resulting in sub-atmospheric system pressures with high hydraulic driving heads and higher system flow velocities than conventionally guttered systems. Hence, SRDS’s normally require far fewer downpipes, and the depressurised conditions also mean that much of the collection pipework can be routed at a high level, thus reducing the extent of any underground pipework. But, they work properly at only one roof run-off rate and therefore suffer from sizing and operational problems including noise and vibration which limit their performance and adoption rate. Climate change is creating situations where normal ranges of rainfall intensity are being frequently exceeded, so the typical:storm ratios (rTS) are large increasing. Current SRDS’s typically operate within a small rTS range of 2. This may have an impact on the future uptake of SRDS’s. This paper describes the development of a novel SRDS which includes a small mobile cap at the roof of outlet appears to offer benefits and avoids sizing problems associated with current SRDS’s. The cap has the potential to avoid noise associated with making and breaking siphonic action through flow modulation. Laboratory scale tests demonstrate the basic feasibility of the cap system and indicate that the cap functions reliably. This research received no specific grant from any funding agency in the public, commercial, or not-for-profit sectors. Basic on sizing and design optimiza-tion factors are suggested. The rTS range is increased from approximately 2 to approximately 6.展开更多
Actin is a ubiquitous protein and plays essential roles on cellular structure maintenance and cellular motility in both muscle and non-muscle tissues.Multiple genes encoding muscle actin have been identified from the ...Actin is a ubiquitous protein and plays essential roles on cellular structure maintenance and cellular motility in both muscle and non-muscle tissues.Multiple genes encoding muscle actin have been identified from the ascidians,including those expressed in the larval tail muscle,the adult body-wall muscle,and adult heart muscle.In this study,a novel striated non-tail muscle actin gene was identified from the RNA-seq data of Ciona savignyi embryos.Phylogenetic analysis,alignment of the N-terminal amino acid sequences and comparation of diagnostic residues provided evidence that it had high similarity with vertebrate cardiac and skeletal muscle actin.In situ hybridization and promoter-driven GFP reporter assay revealed that it was specifically expressed in the primordia of the oral and atrial siphon.We hereby defined it as siphon-specific muscle actin coding gene(Cs-SMA).A 201 bp(−1350 bp to−1150 bp)sequence containing T-box and Six1/2 binding motif within the upstream region of Cs-SMA confined the expression of GFP in the siphons of electroporated embryos.Six1/2 binding motif was experimentally confirmed to play indispensable role in controlling the siphon-specific expression of Cs-SMA.The tissue-specific expression of Cs-SMA in the siphon primordia indicated its potential crucial roles in Ciona embryogenesis and organogenesis.展开更多
AIM:To evaluate whether narrowing of internal carotid artery siphon(ICAS)may increase the risk of developing non-arteritic anterior ischaemic optic neuropathy(NAION).METHODS:Totally 30 consecutive patients who had uni...AIM:To evaluate whether narrowing of internal carotid artery siphon(ICAS)may increase the risk of developing non-arteritic anterior ischaemic optic neuropathy(NAION).METHODS:Totally 30 consecutive patients who had unilateral NAION and 30 gender-matched control subjects were recruited in the present study.The diameter of ICAS of all the participants were measured using head-and-neck computed tomographic angiography(CTA).Color doppler flow imaging(CDI)was used to measure the haemodynamics parameters of ICAS and short posterior ciliary arteries(SPCAs)in all subjects.Comparison of parameters between the NAION patients and controls as well as between the two sides within the patients were performed.The correlation between the diameter of ICAS and NAION was analyzed.RESULTS:A comparison of parameters between the affected side of the NAION patients and the controls,including the diameter of ICAS,the resistance index(RI)of ICAS,the blood flow velocities of SPCAs and RI of SPCAs,showed significantly difference(P<0.01),while there was no significant difference in terms of the mean blood flow velocity(Vm)of ICAS;Similar results were found while comparing all the measurements of the affected and unaffected side of patients(P for RI of SPCAs<0.05).No marked difference was detected in nearly all parameters except for RI of ICAS and SPCAs between the unaffected side of the NAION patients and the controls(P<0.05).The diameter of ICAS were significantly positive correlated with both peak systolic velocity(PSV)of SPCAs and end diastolic velocity(EDV)of SPCAs in patients with NAION(r=0.514,P<0.01 and r=0.418,P<0.05,respectively).CONCLUSION:Narrowing of ICAS may increase the risk of developing NAION.展开更多
For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are often utilized to deal with deadlocks caused by the sharing of resources in flexible manufacturi...For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are often utilized to deal with deadlocks caused by the sharing of resources in flexible manufacturing system (FMS) which is developing the theory of efficient strict minimal siphons of an S3PR. Analyzer of Petri net models and their P-invariant analysis, and deadlock control are presented as tools for modelling, efficiency structure analysis, control, and investigation of the FMSs when different policies can be implemented for the deadlock prevention. We are to show an effective deadlock prevention policy of a special class of Petri nets namely elementary siphons. As well, both structural analysis and reachability graph analysis and simulation are used for analysis and control of Petri nets. This work is successfully applied Petri nets to deadlock analysis using the concept of elementary siphons, for design of supervisors of some supervisory control problems of FMS and simulation of Petri net tool with MATLAB.展开更多
It has been a hot research topic to synthesize maximally permissive controllers with fewest monitors. So far, all maximally permissive control models for a well-known benchmark are generalized Petri net, which com-pli...It has been a hot research topic to synthesize maximally permissive controllers with fewest monitors. So far, all maximally permissive control models for a well-known benchmark are generalized Petri net, which com-plicates the system. In addition, they all relied on time-consuming reachability analysis. Uzam and Zhou ap-ply First-met-bad-marking (FBM) method to the benchmark to achieve a near maximal permissive control policy with the advantage of no weighted control (WC) arcs. To improve the state of the art, it is interesting to synthesize optimal controller with as few weighted arcs as possible since it is unclear how to optimize the control for siphon involving WC arcs, This paper explores the condition to achieve optimal controller with-out WC and defining a new type of siphon, called α-siphon. If the condition is not met, one can apply the technique by Piroddi et al. to synthesize optimal controllers with WC.展开更多
Li and Zhou propose to add monitors Vs to elementary siphons S only while controlling the rest of dependent siphons - important for large systems but far from being maximally permissive. The control policy for weakly ...Li and Zhou propose to add monitors Vs to elementary siphons S only while controlling the rest of dependent siphons - important for large systems but far from being maximally permissive. The control policy for weakly dependent siphons (WDS) is rather conservative due to some negative terms in the controllability. We show that this is no longer true as can be shown that it has the same controllability as that for strongly dependent siphons.展开更多
The cold neutron source (CNS) is a facility to increase cold neutrons by scattering thermal neutrons in liquid hydrogen or deuterium around 20 K. For extracting a stable cold neutron flux from the CNS, the liquid quan...The cold neutron source (CNS) is a facility to increase cold neutrons by scattering thermal neutrons in liquid hydrogen or deuterium around 20 K. For extracting a stable cold neutron flux from the CNS, the liquid quantity in the moderator cell should be maintained stably against disturbance of nuclear heating. The China Institute of Atomic Energy (CIAE) is now constructing the China Advanced Research Reactor (CARR: 60 MW), and designing the CARR-CNS with a two-phase thermo-siphon loop consisting of a condenser, two moderator transfer tubes and an annular cylindrical moderator cell. The mock-up tests were carried out using a full-scale loop with Freon-113, for validating the self-regulating characteristics of the loop, the void fraction less than 20% in the liquid hydrogen of the moderator cell, and the requirements for establishing the condition under which the inner shell has only vapor. The density ratio of liquid to vapor and the volumetric evaporation rate due to heat load are kept the same as those in normal operation of the CARR-CNS. The results show that the loop has the self-regulating characteristics and the in- ner shell contains only vapor, while the outer shell liquid. The local void fraction in the liquid increases with increas- ing of the loop pressure.展开更多
基金the financial support of the National Natural Science Foundation of China(Key Project)(No.42230702)National Natural Science Foundation of China(No.42277129)Natural Science Foundation of Zhejiang Province(No.LY21D020001)。
文摘A new anchor-siphon drainage combined method used for slope stabilization is proposed in this paper.It includes an anchoring section and a siphon drainage section.The novelty of the anchor-siphon drainage combined method is the realization of the drainage and anchoring in the one inclined borehole.The engineering cost of drilling and the resulting disturbance to the slope is reduced.To validate the feasibility of the proposed method,a numerical method that combines the pore water pressure distribution after siphon drainage and the anchoring force of the anchoring section is used to evaluate the safety of the slope with the anchor-siphon drainage method.The proposed method was illustrated and validated with the Hongpu Village landslide,in Tonglu County,Zhejiang Province,in China.Compared with the common anchor bar with the same length in the anchoring section,the factor of safety(FOS)for Hongpu Village slope with anchorsiphon drainage is increased by 0.085.The calculation method of the optimal length ratio between the drainage section and the anchoring section and its influencing factors were studied.For the different design parameters,there is always an optimal length ratio of the drainage section.Compared with the siphon drainage and full-length anchor bar with the same borehole length,the anchor-siphon drainage combined method shows better landslide prevention ability.Moreover,when the optimized parameters with a bond strength of 560kPa,a borehole inclination of 35°,and no reduction in length are used,the calculated safety factor is 1.316,which is significantly higher than the FOS of 1.131 for the slope with siphon drainage.
基金financially supported by the National Key R&D Program of China (Grant No. 2018YFC1504704)the National Natural Science Foundation of China (Grant No. 41772276)Key R&D project of Zhejiang Province (Grant No. 2017C03006)
文摘The siphon drainage is an effective measure for the slope groundwater control. However,for the traditional siphon drainage, limitations such as siphon lift restriction and poor reliability in longterm service prevent it from being widely used. In this study, an improved siphon drainage method with inclined borehole penetrating the deep part of the slope is proposed to overcome the limitations suffered by the traditional method. Through experimental research, theoretical analysis and engineering practice,the reliability and capability of the proposed method are investigated. The results demonstrate that with the inclined pipe the height difference between the control point of the groundwater level and the orifice can be controlled to be less than the height of the water column corresponding to the local atmospheric pressure. As a result, deep drainage can be achieved.In addition, by controlling the diameter of siphon drainage pipe not larger than 4 mm, a plug flow can be formed in the siphon pipe, which can prevent air accumulation in the siphon process and a continuous and effective siphon drainage is achieved. Through a practical project running smoothly since September 2013, it is found that the proposed method can effectively drain the groundwater deep in the slope and the maximum drawdown of groundwater level in boreholes can reach 8.5 m with an average drainage flow of 5.5 m3/d. The practical results also illustrate that 4 mm siphon pipe can be used to realize deep slope drainage and restart siphon automatically.
基金support by the 11th Five Year Key Project of China’s National Scientific Supporting Plan(Grant No.2006BAB04A03)the Hydraulic Engineering Project from the Water Resources Department of Jiangsu Province(Grant No.2010023)
文摘Based on the characteristics of large flow rate , low head , short annual operation time , and high reliability of the city flood-control pumping stations , a new-type shaft tubular pumping system featuring a shaft suction box and a siphon-type discharge passage with a vacuum breaker as the cutoff device was developed , which possesses such advantages as simple structure , reliable cutoff , and high energy performance.Taking some pumping stations as the case studies , in the light of the specified operation conditions , the hydraulic optimal design of the shaft-type tubular pumping system was determined and the optimized shape of the system was recommended.The performance prediction based on the computational fluid dynamics methodology was determined and the model test verification was conducted.The results show that the predicted data agree with the experimental head and efficiency so that both methods can be used to determine the performance of a real pumping station.Finally , the in-situ measurements of a pumping station during the commissioning period further verified that the shaft-type tubular pumping station with a siphon discharge passage is of higher efficiency , more reliable and stable.
基金supported in part by Zhejiang Provincial Key Research and Development Program(2018C01084)Zhejiang Natural Science Foundation(LQ20F020009)Zhejiang Gongshang University,Zhejiang Provincial Key Laboratory of New Network Standards and Technologies(2013E10012)。
文摘Deadlock resolution strategies based on siphon control are widely investigated.Their computational efficiency largely depends on siphon computation.Mixed-integer programming(MIP)can be utilized for the computation of an emptiable siphon in a Petri net(PN).Based on it,deadlock resolution strategies can be designed without requiring complete siphon enumeration that has exponential complexity.Due to this reason,various MIP methods are proposed for various subclasses of PNs.This work proposes an innovative MIP method to compute an emptiable minimal siphon(EMS)for a subclass of PNs named S^(4)PR.In particular,many particular structural characteristics of EMS in S4 PR are formalized as constraints,which greatly reduces the solution space.Experimental results show that the proposed MIP method has higher computational efficiency.Furthermore,the proposed method allows one to determine the liveness of an ordinary S^(4)PR.
基金supported in part by the Zhejiang Natural Science Foundation(LQ20F020009)the Zhejiang Provincial Key Laboratory of New Network Standards and Technologies(2013E10012)the Public Technology Research Plan of Zhejiang Province(LGJ21F030001)。
文摘A large amount of research has shown the vitality of siphon enumeration in the analysis and control of deadlocks in various resource-allocation systems modeled by Petri nets(PNs).In this paper,we propose an algorithm for the enumeration of minimal siphons in PN based on problem decomposition.The proposed algorithm is an improved version of the global partitioning minimal-siphon enumeration(GPMSE)proposed by Cordone et al.(2005)in IEEE Transactions on Systems,Man,and Cybernetics-Part A:Systems and Humans,which is widely used in the literature to compute minimal siphons.The experimental results show that the proposed algorithm consumes lower computational time and memory compared with GPMSE,which becomes more evident when the size of the handled net grows.
文摘Siphonic roof drainage systems (SRDS’s) have been widespread used now for approximately 40 years and are an efficient method of removing rainwater rapidly from roofs. SRDS’s are designed to run full-bore, resulting in sub-atmospheric system pressures with high hydraulic driving heads and higher system flow velocities than conventionally guttered systems. Hence, SRDS’s normally require far fewer downpipes, and the depressurised conditions also mean that much of the collection pipework can be routed at a high level, thus reducing the extent of any underground pipework. But, they work properly at only one roof run-off rate and therefore suffer from sizing and operational problems including noise and vibration which limit their performance and adoption rate. Climate change is creating situations where normal ranges of rainfall intensity are being frequently exceeded, so the typical:storm ratios (rTS) are large increasing. Current SRDS’s typically operate within a small rTS range of 2. This may have an impact on the future uptake of SRDS’s. This paper describes the development of a novel SRDS which includes a small mobile cap at the roof of outlet appears to offer benefits and avoids sizing problems associated with current SRDS’s. The cap has the potential to avoid noise associated with making and breaking siphonic action through flow modulation. Laboratory scale tests demonstrate the basic feasibility of the cap system and indicate that the cap functions reliably. This research received no specific grant from any funding agency in the public, commercial, or not-for-profit sectors. Basic on sizing and design optimiza-tion factors are suggested. The rTS range is increased from approximately 2 to approximately 6.
基金funded by the National Key Research and Development Program of China(Nos.2019YFE0190900,2018YFD0900705).
文摘Actin is a ubiquitous protein and plays essential roles on cellular structure maintenance and cellular motility in both muscle and non-muscle tissues.Multiple genes encoding muscle actin have been identified from the ascidians,including those expressed in the larval tail muscle,the adult body-wall muscle,and adult heart muscle.In this study,a novel striated non-tail muscle actin gene was identified from the RNA-seq data of Ciona savignyi embryos.Phylogenetic analysis,alignment of the N-terminal amino acid sequences and comparation of diagnostic residues provided evidence that it had high similarity with vertebrate cardiac and skeletal muscle actin.In situ hybridization and promoter-driven GFP reporter assay revealed that it was specifically expressed in the primordia of the oral and atrial siphon.We hereby defined it as siphon-specific muscle actin coding gene(Cs-SMA).A 201 bp(−1350 bp to−1150 bp)sequence containing T-box and Six1/2 binding motif within the upstream region of Cs-SMA confined the expression of GFP in the siphons of electroporated embryos.Six1/2 binding motif was experimentally confirmed to play indispensable role in controlling the siphon-specific expression of Cs-SMA.The tissue-specific expression of Cs-SMA in the siphon primordia indicated its potential crucial roles in Ciona embryogenesis and organogenesis.
基金Supported by Start Funding of Beijing Friendship Hospital(No.yyqdkt2016-8)the Capital Health Research and Development of Special(No.2018-1-2021)。
文摘AIM:To evaluate whether narrowing of internal carotid artery siphon(ICAS)may increase the risk of developing non-arteritic anterior ischaemic optic neuropathy(NAION).METHODS:Totally 30 consecutive patients who had unilateral NAION and 30 gender-matched control subjects were recruited in the present study.The diameter of ICAS of all the participants were measured using head-and-neck computed tomographic angiography(CTA).Color doppler flow imaging(CDI)was used to measure the haemodynamics parameters of ICAS and short posterior ciliary arteries(SPCAs)in all subjects.Comparison of parameters between the NAION patients and controls as well as between the two sides within the patients were performed.The correlation between the diameter of ICAS and NAION was analyzed.RESULTS:A comparison of parameters between the affected side of the NAION patients and the controls,including the diameter of ICAS,the resistance index(RI)of ICAS,the blood flow velocities of SPCAs and RI of SPCAs,showed significantly difference(P<0.01),while there was no significant difference in terms of the mean blood flow velocity(Vm)of ICAS;Similar results were found while comparing all the measurements of the affected and unaffected side of patients(P for RI of SPCAs<0.05).No marked difference was detected in nearly all parameters except for RI of ICAS and SPCAs between the unaffected side of the NAION patients and the controls(P<0.05).The diameter of ICAS were significantly positive correlated with both peak systolic velocity(PSV)of SPCAs and end diastolic velocity(EDV)of SPCAs in patients with NAION(r=0.514,P<0.01 and r=0.418,P<0.05,respectively).CONCLUSION:Narrowing of ICAS may increase the risk of developing NAION.
文摘For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are often utilized to deal with deadlocks caused by the sharing of resources in flexible manufacturing system (FMS) which is developing the theory of efficient strict minimal siphons of an S3PR. Analyzer of Petri net models and their P-invariant analysis, and deadlock control are presented as tools for modelling, efficiency structure analysis, control, and investigation of the FMSs when different policies can be implemented for the deadlock prevention. We are to show an effective deadlock prevention policy of a special class of Petri nets namely elementary siphons. As well, both structural analysis and reachability graph analysis and simulation are used for analysis and control of Petri nets. This work is successfully applied Petri nets to deadlock analysis using the concept of elementary siphons, for design of supervisors of some supervisory control problems of FMS and simulation of Petri net tool with MATLAB.
文摘It has been a hot research topic to synthesize maximally permissive controllers with fewest monitors. So far, all maximally permissive control models for a well-known benchmark are generalized Petri net, which com-plicates the system. In addition, they all relied on time-consuming reachability analysis. Uzam and Zhou ap-ply First-met-bad-marking (FBM) method to the benchmark to achieve a near maximal permissive control policy with the advantage of no weighted control (WC) arcs. To improve the state of the art, it is interesting to synthesize optimal controller with as few weighted arcs as possible since it is unclear how to optimize the control for siphon involving WC arcs, This paper explores the condition to achieve optimal controller with-out WC and defining a new type of siphon, called α-siphon. If the condition is not met, one can apply the technique by Piroddi et al. to synthesize optimal controllers with WC.
文摘Li and Zhou propose to add monitors Vs to elementary siphons S only while controlling the rest of dependent siphons - important for large systems but far from being maximally permissive. The control policy for weakly dependent siphons (WDS) is rather conservative due to some negative terms in the controllability. We show that this is no longer true as can be shown that it has the same controllability as that for strongly dependent siphons.
基金Supported by the National Natural Science Foundation of China (No.10375046) and The China Institute of Atomic Energy
文摘The cold neutron source (CNS) is a facility to increase cold neutrons by scattering thermal neutrons in liquid hydrogen or deuterium around 20 K. For extracting a stable cold neutron flux from the CNS, the liquid quantity in the moderator cell should be maintained stably against disturbance of nuclear heating. The China Institute of Atomic Energy (CIAE) is now constructing the China Advanced Research Reactor (CARR: 60 MW), and designing the CARR-CNS with a two-phase thermo-siphon loop consisting of a condenser, two moderator transfer tubes and an annular cylindrical moderator cell. The mock-up tests were carried out using a full-scale loop with Freon-113, for validating the self-regulating characteristics of the loop, the void fraction less than 20% in the liquid hydrogen of the moderator cell, and the requirements for establishing the condition under which the inner shell has only vapor. The density ratio of liquid to vapor and the volumetric evaporation rate due to heat load are kept the same as those in normal operation of the CARR-CNS. The results show that the loop has the self-regulating characteristics and the in- ner shell contains only vapor, while the outer shell liquid. The local void fraction in the liquid increases with increas- ing of the loop pressure.