排序方式: 共有32条查询结果,搜索用时 15 毫秒
1.
构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统.传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题.偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证.但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态.而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用.对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法. 相似文献
2.
3.
4.
针对现有的软件攻击技术分类方法不能满足自动化建模需求的问题。本文提出了一种面向自动化建模的软件攻击技术分类方法——POPDDA。该方法分析了软件攻击技术在实现自动化建模过程中必要的属性信息,依此实现对软件攻击技术的分类,并根据Amoroso分类标准对POPDDA做出评价。最后基于POPDDA构建了相应的攻击知识库,利用攻击知识库实现自动化攻击模型的创建,并结合实验对建模效果进行分析。结果表明该分类方法能够满足Amoroso分类标准与自动化建模的需求,并解决了手工建模效率低、不精确与模型重复性构建的问题。 相似文献
5.
主要介绍柳州市广播电视中心8讯道数字标清电视转播车的总体设计思路、详细技术方案,特别是视音频系统的选择、车厢内部布局的考虑,以及车体、监看、通话、外接板、配套设备等系统。 相似文献
6.
可拓设计理论方法综述与展望 总被引:1,自引:0,他引:1
为了针对产品创新设计中的矛盾问题寻求最佳设计方案,提出一种可拓设计理论方法,该方法集理论、实践、科学、哲学和方法论为一体,具有设计目标清晰、冲突消解过程有序、方案输出结果满意等特点。通过分析比较发明问题解决理论、基于规则/实例推理、约束松弛、协商、回溯、可拓设计等常用于产品创新设计过程中的冲突问题消解方法,论述了可拓设计方法最大的特色在于模型化、形式化、定性与定量相结合,是一种智能化处理设计对象、设计系统的现代设计方法;系统介绍了可拓学和可拓设计的形成及相互关系、可拓设计的研究方法和设计原理,对可拓设计各步骤环节的研究现状进行了综述,论述了目前存在的不足及今后的发展方向与思路;阐述了可拓设计方法及其计算机实现的策略生成系统,对几种典型的可拓设计软件系统做了简要介绍;最后对全文进行总结,展望了今后的研究目标及需要解决的研究难点。 相似文献
7.
8.
9.
关于提升中层管理者执行力的思考 总被引:1,自引:0,他引:1
何路 《武汉冶金管理干部学院学报》2010,20(4):31-33
一个企业的执行力很大程度上取决于中层管理者的执行能力,但受种种原因影响,我国企业的中层管理者执行能力偏低并难以得到提升,因此,必须从思想、能力、制度和文化建设几方面入手,提出改变的方法。 相似文献
10.
在我国城市化进程脚步不断的加快下,城市工程的建设项目越来越多,建筑行业得到了快速的发展,建筑工程的结构也逐渐多样化。混凝土结构正逐渐成为一种主要的施工结构,因此提高混凝土的浇筑质量正逐渐成为当前建筑施工中的重点。基于此,本文建筑工程施工中混凝土的浇筑施工技术进行探讨。 相似文献