SAT数据结构与组合测试生成

有效的布尔可满足性算法必然包括有效的数据结构。本文深入地分析了用于回溯搜索SAT算法的数据结构，指出了它们各自所具有的优势和不足。并将SAT应用于组合电路的测试生成中。根据应用的特点和在分析的基础上，设计并实现了一个主要是针对组合测试生成的SAT算法，初步的实验结果证明了它在测试生成应用中的有效性。     

保障性住房套型设计及产业化模块适应性研究

为顺应住宅产业化的发展趋势,转变保障性住房套型平面的设计思想与设计手法势在必行。以天津市已建成的保障性住房为研究对象,通过走访调研,了解设计方案与实际居住情况的差异性,并从"功能"、"舒适性"与"空间关系"三个方面对户型平面进行量化分析,基于标准化、模数化以及舒适性的原则,提出以集成卫生间和集成厨房作为基础模块进行保障性住房套型平面设计的方法,实现套型平面的多样性设计,并作出户型模块的初步组合,分析结构设计与施工方法的可行性,为实现保障性住房模块化建造提供理论依据。     

钢结构外网架施工技术

随着科学技术的发展,箱型弯扭结构在建筑钢结构工程中得到了广泛的应用,其施工技术也得到不断进步。其中采用现代高新技术与传统施工工艺相结合的方法,以效率高、操作方便、成本低、安全可靠而得到了广泛应用。文章介绍了天津天狮国际健康产业园教育培训中心项目钢结构外网架的施工技术。     

基于语义的采油工程领域数据集成系统研究

针对采油工程领域海量、分布、异构的数据源,在构建领域全局语义模型的基础上,提出一套基于语义的采油工程领域数据集成系统(Oil Production Engineering Semantic-based Data Integration System, OPSDS)。该系统通过对领域数据模型进行本体抽取、本体演化、本体合并、约束推理,建立适合采油工程领域的全局语义数据模型,为用户和上层应用程序提供基于语义的数据服务。     

基于故障映射的并行故障仿真方法

提出了基于故障映射的4值并行故障仿真方法.这一方法首先把电路划分成无扇出区域和扇出茎区域,然后将非扇出茎故障映射为扇出茎故障,减少了需要显式并行仿真的故障数目,提高了仿真器的性能.实验结果验证了文中方法的有效性.     

数字电路测试生成的基本算法

计算机辅助测试（CAT）工具有助于数字电路测试的自动化，这主要是由于使用了有效的算法和相应的软件结构。文章主要介绍了测试生成领域有重大影响的基本要领和算法。     

合理使用多媒体,优化数学课堂教学

多媒体课件辅助教学作为一种新型的教学手段,能激发学生的学习兴趣,优化课堂结构,提高学习质量,而且有助于学生创造性思维的培养.在数学教学中合理地运用现代多媒体的演示进行辅助教学,就能起到事半功倍的效果,更好地优化数学课堂教学.     

基于扇出茎区域的并行故障仿真方法

提出基于扇出茎区域的4值并行故障仿真方法.把电路划分成无扇出区域和扇出茎区域.之后则把非扇出茎故障映射为扇出茎故障.该方法极大地减少了需要显式并行仿真的故障数目,提高了仿真器的性能.关于测试基准电路的实验结果论证了论文所提出方法的有效性.     

一种领域科学数据云及服务的实现

给出一种科学数据云及服务的模型及实现流程.该模型利用SOA技术、语义集成技术、虚拟化技术等,把物理上分布在不同地方的数据工作站,逻辑上统一起来进行管理,建立一个领域科学数据云.用户可以在任意位置、使用各种终端获取数据资源.基于科学数据云,把科学领域内的全部应用服务集成为科学数据云的服务,所提供的云服务,具有数据安全可靠、客户端低需求、无缝共享数据、容错灵活和无限扩展等特点.最后,采用本文提出的模型构建了油气井生产工程领域数据云,解决了海量、分布式异构数据源的有机集成和无缝共享问题;组建一个面向油气勘探生产领域,集生产管理、设备管理、工作流程控制、优化设计、故障诊断、辅助决策等功能为一体的”云”服务系统,实现油气勘探生产领域的数据资源、计算资源以及业务应用系统的高效整合.