https://bujibujibiuwang.github.io/A minimal, responsive and feature-rich Jekyll theme for technical writing. 2025-02-15T09:04:01+00:00 ZoeyWang https://bujibujibiuwang.github.io/ Jekyll © 2025 ZoeyWang /assets/img/favicons/favicon.ico /assets/img/favicons/favicon-96x96.png 2025-02-09T11:00:00+00:00 2025-02-15T09:02:54+00:00 https://bujibujibiuwang.github.io/posts/PDPTW/ ZoeyWang

1.问题描述 带时间窗的取送货路径规划问题（pickup and delivery problem with time window，PDPTW）是路径规划问题的一个重要子类，在供应链领域比较常见，例如某物流企业需要指定交易未来某段时间内车辆的运输调度计划，在满足货物运输要求前提下最小化运输成本。 （1）对车辆，已知起始停靠点，结束停靠点，最早开始时间，最晚结束时间，最大行驶距离，速度，最大载量，匹配关系等信息 （2）对订单，已知货物量，提货地点，提货服务时间，提货时间窗，送货地点，送货服务时间，送货时间窗，匹配关系等信息 所有车辆从其对应的起始停靠点，依次取送货，最后回到结束停靠点，假设有V1，V2，V3三辆车，六个订单A，B，C，D，E，F。运输路径用图表示如下： 2.数据分析 数据有3张表：地点信息表，车辆信息表，订单信息表 （1）地点信息表：所有订单可能取送...

2025-01-22T15:00:00+00:00 2025-01-22T15:00:00+00:00 https://bujibujibiuwang.github.io/posts/PAWeek5/ ZoeyWang

1.what is type inference 静态类型语言statically typed languages：在编译时（程序运行前），每个binding的类型都已经确定，因此类型错误会在编译时提醒，比如Java，C，ML 动态类型语言dynamically typed languages：每个binding的类型不会提前确定，在运行时才会确定，因此类型错误会在运行时报错，比如Racket，Ruby，Python 不同于Java和C，ML是隐式类型，即不需要程序员写下明确的bindings类型，ML中的type-checker会同时进行类型推断和类型检查。ML中的类型推断和参数多态polymorphism也往往关联，但是这实际上是两个概念，比如Java支持多态但是不支持推断。 ML中的类型推断算法如下： 按顺序决...

2024-12-30T14:00:00+00:00 2025-01-22T15:14:15+00:00 https://bujibujibiuwang.github.io/posts/PAWeek4/ ZoeyWang

1.terms first-class functions：一阶函数，可以被计算，传递和存储的函数，和值一样 high-order functions：高阶函数，可以读取和返回其它函数的函数 function closures：函数闭包，可以使用在函数外部定义的变量，让一阶函数更有用 functional programming：函数式编程，主要特征是大部分场景下不使用可变数据，把函数当成值使用 2.take functions as arguments 一阶函数比较普遍的用法是把他们当作参数传递给其它函数，下面函数中，f是一个函数，n_times代表执行f(x)函数n次 fun n_times(f,n,x) = if n=0 then x else f(n_times...

2024-12-11T14:30:00+00:00 2024-12-11T14:30:00+00:00 https://bujibujibiuwang.github.io/posts/SSH%E5%92%8CHTTPS/ ZoeyWang

Difference between SSH and HTTPS in GitHub 1.SSH和HTTPS介绍 SSH（Secure Shell）和HTTPS （Hypertext Transfer Protocol Secure）是两种与Github仓库交互的方法，GitHub提供SSH和HTTPS作为身份验证和通信协议，每种协议都有其优点和使用场景 SSH：SSH是一种加密网络协议，提供一种安全的方式来访问和管理远程系统。对于Github，SSH允许用户安全地进行身份验证并与GitHub服务器通信。SSH使用公钥和私钥对进行身份验证，提供了高度的安全性。 HTTPS：HTTPS是互联网上广泛使用的安全通信协议。对于Github，HTTPS允许用户使用加密连接访问GitHub存储库并与之交互，HTTPS依赖于用户名和密码或个人访问令牌进行...

2024-11-24T03:00:00+00:00 2024-11-24T03:00:00+00:00 https://bujibujibiuwang.github.io/posts/PAWeek3/ ZoeyWang

1.Conceptual Ways to Build New Types 前面介绍的各种基本类型，比如int，bool，char等，以及一些复合类型：tuple，lists, options等，接下来介绍更多创建复合类型的方式。 对于任何语言，有3种最重要的类型构建块： Each of：一个t值包含t1,t2…tn的每个值 One of：一个t值包含t1,t2…tn的一个值 Self reference：一个t值指向其它的t值 许多数据类型都可以用这三种构建块描述，可能在不同语言中命名不同 构建ML的each of类型：records 构建ML的one of类型：patter-matching 2.Records records是Each of类型，每个组成部分都...