展示命题逻辑应用的5个场景，需求描述，需求一致性验证，信息检索，判断条件，按位运算和机器证明使用的消解

在对话框上画坐标轴，并在坐标系里面画出离散的点，虽然少用，但是难求

离散型霍普菲尔德网络的学习目的： 对具有q个不同的输入样本组Pr×q＝[P1, P2 …Pq]，希望通过调节计算有限的权值矩阵W，使得当每一组输入样本Pk，k=1，2，…，q，作为系统的初始值，经过网络的工作运行后，系统能够收敛到各自输入样本矢量本身。 当k＝1时，对于第i个神经元，由海布学习规则可得网络权值对输入矢量的学习关系式为： 其中，α＞0，i＝1，2…，r；j=1，2…，r。在实际学习规则的运用中，一般取α＝1或1/r。

这个提交是一个卷积计算器。 它使用用户定义的函数进行卷积，还包括重叠区域的简单动画。

网络优化：连续和离散模型 英文文字版 Dimitri P. Bertsekas

离散控制Matlab代码信号发生器 信号发生器是MATLAB的混合函数，可用于在混响环境中生成移动声源和接收器的响应。 用户可以在每个离散时间实例中指定源和接收器的位置。 通过将（无回声）源信号与时变房间脉冲响应进行卷积来计算输出信号。 可以指定多个接收器位置以同时生成多个响应。 房间冲激响应是使用图像方法生成的，该方法由Allen和Berkley在1979年提出[1]。 用户可以以类似于RIR发生器的方式控制混响时间（或反射系数），反射顺序，房间尺寸和麦克风指向性。 该软件包包括一个MATLAB示例，mex函数以及mex函数的源代码。 可以找到更多信息。 [1] JB Allen和DA Berkley，“有效模拟小房间声学的图像方法”，《美国声学学会》，65（4），1979年4月，第943页。

4.6离散化线性系统保持能控性和能观测性的条件 设连续时间线性时不变系统 对应的时间离散化系统 其中G=eAT H= A的特征值 结论12 如果连续系统（A、B、C）不能控（不能观测），则对任意采样周期T离散化后的系统（G、H、C）也是不能控（不能观测）的。 证明 用反证法 设连续系统不能控，而对于某采样T离散化后的系统却是能控的。则 rank[H、GH、G2H、…Gn-1H]=n 1/3,27/45

matlab平台的基于离散余弦DCT的数字水印识别技术。有嵌入，攻击，提取三个部分。多种攻击和计算psnr峰值信噪比和nc互相关系数来评价鲁棒性。彩色图像测试，带GUI界面。

在这项研究中，研究了具有参数不确定性和时变传输延迟的离散时间网络控制系统（NCS）的事件触发的保证成本控制问题。 首先，提出了一种离散NCS的事件触发方案。 然后采用时延系统的方法，建立了具有参数不确定性和状态时滞的事件触发控制系统的统一模型。 通过将Laypunov泛函方法与线性矩阵不等式（LMI）技术一起使用，为存在可接受的保证成本控制器建立了充分的条件，从而确保特定的二次成本函数具有所有可接受的不确定性的上限。 拟议的稳定性和稳定条件是在LMI的框架内制定的，可以通过使用现有的优化技术来有效地解决。 最后，通过数值算例和实际算例表明，在所提出的事件触发方案下，保留了在不损害闭环系统稳定性的前提下减少控制网络中通信流量的优点。

这是一款适合学习离散数学课程的读者使用的课件，课件制作精细，内容详尽，欢迎大家下载！