Modelica ConstrainedBy与通用编程语言的区别
摘要:1. 通用编程语言里面我们定义变量,那么这个变量会被类型约束起来,赋值的时候只能是这个类型的对象或者是这个类型的子类型对象; 2. 又或者通用编程语言里面提供了泛型的功能,对泛型可以是任意类型,泛型约束就限定了这个类型的范围,也是类型约束,java中使用extend进行泛型上界约束,kotlin使用
阅读全文
posted @
2023-06-30 10:29
流浪的夜空
阅读(75)
推荐(0) 编辑
LicenseGenerator注册机
摘要:# LicenseGenerator注册机 ## 目标 基于交互式命令的注册机、加密、解密、签名 ## 通用诉求 1. 生成非对称公私钥 2. 私钥签名 3. 公钥验签 ## 业务诉求 - 基于公钥密码学的非对称加密算法,客户端存储公钥,管理员存储私钥,公钥分发到各个客户端,私钥管理员唯一存储; -
阅读全文
posted @
2023-06-14 07:49
流浪的夜空
阅读(405)
推荐(0) 编辑
交互式命令行
摘要:市面上有不少交互式命令行工具 picocli\jline\kotlin-REPL\jshell 有些直接可以使用,有些需要部分改造,我使用Picocli-shell-jline项目的基础上实现了一款交互式命令行的LicenseGenerator工具 #### 引入maven依赖 ```mvn inf
阅读全文
posted @
2023-06-13 17:32
流浪的夜空
阅读(102)
推荐(0) 编辑
JNR调用lapack
摘要:采用Windows平台,下载地址: https://icl.utk.edu/lapack-for-windows/lapack/index.html#libraries 注意事项里明确说明了,如果调用失败,是依赖关系没解决 libgfortran-3.dll libgcc_s_dw2-1.dll 下
阅读全文
posted @
2023-06-13 14:45
流浪的夜空
阅读(17)
推荐(0) 编辑