我们在绘制原理图和PCB过程中，原理图符号和PCB封装的绘制、3D模型的查找和绘制需要占用大量时间。 贸泽网站提供了一款元器件库工具——Altium Library Loader，它依靠贸泽背后强大的数据库和器件库，可以将多种元器件的原理图符号、PCB封装、3D模型直接导入Altium Design ...
分类：
其他好文 时间：
2020-05-28 00:30:53
阅读次数：
335
琐碎的前言 组内需要搭建一个内部组件演示平台，就去研究了下ant-design的源码。意外发现了藏在最下方友情链接栏中的换肤功能。如下图所示： 为了方便演示，我把colorpicker的position改为fixed colorpicker 调用方式 <ColorPicker type="sketc ...
分类：
其他好文 时间：
2020-05-26 11:56:37
阅读次数：
124
场景描述 1.后台用laravel 监听的 80 端口，前端页面用 blade 模板生产， laravel 路由访问 （www.main.com） 2.后端用 ant-design-pro, 构建后 用 express 部署， pm2 守护进程，在 5050 端口启动 3.子域名 admin.mai ...
分类：
其他好文 时间：
2020-05-26 11:56:07
阅读次数：
391
本文记录发布App Store 过程中，遇到的问题，以及解决方案。 上架App Store 河南油田项目 5.19号 三个问题 1. 2 Safety: User Generated Content2. 3 Performance: Accurate Metadata3. 2 Design: Min ...
分类：
移动开发 时间：
2020-05-25 09:35:41
阅读次数：
645
使用React简短代码动态生成栅格布局 作为 TerminalMACS 的一个子进程模块 React Web管理端，使用Ant Design Pro作为框架。 本文应用到的知识 1.样式文件less中方法的使用 2.for循环创建按钮和栅格布局(flex布局) 1. 最终效果及源码链接 作为前端新手 ...
分类：
其他好文 时间：
2020-05-24 09:15:45
阅读次数：
52
设计模式 设计模式（Design pattern） 是一套被反复使用、多数人知晓的、经过分类编目的、代码设计经验的总结。 使用设计模式是为了可重用代码、让代码更容易被他人理解、保证代码可靠性。 毫无疑问，设计模式于己于他人于系统都是多赢的，设计模式使代码编制真正工程化，设计模式是软件工程的基石，如同 ...
分类：
编程语言 时间：
2020-05-23 14:48:41
阅读次数：
49
1 JML语言的理论基础及应用工具链 1.1 JML语言 Java建模语言(JML)是一种行为接口规范语言，可用于指定Java模块的行为。它结合了Eiffel的“契约设计(design by contract)”方法和Larch系列接口规范语言的基于模型的规范方法，以及细化演算的一些元素。对JML语 ...
分类：
其他好文 时间：
2020-05-22 21:38:10
阅读次数：
77
模板接口 package design_pattern.template; /** * 模板设计模式 * * 抽取一个抽象模板类，同时定义模板方法 对于模板方法的实现，在子类中去实现 * * @author 陈彦斌 * */ public abstract class GetTimeTemplate ...
分类：
其他好文 时间：
2020-05-22 00:09:59
阅读次数：
32
log4j定义了8个级别的log（除去OFF和ALL，可以说分为6个级别），优先级从高到低依次为：OFF、FATAL、ERROR、WARN、INFO、DEBUG、TRACE、 ALL。 ALL 最低等级的，用于打开所有日志记录。 TRACE designates finer-grained info ...
分类：
其他好文 时间：
2020-05-21 19:48:37
阅读次数：
65
一、JML理论基础 1.概览 在概述JML之前我想我们应该首先了解契约式设计（Design by Contract, DbC）。DbC要求在软件程序设计时明确每一个模块单元在调用前后的状态变化，抽象出来就是要求明确前置条件、后置条件和不变式。和诸多设计模式一样，DbC可以说是一种方法学，一种软件开发 ...
分类：
其他好文 时间：
2020-05-21 19:02:25
阅读次数：
58
