土工膜围堰在河道护砌施工中的应用

土工膜围堰在河道护砌施工中的应用苏天合，韩君平，王英林一、前言在水利工程建设当中，一般都要涉及到施工导流问题。对于修建闸涵、泵站等“点式”工程，施工场面集中，搭拆围堰、开挖导流渠都不是太难的问题，其费用占工程总投资的比例一般不会太大；然而，在有基流的...     

空间布局中估价函数的一种构造方法

研究如何利用有关问题域的启发信息以降低计算费用是人工智能求解的基本问题之一，本文以计算机结构布局设计为背景，提出了构造布局设计中估价函数的ＡＨＰ方法．通过计算估价函数值，采用最佳优先搜索策略，可避免组合爆炸，保证在有限的时空界限内找到满意解．本文所提出的方法不仅适用于空间布局设计，而且容易推广到一般设计问题，具有重要的应用价值．     

一种基于本体技术和用户搜索的自扩充知识地图*

企业知识管理系统中的知识地图面临知识存储分散、来源复杂、类型多样且不断变化等问题,严重影响了企业知识共享和知识重用.提出一种基于企业本体自动构建知识地图,并根据用户搜索动态维护和扩充知识地图的方法,最后对知识地图构建、扩充和利用进行了实例分析.     

基于ConGolog并发语言面向角色的工作流建模

长期以来 ,人们提出了各种工作流建模方法 ,但都缺乏对工作流模型形式化的描述手段 .面向角色的工作流建模把工作流看出是由各个角色之间的交互行为构成的系统 .因而 ,角色内部的复杂的行为活动以及角色之间的交互行为可以采用 Con Golog语言来定义 .本文提出了采用 Con Golog并发语言来描述工作流模型的方法 ,所建议的方法不仅使工作流模型具有严密的语义 ,并能对模型进行推理和验证     

混凝土试件强度的有限推论和思考

在室外温度(20±8)℃的条件下,对同一罐车的预拌混凝土,经由在出厂时、施工现场卸料时和浇筑到不同高度时,分别成型混凝土试块,又经标养28 d,测得混凝土试块强度的发展规律是:在出厂时成型的试块强度＜在施工现场卸料时成型的试块强度＜浇筑到不同高度时成型的试块强度.由此得出一个有限推论:在室外温度(20±8)℃的条件下,对同一罐车的预拌混凝土,在出厂时成型的试块强度合格,浇筑到不同高度时成型的混凝土试块强度也一定合格.这为客观界定在一定温度条件下的混凝土配制强度提供了依据.     

支持动态联盟的适应性工作流系统

分析了动态联盟企业对信息系统适应性的需求，提出了面向动态联盟的工作流概念模型，该模型的建立，采用了活动分解与分层递阶方法，将工作流系统分解为不同层次的方法，这一方法使每一工作流系统的问题复杂度得到降低，并增强了系统的重构能力，在此基础上，结合基于CORBA的功能封装与代理技术，建立了适应性工作流的系统框架，该框架可支持动态联盟信息系统的重构，软件重用和规模扩充。     

基于工业设计企业的多策略知识检索系统

为了提高工业设计企业的企业知识的检索效率,更好的达到知识共享重用,提出了基于工业设计企业的知识检索系统设计方法.分析了工业设计企业知识特征,针对企业的知识特征建立了基于本体可配置的企业知识库模型,通过本体表达企业知识结构,利用知识实例表达企业具体知识.以此为基础,研究了基于知识属性的知识推理方法,提出了可配置的多策略知识检索方法,在检索过程中利用用户配置信息和用户语境信息,通过知识推理对不同特征知识进行多策略知识检索.     

Configurable ontology mapping based on multi-feature

A configurable ontology mapping approach based on different kinds of concept feature information is introduced in this paper. In this approach, ontology concept feature information is classified as five kinds, which respectively corresponds to five kinds of concept similarity computation methods. Many existing ontology mapping approaches have adopted the multi-feature reasoning, whereas not all feature information can be computed in the real ontology mapping and only fractional feature information needs to be selected in the mapping computation. Consequently a configurable ontology mapping model is introduced, which is composed of CMT model, SMT model and related transformation model. Through the configurable model, users can conveniently select the most suitable features and configure the suitable weights. Simultaneously, a related 3-step ontology mapping approach is also introduced. Associated with the traditional name and instance learner-based ontology mapping approach, this approach is evaluated by an ontology mapping application example.     

电力系统潮流计算中风电场节点的处理方法

比较了国内风电场两种最主要机型异步发电机和双馈异步发电机的差异,并基于两种发电机的稳态数学模型,分别给出了电力系统潮流计算中两种机型以及不同运行方式下风电场节点的处理方法。最后,结合算例进行了计算,验证了所述方法的正确性。     

点支式玻璃幕墙概率设计方法

首先根据可靠性的定义建立了幕墙可靠度的计算公式 ,并给出了算例。为方便工程设计 ,建立了目标可靠指标分别为 2 7和 3 2的幕墙抗风实用设计公式 ,并给出了各分项系数的取值。