以糯扎渡—鹤山±800 kV特高压直流输电系统为研究对象,利用电力系统计算机辅助设计和电磁暂态模拟程序软件(power system computer aided design and electric magnetic transient in DC system,PSCAD/EMTDC),建立交流系统、换流...以糯扎渡—鹤山±800 kV特高压直流输电系统为研究对象,利用电力系统计算机辅助设计和电磁暂态模拟程序软件(power system computer aided design and electric magnetic transient in DC system,PSCAD/EMTDC),建立交流系统、换流器、换流变压器、交直流滤波器、直流平波电抗器、直流输电线路的仿真模型,并在这个仿真平台上进行单极、双极全压仿真模拟分析,仿真结果表明所建模型较准确地模拟糯扎渡—鹤山特高压直流输电系统,可以作为研究特高压直流输电系统的有效工具。展开更多
The aim of this study was to develop and explore a stochastic lattice gas cellular automata (LGCA) model for epidemics. A computer program was development in order to implement the model. An irregular grid of cells ...The aim of this study was to develop and explore a stochastic lattice gas cellular automata (LGCA) model for epidemics. A computer program was development in order to implement the model. An irregular grid of cells was used. A susceptible-infected-recovered (SIR) scheme was represented. Stochasticity was generated by Monte Carlo method. Dynamics of model was explored by numerical simulations. Model achieves to represent the typical SIR prevalence curve. Performed simulations also show how infection, mobility and distribution of infected individuals may influence the dynamics of propagation. This simple theoretical model might be a basis for developing more realistic designs.展开更多
An extended π calculus was introduced to deal with secure movement and intercommunication between agents. The system extends Nomadic-π with objective migration primitive and confined region which serves as annotatio...An extended π calculus was introduced to deal with secure movement and intercommunication between agents. The system extends Nomadic-π with objective migration primitive and confined region which serves as annotation labels of agents and channels. The confined region labels were used to uniquely identify the constraints on the migration and communication of agents, with the labels, the agents could be confined in a secure subsystem and the inter-agent communication could be confined between agents located on trusted sites during computation. The operational semantics for the calculus was given out, and a type system which enforces security properties called confined migration and confined communication was developed.展开更多
Inverse heat conduction method (IHCM) is one of the most effective approaches to obtaining the boiling heat transfer coefficient from measured results. This paper focuses on its application in cryogenic boiling heat t...Inverse heat conduction method (IHCM) is one of the most effective approaches to obtaining the boiling heat transfer coefficient from measured results. This paper focuses on its application in cryogenic boiling heat transfer. Experiments were conducted on the heat transfer of a stainless steel block in a liquid nitrogen bath, with the assumption of a 1D conduction condition to realize fast acquisition of the temperature of the test points inside the block. With the inverse-heat conduction theory and the explicit finite difference model, a solving program was developed to calculate the heat flux and the boiling heat transfer coefficient of a stainless steel block in liquid nitrogen bath based on the temperature acquisition data. Considering the oscillating data and some unsmooth transition points in the inverse-heat-conduction calculation result of the heat-transfer coefficient, a two-step data-fitting procedure was proposed to obtain the expression for the boiling heat transfer coefficients. The coefficient was then verified for accuracy by a comparison between the simulation results using this expression and the verifying experimental results of a stainless steel block. The maximum error with a revised segment fitting is around 6%, which verifies the feasibility of using IHCM to measure the boiling heat transfer coefficient in liquid nitrogen bath.展开更多
文摘以糯扎渡—鹤山±800 kV特高压直流输电系统为研究对象,利用电力系统计算机辅助设计和电磁暂态模拟程序软件(power system computer aided design and electric magnetic transient in DC system,PSCAD/EMTDC),建立交流系统、换流器、换流变压器、交直流滤波器、直流平波电抗器、直流输电线路的仿真模型,并在这个仿真平台上进行单极、双极全压仿真模拟分析,仿真结果表明所建模型较准确地模拟糯扎渡—鹤山特高压直流输电系统,可以作为研究特高压直流输电系统的有效工具。
文摘The aim of this study was to develop and explore a stochastic lattice gas cellular automata (LGCA) model for epidemics. A computer program was development in order to implement the model. An irregular grid of cells was used. A susceptible-infected-recovered (SIR) scheme was represented. Stochasticity was generated by Monte Carlo method. Dynamics of model was explored by numerical simulations. Model achieves to represent the typical SIR prevalence curve. Performed simulations also show how infection, mobility and distribution of infected individuals may influence the dynamics of propagation. This simple theoretical model might be a basis for developing more realistic designs.
基金The National Defense Project of China(No417010602)
文摘An extended π calculus was introduced to deal with secure movement and intercommunication between agents. The system extends Nomadic-π with objective migration primitive and confined region which serves as annotation labels of agents and channels. The confined region labels were used to uniquely identify the constraints on the migration and communication of agents, with the labels, the agents could be confined in a secure subsystem and the inter-agent communication could be confined between agents located on trusted sites during computation. The operational semantics for the calculus was given out, and a type system which enforces security properties called confined migration and confined communication was developed.
基金supported by the National Natural Sciences Foundation of China (No. 50776075)
文摘Inverse heat conduction method (IHCM) is one of the most effective approaches to obtaining the boiling heat transfer coefficient from measured results. This paper focuses on its application in cryogenic boiling heat transfer. Experiments were conducted on the heat transfer of a stainless steel block in a liquid nitrogen bath, with the assumption of a 1D conduction condition to realize fast acquisition of the temperature of the test points inside the block. With the inverse-heat conduction theory and the explicit finite difference model, a solving program was developed to calculate the heat flux and the boiling heat transfer coefficient of a stainless steel block in liquid nitrogen bath based on the temperature acquisition data. Considering the oscillating data and some unsmooth transition points in the inverse-heat-conduction calculation result of the heat-transfer coefficient, a two-step data-fitting procedure was proposed to obtain the expression for the boiling heat transfer coefficients. The coefficient was then verified for accuracy by a comparison between the simulation results using this expression and the verifying experimental results of a stainless steel block. The maximum error with a revised segment fitting is around 6%, which verifies the feasibility of using IHCM to measure the boiling heat transfer coefficient in liquid nitrogen bath.