A pattern language for designing e-business architecture

The pattern language for e-business provides a holistic support for developing software architectures for the e-business domain. The pattern language contains four related pattern categories: Business Patterns, Integration Patterns, Application Patterns, and Runtime Patterns. These pattern categories organise an e-business architecture into three layers—business interaction, application infrastructure and middleware infrastructure—and provide reusable design solutions to these layers in a top-down decomposition fashion. Business and Integration Patterns partition the business interaction layer into a set of subsystems; Application Patterns provide a high-level application infrastructure for these subsystems and separate business abstractions from their software solutions; Runtime Patterns then define a middleware infrastructure for the subsystems and shield design solutions from their implementations. The paper describes, demonstrates and evaluates this pattern language.     

Murg term rewrite systems

The union of a monadic and a right-ground term rewrite system is called a murg term rewrite system. We show that for murg TRSs the ground common ancestor problem is undecidable. We show that for a murg term rewrite system it is undecidable whether the set of descendants of a ground tree is a recognizable tree language. We show that it is undecidable whether a murg term rewrite system over Σ preserves Σ-recognizability.     

乌江渡水电站扩建工程开挖爆破对原水电站建筑物震动影响的控制研究

为确保原有的乌江渡水电站水工建筑物和发电设备以及扩建工程建筑物的施工安全,加快扩建工程施工进度,本扩建工程施工中对关键部位开挖所产生的爆破震动影响实施全面而有效的实时爆破监控,并根据监控成果的研究指导开挖爆破作业,以确定符合实际的安全爆破震动参数。     

乐北联圩东湖电排站扩建工程设计与思考

乐北联圩东湖电排站扩建工程原设计为常规轴流泵 介绍了在技施设计中 ,结合该工程的地形地质、施工环境、施工工期、城市景观等方面因素 ,并进行全面分析 ,选用了大型潜水电泵 ,达到预期的功效     

可拓决策理论确定弹药物流优先方向的应用研究

建立弹药物流可拓决策模型,利用AHP确定影响弹药物流各因素的权重,在此基础上,研究了弹药物流的优先方向.然后结合某具体的弹药物流问题,进行实际探讨.     

热处理工艺对冲击曲线的影响

通过ＳＡ５１５Ｇｒ．７０钢的不同温度正火和１３ＭｎＮｉＭｏＮｂＲ钢正火不同温度回火试样的示波冲击试验，研究了不同热处理工艺对冲击曲线的影响。     

Language issues in the implementation of a kernel

In this paper we present some issues encountered in the implementation of a kernel for a multiprocessor system using a high level language called CCNPASCAL. We present the nature of the problem concerning each issue, the solutions we adopted and possible better alternatives which we could not adopt for various reasons.     

On the power of traps and diversions in a document preparation language

This note illustrates the power of software interrupts (traps) and text diversions in document preparation languages by considering three difficult problems in typesetting: figure placement; setting text in arbitrary shapes; and balancing final columns in multi-column layout. The solution of each of these in the nroff document preparation system is discussed, and an Appendix gives the nroff macros which accomplish the tasks.     

物元模型可拓控制的控制算法实现

可拓控制是最近几年发展起来的一种智能控制技术。本文在主要基于可拓集合理论发展起来的控制器模型基础上进行了扩充完善,主要是引入物元来表示控制中的各种信息流,并结合物元变换拓展及物元可拓展运算一起来实现控制算法,而使系统可实现多变量控制,同时因引入文献［４］中的可拓专家系统来实现上层控制器而使控制器的智能大大提高,真正具有创造性的辩证思维能力。