Although there are appropriate stipulations for the chattel guarantees in the law of China, this guarantee system could not adapt to the request of economy's development because of the following reasons: the scope...Although there are appropriate stipulations for the chattel guarantees in the law of China, this guarantee system could not adapt to the request of economy's development because of the following reasons: the scope of chattel guarantees is narrow according to relevant stipulations; the transaction cost of the chattel is high; mortgage registration of chattel is in a mess; lack of efficiently executive guarantee system, etc. To counter the problems existing in the present Chinese chattel guarantee system, in this article, the author proposed some corresponding suggestions and countermeasures, hoping to perfect the chattel guarantee system in China.展开更多
The paper presents a computer code system 'SRDAAR- QNPP' for the real-time dose as-sessment of an accident release for Qinshan Nuclear Power Plant. It includes three parts:thereal-time data acquisition system,...The paper presents a computer code system 'SRDAAR- QNPP' for the real-time dose as-sessment of an accident release for Qinshan Nuclear Power Plant. It includes three parts:thereal-time data acquisition system, assessment computer. and the assessment operating code system. InSRDAAR-QNPP, the wind field of the surface and the lower levels are determined hourly by using amass consistent three-dimension diasnosis model with the topographic following coordinate system.A Lagrangin Puff model under changing meteorological condition is adopted for atmosphericdispersion, the correction for dry and wet depositions. physical decay and partial plume penetrationof the top inversion and the deviation of plume axis caused by complex terrain have been taken in-to account. The calculation domain areas include three square grid areas with the sideline 10 km, 40krn and 160 km and a grid interval 0.5 km, 2.0 km, 8.0 km respectively. Three exposure pathwaysare taken into account:the external exposure from immersion cloud and passing puff, the internalexposure from inhalation and the external exposure from contaminated ground. This system is ableto provide the results of concentration and dose distributions within 10 minutes after the data havebeen inputed.展开更多
The technology of passive safety is the current trend among safety systems in nuclear power plant. Pas- sive residual heat removal system (PRHRS), a major part of passive safety systems of Chinese advanced PWR, is a n...The technology of passive safety is the current trend among safety systems in nuclear power plant. Pas- sive residual heat removal system (PRHRS), a major part of passive safety systems of Chinese advanced PWR, is a novel design with three-fold natural circulation. On the basis of reasonable physics and mathematics models, MI- TAP-PRHRS code was developed to analyze steady and transient characteristics of the PRHRS. The calculation and analysis show that the code simulates steady characteristics of the PRHRS very well, and it is able to simulate tran- sient characteristics of all startup modes of the PRHRS. However, the quantitative description is poor during the ini- tial stages of the transition process when water hammer occurs.展开更多
In Systems Biology, system identification, which infers regulatory network in genetic system and metabolic pathways using experimentally observed time-course data, is one of the hottest issues. The efficient numerical...In Systems Biology, system identification, which infers regulatory network in genetic system and metabolic pathways using experimentally observed time-course data, is one of the hottest issues. The efficient numerical optimization algorithm to estimate more than 100 real-coded parameters should be developed for this purpose. New real-coded genetic algorithm (RCGA), the combination of AREX (adaptive real-coded ensemble crossover) with JGG (just generation gap), have applied to the inference of genetic interactions involving more than 100 parameters related to the interactions with using experimentally observed time-course data. Compared with conventional RCGA, the combination of UNDX (unimodal normal distribution crossover) with MGG (minimal generation gap), new algorithm has shown the superiority with improving early convergence in the first stage of search and suppressing evolutionary stagnation in the last stage of search.展开更多
Recently,both the importance and awareness relating to food safety relating to agrochemicals,chemical fertilizers,the pollution of ecosystem and unwholesome foods are growing rapidly.For the same reason,the purchaser&...Recently,both the importance and awareness relating to food safety relating to agrochemicals,chemical fertilizers,the pollution of ecosystem and unwholesome foods are growing rapidly.For the same reason,the purchaser's curiosity increases to know about the production process which can be accomplished by production traceability system.The traceability system can store and superintend the specific attribute information about products regarding the productive centre,producer and production finish data.The products undergo various circulation processes and they are being managed by individually constructed traceability system.Thus,it is difficult for the producer and the consumer to guarantee the safety from transpirable issues about the falsification of production traceability because the traceability information can be re-produced by forging through various ways.So in this paper,we proposed a system for integrated management of agro-fishery products based on quick response code(QR-code)for forgery prevention which may help to solve these issues.The proposed system makes QR-code using production information provided by producer.And then it is provided to the distributor and the consumer through integrated service model using the QR-code.Therefore,this system make sure to provide the same production traceability about the products to the distributor and the consumer and always keeps both updated with the same information.展开更多
Ever-changing market conditions and a rapidly changing IT landscape call for fast and cheap ways to meet software demands. In order to tackle these problems, low-code development platforms (LCDPs) have emerged. These ...Ever-changing market conditions and a rapidly changing IT landscape call for fast and cheap ways to meet software demands. In order to tackle these problems, low-code development platforms (LCDPs) have emerged. These platforms are designed with the idea to limit recurring traditional hand-coding and programming. This article provides a theoretical overview of low-code solutions. The advantages and disadvantages of using LCDP in the creation of automated systems are considered. In conclusion, a conclusion is formulated about the prospects of using low-code technology.展开更多
At present, there are some static code analyses and optimizations that can be applied to Concurrent C programs to improve their performance or verify their logical correctness. These analyses and optimizations are int...At present, there are some static code analyses and optimizations that can be applied to Concurrent C programs to improve their performance or verify their logical correctness. These analyses and optimizations are inter-process. In order to make their implementation easy, we propose a new method to construct an optimizing compiling system CCOC for Concurrent C. CCOC supports inter-process code analysis and optimization to Concurrent C programs and does not affect the system's portability and separate compilation of source programs. We also discuss some implementation details of CCOC briefly.展开更多
Multiple antenna wireless systems can provide larger channel capacity and enable spatial diversity to combat fading. In this paper we conduct an investigation into the design of coded space-time system obtained by ser...Multiple antenna wireless systems can provide larger channel capacity and enable spatial diversity to combat fading. In this paper we conduct an investigation into the design of coded space-time system obtained by serially concatenating channel code module and space-time code module with an interleaver in between. As an example, the system is constructed by employing low decoding complexity turbo-SPC （single parity check） code as outer module and linear complex field space-time code as inner module, which achieves full diversity and lossless equivalent channel capacity. Simulation results prove that our designed system performs well and it only loses 0.8 dB from multiple-input multiple-output （MIMO） capacity at BER = 10^-5 in the case of information bit length 6048. Compared with turbo code-based systems, it also has lower error floor.展开更多
A new segmented correlating decoder of synchronous optical CDMA using modified prime sequence codes is proposed. The performance of the proposed system is analyzed under the assumption of Poisson shot noise model for ...A new segmented correlating decoder of synchronous optical CDMA using modified prime sequence codes is proposed. The performance of the proposed system is analyzed under the assumption of Poisson shot noise model for the receiver photodetector. The decoder technique is shown to be more effective to improve the bit error probability performance than the method using an optical hard-limiter.展开更多
In distributed cloud storage systems, inevitably there exist multiple node failures at the same time. The existing methods of regenerating codes, including minimum storage regenerating(MSR) codes and minimum bandwidth...In distributed cloud storage systems, inevitably there exist multiple node failures at the same time. The existing methods of regenerating codes, including minimum storage regenerating(MSR) codes and minimum bandwidth regenerating(MBR) codes, are mainly to repair one single or several failed nodes, unable to meet the repair need of distributed cloud storage systems. In this paper, we present locally minimum storage regenerating(LMSR) codes to recover multiple failed nodes at the same time. Specifically, the nodes in distributed cloud storage systems are divided into multiple local groups, and in each local group(4, 2) or(5, 3) MSR codes are constructed. Moreover, the grouping method of storage nodes and the repairing process of failed nodes in local groups are studied. Theoretical analysis shows that LMSR codes can achieve the same storage overhead as MSR codes. Furthermore, we verify by means of simulation that, compared with MSR codes, LMSR codes can reduce the repair bandwidth and disk I/O overhead effectively.展开更多
Reliability of power systems is a key aspect in modern power system planning, design, and operation. The ascendance of the smart grid concept has provided high hopes of developing an intelligent network that is capabl...Reliability of power systems is a key aspect in modern power system planning, design, and operation. The ascendance of the smart grid concept has provided high hopes of developing an intelligent network that is capable of being a self-healing grid, offering the ability to overcome the interruption problems that face the utility and cost it tens of millions in repair and loss. In this work, we develop a MATLAB code to examine the effect of the smart grid applications in improving the reliability of the power distribution networks via Monte Carlo Simulation approach. The system used in this paper is the IEEE 34 test feeder. The objective is to measure the installations of the Automatic Reclosers (ARs) as well as the Distributed Generators (DGs) on the reliability indices, SAIDI, SAIFI, CAIDI and EUE, and make comparisons with results from a previous study done by the authors using another approach. The MATLAB code should provide close results to the output of the previous research to verify its effectiveness.展开更多
One of the most important safety parameters taken into consideration during the design and actual operation of a nuclear reactor is its control rods adjustment to reach criticality. Concerning the conventional nuclear...One of the most important safety parameters taken into consideration during the design and actual operation of a nuclear reactor is its control rods adjustment to reach criticality. Concerning the conventional nuclear systems, the specification of their rods’ position through the utilization of neutronics codes, deterministic or stochastic, is considered nowadays trivial. However, innovative nuclear reactor concepts such as the Accelerator Driven Systems require sophisticated simulation capabilities of the stochastic neutronics codes since they combine high energy physics, for the spallation-produced neutrons, with classical nuclear technology. ANET (Advanced Neutronics with Evolution and Thermal hydraulic feedback) is an under development stochastic neutronics code, able to cover the broad neutron energy spectrum involved in ADS systems and therefore capable of simulating conventional and hybrid nuclear reactors and calculating important reactor parameters. In this work, ANETS’s reliability to calculate the effective multiplication factor for three core configurations containing control rods of the Kyoto University Critical Assembly, an operating ADS, is examined. The ANET results successfully compare with results produced by well-established stochastic codes such as MCNP6.1.展开更多
With the development of computer technology, embedded control system plays an important role in modern industry. For the embedded system, traditional development methods are time-consuming and system is not easy to ma...With the development of computer technology, embedded control system plays an important role in modern industry. For the embedded system, traditional development methods are time-consuming and system is not easy to maintain. Domain-specific modeling provides a solution for the problems. In this paper, we proposed development architecture for embedded control systems based on MIC. GME is used to construct meta-model and application model, model in-terpreter interprets model and stores model information in xml format document. The final cross-platform codes are automatically generated by different templates and xml format document. This development method can reduce time and cost in the lifecycle of system development.展开更多
By exploiting the structural features of L1C messages,a novel Early Termination( ET) strategy is proposed to speed up the decoding of low-density parity-check( LDPC) codes in the GPS system. The proposed strategy is b...By exploiting the structural features of L1C messages,a novel Early Termination( ET) strategy is proposed to speed up the decoding of low-density parity-check( LDPC) codes in the GPS system. The proposed strategy is based on the cyclic redundancy check( CRC) of the messages in the subframes 2 and 3. The simulation results show that average number of iterations of the proposed strategy is less than that of the standard ET strategy,with nearly no degradation in decoding performance. Besides,the proposed ET strategy can be efficiently implemented in a sequential or parallel manner. Thus,the proposed ET strategy is attractive for practical purposes.展开更多
Digital Communications, in relation to wireless networks, have taken off in recent years due to the expanding need to communicate faster and more efficiently. A popular way to achieve this is by using wireless Multipl...Digital Communications, in relation to wireless networks, have taken off in recent years due to the expanding need to communicate faster and more efficiently. A popular way to achieve this is by using wireless Multiple Input Multiple Output (MIMO) communication systems. MIMO systems utilize Space Time Block Codes (STBC) as one of the leading ways to obtain higher data rates with limited bandwidth and power. With several STBC methods currently available, this paper analyzes simulations using Orthogonal Space Time Block Codes (OSTBC) in Rayleigh fading channels to evaluate the performance of MIMO systems. The selection to use a Rayleigh fading channel as a model for a non-line-of-sight (nLOS) environment is selected to mimic installations where a large number of signal paths and reflections are expected. All simulations are coded, generated and plotted using MATLAB resulting in graphical data representing the bit-error rate (BER) to signal-to-noise ratio (Eb/N<sub>0</sub>) or SNR. Each simulation captures how different configurations of key variables including code rate, diversity and antenna count can impact system performance. Four modulation schemes (BPSK, QPSK, 16-QAM and 64-QAM) are included in each simulation. Conclusive evidence based upon these simulations suggests higher diversity gains were achieved with a greater number of antennas. The most significant factor for increasing system performance was using a lower count of transmit antennas with a higher count of receive antennas.展开更多
文摘Although there are appropriate stipulations for the chattel guarantees in the law of China, this guarantee system could not adapt to the request of economy's development because of the following reasons: the scope of chattel guarantees is narrow according to relevant stipulations; the transaction cost of the chattel is high; mortgage registration of chattel is in a mess; lack of efficiently executive guarantee system, etc. To counter the problems existing in the present Chinese chattel guarantee system, in this article, the author proposed some corresponding suggestions and countermeasures, hoping to perfect the chattel guarantee system in China.
文摘The paper presents a computer code system 'SRDAAR- QNPP' for the real-time dose as-sessment of an accident release for Qinshan Nuclear Power Plant. It includes three parts:thereal-time data acquisition system, assessment computer. and the assessment operating code system. InSRDAAR-QNPP, the wind field of the surface and the lower levels are determined hourly by using amass consistent three-dimension diasnosis model with the topographic following coordinate system.A Lagrangin Puff model under changing meteorological condition is adopted for atmosphericdispersion, the correction for dry and wet depositions. physical decay and partial plume penetrationof the top inversion and the deviation of plume axis caused by complex terrain have been taken in-to account. The calculation domain areas include three square grid areas with the sideline 10 km, 40krn and 160 km and a grid interval 0.5 km, 2.0 km, 8.0 km respectively. Three exposure pathwaysare taken into account:the external exposure from immersion cloud and passing puff, the internalexposure from inhalation and the external exposure from contaminated ground. This system is ableto provide the results of concentration and dose distributions within 10 minutes after the data havebeen inputed.
基金Supported by National Natural Science Foundation of China 60404022,60704009)National Outstanding Youth Foundation 60525303)Natural Science Foundation of Hebei Province(F2005000390,F2006000270)
文摘The technology of passive safety is the current trend among safety systems in nuclear power plant. Pas- sive residual heat removal system (PRHRS), a major part of passive safety systems of Chinese advanced PWR, is a novel design with three-fold natural circulation. On the basis of reasonable physics and mathematics models, MI- TAP-PRHRS code was developed to analyze steady and transient characteristics of the PRHRS. The calculation and analysis show that the code simulates steady characteristics of the PRHRS very well, and it is able to simulate tran- sient characteristics of all startup modes of the PRHRS. However, the quantitative description is poor during the ini- tial stages of the transition process when water hammer occurs.
文摘In Systems Biology, system identification, which infers regulatory network in genetic system and metabolic pathways using experimentally observed time-course data, is one of the hottest issues. The efficient numerical optimization algorithm to estimate more than 100 real-coded parameters should be developed for this purpose. New real-coded genetic algorithm (RCGA), the combination of AREX (adaptive real-coded ensemble crossover) with JGG (just generation gap), have applied to the inference of genetic interactions involving more than 100 parameters related to the interactions with using experimentally observed time-course data. Compared with conventional RCGA, the combination of UNDX (unimodal normal distribution crossover) with MGG (minimal generation gap), new algorithm has shown the superiority with improving early convergence in the first stage of search and suppressing evolutionary stagnation in the last stage of search.
基金The MSIP(Ministry of Science,ICT&Future Planning),Korea,under the ITRC(Information Technology Research Center)support program(NIPA-2013-H0301-13-2006)supervised by the NIPA(National IT Industry Promotion Agency)
文摘Recently,both the importance and awareness relating to food safety relating to agrochemicals,chemical fertilizers,the pollution of ecosystem and unwholesome foods are growing rapidly.For the same reason,the purchaser's curiosity increases to know about the production process which can be accomplished by production traceability system.The traceability system can store and superintend the specific attribute information about products regarding the productive centre,producer and production finish data.The products undergo various circulation processes and they are being managed by individually constructed traceability system.Thus,it is difficult for the producer and the consumer to guarantee the safety from transpirable issues about the falsification of production traceability because the traceability information can be re-produced by forging through various ways.So in this paper,we proposed a system for integrated management of agro-fishery products based on quick response code(QR-code)for forgery prevention which may help to solve these issues.The proposed system makes QR-code using production information provided by producer.And then it is provided to the distributor and the consumer through integrated service model using the QR-code.Therefore,this system make sure to provide the same production traceability about the products to the distributor and the consumer and always keeps both updated with the same information.
文摘Ever-changing market conditions and a rapidly changing IT landscape call for fast and cheap ways to meet software demands. In order to tackle these problems, low-code development platforms (LCDPs) have emerged. These platforms are designed with the idea to limit recurring traditional hand-coding and programming. This article provides a theoretical overview of low-code solutions. The advantages and disadvantages of using LCDP in the creation of automated systems are considered. In conclusion, a conclusion is formulated about the prospects of using low-code technology.
文摘At present, there are some static code analyses and optimizations that can be applied to Concurrent C programs to improve their performance or verify their logical correctness. These analyses and optimizations are inter-process. In order to make their implementation easy, we propose a new method to construct an optimizing compiling system CCOC for Concurrent C. CCOC supports inter-process code analysis and optimization to Concurrent C programs and does not affect the system's portability and separate compilation of source programs. We also discuss some implementation details of CCOC briefly.
基金supported by the National Natural Science Foundation of China （Grant Nos.60332030, 60572157）, and the National High-TechnologY Research and Development of China （Grant No.863-2003AA123310）
文摘Multiple antenna wireless systems can provide larger channel capacity and enable spatial diversity to combat fading. In this paper we conduct an investigation into the design of coded space-time system obtained by serially concatenating channel code module and space-time code module with an interleaver in between. As an example, the system is constructed by employing low decoding complexity turbo-SPC （single parity check） code as outer module and linear complex field space-time code as inner module, which achieves full diversity and lossless equivalent channel capacity. Simulation results prove that our designed system performs well and it only loses 0.8 dB from multiple-input multiple-output （MIMO） capacity at BER = 10^-5 in the case of information bit length 6048. Compared with turbo code-based systems, it also has lower error floor.
文摘A new segmented correlating decoder of synchronous optical CDMA using modified prime sequence codes is proposed. The performance of the proposed system is analyzed under the assumption of Poisson shot noise model for the receiver photodetector. The decoder technique is shown to be more effective to improve the bit error probability performance than the method using an optical hard-limiter.
基金supported in part by the National Natural Science Foundation of China (61640006, 61572188)the Natural Science Foundation of Shaanxi Province, China (2015JM6307, 2016JQ6011)the project of science and technology of Xi’an City (2017088CG/RC051(CADX002))
文摘In distributed cloud storage systems, inevitably there exist multiple node failures at the same time. The existing methods of regenerating codes, including minimum storage regenerating(MSR) codes and minimum bandwidth regenerating(MBR) codes, are mainly to repair one single or several failed nodes, unable to meet the repair need of distributed cloud storage systems. In this paper, we present locally minimum storage regenerating(LMSR) codes to recover multiple failed nodes at the same time. Specifically, the nodes in distributed cloud storage systems are divided into multiple local groups, and in each local group(4, 2) or(5, 3) MSR codes are constructed. Moreover, the grouping method of storage nodes and the repairing process of failed nodes in local groups are studied. Theoretical analysis shows that LMSR codes can achieve the same storage overhead as MSR codes. Furthermore, we verify by means of simulation that, compared with MSR codes, LMSR codes can reduce the repair bandwidth and disk I/O overhead effectively.
文摘Reliability of power systems is a key aspect in modern power system planning, design, and operation. The ascendance of the smart grid concept has provided high hopes of developing an intelligent network that is capable of being a self-healing grid, offering the ability to overcome the interruption problems that face the utility and cost it tens of millions in repair and loss. In this work, we develop a MATLAB code to examine the effect of the smart grid applications in improving the reliability of the power distribution networks via Monte Carlo Simulation approach. The system used in this paper is the IEEE 34 test feeder. The objective is to measure the installations of the Automatic Reclosers (ARs) as well as the Distributed Generators (DGs) on the reliability indices, SAIDI, SAIFI, CAIDI and EUE, and make comparisons with results from a previous study done by the authors using another approach. The MATLAB code should provide close results to the output of the previous research to verify its effectiveness.
文摘One of the most important safety parameters taken into consideration during the design and actual operation of a nuclear reactor is its control rods adjustment to reach criticality. Concerning the conventional nuclear systems, the specification of their rods’ position through the utilization of neutronics codes, deterministic or stochastic, is considered nowadays trivial. However, innovative nuclear reactor concepts such as the Accelerator Driven Systems require sophisticated simulation capabilities of the stochastic neutronics codes since they combine high energy physics, for the spallation-produced neutrons, with classical nuclear technology. ANET (Advanced Neutronics with Evolution and Thermal hydraulic feedback) is an under development stochastic neutronics code, able to cover the broad neutron energy spectrum involved in ADS systems and therefore capable of simulating conventional and hybrid nuclear reactors and calculating important reactor parameters. In this work, ANETS’s reliability to calculate the effective multiplication factor for three core configurations containing control rods of the Kyoto University Critical Assembly, an operating ADS, is examined. The ANET results successfully compare with results produced by well-established stochastic codes such as MCNP6.1.
文摘With the development of computer technology, embedded control system plays an important role in modern industry. For the embedded system, traditional development methods are time-consuming and system is not easy to maintain. Domain-specific modeling provides a solution for the problems. In this paper, we proposed development architecture for embedded control systems based on MIC. GME is used to construct meta-model and application model, model in-terpreter interprets model and stores model information in xml format document. The final cross-platform codes are automatically generated by different templates and xml format document. This development method can reduce time and cost in the lifecycle of system development.
基金Sponsored by the National Natural Science Foundation of China(Grant No.61271423)
文摘By exploiting the structural features of L1C messages,a novel Early Termination( ET) strategy is proposed to speed up the decoding of low-density parity-check( LDPC) codes in the GPS system. The proposed strategy is based on the cyclic redundancy check( CRC) of the messages in the subframes 2 and 3. The simulation results show that average number of iterations of the proposed strategy is less than that of the standard ET strategy,with nearly no degradation in decoding performance. Besides,the proposed ET strategy can be efficiently implemented in a sequential or parallel manner. Thus,the proposed ET strategy is attractive for practical purposes.
文摘Digital Communications, in relation to wireless networks, have taken off in recent years due to the expanding need to communicate faster and more efficiently. A popular way to achieve this is by using wireless Multiple Input Multiple Output (MIMO) communication systems. MIMO systems utilize Space Time Block Codes (STBC) as one of the leading ways to obtain higher data rates with limited bandwidth and power. With several STBC methods currently available, this paper analyzes simulations using Orthogonal Space Time Block Codes (OSTBC) in Rayleigh fading channels to evaluate the performance of MIMO systems. The selection to use a Rayleigh fading channel as a model for a non-line-of-sight (nLOS) environment is selected to mimic installations where a large number of signal paths and reflections are expected. All simulations are coded, generated and plotted using MATLAB resulting in graphical data representing the bit-error rate (BER) to signal-to-noise ratio (Eb/N<sub>0</sub>) or SNR. Each simulation captures how different configurations of key variables including code rate, diversity and antenna count can impact system performance. Four modulation schemes (BPSK, QPSK, 16-QAM and 64-QAM) are included in each simulation. Conclusive evidence based upon these simulations suggests higher diversity gains were achieved with a greater number of antennas. The most significant factor for increasing system performance was using a lower count of transmit antennas with a higher count of receive antennas.
