钢结构稳定设计——理论与实践

本文提出了实际工程结构的非线性理论设计和分析方法(NIDA),并以澳门回归纪念馆的设计为例,展示了本方法的优越性.在设计过程中,设计者无需假设K系数和有效长度,在结构分析完成后便可迅速完成设计,因此本文提出的方法既经济又便利.尽管对于钢框架在往复荷载及动力荷载作用下的弹塑性大位移分析已经非常成熟,但本文的方法开创了结构的非线性分析及设计的新纪元,能够对现行的设计方法理论起到巨大的推动作用.     

基于Agent的分布式查询优化研究

Internet上异构的软硬件环境以及多种并行机制对分布式查询优化技术提出了新的挑战，文章将分布式人工智能与数据库管理系统两个研究领域相结合，给出了基于Agent的分布式查询优化系统模型，在该系统中，Agent采用了典型的慎思型体系结构，即BDI模.Agent具有信念库，目标库并在此基础上进行学习和推理，多个Agent之间通过协调，协作以及协商以支持分布式数据库系统的动态查询优化和规划的执行，提高系统的查询效率。     

基于图像数据库的动态场景生成系统

实现各类目标和背景下动态场景的计算机编辑和生成，首先应对组成动态场景的要素进行分析，即目标，目标运动规律和特殊事件四个要素，然后通过编程由四个模块完成相应功能。目标，背景编辑模块可对目标，背景图像进行各种处理，并对重要特征量进行计算，运动路径模块可指定目标的运行规律，包括路线，大小和角度变化等。特殊事件模块可加入独立目标的各类典型事件，如运动的干扰物等。最后通过动态场景合成由计算机自动生成所需的动态场景图像。所需的原始目标，背景图像来源于图像数据库管理系统，通过索引项可便携地找到。     

用大涡模拟方法计算尾水管内非定常周期性湍流

本文运用大涡模拟-双方程模型进行尾水管内部非定常周期性湍流计算。而且本文对尾水管复杂计算域的网格划分，提出一种更加合理的多块结构网格。计算结果用波形显示了尾水涡带和压力脉动的主要性质和运动特征。     

蜂窝梁在大跨度走廊设计中的应用

介绍仪征化纤股份有限公司大跨度走廊中蜂窝梁的设计。     

电力工业企业社保工作信息技术的应用

阐述了在电力工业企业社保工作中应用信息技术的方法,对网络模型、拓扑结构、客户运行流程及软件功能进行了分析说明.     

高职教育网上成绩考核系统的总体设计

本文对网上成绩考核系统进行了总体设计.其中,设计了校园网的网络结构模型、网上成绩考核系统的模块结构及其数据库和数据表.     

大中型风力发电机组可靠性研究

研究了大中型风力发电机组的可靠性，讨论了可靠性指标的分配，可靠性设计的四个重要方面、可靠性试验计算机模拟。     

大型焦炉计算机优化控制系统

本文介绍一个大型焦炉计算机优化控制系统，它不仅实现了燃烧系统的ＤＤＣ控制，而且完成了结焦终点的在线预报和以焦炉能耗最小为目标的优化控制。     

On the monotonicity of (LDL) logic programs with set

LDL is one of the recently proposed logical query languages, which incorporate set, for data and knowledge base systems. Since LDL programs can simulate negation, they are not monotonic in general. On the other hand, there are monotonic LDL programs. This paper addresses the natural question of “When are the generally nonmonotonic LDL programs monotonic?” and investigates related topics such as useful applications for monotonicity. We discuss four kinds of monotonicity, and examine two of them in depth. The first of the two, called “ω-monotonicity”, is shown to be undecidable even when limited to single-stratum programs. The second, called “uniform monotonicity”, is shown to implyω-monotonicity. We characterize the uniform monotonicity of a program (i) by a relationship between its Bancilhon-Khoshafian semantics and its LDL semantics, and (ii) with a useful property called subset completion independence. Characterization (ii) implies that uniformly monotonie programs can be evaluated more efficiently by discarding dominated facts. Finally, we provide some necessary and/or sufficient, syntactic conditions for uniform monotonicity. The conditions pinpoint (a) enumerated set terms, (b) negations of membership and inclusion, and (c) sharing of set terms as the main source for nonuniform monotonicity.