排序方式: 共有54条查询结果,搜索用时 15 毫秒
1.
本文就《中国小康住宅示范工程集萃》中收录的41个优秀城市示范小规划设计方案所涉及的小康住宅面积标准、小区用地标准等问题进行分析研究。认为国家应对城市示范小区的住宅面积标准、小区用地标准进行必要的控制。 相似文献
2.
3.
随着区块链技术在各行各业的广泛应用,区块链系统的架构变得越来越复杂,这也增加了安全问题的数量.目前,在区块链系统中采用了模糊测试、符号执行等传统的漏洞检测方法,但这些技术无法有效检测出未知的漏洞.为了提高区块链系统的安全性,本文提出了基于形式化理论的区块链系统漏洞检测模型VDMBS (Vulnerability Detection Model for Blockchain Systems),该模型综合了系统迁移状态、安全规约和节点间信任关系等多种安全因素,同时提供了基于业务流程执行语言BPEL (Business Process Execution Language)流程的漏洞模型构建方法.最后,本文用NuSMV在基于区块链的电子投票选举系统上验证了所提出的漏洞检测模型的有效性,实验结果表明,与现有的五种形式化测试工具相比,所提出的VDMBS模型能够检测出更多的区块链系统业务逻辑漏洞和智能合约漏洞. 相似文献
4.
5.
公众参与的城市规划制度探讨 总被引:3,自引:0,他引:3
陈锦富 《武汉城市建设学院学报》1999,16(3):14-18
分析了西方资本主义国家公众参与城市规划制度形成的社会,经济,政治背景,结合我国社会经济政策的重大转变,阐述建立公众参与城市规划制度的必要性,提出公众参与城市规划的决策模式和制度框架。 相似文献
6.
针对传统的Web service安全性测试方法存在的低效性和盲目性,提出了一种基于Web service日志挖掘的安全关联规则挖掘算法,并阐述了算法的应用环境。通过该算法挖掘出正常行为的关联规则,采用错误注入的方式对Web service注入预先设计的构造算子,并把执行后的日志与关联规则进行比较,进而发现Web service存在的安全性问题。实验结果表明,该算法较大地提高了日志挖掘的效率及覆盖率,同时应用该算法能较好地检测出Web service的安全性问题,进一步表明提出的算法是可行有效的。 相似文献
7.
平面密闭制曲的生产工艺,在全国各地已有不少厂家投入使用,但对这个工艺流程到底效应如何、则报道很少。我厂自行设计建造年产三千吨立体型酱油车间生产流水线,《平面通风制曲机械化的新尝试》一文,曾在《中国调味品》杂志1985年第3期和第11期作了介绍。本文专门对嘉善酿造厂密闭通风工序的设备特点和操作管理方法介绍给大家。把我们多年来的操作实践中总结出来的成功经验供同行们参考讨论。 相似文献
8.
数据库受恶意事务入侵是危害数据库系统的重要根源,在数据库管理系统(DataBase Management System,DBMS)中提高对恶意事务的检测能力尤为重要.在一种基于事务时序图的DBMS恶意事务入侵检测机制的基础上,提出了一种基于数据库审计机制的合法事务时序图自动生成方法及其算法.方法首先引入自动化测试工具生成完备审计信息,然后规则化审计表并对其按用户名及事务号进行索引,最后利用产生算法和合并算法生成合法事务时序图.实验表明该方法具有较好的性能及较高的准确率,生成的事务时序图直观有效. 相似文献
9.
从目前国内研究生"软件测试理论与技术"课程教学实际出发,在分析目前国内研究生学习基础、学习需求及学习能力的基础上,提出一种紧密结合测试案例、测试理论与实践交叉进行的教学新方法。 相似文献
10.
陈锦富 《武汉理工大学学报》2000,22(3):34-37
城市规划信息系统包含空间信息和非空间的社会经济信息 ,本文在论述两类信息特征的基础上 ,介绍了系统获取和更新这两类信息的方法 ,着重阐述建设项目文件流程管理对空间信息更新的作用和途径 ,以及建立城市标准空间统计单元的重要性 ,提出运用计算机网络技术获取和更新社会经济信息的方法 相似文献