排序方式: 共有18条查询结果,搜索用时 0 毫秒
1.
在建筑施工中砖砌墙墙体裂缝虽然裂缝很小,但由于影响了墙面装饰的美观,不能得到消费者的认同。因此,如何做好砌块墙这一看似简单的工作,是施工单位急待解决的问题。在砌块墙体开裂的维修中,我们发现,三方面问题较为突出:一是房屋顶层墙体开裂现象;二是加气混凝土砌块墙开裂现象;三是砌块墙斜顶砖砌筑问题。 相似文献
2.
在理论证明的基础上,给出了一个哈斯图求解的算法。该算法可直接应用关系图方便、快捷地求取其盖住关系,进而得到哈斯图,从而完善了有关哈斯图求解的理论及算法。 相似文献
3.
根据城市路网的特点,提出了一种新的路网图的分割方法;在此基础上,提出两种网格最短路径并行算法GPSPA1和GPSPA2.这两种算法克服了传统并行标签算法只适合在共享内存的并行机器上使用的缺点,适合网格环境下使用.实验结果表明:分割器不能完全分割源点和目标点时,GPsPA2比GPSPA1效率高;完全分割时,两种并行算法的加速比大约都是3.GPSPA2应用于交通信息服务网格系统2.0版中. 相似文献
4.
在大数据时代,数据已经渗透至各个行业,并且呈现出数量大、动态性、类型复杂等显著特征,尤其是互联网金融等为代表的典型行业.本文简要阐述了大数据的研究现状与重大意义,探讨了大型数据资源服务平台架构及其3个主要组成部分:数据资源识别和获取、数据资源存储和分析、服务支撑平台,并介绍了项目组在面向可信网络金融交易的大型数据分析研究与应用方面所开展的工作.具体来讲,围绕软件行为认证等关键技术,研究并开发了以行为认证为核心的可信网络金融交易系统,支持在线交易过程中产生的用户行为数据与软件行为数据的实时监控和动态展示. 相似文献
5.
无回路规则系统的Petri网验证方法 总被引:1,自引:0,他引:1
构建了无回路规则系统的加标ω-Petri网模型,产生了相应的可达树,利用可达状态反映规则系统所包含的所有可达关系,并记录;提出了可达状态的反向推演森林及其算法,实现规则系统命题间可达路径的显式化.在此基础上,给出了规则系统错误的判定定理及其检测算法,实现了结构错误的有效判定和分析. 相似文献
6.
7.
Petri网是一种重要的形式化建模工具,有界性是Petri网的重要性质之一.该文关注于这一性质并提出了一种新的无需存储全部状态空间的算法以求解Petri网库所界,主要思想为在生成状态空间过程中,通过引导消除可达图的部分回路同时结合T不变量的相关性质,以实现通过存储部分状态来精确求解每个库所的界.基于模型检测比赛的公开数据集进行了对比实验,通过对求解库所界的不同方法及其实验结果进行比较分析,说明了本文算法的有效性. 相似文献
8.
针对异构环境下任务图为TIG(task interaction graph)的问题,利用松弛标记法善于利用邻居属性处理大量约束的特点,提出一种任务调度算法.算法把任务看作目标对象,处理器单元看作待分配标记,根据对象间所有可能关系,逐渐排除不相关的处理器单元,选择计算和通信综合性能较好的处理器单元.在兼顾任务执行的计算和通信需求的情况下,能够合理分配资源、提高处理速度、缩短整个应用程序的执行时间.实验结果与用穷举法得出的最优结果比较显示,本算法能较理想地解决异构环境下基于任务交互图的调度问题. 相似文献
9.
10.
深度学习为城市空气污染物浓度预测提供了更为强大的数据拟合能力,为空气污染预测提供全新的智能计算方法.为此,提出了一个基于自编码神经网络的污染物浓度预测模型AEPP(auto-encoder-based pollutant prediction).该模型包括编码器和解码器两个部分.其中,编码器用于提取出时间序列污染物浓度数据分布特征,即语境向量;解码器利用提取的特征预测未知时间内污染物浓度数据.模型中编码器和解码器采用多层LSTM(long short-term memory)模型结构,实现长时间依赖预测目标.实验表明,提出的模型可以提高对污染物浓度的预测水平. 相似文献