📚 战斗机验证机技术资料

大屏幕USB2.0硬盘MP3机(atmega128)

大屏幕USB2.0硬盘MP3机(atmega128)...

📅 2015-03-08

GPS接收机与PC机串行通信技术的开发与应用

GPS接收机与PC机串行通信技术的开发与应用...

📅 2014-01-19

用于delphi开发受机短信处理

用于delphi开发受机短信处理...

📅 2013-12-19

基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题

基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，...

📅 2013-11-30

状态机设计源代码

状态机设计源代码...

📅 2015-03-09

C++Builde上位机测试程序

C++Builde上位机测试程序...

📅 2015-03-09

用VC++6.0实现PC机与单片机之间的数据交换

用VC++6.0实现PC机与单片机之间的数据交换...

📅 2015-03-10

java实现的18位身份证格式验证算法

java实现的18位身份证格式验证算法...

📅 2014-01-03

一个小巧而且实现很完整的JAVA虚拟机

一个小巧而且实现很完整的JAVA虚拟机...

📅 2015-03-10

ADT BinaryTree 的实现及验证程序采用的主要数据结构：二叉树、栈、队算法思想：1、 先序建树、输出树、后序遍历用递归方法。性能分析：O( n )2、 先序遍历、中序遍历：性能分析：O( n

ADT BinaryTree 的实现及验证程序采用的主要数据结构：二叉树、栈、队算法思想：1、 先序建树、输出树、后序遍历用递归方法。性能分析：O( n )2、 先序遍历、中序遍历：性能分析：O( n...

📅 2014-12-20