longmixl

摘要： Jsplumb（5.x）1、简介/概述jsPlumb是一个强大的JavaScript连线库，提供html元素的拖放、连线等功能，可绘制不同类型、样式的连线，适用于开发web页面的图表、建模工具等。同时也支持vue ，react和Angular。组成： @jsplumb/core：核心包，包含管理元素 阅读全文

摘要： https://storage.googleapis.com/play_public/supported_devices.html 阅读全文

摘要： C程序中打开中文名文件，运行中止并提示： debug assertion failed stream != null ptr 排除掉空文件指针后，原因可能是文件编码问题，可更改文件编码； 如若文件都是UTF-8编码还不能解决问题，可在设置->时间和语言->区域->其他日期、时间和区域设置->区域-> 阅读全文

摘要： 第四单元作业设计 第四单元的三次作业，难度上来说大概是呈难-中-难的分布态势。第一次作业的难点主要在于对UML类图不熟悉和最大2s的cpu时间限制，针对前一个问题，边写边探索，也算掌握了大半；第二个问题，考虑到作业的需求中涉及到很多遍历操作，在参考几篇博客之后，选择了使用哈希图存储以及根据键值遍历的 阅读全文

摘要： JML JML的理论基础 JML即Java Model Language，是一种建模语言，用形式化的符号语言描述Java的类和方法。常用关键字及表达式如下： 关键字 意义 requires 方法的前置条件 assignable 方法修改域 signals 抛出异常的条件 ensures 方法的输出 阅读全文

摘要： 第一次作业 类图 代码规模 复杂度 协作图 由于需求是一部电梯，所以只需要考虑线程的新建和运行。我采用了生产者-消费者模型，输入和处理相对独立。但是电梯类被我内置了过多方法，显得有些臃肿。至于捎带规则，考虑到需要输出电梯的每一步移动，我采用逐层扫描的方式，每到一层就查询是否有新的可捎带请求。这次实现 阅读全文