The identification method for the validity of planning

规划有效性的识别方法

• 批准号: 19560611
• 负责人: AOKI Yoshitsugu
• 金额: $ 2.91万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2007
• 资助国家: 日本
• 起止时间: 2007 至 2010
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19560611/
• 关键词: 計画妥当性; 典型シナリオ; 帰納論理; 整合性; 計画様相; 可能様相; 必然様相; 計画整合性; 様相論理; 要望様相; 整合性判定アルゴリズム; 帰納推論; 公理系; 不可避様相; 願望様相; 計画事例; 計画様相論理; 計画図書; 建築評価; 安全性判断; シャッター・パラドクス

From a viewpoint such that we need the checking methodology for the consistency of the planning, we make typical planning scenarios based on the actual planning cases, and we examined the logical form in the scenario. As the result, we find the modal expressions of possibility and necessity, and then, we construct the axiomatic system of planning modal logic. Furthermore, we proposed an algorithm utilized this axiomatic system, and we confirm the effectiveness of the algorithm by the implemented computer program.

从规划一致性检验方法的角度出发，以实际规划案例为基础，构建了典型规划情景，并对情景中的逻辑形式进行了检验。在此基础上，我们找到了可能性和必然性的模态表达式，从而构建了计划模态逻辑的公理系统。此外，我们提出了一个算法利用这一公理系统，我们证实了算法的有效性，通过实现的计算机程序。

项目成果

確率論的に見たシャッター区画の構成理論

概率视角下的百叶窗隔室结构理论

• 发表时间: 2008
• 期刊: 日本建築学会計画系論文集 vol.73, no.634
• 作者: Zh;SHEN;M. KAWAKAMI;et al.;青木義次;青木義次;青木義次;青木義次;青木義次;青木義次;青木義次;青木義次;青木義次;青木義次;青木義次
• 通讯作者: 青木義次

建築の営みを問う18章

第18章质疑建筑工作

• 发表时间: 2010
• 作者: 青木義次;ほか
• 通讯作者: ほか

市街地の不燃建替えの可能性

城市地区不可燃重建的可能性

• 发表时间: 2010
• 期刊: 日本建築学会計画系論文集 vol.75, no.655
• 作者: Zh;SHEN;M. KAWAKAMI;et al.;青木義次
• 通讯作者: 青木義次

市街地境界の移動と安定性およびそのクリスプ性

城市边界的运动和稳定性及其清晰度

• 发表时间: 2009
• 期刊: 日本建築学会計画系論文集 vol.74, no.644
• 作者: Zh;SHEN;M. KAWAKAMI;et al.;青木義次;青木義次;青木義次;青木義次;青木義次
• 通讯作者: 青木義次

計画発想法

规划思路法

• 发表时间: 2009
• 作者: 青木義次;ほか;青木義次;青木義次
• 通讯作者: 青木義次