论文部分内容阅读
装配式建筑施工质量风险管理研究
【机 构】
：
清原满族自治县建筑工程安全质量监督站
【出 处】
：
建筑工程技术与设计
【发表日期】
：
2020年4期
其他文献
针对工作流系统中存在的异常问题，本文提出了一个基于WF-net和ECA规则的工作流恢复网模型。主要对可预测和不可预测异常处理进行分析。模型设计时采用了WF-net结构，运行时可动
会议
携带证明的代码(Proof-Carrying Code，PCC)最早由Necula提出，其定义是可执行代码携带上关于自身安全性的形式证明。代码消费方不需要信任PCC代码的生产方，即可执行代码与安全性
会议
随着GIS的发展，地理空间数据的异构性和分布性的问题也日益突出，给地理空间数据的共享造成了很大的困难。本文针对地理空间数据共享存在的问题提出一种分布式异构空间数据共享
会议
统一建模语言UML为开发人员的软件设计提供了丰富的建模元素，但是模型元素之间缺乏准确的语义约束，无法保证用户构建的模型符合相关领域的业务规则。在军事电子信息系统需求描
会议
快速原型法是软件工程中需求分析中常用的一种方法，但在具体的应用中也发现一些问题，比如模型建立时的预见性差，对衍生需求的工作量难以界定等。针对上述问题，本文将软件工程中快
会议
在生产实践中，Web开发人员常常遇到应用服务器性能不能满足客户需求的情况，从事Web服务器性能调整的优化人员不断地从事着最大限度提升系统性能的研究和探索，以寻求一条最佳途径
会议