Pin and socket contacts are the key parts of electrical connector as aerospace electronic components. The contacts are also the direct carriers for signal transmitting of electronic equipments, passing the signal from...Pin and socket contacts are the key parts of electrical connector as aerospace electronic components. The contacts are also the direct carriers for signal transmitting of electronic equipments, passing the signal from the input end to the output end of electrical connector. The reliability of pin and socket contacts directly influences signal transmission. The goal of this study is to enhance the contact reliability of aerospace electrical connector. Computer simulation analysis was made on contacts performance data by utilizing the simulation system developed by PCL Language of MSC software. Furthermore, the results were experi- mentally validated so as to realize the objective of optimizing contacts design.展开更多
Precise zero-knowledge was introduced by Micali and Pass in STOC'06.This notion captures the idea that the view of any verifier in interaction can be reconstructed in almost time.Pass also obtained a sequential co...Precise zero-knowledge was introduced by Micali and Pass in STOC'06.This notion captures the idea that the view of any verifier in interaction can be reconstructed in almost time.Pass also obtained a sequential composition lemma for precise zero-knowledge protocols.However,this lemma doesn't provide tight precisions for composed protocols.In this paper we further obtain a sequential composition lemma for a subclass of precise zero-knowledge protocols,which all satisfy a property:their simulators use the code of verifier in almost the black-box way.We call such subclass emulated black-box zero-knowledge protocols.Our lemma provides better precisions for sequential composition of such protocols.展开更多
文摘Pin and socket contacts are the key parts of electrical connector as aerospace electronic components. The contacts are also the direct carriers for signal transmitting of electronic equipments, passing the signal from the input end to the output end of electrical connector. The reliability of pin and socket contacts directly influences signal transmission. The goal of this study is to enhance the contact reliability of aerospace electrical connector. Computer simulation analysis was made on contacts performance data by utilizing the simulation system developed by PCL Language of MSC software. Furthermore, the results were experi- mentally validated so as to realize the objective of optimizing contacts design.
基金the National Natural Science Foundation of China (No. 60573031)the New Century Excellent Talent Program of Education Ministry of China(NCET-05-0398)
文摘Precise zero-knowledge was introduced by Micali and Pass in STOC'06.This notion captures the idea that the view of any verifier in interaction can be reconstructed in almost time.Pass also obtained a sequential composition lemma for precise zero-knowledge protocols.However,this lemma doesn't provide tight precisions for composed protocols.In this paper we further obtain a sequential composition lemma for a subclass of precise zero-knowledge protocols,which all satisfy a property:their simulators use the code of verifier in almost the black-box way.We call such subclass emulated black-box zero-knowledge protocols.Our lemma provides better precisions for sequential composition of such protocols.
