搜索资源列表
SQL_Server-trigger
- SQL Server触发器创建、删除、修改、查看示例教程 触发器是一种特殊的存储过程﹐它不能被显式地调用﹐而是在往表中插入记录﹑更新记录或者删除记录时被自动地激活。所以触发器可以用来实现对表实施复杂的完整性约束。-Create, delete, modify the SQL_Server trigger, see the tutorial example Trigger is a special procedure, it can not be called explicitly,
Environmental-monitoring-data-report
- 环境监测数据编报是对环境监测数据按照国家标准进行综合分析和得以充分利用的重要途径。当前，全国各省市环境监测部门在数据编报上均存在不同程度的困难，一方面，各级监测站时常发生数据录入和计算错误、排放标准或评价标准使用错误、报告文字错误等监测数据质量问题；另一方面，环境质量和污染源监测的数据量大、业务频度高，手工逐个数据录入和审核数据十分浪费时间，而且没有校验约束，导致了数据及时性、完整性及准确性低，在此基础上进行的分析和评价面临着可信度低的难题-Environmental monitoring da
xilinx_Timing_constraints
- Xilinx时序约束文档，包括什么情况下使用时序约束、为什么要时序约束、如何进行时序约束等。-Xilinx timing constraint document, including under what circumstances the use of timing constraints, why should the timing constraints, how to carry out the timing constraint.
Research-on-Compressed-Sensing
- 经典的香农采样定理认为,为了不失真地恢复模拟信号,采样频率应该不小于奈奎斯特频率(即模拟信号 频谱中的最高频率)的两倍.但是其中除了利用到信号是有限带宽的假设外,没利用任何的其它先验信息.采集到 的数据存在很大程度的冗余.Donoho等人提出的压缩感知方法(Compressed Sensing或Compressive Sampling, CS)充分运用了大部分信号在预知的一组基上可以稀疏表示这一先验信息,利用随机投影实现了在远低于奈奎斯 特频率的采样频率下对压缩数据的直接采集.该
CVX
- CVX是构建和解决纪律凸程序（应课税品许可证）建模系统。 CVX支持 一些标准的问题类型，包括线性和二次规划（LPS/ QP的），第二阶 锥程序（SOCPs）和半定规划（SDP的）。 CVX也可以解决复杂得多 凸优化问题，包括许多涉及不可微的功能，如`1规范。您 可以使用CVX方便地提出和解决约束范数最小化，熵最大化， 行列式最大化等诸多凸程序。随着2.0版本，CVX也解决了混合 整纪律凸程序（MIDCPs）为好，用适当的整数解算能力。-CVX is a mo
Particle-Swarm-Optimization
- 水库群调度的粒子群优化原理ppt介绍，包括原理目标函数约束等具体内容-Particle swarm optimization principle reservoir group scheduling ppt presentation, including the principle of objective function constraints specific content
Image-Sparse-Representation-Model
- 完备图像稀疏表示是一种最新的图像表示模型，采用过完备字典中原子的线性组合形式实现图像的稀疏表示．传统 的过完备图像稀疏表示模型采用重建误差的平方和作为保真项．该保真项没有充分考虑到人眼对图像的感知特性，无法度量图 像中边缘、轮廓、纹理等局部几何结构的变化．本文基于过完备稀疏表示理论思想，建立了新的稀疏性正则化的图像稀疏表示模 型．模型中的正则项约束图像表示系数的稀疏性，保真项采用更符合视觉感知的结构相似性度量．基于正交匹配追踪算法，提出 了基于结构相似度的正交匹配追踪算法．实验结
LMFnlsq2testPDF
- L-M(Levenberg—Marquardt)是一种非线性最优化里面最常用的方法之一，改方法能快速而准确的逼近收敛值。本文简述了改方法的操作原理和具体运用，如可以方便的用于有约束与无约束最优化的求解。-L- M (Levenberg- Marquardt) is a kind of nonlinear optimization inside one of the most commonly used method, change method can fast and accurate app
fast-method
- 机械最优化设计中，无约束条件的最速下降法-Mechanical design optimization, unconstrained conditions steepest descent method
36063823afsa2
- 摘 要:在分析人工鱼群算法存在不足的基础上,对人工鱼群算法加以改进,提出了一种改进型人工鱼群算 法。该算法提高了全局搜索能力和收敛速度,并用于求解具有变量边界约束的非线性复杂函数最优化问题。 仿真结果表明,改进后的人工鱼群算法具有精度高、搜索速度快等特点,是一种求解复杂函数全局最优化的智 能算法-Combinatorial optimization problems through the application of artificial fish-swarm algorithm to imi
a
- 创建一些数据表及填充数据，并建立约束等操作的MySQL操作的脚本，可用于练习-Create a data table, and populate data and create the constraint scr ipt MySQL operations such as operation that can be used to practice
A-New-Unit-Commitment-Algorithm
- 考虑网络 安全约束的机组组合问题变得尤为重要,基于对偶原理的拉 格朗日松弛法是解决这一问题的有效途径。 - Considering the network Security constraints of unit combination problem is particularly important, based on the duality principle Grant, relaxation method is an effective way to solve
08240254yueshuwenti
- 对含约束条件的约束问题。比较简单，容易理解。-Of constraints containing constraints. Relatively simple, easy to understand.
POP3_rfc
- POP3的rfc文档，对邮件通信的机制与规范进行了约束，对初学者非常有用。可以参考其交互方式设计很多软件。-POP3 rfcs are very useful for the peopel who are working in the comunications. And they are helpful to the coders who will develop the software in mail.
Stochastic-RHC
- 在本文中,我们开发了一种计算易于管教的方法随机滚动时域控制下的线性系统状态和控制乘法噪声和二次约束。我们的方法使用开环加线性反馈的在线滚动时域优化,允许作为半定规划要解决的问题。-In this paper, we have developed a computationally tractable approach to stochastic receding horizon control of linear systems under state and control multiplic
P4-1
- 无约束目标函数最大值遗传算法求解策略,源程序-Unconstrained objective function maximum genetic algorithm strategy, source
Low-Complexity-
- 本文提出了一种低复杂度的变遗忘因子机制用于递归最小二乘恒模约束算法中来抑制干扰。改进的方法通过恒模代价函数的时间平均来调节遗忘因子，从而更快地跟踪干扰并抑制，该文章计算量低，收敛速度快。-This paper presents a low complexity variable forgetting factor recursive mechanism for lscm constraint method to suppress interference. Improved methods be
huawei
- 华为内部资料，包括verilog电路设计，硬件工程师手册，verilog约束，synplify使用指南等。内容较全面。-Huawei internal information, including verilog circuit design, hardware engineers manual, verilog constraints, synplify use guides. Content more comprehensive.
White-Box-Testing1
- 针对软件测试中的白盒测试技术,分析了当前白盒测试的主要方法及存在的测试用例繁多,测试不充分,效率低下等问题。为了解决这些问题,重点介绍了DD图、流程图等概念,并以构造DD图无约束边集合和程序流程树为基础,给出了一个基于程序流程树的测试模型,该模型通过五个步骤来对程序代码进行测试。第一个步骤是提取程序片段,包括重要度评价与程序切分。如果是在集成测试阶段,需要分析模块复杂度,选取当前最重要的模块进行测试。如果是在单元测试阶段,可认为当前的惟一模块就是最重要模块。然后,将复杂程序代码利用程序切片技术,
Intelligent-Vehicular-Visual-
- 基于特征的视觉里程计系统主要由特征检测与跟踪模块以及位姿计算模块两部分组成.为分析车载视觉里程计系统中引入车辆运动学约束的位姿计算算法性能,根据摄像机成像及视觉几何学原理,采用Matlab结合车辆动力学仿真软件CarSim建立车载视觉里程计仿真平台.该仿真平台由车辆运动仿真模块、成像仿真模块、数据显示与分析模块组成,仿真平台的测试对象为视觉里程计的位姿估计算法模块.该仿真平台充分考虑车载视觉定位系统的运动特性,为研究车辆运动学约束在视觉里程计系统中的应用提供新的思路和工具.对提出的一种全新的基于