计算机实践向理论的回归

软件工程研究软件开发过程所需的模型、方法和工具。UML是软件工程实践中的重要工具,它可以对软件进行规约、可视化、构造和建档。本文以UML的状态图为例,讨论了其在十字路口的信号灯的控制中的应用,指出了其在软件需求分析中的建模作用,并揭示了软件工程与计算机科学之间的关系。最后,指出了当今软件工程的发展与实践是在向 向计算机科学理论回归,从而作为计算机科学的理论基础的离散数学对实践的指导作用就显而易见了。     

基于EM的启动子序列半监督学习

启动子的预测对于基因的定位有重要意义.已有多种对启动子进行预测的算法,涉及到信号搜索、内容搜索和CpG岛搜索等多种策略.基于马尔可夫模型的启动子分类方法也有研究,其中的转移概率都是直接通过统计已标号训练样本序列得来的.将半监督学习思想引入启动子序列分析中,推导出转移概率等参数的最大似然估计公式.实验中将待测试基因序列片段同已标号训练样本混合,利用得出的参数值对基因序列片段进行识别,使用少量的已标号的样本数据能得出较好的启动子识别结果.     

基于轮询方式综合业务总线LAN的优先级控制

为了保证话音、视频、数据等综合业务在计算机网络通信中的服务质量QOS,需要解决优先级控制问题。为此,在保证高优先级帧尽可能优先发送,同时适当兼顾低优先级,特别是最低优先级帧发送的前提下,首次提出了“改进型轮询方式”,从而扩展了轮询介质访问方式在综合业务总线LAN中的应用。模拟实验表明,改进后的协议提高了综合业务总线LAN的QOS。     

基于Grasshopper的汽车格栅CAS模型参数化设计

参数化设计是目前汽车造型发展的重要趋势之一。一般参数化设计造型特征较为复杂,汽车CAS设计师需花费很长时间来构建三维模型,影响开发周期。运用Grasshopper参数化设计工具快速准确地完成前格栅CAS模型并通过调整参数即时衍生出多个备选方案。与传统建模方式相比,参数化设计通过参数驱动模型,缩减方案的选择周期,同时直观快速的参数化设计模型拓展了设计师的思维,激发新的创作灵感,对以后的汽车参数化造型设计有一定的启发性和指导意义。     

无支持度约束的靶向式关联规则挖掘

为解决不考虑支持度时关联规则挖掘中数据项集组合爆炸引起的信息湮灭问题,给出全属性项目集、完全关联规则、关联规则的关键前提等概念。证明以关键前提的超集作为前提的关联规则也一定是完全关联规则,即向上闭合特性。根据该原理设计一个能够消除大量冗余关联规则的靶向式关联规则挖掘算法。通过挖掘实例验证了该算法的可行性和有效性。     

证据理论合成公式的讨论及一些修正

D-S证据理论作为一种不确定推理方法,已经广泛用于数据融合和目标识别领域。但是D-S 证据合成公式存在不足之处,使证据理论的应用受到了一定的限制。鉴于此,Yager 对合成公式作了改进,但改进后的合成公式又存在着新的问题。文[2],[3],[4]针对Yager 合成公式进行了一些改进。综合比较了以上几种合成公式,并对文[4]的合成公式进行了一些修正,使其满足结合律,提高了计算效率。     

如何做好施工单位的工程造价管理工作

结合多年工作实践,探讨了如何做好施工单位的工程造价管理工作,从造价管理人员,技术与经济措施,质量安全管理,竣工结算阶段造价管理四方面阐述了做好工程造价管理工作的方法,以期有效控制工程造价,实现效益最大化。     

混凝土模袋技术在国际界河护岸工程中的应用

混凝土模袋系引进技术 ,作为护岸应用于中蒙界河哈拉哈河。对护岸边坡选择、护坡厚度计算、护岸结构和混凝土配合比作了介绍。总结了高寒地区抗寒措施。分析了此技术的优点和效益     

临江工作井施工过程支撑轴力分析

利用三维数值分析的方法,按照流固耦合分析的理论对临江盾构工作井的施工全过程进行模拟分析,通过计算分析工作井支撑轴力的变化情况及规律,对工作井支撑设计以及施工提供参考性意见。     

信息表的闭离散化方案研究

提出对象域U的有序划分概念,讨论一种特殊的离散化方案（闭离散化方案）。给出对象域U的有序划分对应的闭离散化方案获取算法CDA,分析闭离散化方案与对象域U的有序划分之间的关系,证明了闭离散化方案在离散格到划分格的映射f下能保持交并运算。