logisim新手实验（组成原理实验-华中科技大学 ）

【实例简介】使用UML等建模工具建立模型，再将模型转换为形式的语句，编写SMV程序，输入SMV模型检验器进行验证。用于实现形式化方法模型检验

本代码使用C语言实现串口数据发送、接收，代码带详细注解，便于初学者理解，只需要编译就可直接使用。

recyclerview 横向纵向滑动，滑动置顶，跳转到某一项item

一、引言自适应噪声抵消技术是一种能够很好的消除背景噪声影响的信号处理技术，应用自适应噪声抵消技术，可在未知外界干扰源特征，传递途径不断变化，背景噪声和被测对象声波相似的情况下，能够有效地消除外界声源的干扰获得高信噪比的对象信号。从理论上讲，自适应干扰抵消器是基于自适应滤波原理的一种扩展，简单的说，把自适应滤波器的期望信号输入端改为信号加噪声干扰的原始输入端，而它的输入端改为噪声干扰端，由横向滤波器的参数调节输出以将原始输入中的噪声干扰抵消掉，这时误差输出就是有用信号了。在数字信号采集、处理中，线性滤波是最常用的消除噪声的方法。线性滤波容易分析，使用均方差最小准则的线性滤波器能找到闭合解，若

传教士与野人过河程序设计问题：设有3个传教士和3个野人来到河边，打算乘一只船从左岸渡到右岸去。该船的负载能力为两人。在任何时候，如果野人人数超过传教士人数，那么野人就会把传教士吃掉。请用A*算法实现传教士和野人用这条船安全地把所有人都渡过河去。编程工具采用VC++6.0

DSP28335的SVPWM电机代码，文件齐全，也适用无感

autojs例子大全，一千六百多个脚本,简单的到复杂的例子，统统有，小白学完马上变大神，大神学了变超神。脚本内容包含：几十种类型的UI脚本，抖音、QQ、微信、陌陌、支付宝等自动化操作的脚本、还有部分协议列表，HTTP协议(POST、GET)上传下载，接码模块，百度文字识别api模块，文件操作模块：txt文本读一行删一行，等等其他例子

是H3C公司自行设计开发出的一款智能客户端软件工具。iNode智能客户端可实现对网络的管理接入，对用户终端进行身份认证等等功能，从而大幅度提高网络的整体安全。iNode智能客户端官方版是企业用户公司必不可少的一款智能客户端工具。

雷达信号中的微多普勒效应的特征与应用，英文版，Victor C. Chen 的著作

小波阈值去噪的程序，包括默认阈值去噪、全局阈值去噪、自适应阈值去噪。