This paper analyzes the main elements in NS network simulator, makes adetailed view of dataflow management in a link, a node, and an agent, respectively, and introducesthe information described by its trace file. Base...This paper analyzes the main elements in NS network simulator, makes adetailed view of dataflow management in a link, a node, and an agent, respectively, and introducesthe information described by its trace file. Based on the analysis of transportation and treatmentof different packets in NS, a dataflow state machine is proposed with its states exchange triggeringevents and a dataflow analyzer is designed and implemented according to it. As the machine statefunctions, the analyzer can make statistic of total transportation flux of a specified dataflow andoffer a general fluctuation diagram. Finally, a concrete example is used to test its performance.展开更多
In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata...In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.展开更多
In this paper, we propose a new notion of secure disguisable symmetric encryption schemes, which captures the idea that the attacker can decrypt an encrypted fie to different meaningful values when different keys are ...In this paper, we propose a new notion of secure disguisable symmetric encryption schemes, which captures the idea that the attacker can decrypt an encrypted fie to different meaningful values when different keys are put to the decryption algorithm. This notion is aimed for the following anti-forensics purpose： the attacker can cheat the forensics investigator by decrypting an encrypted file to a meaningful file other than that one he encrypted, in the case that he is caught by the forensics investigator and ordered to hand over the key for decryption. We then present a construction of secure disguisable symmetric encryption schemes.展开更多
Rapid advancements in forensic DNA technology has resulted in its increasing use to resolve crime cases, particularly in the detection of low-level DNA traces. This has been made possible by the increasing sensitivity...Rapid advancements in forensic DNA technology has resulted in its increasing use to resolve crime cases, particularly in the detection of low-level DNA traces. This has been made possible by the increasing sensitivity of STR typing kits. Low-template DNA analysis requires careful consideration of the derived stochastic variations that lead to heterozygote imbalance, allele drop-out and increased detection of background contamination. The relevance of the evidence and the probative value of the DNA profile are important issues in the evaluation of forensic evidence.展开更多
In physics,the Klein-Gordon equation describes the motion of a quantum scalar or pseudoscalar field.Itis important to find actual values of its solutions in general timespace manifold.The paper deals with description ...In physics,the Klein-Gordon equation describes the motion of a quantum scalar or pseudoscalar field.Itis important to find actual values of its solutions in general timespace manifold.The paper deals with description ofdiscrete exterior calculus method for solving this equation numerically on space manifold and the time.The analysis ofstable condition and error for this method is also accomplished.展开更多
This work is a study of effect of laser ablation in different medium on silver artifacts. The effectiveness of laser ablation cleanness methods was evaluated in air, water and vacuum condition. The samples were subjec...This work is a study of effect of laser ablation in different medium on silver artifacts. The effectiveness of laser ablation cleanness methods was evaluated in air, water and vacuum condition. The samples were subjected to HC1 treatment for several hours to simulate the formation of chloride patina on marine archeological artifacts. Laser ablation removes the patina in all medium, reducing its thickness from 300 to few microns in air and water and eliminating completely the chlorine in vacuum conditions. However, it was observed the formation, during cleanness of a white patina in air and water and an increasing of oxygen amount on surface. This indicate that in ambient reach in oxygen laser ablation favorite the oxygen absorbance on surface and the formation of a thin layer of AgO which dulls the surface. This hypothesis is confirmed by the results of laser ablation in vacuum conditions where surface tarnishing was not observed. So, laser ablation in vacuum condition was indicated as the most effective procedure to clean silver artifacts.展开更多
The authors establish error estimates for recently developed finite-element methods for incompressible viscous flow in domains with no-slip boundary conditions.The methods arise by discretization of a well-posed exten...The authors establish error estimates for recently developed finite-element methods for incompressible viscous flow in domains with no-slip boundary conditions.The methods arise by discretization of a well-posed extended Navier-Stokes dynamics for which pressure is determined from current velocity and force fields.The methods use C1 elements for velocity and C0 elements for pressure.A stability estimate is proved for a related finite-element projection method close to classical time-splitting methods of Orszag,Israeli,DeVille and Karniadakis.展开更多
In the present paper system and the solutions to the the solvability condition of the linearized Gauss-Codazzi homogenous system are given. In the meantime, the ＇solvability of a relevant linearized Darboux equation...In the present paper system and the solutions to the the solvability condition of the linearized Gauss-Codazzi homogenous system are given. In the meantime, the ＇solvability of a relevant linearized Darboux equation is given. The equations are arising in a geometric problem which is concerned with the realization of the Alexandrov＇s positive annulus in R^3.展开更多
基金The Natural Science Foundation of Jiangsu Province (BK2001205).
文摘This paper analyzes the main elements in NS network simulator, makes adetailed view of dataflow management in a link, a node, and an agent, respectively, and introducesthe information described by its trace file. Based on the analysis of transportation and treatmentof different packets in NS, a dataflow state machine is proposed with its states exchange triggeringevents and a dataflow analyzer is designed and implemented according to it. As the machine statefunctions, the analyzer can make statistic of total transportation flux of a specified dataflow andoffer a general fluctuation diagram. Finally, a concrete example is used to test its performance.
文摘In order to solve the problem of artificial generation and low efficiency of test sequences for zone controller (ZC), a model-based automatic generation method of test sequence is proposed. Firstly, the timed automata model is established based on function analysis of the zone controller, and the correctness of the model is verified by UPPAAL. Then by parsing the timed automata model files, state information and transition conditions can be extracted to generate test case sets. Finally, according to the serialization conditions of test cases, the test cases are serialized into test sequences by using the improved depth first search algorithm. A case, the ZC controls the train running within its jurisdiction, shows that the method is correct and can effectively improve the efficiency of test sequence generation.
文摘In this paper, we propose a new notion of secure disguisable symmetric encryption schemes, which captures the idea that the attacker can decrypt an encrypted fie to different meaningful values when different keys are put to the decryption algorithm. This notion is aimed for the following anti-forensics purpose： the attacker can cheat the forensics investigator by decrypting an encrypted file to a meaningful file other than that one he encrypted, in the case that he is caught by the forensics investigator and ordered to hand over the key for decryption. We then present a construction of secure disguisable symmetric encryption schemes.
文摘Rapid advancements in forensic DNA technology has resulted in its increasing use to resolve crime cases, particularly in the detection of low-level DNA traces. This has been made possible by the increasing sensitivity of STR typing kits. Low-template DNA analysis requires careful consideration of the derived stochastic variations that lead to heterozygote imbalance, allele drop-out and increased detection of background contamination. The relevance of the evidence and the probative value of the DNA profile are important issues in the evaluation of forensic evidence.
基金Supported by China Postdoctoral Science Foundation under Grant No.20090460102 Zhejiang Province Postdoctoral Science Foundation,National Key Basic Research Program of China under Grant No.2004CB318000 National Natural Science Foundation of China under Grant No.10871170
文摘In physics,the Klein-Gordon equation describes the motion of a quantum scalar or pseudoscalar field.Itis important to find actual values of its solutions in general timespace manifold.The paper deals with description ofdiscrete exterior calculus method for solving this equation numerically on space manifold and the time.The analysis ofstable condition and error for this method is also accomplished.
文摘This work is a study of effect of laser ablation in different medium on silver artifacts. The effectiveness of laser ablation cleanness methods was evaluated in air, water and vacuum condition. The samples were subjected to HC1 treatment for several hours to simulate the formation of chloride patina on marine archeological artifacts. Laser ablation removes the patina in all medium, reducing its thickness from 300 to few microns in air and water and eliminating completely the chlorine in vacuum conditions. However, it was observed the formation, during cleanness of a white patina in air and water and an increasing of oxygen amount on surface. This indicate that in ambient reach in oxygen laser ablation favorite the oxygen absorbance on surface and the formation of a thin layer of AgO which dulls the surface. This hypothesis is confirmed by the results of laser ablation in vacuum conditions where surface tarnishing was not observed. So, laser ablation in vacuum condition was indicated as the most effective procedure to clean silver artifacts.
基金Project supported by the National Science Foundation (Nos.DMS 06-04420 (RLP),DMS 08-11177(JGL))the Center for Nonlinear Analysis (CNA) under National Science Foundation Grant (Nos.0405343,0635983)
文摘The authors establish error estimates for recently developed finite-element methods for incompressible viscous flow in domains with no-slip boundary conditions.The methods arise by discretization of a well-posed extended Navier-Stokes dynamics for which pressure is determined from current velocity and force fields.The methods use C1 elements for velocity and C0 elements for pressure.A stability estimate is proved for a related finite-element projection method close to classical time-splitting methods of Orszag,Israeli,DeVille and Karniadakis.
基金Project supported by the National Natural Science Foundation of China (No. 11101068)the Fundamental Research Funds for the Central Universities (No. ZYGX2010J109)the Sichuan Youth Science and Technology Foundation (No. 2011JQ0003)
文摘In the present paper system and the solutions to the the solvability condition of the linearized Gauss-Codazzi homogenous system are given. In the meantime, the ＇solvability of a relevant linearized Darboux equation is given. The equations are arising in a geometric problem which is concerned with the realization of the Alexandrov＇s positive annulus in R^3.
