混沌（逻辑函数）检验

七段数万管共阴极显示模块及独立键盘硬件连接图。-Seven-Segment total tens of thousands of cathode tube display module and independent hardware keyboard connection diagram.

一个简单的计算器课程设计程序，可以实现加，减，乘，除等功能。-A simple calculator curriculum design process, you can realize add, subtract, multiply, with the exception of functions.

FORTRAN编制的常用算法程序，对学习数学分析的同学很有参考价值-FORTRAN prepared by the procedure commonly used algorithm for the study of mathematical analysis of the students was useful

最优化方法作业 PRP共轭梯度法 有算法分析 步骤 实例 实验结果和C++源程序-Optimization method operating PRP conjugate gradient method are examples of algorithm analysis step in the experimental results and C++ source code

E语言写的一个如何隐藏窗口的例子-E language to write a example of how to hide window

PROTEL封装-PROTEL Packaging

一个完成文件，贪吃蛇游戏，汇编语言版的，是本人学习汇编语言时做的。-a completed document, Snake games, the assembly language version, I am learning assembly language so.

迷宫算法-maze algorithm

：提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断，并同 时完成对一些数据例如会话密钥等的协商。依据这种思想，结合认证逻辑中的一些成果，提出了一种新的安全协 议关联性的分析方法，该方法对协议认证目标进行了基于线空间模型语义的定义，并将关联性分析归结为Strand 的存在关系和Strand参数一致性的分析问题。-: proposed security agreement on the nature of the agreement is the main means of the use of cryptography through the response to a challenge to the existence of other agreements made judgment and be completed at the same time on some key data such as the oral consultations. Based on this idea and certification of some logical outcome, a new security agreement relevance of the analysis method, The objective of the agreement for the certification based on linear space model semantic definition, Correlation analysis will be reduced to the existence of relations between the Strand and Strand parameters consistency of the problem.

AutoCAD DWG-file viewer