-
检查给定的关系不是是布尔代数
这个程序检查它适用于一组给定关系即是布尔代数或不。
为了验证,首先我们需要检查是否给定的一组是反身代词、 传递、 反对称或不。如果它满足上述三个,然后它被称为一个偏序的集合。
接下来,我们找到的最小、 最大的元素。此外我们发现最大的下界 [glb] 和最小上界 [滑] 如果它们存在的话。接下来,我们检查是否每一对中的关系的元素具有 glb 和滑。如果是的话,那么就被称为一个格子。
接下来,我们检查是否给定的格子是分布式和补充。如果是的话,那么就被称为布尔代数。
- 2022-02-14 07:17:32下载
- 积分:1
-
经典九宫格网页
比较不错的javaweb代码,清爽夏日九宫格,用到了javascript、JSP、CSS等,对于初学者很有帮助。
本项目使用到了jstl-api-1.2.jar、jstl-impl-1.2.jar、mysql-connector-java-5.1.10-bin.jar,需要
需要自行下载,放置到项目的lib文件夹下。
- 2023-09-03 22:35:05下载
- 积分:1
-
事件管理系统
应用背景关键技术
- 2022-05-19 05:40:16下载
- 积分:1
-
俄罗斯方块双人版源码
应用背景适合刚刚学习java的新手看,可以拿去练手,熟悉所学的知识,并灵活的运用它们,该程序在传统的俄罗斯方块的基础上,添加了一个玩家,可以支持两名玩家同时操作。关键技术该程序主要运用了 Java Swing 和java中的一些基本知识。
- 2022-09-10 10:20:03下载
- 积分:1
-
广场 & 广场
其两个玩家游戏使用鼠标。在开始它也采取的两个球员的名字和颜色的选择。名称提及上他们也表明
- 2022-03-21 15:34:47下载
- 积分:1
-
考勤管理系统
考勤管理是管理出勤或在工作场合,尽量减少员工停机时间造成的损失存在的行为。考勤控制传统上接近使用时钟,时间表和时间跟踪软件,却不止于此,提供一个工作环境,最大化和激励员工考勤考勤管理。[1] 最近,它已成为可能收集到的考勤数据自动通过实时定位系统,还允许为交联的考勤数据和性能之间。
- 2022-11-02 01:55:03下载
- 积分:1
-
Simple NotePad
这是一个使用javanetbeans的简单记事本。这个程序有最小的设施读取和编辑字,如日志文件和其他简单的字文件。此功能包括复制粘贴更改字体、字体颜色、撤消重做、保存文件等。快乐密码
- 2022-07-21 05:31:56下载
- 积分:1
-
安卓系统程序
关于服务器端向Android客户端的推送,主要有三种方式:轮询,应用程序应当阶段性的与服务器进行连接并查询是否有新的消息到达你必须自己实现与服务器之间的通信,例如消息排队等。而且你还要考虑轮询的频率,如果太慢可能导致某些消息的延迟,如果太快,则会大量消耗网络带宽和电池;SMS(通过发送短信并解析短信内容来获取服务器端的指令),这个出现的问题是很难找到免费的网关来发送短信;最后就是持久连接,主要是Socket通讯,这个解决了性能问题,但是耗电问题依旧没能解决。
- 2022-02-13 04:20:27下载
- 积分:1
-
opensmpp服务端跟客户端
资源描述opensmpp 的服务端接收数据以及客户端发送数据;opensmpp 的服务端接收数据以及客户端发送数据;opensmpp 的服务端接收数据以及客户端发送数据;opensmpp 的服务端接收数据以及客户端发送数据;opensmpp 的服务端接收数据以及客户端发送数据;opensmpp 的服务端接收数据以及客户端发送数据;opensmpp 的服务端接收数据以及客户端发送数据;opensmpp 的服务端接收数据以及客户端发送数据;opensmpp 的服务端接收数据以及客户端发送数据;opensmpp 的服务端接收数据以及客户端发送数据;opensmpp 的服务端接收数据以及客户端发送数据;opensmpp 的服务端接收数据以及客户端发送数据;opensmpp 的服务端接收数据以及客户端发送数据;opensmpp 的服务端接收数据以及客户端发送数据;
- 2022-08-22 15:55:38下载
- 积分:1
-
RMI-IIOP聊天
RMI-IIOP实现的客户端服务端简单通讯,服务器发布端Deployer,客户端Client,运行时客户端和服务端请设置JVM参数:-Djava.naming.factory.initial=com.sun.jndi.cosnaming.CNCtxFactory-Djava.naming.provider.url=iiop://127.0.0.1:1099
- 2022-03-17 03:04:29下载
- 积分:1