捷联惯导解算程序，有详细的代码标注和参考文献说明，主要参考亲永元的《组合导航》的书，提供给大家一起学习。

中科院考博英语大纲词汇词组及辨析（无水印清澈版）.pdf非扫描版！可自由标注！方便记忆！！！……

支持mp3语音格式，标注语音段前后端点

大学生课程设计CAD画图专用模板内含A0,A1,A2,A3,A4图纸样板基本标注块，基本图层可以满足基本绘图需要经典图纸图例图层

使用到的技术：redis、amcharts、maven、html5、ajax、js、jquery以及css，关系型数据库采用的是mysql。
文件夹中有可以直接导入使用的数据库，以及可以导入试卷的excel表格格式.该项目分为学生模块，和教师模块。
教师模块：教师可以通过导入Excel表格的方式进行添加试卷，如果Excel表中有不合法的数据，会在前台提醒哪一行哪一列出了什么问题，添加试卷后，教师可以发布试卷，试卷发布后，学生就可以答题，每张试卷都有作答时长，作答时间结束，将会自动提交试卷。
考试结束后，教师可以发布答案。
对于修改试卷，教师可以先选择所要修改的试卷，对于试卷可以修改试卷的名称以及考试时长，要想修改试题可以点击编辑试题，进行批量修改。
学生模块：注册登录进入学生考试平台，选择考卷，进行作答，试卷分为单选题、多选题以及判断题，分值各不相同，对于多选题错答不得分，漏答得一半的分。
在作答期间，学生可以先保存，保存的内容存储在Redis中。
若点击提交，提交后直接显示成绩。
提交后就不能再进入考试。
要想看正确答案，得等到考试结束，教师发布成绩后，才可以看到。
学生可以看到自己的作答历史，每道题之前学生的答案以及该题正确的答案都很清晰的标注出来。
为了方便学生统计自己的成绩，本系统采用了amcharts技术根据学生的历次成绩制作了柱状图和折线图结合的图表。
学生可以很直观地看到自己成绩的波动。

java语言实现的关于中文词性标注的问题，在Eclipse上通过编译，可运行。
欢迎下载，并提出意见。

数理逻辑是基础工具，研究PLT必备。
类型论是PLT的一个重要方面。
范畴论是类型论的抽象工具。
编程语言有无类型都是图灵等价的。
类型只是标注，擦除掉也不影响解释执行。
类型标志就像xx编程规范，可以增强可读性正确性，减少bug。
但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。

公开标准数据集图像显著性检测MSRA1000，包含1000张原图，及对应的标注图。
标注图与原图尺寸相一致。

labelme2COCO终极无限制版本，不限制分类名称，即输出分类就是labelme标注分类，不需要手动修改points值，含有area计算，真正的运行一下就可以。
当然了，输出目录还是要根据自己的情况修改的。

本资料为工程大《软件工程》课程的期末考试复习资料（含部分往年参考试题，已标注），仅供参考，禁止传阅。
如有侵权，请联系删除。
参考资料：施一萍老师编著的课本《软件工程及软件开发应用》。

在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。 每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。 另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。 为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。