小康型城市示范小区规划设计评议

本文就《中国小康住宅示范工程集萃》中收录的41个优秀城市示范小规划设计方案所涉及的小康住宅面积标准、小区用地标准等问题进行分析研究。认为国家应对城市示范小区的住宅面积标准、小区用地标准进行必要的控制。     

基于日志挖掘的Web service安全关联规则挖掘算法及应用

针对传统的Web service安全性测试方法存在的低效性和盲目性,提出了一种基于Web service日志挖掘的安全关联规则挖掘算法,并阐述了算法的应用环境。通过该算法挖掘出正常行为的关联规则,采用错误注入的方式对Web service注入预先设计的构造算子,并把执行后的日志与关联规则进行比较,进而发现Web service存在的安全性问题。实验结果表明,该算法较大地提高了日志挖掘的效率及覆盖率,同时应用该算法能较好地检测出Web service的安全性问题,进一步表明提出的算法是可行有效的。     

剖面法系列程序

一、编制依据灌区规划是农田水利设计的主体。而土方工程量的计算又是规划设计的主要项目之一。计算土方工程量的传统方法是剖面法。就是用手工或求积仪求出各剖面的地面剖面线和设计剖面线之间的挖填方面积,然后求出挖填方量,再根据挖填方量进行方案比较,以求得最优的断面设计施工方案。     

基于形式化方法的区块链系统漏洞检测模型

随着区块链技术在各行各业的广泛应用,区块链系统的架构变得越来越复杂,这也增加了安全问题的数量.目前,在区块链系统中采用了模糊测试、符号执行等传统的漏洞检测方法,但这些技术无法有效检测出未知的漏洞.为了提高区块链系统的安全性,本文提出了基于形式化理论的区块链系统漏洞检测模型VDMBS (Vulnerability Detection Model for Blockchain Systems),该模型综合了系统迁移状态、安全规约和节点间信任关系等多种安全因素,同时提供了基于业务流程执行语言BPEL (Business Process Execution Language)流程的漏洞模型构建方法.最后,本文用NuSMV在基于区块链的电子投票选举系统上验证了所提出的漏洞检测模型的有效性,实验结果表明,与现有的五种形式化测试工具相比,所提出的VDMBS模型能够检测出更多的区块链系统业务逻辑漏洞和智能合约漏洞.     

公众参与的城市规划制度探讨

分析了西方资本主义国家公众参与城市规划制度形成的社会，经济，政治背景，结合我国社会经济政策的重大转变，阐述建立公众参与城市规划制度的必要性，提出公众参与城市规划的决策模式和制度框架。     

构建多样化社会社区的初探

随着社会主义市场经济的建设和社区开发的市场化,目前新开发的社区大部分只有高收入阶层才能进入,低收入阶层因为房价超过了自己的支付能力而被排斥在外,因此社区有同质化的趋势。本文通过说明社区社会构成同质化的不利,指出社区开发社会构成应该是多样化的,最后提出构建社会多样化社区的对策:政府适当干预社区开发;社区住房的适应性设计;社区规划设计的贡献,如改变景观设计手法。     

低碳视角下的城市街区空间结构模式探讨

街区是居民日常出行的集中场所,也是组织城市空间结构的基本单元。从居民的出行需求与各类设施的可达性需求出发,建构城市中低碳街区的空间结构,使各功能用地与空间可达性最大效用耦合,并以此为指导建设功能混合的城市街区,有助于减少主干路上的交通拥堵,降低街区内部居民的机动车出行比例,进而降低碳排放量。     

一种构件安全测试错误注入模型

构件特别是第三方构件的可靠性及安全性是影响构件技术发展的重要因素之一.目前在构件安全漏洞的测试方法和技术方面研究还不够深入.提出了一种构件安全测试错误注入模型FIM(faultinjection model of component security testing),并对FIM模型的相关定义及其矩阵形式进行了详细阐述,同时基于FIM模型给出了一种错误注入测试用例生成算法TGSM(test-case generating based onsolution matrix).TGSM算法根据矩阵形式的FIM模型生成满足K因素覆盖的解矩阵,解矩阵的所有行数据组成了错误注入测试用例.在研究项目CSTS(component security testing system)中实现了FIM模型,实验结果表明FIM生成的三因素覆盖错误注入测试用例效果显著,能用适当的测试用例触发绝大部分构件安全异常.FIM模型具有较好的可操作性及可用性.     

城市规划专业研究性教学体系建构

基于建构主义和人本主义思想的研究性教学是高校本科教育的发展趋势,是创新型人才培养的重要途径,是城市规划学科发展和城市规划建设实践的迫切需求。城市规划专业研究性教学体系的建构,不仅依赖于教学方法体系的变革,同时需要学科知识体系的更新和教学环境支撑体系的重组。     

数据库防攻击的合法事务时序图自动生成方法

数据库受恶意事务入侵是危害数据库系统的重要根源,在数据库管理系统(DataBase Management System,DBMS)中提高对恶意事务的检测能力尤为重要.在一种基于事务时序图的DBMS恶意事务入侵检测机制的基础上,提出了一种基于数据库审计机制的合法事务时序图自动生成方法及其算法.方法首先引入自动化测试工具生成完备审计信息,然后规则化审计表并对其按用户名及事务号进行索引,最后利用产生算法和合并算法生成合法事务时序图.实验表明该方法具有较好的性能及较高的准确率,生成的事务时序图直观有效.