-
检查给定的关系不是是布尔代数
这个程序检查它适用于一组给定关系即是布尔代数或不。
为了验证,首先我们需要检查是否给定的一组是反身代词、 传递、 反对称或不。如果它满足上述三个,然后它被称为一个偏序的集合。
接下来,我们找到的最小、 最大的元素。此外我们发现最大的下界 [glb] 和最小上界 [滑] 如果它们存在的话。接下来,我们检查是否每一对中的关系的元素具有 glb 和滑。如果是的话,那么就被称为一个格子。
接下来,我们检查是否给定的格子是分布式和补充。如果是的话,那么就被称为布尔代数。
- 2022-02-14 07:17:32下载
- 积分:1
-
视频聊天源码
视频聊天源码视频聊天源码视频聊天源码视频聊天源码视频聊天源码视频聊天源码视频聊天源码视频聊天源码视频聊天源码视频聊天源码视频聊天源码视频聊天源码视频聊天源码视频聊天源码
- 2022-01-22 10:38:41下载
- 积分:1
-
joda-time-1.6.2源码
用于java程序的日期相关的算法,如相加,相件,区间,分时等,是网上用的很广的类
private void runDateTime() {
System.out.println("DateTime");
System.out.println("=======");
System.out.println("DateTime stores a the date and time using millisecs from 1970-01-01T00:00:00Z internally");
System.out.println("DateTime is immutable and thread-safe");
System.out.println(" in = new DateTime()");
DateTime in = new DateTime();
System.out.println("Millisecond time: in.getMillis():
- 2022-08-22 17:44:27下载
- 积分:1
-
入侵检测系统框架工作
基于网络的入侵检测系统 (IDS) 的目标是识别的目标网络和其资源的恶意行为。入侵检测参数很多,在很多情况下他们目前不确定和不精确的因果关系,可以影响攻击类型。贝叶斯网络 (BN) 被称为图形建模工具用来包含不确定性的模型决策问题。在本文中,BN 用于构建基于签名识别的自动入侵检测系统。目标是,认识到已知的攻击签名、 匹配与那些已知的签名,观察到的行为和信号入侵时还有一场比赛。此系统的一个主要困难是入侵签名变化随着时间的推移和系统必须接受再培训。ID 必须能够适应这些变化。本文的目的是提供一种使用贝叶斯网络的自适应入侵检测系统的框架。
- 2023-02-14 18:50:06下载
- 积分:1
-
javaGUI源代码
资源描述thinking in java GUI模块源代码;thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码thinking in java GUI模块源代码
- 2022-01-25 16:05:57下载
- 积分:1
-
项目关于计费
计费软件包含股票
建筑署
建筑署
s
d
作为
d
建筑署
skasjhladjfoivvhmmmmmodsf ; sa ; fhhdfh ; lsadkhdf ; o
- 2023-01-24 09:25:04下载
- 积分:1
-
jdbc模板类
利用策略模式和接口类实现jdbc模板类, 已达到组件级,可以直接重复使用。
- 2023-06-09 12:30:03下载
- 积分:1
-
网店商城电子商务系统java版
BIZOSS-B2C是脱胎于贞龙B2B大型平台的网上商城系统、网上商店系统、网上购物系统的企业级B2C电子商务解决方案。系统设置:这里包含了网店的常用功能和全局配置的开关。包括 商店设置 、支付方式和配送方式 、邮件服务器设置、地区列表、友情链接、自定义导航栏、站点地图。商品管理:网店展示商品的核心。其中包括了 商品分类、商品类型、商品品牌、商品回收站、商品上下架等一些设置。促销管理:这
- 2023-05-12 07:00:02下载
- 积分:1
-
jquery mvc application using jsp, servlet, javabeans and dao
请下载附件。内容见附件。它基于购物车并使用各种技术
- 2022-01-25 21:36:09下载
- 积分:1
-
蓝牙传输教程源码
蓝牙开发,初学者的福音,内容简单,详细的讲述了蓝的基础及构造
- 2022-06-02 17:35:37下载
- 积分:1