Traffic classification research has been suffering from a trouble of collecting accurate samples with ground truth.A model named Traffic Labeller(TL) is proposed to solve this problem.TL system captures all user socket calls and their corresponding application process information in the user mode on a Windows host.Once a sending data call has been captured,its 5-tuple {source IP,destination IP,source port,destination port and transport layer protocol},associated with its application information,is sent to an intermediate NDIS driver in the kernel mode.Then the intermediate driver writes application type information on TOS field of the IP packets which match the 5-tuple.In this way,each IP packet sent from the Windows host carries their application information.Therefore,traffic samples collected on the network have been labelled with the accurate application information and can be used for training effective traffic classification models.
A new efficient protocol-proving algorithm was proposed for verifying security protocols. This algorithm is based on the improved authentication tests model, which enhances the original model by formalizing the message reply attack. With exact causal dependency relations between messages in this model, the protocol-proving algorithm can avoid the state explosion caused by asynchronous. In order to get the straight proof of security protocols, three authentication theorems are exploited for evaluating the agreement and distinction properties. When the algorithm terminates, it outputs either the proof results or the potential flaws of the security protocol. The experiment shows that the protocol-proving algorithm can detect the type flaw attack on Neuman-Stubblebine protocol, and prove the correctness of NSL protocol by exploring only 10 states.
Compared with the laboratory acoustic measurement of sediment samples,the in-situ acoustic measurement in marine sediment is considered more accurate and reliable,because it covers all of the surrounding environment factors and avoids the disturbance during the course of sampling and transporting of sediment samples.A new multi-frequency in-situ geo-acoustic measurement system (MFISGAMS) has been developed.The system can provide acoustic velocity (compressional wave) and attenuation profiles of the uppermost 4～8 m sediment in the seafloor.It consists of 8 channels with 12 frequencies (multi-frequencies) and 0.5～2 MHz sampling rates.The data collected can be transmiuted in real-time.Associated with inclinometer and altimeter,it can provide the data for depth emendation.Acoustic velocity and attenuation data have been obtained from two in-situ experiments conducted in the Hangzhou Bay.
A new coal staged conversion poly-generation system combined coal combustion and pyrolysis has been developed for clean and high efficient utilization of coal.Coal is the first pyrolysed in a fluidized pyrolyzer.The pyrolysis gas is then purified and used for chemical product or liquid fuel production.Tar is collected during purification and can be processed to extract high value product and to make liquid fuels by hydro-refining.Semi-coke from the pyrolysis reactor is burned in a circulating fluidized bed(CFB)combustor for heat or power generation.The system can realize coal multiproduct generation and has a great potential to increase coal utilization value.A 1 MW poly-generation system pilot plant and a 12 MW CFB gas,tar,heat and power poly-generation system was erected.The experimental study focused on the two fluidized bed operation and characterization of gas,tar and char yields and compositions.The results showed that the system could operate stable,and produce about 0.12 m^(3)/kg gas with 22 MJ/m^(3)heating value and about 10 wt%tar when using Huainan bituminous coal under pyrolysis temperature between 500 and 600℃.The produced gases were mainly H_(2),CH_(4),CO,CO_(2),C_(2)H_(4),C_(2)H_(6),C_(3)H_(6)and C_(3)H_(8).The CFB combustor can burn semi-coke steadily.The application prospect of the new system was discussed.
