摘要：针对超高层建筑火灾探测器的优化布点问题,引入斯塔克尔伯格模型的思想,在不同长、宽空间结构内提出了一个更经济的布点方法--矩形、三角形优选法,并从布线难度、工程量及布线成本三个维度对矩形、三角形优选法进行了分析研究。

摘要：基于当前高职院校创新创业教育中存在的主要问题,提出高职院校创新创业教育与职业教育、专业教育融合起来的创新创业教育改革规划设计,探索高职院校创新创业教育改革路径。

摘要：计算机语言的形式语义学是计算机科学的重要研究内容之一,它包括:公理语义、操作语义、指称语义及代数语义。常见的公理语义是通过Hoare三元组构造逻辑系统,使得一个Hoare三元组是正确的当且仅当它可以从该逻辑系统推出;操作语义是从迁移系统的角度研究程序的逐步行为;指称语义是指用相应的数学对象(如,集合,函数等等)对语言的语义进行注释,其基础是论域理论及λ-演算;代数语义是用代数方法对语言的语义进行注释,其基础包括范畴论、抽象数据类型的说明与实现等。另外,最弱前置条件语义及最弱线性条件语义也是一种公理语义。它们转化后置条件为最弱(线性)前置条件。这两者的区别是前者对应全正确的程序(是指程序一定终止);而后者对应部分正确的程序(是指程序不一定终止)。