第一次作业 实现多项式的加减运算,主要问题是解决输入格式的判断问题. 输入实例: {(3,0), (2,2), (12,3)} + {(3,1), (-5,3)} – {(-199,2), (29,3),(10,7)} {}表示多项式,其中的小括号第一个参数是系数,第二个是指数.同一个多项式指数要求不同. 程序实现的重点总结 1.去除空白字符 s = s.replaceAll("\\s*", ""); 2.初步判断合法性(有有效输入字符且没有中文) Pattern…

主要针对第三单元的三次作业 JML语言的理论基础.应用工具链情况 JML指的是Java建模语言,全称是Java modeling language,是一种行为接口规范语言,可用于指定Java模块的行为.它结合了Eiffel的契约方法设计和Larch系列接口规范语言的基于模型的规范方法,以及细化演算的一些元素 Design by Contract with JML(由Gary T. Leavens和Yoonsik Cheon撰写)的草案解释了JML作为Java合同设计(DBC)语言的最基本用法,这…

规格化设计的发展历史 (因为很难寻找,所以参考了下别的同学的调研结果) 规格化设计与结构化.模块化设计密不可分,伴随着OOP语言的发展,规格化设计思想逐渐形成体系,慢慢完善. 20世纪60年代,程序的模块化设计思想被提出.伴随着计算机行业的迅速发展,为了解决程序可靠性等问题,结构化.模块化的设计为程序员提供了使用接口.每个模块各司其职,这样的程序便于扩展和维护,大大降低了当时开发者的困难. 20世纪80年代,面向对象语言兴起,结构化.模块化的思想在面向对象语言里作用被体现得更加彻底.与此同时,为…

我说的都队 031402304 陈燊 031402342 许玲玲 031402337 胡心颖 03140241 王婷婷 031402203 陈齐民 031402209 黄伟炜 031402233 郑扬涛 会议时间:12月12日 Github项目链接 一.项目燃尽图 二.项目进展 院负责人--结果查看界面(后台) 学生结果的查看和修改 导师结果的查看和修改 智能分配算法接口的改进 修改原因 tc_issues_$grade['grade']表进行了修改,其中修改了学生数的6个字段,导师所带计算机实…

OO Unit2多线程电梯总结博客 传说中的电梯居然就这样写完了-撒花…

RocEDU.课程设计2018第六组 第三周进展 博客补交 小组成员:20155211解雪莹,20155217杨笛,20155227辜彦霖 计划完成任务:完成课设所有内容 实际完成任务:跑通老师ucosiii的范例代码 实践过程中的问题及解决: STM32F4XXDFP安装之后出现如下错误: 出现错误的原因是版本不匹配,这个安装包安装到MDK5.15上是没问题的,5.11上会出现这个问题.现在MDK的策略是低版本基本不让更新安装包,让用户去上级到新的MDK版本上. 解决办法是下载MDK5.15,…

RocEDU.课程设计2018 第三周进展 博客补交 本周计划完成的任务 (1).本周计划完成在平板电脑上实现程序的功能,跟第二周计划完成任务基本相似. 本周实际完成情况 (1).实际完成情况还差最后一步,实验代码运行的载体选择,具体问题,如图所示: 本周遇到的问题与解决过程 (1).跟第二周的问题一样,我上网搜了相关解决办法,原因是在相关目录下adb.exe文件出了问题,要在命令行下删除再重新下载 我的相关路径存放在platform-tools" 目录 使用uninstall命令,它的格式就是…

第三次ScrumMeeting博客 本次会议于10月27日(五)22时整在3公寓725房间召开,持续10分钟. 与会人员:刘畅.方科栋.窦鑫泽.张安澜. 1. 每个人的工作(有Issue的内容和链接): 队员 今日完成任务 明日任务计划 刘畅 将iCourse部署到服务器上https://github.com/Slontia/iCourse/issues/31 将数据库迁移至服务器上 张安澜 实现课程分类显示接口https://github.com/Slontia/iCourse/issues/…

Linux内核分析第三周学习博客--跟踪分析Linux内核的启动过程 实验过程截图: 过程分析: 在Linux内核的启动过程中,一共经历了start_kernel,rest_init,kernel_thread等几个函数的执行.其中start_kernel相当于普通C程序的main函数.Trap_init负责初始化中断向量,mm_init负责内存管理模块初始化,sche_init负责调度模块初始化. 两把宝剑: 1.中断上下文切换 2.进程上下文切换 Qemu工具学习: 格式: qemu -ke…

找博客共同好友案例 1)数据准备 以下是博客的好友列表数据,冒号前是一个用户,冒号后是该用户的所有好友(数据中的好友关系是单向的) A:B,C,D,F,E,O B:A,C,E,K C:F,A,D,I D:A,E,F,L E:B,C,D,M,L F:A,B,C,D,E,O,M G:A,C,D,E,F H:A,C,D,E,O I:A,O J:B,O K:A,C,D L:D,E,F M:E,F,G O:A,H,I,J 多对多的关系 数据库:学生 课程 成绩表 学生表和课程表的自然连接 A A A :…