随笔档案「2021年7月」 - Jane_leaves

NJU Static Program Analysis 09: Pointer Analysis II

摘要：NJU Static Program Analysis 09: Pointer Analysis II Abstract Understand pointer analysis rules Understand pointer flow graph Understand pointer analys 阅读全文

posted @ 2021-07-25 16:36 Jane_leaves 阅读(86) 评论(0) 推荐(0)

NJU Static Program Analysis 08: Pointer Analysis I

摘要：NJU Static Program Analysis 08: Pointer Analysis I Abstract What is pointer analysis? Understand the key factors of pointer analysis Understand what w 阅读全文

posted @ 2021-07-23 15:48 Jane_leaves 阅读(65) 评论(0) 推荐(0)

NJU Static Program Analysis 07: Interprocedural Analysis

摘要：NJU Static Program Analysis 07: Interprocedural Analysis Abstract How to build call graph via class hierarchy analysis Concept of interprocedural cont 阅读全文

posted @ 2021-07-21 22:44 Jane_leaves 阅读(99) 评论(0) 推荐(0)

NJU Static Program Analysis 06: Data Flow Analysis IV

摘要：NJU Static Program Analysis 06: Data Flow Analysis IV 阅读全文

posted @ 2021-07-18 00:15 Jane_leaves 阅读(89) 评论(0) 推荐(0)

LianYunGang OI Camp: Contest #2

摘要：LianYunGang OI Camp: Contest #2 本次比赛选择了一些背包动态规划问题。总体难度适中，预期人均通过三题以上。 A: Knapsack 1 Link: https://atcoder.jp/contests/dp/tasks/dp_d?lang=en 简单的 01背包问题阅读全文

posted @ 2021-07-17 21:06 Jane_leaves 阅读(100) 评论(0) 推荐(0)

NJU Static Program Analysis 05: Data Flow Analysis III

摘要：NJU Static Program Analysis 05: Data Flow Analysis III 阅读全文

posted @ 2021-07-14 23:50 Jane_leaves 阅读(114) 评论(0) 推荐(0)

NJU Static Program Analysis 04: Data Flow Analysis II

摘要：NJU Static Program Analysis 04: Data Flow Analysis II 阅读全文

posted @ 2021-07-11 19:58 Jane_leaves 阅读(79) 评论(0) 推荐(0)

NJU Static Program Analysis 03: Data Flow Analysis I

摘要：NJU Static Program Analysis 03: Data Flow Analysis I 阅读全文

posted @ 2021-07-08 22:24 Jane_leaves 阅读(78) 评论(0) 推荐(0)

一种城市居住区划配套设施完备情况的评估模型

摘要：本文提出了一种基于网络地图数据库，使用 K-means 算法与可视化技术的智慧城市评估模型。该模型可以用于评估城市居住区划的相关设施配套情况。我们具体地以南京市与苏州市为例，比较评价了两城市的居住区划的科教文化场所配备情况。阅读全文