搜索资源列表
constrained_delaunay_triangulations
- 这是个生成约束delaunay triangulations源程序。对学习约束delaunay triangulations很有帮助!
Win32API
- Win32 API即为Microsoft 32位平台的应用程序编程接口(Application Programming Interface)。所有在Win32平台上运行的应用程序都可以调用这些函数。 使用Win32 API,应用程序可以充分挖掘Windows的32位操作系统的潜力。 Mircrosoft的所有32位平台都支持统一的API,包括函数、结构、消息、宏及接口。使用 Win32 API不但可以开发出在各种平台上都能成功运行的应用程序,而且也可以充分利用每个平台特有的功能和属
TokenAnalyze
- 编译原理实验,实现词法分析器。读入输入字符并判断是否符合词法约束。-Compiler Construction Principles experiment, to achieve lexical analyzer. Read into the input character and determine whether the lexical constraints.
EXCD1
- 开发板子的管脚约束的定义以及它的内部工作原理,挺不错的-Development board of the pin definition of constraints and its inner workings, very good
cqual-0.991.tar
- 一个很好的程序分析工具,支持刘敏感分析。采用类型推断和约束求解的方法,代表了一种程序分析的流派。在PLDI上发表过文章! -Cqual is a type-based analysis tool that provides a lightweight, practical mechanism for specifying and checking properties of C programs. Cqual extends the type system of C with extra use
Nonlinear_Programming
- 全面而完整,本概述提供了密钥算法和理论的单卷处理。笔者提供所有理论方面的明确解释,与大多数结果严格的证明。这两个部分的处理开始的优选条件和凸规划,对偶,广义凸性的讨论,并选定非线性规划分析推导。第二部份是有关技术和数值解无约束优化方法,并介绍了常用的约束非线性优化问题的算法。本次毕业级文本不需要超出初等微积分,线性代数,高等数学和现实背景分析。 -Comprehensive and complete, this overview provides a single-volume treatm
LINGO1
- 用于计算安全约束机组组合的lingo程序-Unit used to calculate the security constraints of the lingo program
simplex
- 此程序运用单纯形法计算目标函数为max型,约束条件全为小于等于型的线性规划问题,求解得到正确的结果。-This program uses the simplex method to calculate the objective function as max-type constraints are all less than or equal to the type of linear programming problem solving to get the correct result
role-based-access-control-(RBAC)
- 这个是物联网中自主访问控制(DAC)与带有互斥角色约束的基于角色的访问控制(RBAC)演示程序。主要实现访问控制的安全进行。-This is the Internet of Things in discretionary access control (DAC) with an exclusive role constraints with role-based access control (RBAC) demonstration program. The main achievement o
lpg1.2-source.tar
- 规划器,lpg1.2 IPC比赛的源代码,能解决时间、持续动作、数值等方面的约束-AI panning
press_counter
- 基于verilog 的按键计数程序,约束文件对应的是BASYS2 的 FPGA开发板,注意数码管对应的管脚分配-Press count program based on Verilog
pso1
- 基于粒子群算法的电力系统负荷分配问题(1)数学模型: 以IEEE 3机6节点为工况模型 ,Load=850MW (2)目标函数: minF=∑(i=1,Ng)Fi(PGi),Fi(PGi) =aiPi2+biPi+ci+Ei,考虑阀点(Valve-Point)效应 (3)约束条件: a.发电机组输出功率上下限约束,即PGi min<=PGi<= PGimax; b.电力负荷平衡约束,忽略网损,即∑(i=1,Ng)(PGi)= PGD-Based on part
ysw13_6
- 运用微粒子群求解有约束条件的线性优化问题。-The use of fine particles Swarm have constraints linear optimization problems.
zlueh20
- 阵列信号处理中用最小约束矩阵实现二维到达角的估计,不错的-Array signal processing using minimum constraint matrix to achieve two-dimensional doas estimation, pretty good
GGXBUN
- 截短长度72viterbi约束长度9测试,c++代码,()