这是一个利用Protégé5.1.0手工构建的本体(ontology),该本体大概描述了大学、学位、学位课程、教师、学生等class之间的关系,而且经过reasoner检测无错误,且能在此基础之上利用SWRL语言书写规则进行推理查询
2025/9/12 2:18:35 21KB 本体
1
在线法官工具/验证助手这是什么?这是一个工具,可以轻松地自动执行代码库的验证过程以进行竞争编程。
如何使用设置库的存储库请阅读以下内容::运行程序安装$pip3installonline-judge-verify-helper需要Python3.6或更高版本。
自动化验证首先,在包含.test.的文件中指定要用于验证库的问题URL.test.在其路径中(例如,对于C++,在example.test.cpp类的文件中编写#definePROBLEM"https://judge.yosupo.jp/problem/unionfind";
有关其他语言,请参见)。
然后,运行以下命令检查是否可以执行验证。
$oj-verifyrun当前,支持有关和的问题。
有关详细信息,请参见。
#include的自动扩展该include在形式的文件报表#include"foo.hpp"可扩展,类似于提供的功能为JavaScript。
这是为了解决大多数在线法官不支持提交多个文件的问题。
可以通过运行以下命令来使用该功能:$oj-bundle
1
Arduino是一个任何人都可以快速上手使用的电子控制平台,可能在硬件工程师的眼中它仅仅是一个简单的8位机最小系统,但对于更多的没有硬件背景的人来说(特别是软件工程师),Arduino为他们打开了一扇通向硬件领域的窗口,这扇窗连接的是一个叫做开源硬件的世界。
Arduino注重实际动手操作应用,只要掌握了一些基本的电子学知识,就能制作出很有意思的硬件交互作品。
正是基于这个原因,本书以基础的电子学知识为纽带将各个章节联系起来,通过简单的应用介绍了Arduino中数字量和模拟量的处理方式。
用Arduino完成的形形色色的电子作品都是基于这些基础知识实现的,本书的作用只是引领你走入Arduino的精彩世界,希望大家在读完本书后充分发挥各自的想象力,去制作更有意思的电子作品。
2025/9/11 7:01:26 28.97MB arduino
1
这是我写的一个基于神经网络的五子棋程序,用python3写的,需要配置tensorflow才能使用
2025/9/11 7:15:13 9KB AI Python 五子棋
1
C语言的圣经-K&R的C程序设计语言(第2版·新版)(英文版+中文版+习题解答),一个非常清晰的版本,非常全,非常经典
2025/9/11 6:14:36 13.45MB C语言 圣经 程序设计 K&R
1
小爱特别喜欢素数,现在单纯的素数已经无法满足他的狂热了,他需要更多与素数相关的数!经过苦苦思考,他终于找了一种与素数相关的数——因子个数是素数的数,小爱称这样的数为因子素数。
举个例子:6就不是因子素数,因为它的因子个数为4(包括1,2,3,6)。
9就是因子个数,因为它的因子个数为3(包括1,3,9)。
现在给你一个数n,请你求出其中所有小于等于n的因子素数之和。
2025/9/11 2:55:21 556B c++
1
TCNOPEN是一个铁路行业相关的合作伙伴创建的开源的倡议,其目的是建立一些新的或即将出台的铁路标准的关键部分,通常以TCN命名。
TCN(列车通信网络)是IEC(国际电工委员会)第43工作组制定的一系列国际标准(IEC61375),规定了列车内和车辆间数据通信的通信系统。
它目前正在世界上成千上万的列车上使用,以便允许电子设备在同一列车上运行时交换信息。
TCNOPEN遵循开源方案,因为软件是由参与公司共同开发的,根据它们的角色,从而实现更便宜、更快和更好的质量结果。
2025/9/11 0:03:26 13.48MB TRDP开源项目 源代码 工程项目 示例
1
这是用html+js+css做的一个关于留言的demo,希望给大家带来一点启示,谢谢!
2025/9/10 19:16:39 23KB 留言墙
1
课程难度:中课程目标:学习云开发,云开发后台管理,学习nodejs适用人群:有htmlcssjs,vue基础,了解过小程序云开发课程介绍:利用云开发打造模仿一个大家常见的新冠肺炎疫情追踪平台,并利用nodejs+koa框架调用云开发的httpapi打造疫情后台管理。
如果掌握了该门课程,那么相信你对小程序云开发已非常了解,即便你依葫芦画瓢也可以独自完成很多其他产品1.该门课程不属于基础课程,在学习前,希望你具备vue基础知识,了解过云开发2.另外课程中的后台管理,不采用第三方的后台管理,我用的vue+Element写的一个轻量级简单的疫情后台管理提供给大家课程中遇到任何问题,可添加我的微信:yuzhengchunyu
1
Description试设计一个用回溯法搜索子集空间树的函数。
该函数的参数包括结点可行性判定函数和上界函数等必要的函数,并将此函数用于解0-1背包问题。
0-1背包问题描述如下:给定n种物品和一个背包。
物品i的重量是wi,其价值为vi,背包的容量为C。
应如何选择装入背包的物品,使得装入背包中物品的总价值最大?在选择装入背包的物品时,对每种物品i只有2种选择,即装入背包或不装入背包。
不能将物品i装入背包多次,也不能只装入部分的物品i。
Input输入由多组测试数据组成。
每组测试数据输入的第一行有2个正整数n和c。
n是物品数,c是背包的容量。
接下来的1行中有n个正整数,表示物品的价值。
第3行中有n个正整数,表示物品的重量。
Output对应每组输入,输出的2行是装入背包物品的最大价值和最优装入方案。
SampleInput5106354622654SampleOutput1511001
2025/9/10 3:50:33 2KB 0-1 Knapsack
1
共 1000 条记录 首页 上一页 下一页 尾页
在日常工作中,钉钉打卡成了我生活中不可或缺的一部分。然而,有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚,我总是得牢记打开钉钉应用,点击"工作台",再找到"考勤打卡"进行签到。有时候因为工作忙碌,会忘记打卡,导致考勤异常,影响当月的工作评价。而且,由于我使用的是苹果手机,有时候系统更新后,钉钉的某些功能会出现异常,使得打卡变得更加麻烦。 另外,我的家人使用的是安卓手机,他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说,每次打卡都是一次挑战。他们总是担心自己会操作失误,导致打卡失败。 为了解决这些烦恼,我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习,我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03 15KB 钉钉 钉钉打卡