点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 约束满足问题-源码
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
投票系统源码及毕业论文
苹果投票系统源码及毕业论文 该系统为毕业设计所有,包括投票系统的全部源码及毕业论文、数据库设计及系统流程图。 。 苹果投票系统的组成模块 该系统主要由以下六个模块组成:登陆注册模块,管理员模块,客户模块,留言簿模块,新闻模块,投票模块.如下图: 3.2客户模块 客户模块主要是添加投票项目信息的,比如投票项目题目,选项以及系统配置要求. 3.3新闻模块 新闻模块主要是一些关于本系统的新闻信息,其中包括新闻显示和添加删除模块. 3.4留言簿模块 留言簿模块主要是投票者对于本系统提出问题,包括留言和
所属分类:
C#
发布日期:2010-05-30
文件大小:1048576
提供者:
corhe
大连驰敖集团办公自动化系统源码
大连驰敖集团办公自动化系统源码 2.1 产品描述 叙述该项软件开发的意图、应用目标、作用范围以及其他应向读者说明的有关该软件开发的背景材料。解释被开发软件与其他有关软件之间的关系。如果本软件产品是一项独立的软件,而且全部内容自含,则说明这一点。如果所定义的产品是一个更大的系统的一个组成部分,则应说明本产品与该系统中其他各组成部分之间的关系,为此可使用一张方框图来说明该系统的组成和本产品同其他各部分的联系和接口。 2.2 产品功能 本条是为将要完成的软件功能提供一个摘要。例如,对于一个记帐程序来
所属分类:
Web开发
发布日期:2012-08-27
文件大小:16777216
提供者:
fangmiya7258
大连驰敖集团办公自动化系统源码
大连驰敖集团办公自动化系统源码 2.1 产品描述 叙述该项软件开发的意图、应用目标、作用范围以及其他应向读者说明的有关该软件开发的背景材料。解释被开发软件与其他有关软件之间的关系。如果本软件产品是一项独立的软件,而且全部内容自含,则说明这一点。如果所定义的产品是一个更大的系统的一个组成部分,则应说明本产品与该系统中其他各组成部分之间的关系,为此可使用一张方框图来说明该系统的组成和本产品同其他各部分的联系和接口。 2.2 产品功能 本条是为将要完成的软件功能提供一个摘要。例如,对于一个记帐程序来
所属分类:
C#
发布日期:2013-08-27
文件大小:16777216
提供者:
qiang1129
SudokuCSP:数独约束满足性问题的主动式递归回溯算法-源码
SudokuCSP:数独约束满足性问题的主动式递归回溯算法
所属分类:
其它
发布日期:2021-03-22
文件大小:4194304
提供者:
weixin_42113794
EFISUR-源码
EFISUR新的采集功能(填充采样标准) Reda El Amri 2021-03-14 描述 我们考虑机会约束优化问题,在该问题中寻求优化函数并满足约束条件,这两者均受不确定性影响。 由于其固有的计算成本,此问题在现实世界中的偏差尤其具有挑战性。 我们提出了一种新的贝叶斯优化方法。 它适用于不确定性来自某些输入的情况,因此有可能在联合受控-非受控输入空间中定义采集标准(有关更多详细信息,参见本文 )。 加载R包 library( ' DiceDesign ' , quietly = TRU
所属分类:
其它
发布日期:2021-03-15
文件大小:51200
提供者:
weixin_42098830
decision_record:决策记录-源码
决策记录(DR) 决策记录(DR)是一种启动,辩论和存档重要选择的方法,包括其背景和后果。 内容: 什么是决策记录? 决策记录(DR)是一种启动,辩论和存档重要选择的方法,包括其背景和后果。 决策日志(DL)是为特定项目(或组织)创建和维护的所有DR的集合。 在这种情况下,决策是组织的选择,可以满足重要的需求。 重大需求(SR)是对项目系统有可测量影响的项目需求。 所有这些术语都属于知识管理(KM)主题。 本文档的目的是提供快速描述的记录。 决策记录模板 请参阅我们的文件 ,其中
所属分类:
其它
发布日期:2021-03-11
文件大小:7168
提供者:
weixin_42116604
crossword-composer:文字游戏的约束求解器-源码
Crossword Composer是用于制作填字游戏的基于浏览器的工具。 该代码库包含两个主要部分: 单词拼图自动填充器(Rust),查找符合一组共享字母约束的一组单词。 基于浏览器的UI(Javascr ipt / Svelte),允许交互式拼图创建。 自动灌装机 自动填充器是用Rust编写的,可以用作独立库。 自动填充器本身并不了解填字游戏的结构。 它更类似于,后者将问题归结为最基本的表示形式:要满足的约束列表。 约束以数字列表的形式提供。 这些数字是插槽的标识符:填充者必须进行的各
所属分类:
其它
发布日期:2021-03-11
文件大小:218112
提供者:
weixin_42162216
sudokupy:使用正向传播的Python中的快速Sudoku求解器-源码
使用正向传播的Python中的快速Sudoku求解器 这是用Python编写的快速Sudoku求解器。 它受解决约束满足问题(CSP)的算法的启发。 本质上,它是专门用于Sudoku的硬编码CSP求解器。 变量的分配顺序由最小剩余值启发式(MRV)确定。 这样可以确保快速缩小搜索空间,并且快速失败。 如果设置了值,那么将从共享相同约束的所有相邻像元中删除该值。 如果一个单元格中没有剩余的允许值,则该分配无效(除非它是最后一个单元格)。 此方法有两个很酷的好处: 首先是,如果可以不用猜测就
所属分类:
其它
发布日期:2021-03-06
文件大小:8192
提供者:
weixin_42097189
PALab2-源码
PA Lab 2 运输问题 运输问题的一个实例由来源和目的地组成。 每个货源都有给定的容量,即它可以提供多少商品到目的地。 每个目的地都需要一定数量的商品。 将商品单位从每个来源运输到每个目的地的成本由成本矩阵(或函数)给出。 为了最小化总运输成本,我们考虑确定从源头到目的地的运输量的问题。 供需约束必须得到满足。 (我们可以假设所有值都是整数)。 考虑以下示例。 D1 D2 D3供应S1 2 3 1 10 S2 5 4 8 35 S3 5 6 8 25需求20 25 25解决方案可能是这样
所属分类:
其它
发布日期:2021-03-06
文件大小:267264
提供者:
weixin_42134769
CSC384_Fall2020-源码
CSC384 2020年秋季 此回购包含我在多伦多大学CSC384:Aritificial Intelligence简介课程中的工作。 作业1:搜索 DFS BFS UCS A *搜索 作业2:Multiagent游戏树搜索 最小最大 Alpha-Beta修剪 期望最大 评估功能 作业3:约束满足问题 回溯搜索 前向检查 广汽集团 作业4:推理 推理 近似 联合颗粒过滤器 可以在pdf文件中找到更多详细信息。
所属分类:
其它
发布日期:2021-03-02
文件大小:5242880
提供者:
weixin_42118423
PALab2:第二个高级编程实验室中的练习-源码
实验室2 该存储库包含我为高级编程课程中的第二个实验室提出的所有问题。 基本工具 您需要在计算机上安装Java RE或JDK> = 8。 构建并运行上述程序 启动IntelliJ IDEA并单击 :play_button: 在装订线中,然后在弹出窗口中选择Run'Main()'。 IDE开始编译您的代码。 编译完成后,“运行工具”窗口将在屏幕底部打开。 任务 运输问题的一个实例由来源和目的地组成。 每个货源都有给定的容量,即它可以提供多少商品到目的地。 每个目的地都需要一定数量的商品。
所属分类:
其它
发布日期:2021-02-28
文件大小:5120
提供者:
weixin_42140716
计数轮换:找到填补计数轮换的最佳方法-源码
生成建议,将志愿者分配到轮换上的空白位置。 在这一点上,它通过使用大英博物馆方法来生成所有可能的花名册,然后对其评分。 有必要切换到朝着足够好的目标发展的迭代进化方法。 这部分是由于问题空间增加而减少了处理时间,而且还通过计算满足更新约束所需的最小可能变化来进行重新起草。 以下是其生成的Rota的一些属性: 与不可用不会发生冲突! 均匀地散布在人中 连续投放过多次 并非总是将同一个人聚集在一起 处理“可以但不愿意” 应付不同数量的人 这些是我想要但尚未获得的属性: 避免在柜台的日程安
所属分类:
其它
发布日期:2021-02-27
文件大小:12288
提供者:
weixin_42104778
男女皆宜的pthreads:使用pthreads,互斥锁和条件变量解决了中性浴室问题。 用C写-源码
中性浴室同步问题 使用pthreads,互斥锁和条件变量解决了中性浴室问题。 用C写 同步:互斥锁 我的代码中使用了互斥锁,以防止不同的线程同时访问代码的关键部分。 它们在代码中的目的是避免互斥问题,因为该程序是同时发生的多线程。 因此,互斥锁很重要,因此只有一个线程可以对共享值(例如当前在浴室中的男女值)执行修改。 声明了两个互斥锁,每个性别一个。 这是因为来自每个性别的每个线程都可以从性别中获得当前在浴室中的人数或线程的值。 在man_wants_to_enter()和woman_wants
所属分类:
其它
发布日期:2021-02-14
文件大小:3072
提供者:
weixin_42128963
go-versions:Go的版本管理库-源码
转到版本 versions是用于整理版本,版本列表和版本集的库。 它的“版本”概念是由定义的。 有许多Go库可用于处理一般版本,尤其是语义版本控制,但是其中许多不满足该库试图满足的以下所有要求: 在语法问题的情况下,使用良好的,面向用户的错误消息对版本字符串和约束字符串进行解析。 内置的机制可根据约束条件对候选版本列表进行过滤和排序。 调用应用程序的人体工程学API。 该库是否满足这些要求当然是主观的,但这当然是其目标。 为了激发您的胃口,这里有一个示例程序,该程序解决了常见问题:
所属分类:
其它
发布日期:2021-02-14
文件大小:46080
提供者:
weixin_42113794
CSP-Rules-V2.1:有限约束满足问题的基于模式的通用求解器-源码
CSP规则V2.1 基于模式的有限约束满足问题的通用求解器 1.什么是CSP规则? 有限的二进制约束满足问题(CSP)由一组有限的变量(以下称为CSP变量)定义,每个变量都具有一个有限的域。 问题是要为每个变量在其域中找到一个值,以使这些值满足一组预定义的二进制约束。 一个典型的流行例子是数独。 CSP-Rules是有限二进制CSP的基于常规模式(或基于规则)的求解器。 它包括拉丁方求解器,数独求解器,Futoshiki求解器,Kakuro求解器,地图着色问题的求解器,Hidato求解器,Nu
所属分类:
其它
发布日期:2021-02-11
文件大小:23068672
提供者:
weixin_42169971
泛德-源码
欢迎来到PanNDE! PanNDE试图建立一个模块化的,可开发的基础结构,以便为无损评估应用程序进行现场模拟(最初是弹性动力学)。 性能以及低级别访问是实现模型反转或类似MAPOD的应用程序的快速,自适应建模的关键问题。 与所有研究一样,工作促成工作,并且发展有望继续。 就目前而言,如果您发现这样做有用,那么,如果不是,那就很好,如果希望,将来的开发将带来有用的功能,或者代码库为其他研究人员的其他开发提供了起点。 现在,祝你好运,玩得开心! 科学是一次伟大的冒险! 注意事项: 由美国国家航
所属分类:
其它
发布日期:2021-02-11
文件大小:6291456
提供者:
weixin_42128270
约束满足问题-源码
约束满足问题
所属分类:
其它
发布日期:2021-02-09
文件大小:5242880
提供者:
weixin_42099087
RLFAP:无线电链路频率分配问题-源码
无线电链路频率分配问题(RLFAP) 无线电链路频率分配问题是一种约束满足问题(CSP),包括将频率分配给在站点对之间定义的一组无线电链路,以避免干扰。 有关此问题的详细说明,请参见。 使用的搜索方法: 通过向前检查(FC)回溯 保持电弧一致性(MAC)的回溯 具有冲突定向后跳混合(FC-CBJ)的前向检查 最小冲突 启发式的使用: 为了加快搜索速度,我使用诸如dom / wdeg启发式的冲突定向变量排序启发式方法。 由于实例的困难,搜索时间花费了几个小时,但是借助dom / wdeg启发
所属分类:
其它
发布日期:2021-02-09
文件大小:179200
提供者:
weixin_42109125
网守:网守-Kubernetes的策略控制器-源码
关守 想帮忙? 加入我们,帮助确定该项目的方向和实施! 加入上的频道。 加入,讨论开发,问题,用例等。 使用来提交错误,请求功能或异步提问。 网守与OPA有何不同? 与将 (aka Gatekeeper v1.0)相比,Gatekeeper引入了以下功能: 可扩展的参数化策略库 用于实例化策略库的本地Kubernetes CRD(也称为“约束”) 用于扩展策略库的本地Kubernetes CRD(也称为“约束模板”) 审核功能 目标 每个组织都有政策。 有些对于满足治理和法律要求
所属分类:
其它
发布日期:2021-02-04
文件大小:10485760
提供者:
weixin_42127020
FreeCAD:这是FreeCAD的正式源代码,这是一个免费的开源多平台3D参数建模器。 问题可通过我们自己的错误跟踪器进行管理,网址为https://www.freecadweb.orgtracker-源码
您自己的3D参数建模器 ••• • 该项目得到了来自以下方面的慷慨的基础设施支持: 总览 自由构建所需的东西FreeCAD是一个开源的参数化3D建模器,主要用于设计任何大小的现实对象。 通过参数建模,您可以返回模型历史记录以更改其参数,从而轻松修改设计。 从2D创建3D并返回FreeCAD使您可以绘制受几何图形约束的2D形状,并将它们用作构建其他对象的基础。 它包含许多组件,可用于调整尺寸或从3D模型中提取设计细节,以创建高质量的生产就绪图纸。 为满足您的需求而设计FreeCAD旨在适应各
所属分类:
其它
发布日期:2021-01-31
文件大小:244318208
提供者:
weixin_42104778
«
1
2
»