市政综合管廊施工进度风险评价研究

为更好解决综合管廊的施工中进度风险等问题,本文选取包头某综合管廊为研究对象,从降低风险的角度出发,通过研究进度风险分析相关理论,建立市政综合管廊施工进度风险评价体系。并经维恩图筛选风险指标和问卷调查分析影响风险因素。最后,采用鱼刺图法对已构建的市政综合管廊项目施工进度风险的指标因素进行阐释分析,定性的分析出五大类风险重要性。为降低综合管廊施工进度风险提供依据,加快我国综合管廊的建设。     

单装单卸模式下集装箱装卸系统集成调度优化

从考虑三阶段作业的整体调度出发,对集装箱码头装卸设备调度进行集成优化,考虑了码头集装箱装卸作业中的设备的特点,以最小化系统所有集装箱作业的总完成时间（makespan）为目标函数,建立了一个混合整数规划模型.另一方面,考虑到大规模情况下不易求解的问题,以减少设备阻塞时间和空闲时间为目标,设计了基于岸桥阶段作业能力的轮廓适合启发式算法,求得集装箱码头集成调度问题的近最优解.通过数据实验,验证了算法的可行性和优越性.     

装甲战车训练模拟器综合显示终端仿真系统设计与实现

采用模拟器进行数字化武器装备的操作训练是当今信息化装备发展的需要,综合显示终端仿真系统是装甲战车训练模拟器中重要的组成部分.基于实装通过在PC机上VAPS平台和VC 开发环境相结合来构建仿真系统,可以降低设计成本,缩短设计周期.介绍了仿真系统的结构、设计思想和实现方法,给出了系统组成框图和开发流程,重点研究了仿真界面显示和外部驱动程序等关键问题,实现了某型装甲战车训练模拟器综合显示终端仿真系统,满足了装甲车辆综合显示终端信息化训练的需要,具有较高的军事和经济价值.     

一类有限变换的指数和周期

对一类有限变换所生成的单演半群进行探讨,研究一类有限变换的指数和周期的求法。     

单通道通讯模式异步流水线控制器

为了实现异步电路在实际应用中的低功耗、高性能特性,提出了一种基于单通道通讯协议的高速异步流水线控制单元和一种使用Muller C单元的高鲁棒性的QDI(quasidelay insensitive)异步流水线控制单元。第1种异步流水线控制单元采用独立的正反向响应电路,使得比近期提出的超高速异步流水线控制单元GasP电路的正向响应减小了50%的信号翻转。该电路使用TSMC 0.25μm CMOS工艺实现,HSPICE模拟结果表明与GasP电路相比正向响应时间减少38.1%,可以工作在2.2 GHz;第2种控制器与流行的QDI异步控制器STFB(single-track full-buffer)电路相比,以较少的面积代价,实现了时序验证上的极大简化。     

基于UML活动图的测试用例生成

本文首先给出了形式化的UML活动图生成测试场景的覆盖准则,然后依据覆盖准则提出UML活动图转化测试场景的算法(ATOS)将活动图转化为测试场景,最后使用算法(STOT)将测试场景转化为测试用例,有效地解决了UML活动图到测试用例的自动生成,减少了编写测试用例的时间。     

BIM情境下综合设施管理服务供应商激励契约

为有效激励综合设施管理(IFM)服务供应商应用BIM进行IFM外包服务,实现BIM在IFM过程中的应用价值与IFM项目绩效,基于委托代理理论,针对IFM外包BIM应用过程中IFM服务供应商需要执行的BIM系统运营服务和IFM业务咨询服务两项任务,构建多任务委托代理模型;依托模型,分析在两项服务任务成本相互独立、相互依存...     

一种基于标准单元芯片电源线网的静态电压降的分析方法

提出了一种对基于标准单元芯片计算其电源线网的静态电压降的分析方法.该方法通过计算每个标准单元的功耗得到其电流源模型,然后采用导线电阻模型和标准单元等效电流源模型生成电路网络,运用逐次块松弛迭代方法求解由上述网络生成的改进节点法方程.仿真结果表明,所提出的方法能与SPICE达到同样的精度,且计算速度更快,使用内存更少.     

数字经济时代融合式创新模式及技术成果转化路径

传统科技创新研究关注于技术创新或商业模式创新,随着数字经济占GDP份额不断提升,科技创新的跨界融合特征不断凸显,突出表现为技术创新与商业模式创新的融合式创新。从融合式创新的含义与特征出发,参考IBM和哈佛商学院的模式分类,将融合式创新分为盈利创新模式、组织创新模式、业态创新模式和市场反馈创新模式4种模式,考察了不同融合式创新模式对技术交易等成果转化方式和路径带来的影响和变化。为迎合数字经济时代跨界创新加剧的趋势,提出加强协同创新、紧抓市场需求、改善创新环境等举措推进融合式创新及其成果转化。     

二分系数作用下的线性齐次型

本文引入了一族置换对线性齐次型的系数作用,推广了M.Bras-Amorós等人提出线性齐次型的概念。特别地,研究了一族置换对一个型的作用为二分系数作用时线性齐次型的基本结构。