排序方式: 共有54条查询结果,搜索用时 15 毫秒
51.
研制了集成电路芯片的实时图像识别系统硬件,用数字图像处理技术对采集的图像数据进行预处理,提出芯片轮廓的快速搜索算法,利用几何特征参数进行识别,并在微机上实现了集成电路的识别与控制。 相似文献
52.
53.
本文从三种不同原始状态钢的临界区转变动力学入手,试图探索控制fM和马氏体形态的规律。同时测定了相应组织的显微性能以便全面地了解所获双相钢的宏观性能。 相似文献
54.
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. 相似文献