An approach to analyzing and planning post-merger IS integration: Insights from two field studies

Information systems (IS) integration is among the most challenging tasks in corporate mergers and acquisitions (M&As). In this paper we propose and illustrate the use of an approach to analyzing and planning post-merger IS integration that extends general theory for IS planning, considering the specific characteristics of the M&A context. We highlight that planning effectiveness is possible to achieve in fundamentally different ways, dependent on the characteristics of the merger or acquisition at hand.

H∞ ALMOST DISTURBANCE DECOUPLING FOR MIMO BILINEAR SYSTEMS

The H_∞ almost disturbance decoupling problem is considered. In this paper, a nonlinear design is proposed to find a state feedback controller for bilinear systems. The closed‐loop system is internally stable and achieves disturbance attenuation in nonlinear H_∞ sense. We defined a special form of Lyapunov function, which is constructed in terms of one or a set of positive definite constant matrices. If, except of the origin of system, the corresponding polynomial of the positive definite matrix (or several polynomials relevant to the positive definite constant matrices) has (have) no zero on a given subset of state space, then we can construct a controller to solve our problem. It is found that the controller structure could be complicated, but is feasible in computation and may require optimization technique to search the solution. We consider both SIMO and MIMO cases with illustrated examples.     

Application of the modified Taylor approximation

In this paper we introduce and describe a new scheme for the numerical integration of smooth functions. The scheme is based on the modified Taylor expansion and is suitable for functions that exhibit near-sinusoidal or repetitive behaviour. We discuss the method and its rate of convergence, then implement it for the approximation of certain integrals. Examples include integrands involving Airy wave, Bessel, Gamma, and elliptic functions. The results, from the data in the tables, demonstrate that the method converges rapidly and approximates the integral as well as some well-known numerical integration methods used with sufficiently small step sizes.     

提高机械基础课教学效果的实践与探索

机械基础课因其内容通俗、知识面覆盖广的特点,对此本文通过多年来的教学实践,在如何有效组织本课程的教学,提高教学质量和教学效果,既能使学生轻松而又系统地掌握知识点,又能激发学生主动学习机械类相关专业知识的积极性进行了深入探索和实践,从而确定了较为合理的教学手段和方法。     

高校扩建合并后图书文献资源的整合

高校扩建合并后图书馆合并和图书文献整合势在必行,分析了新老校区图书馆图书文献整合中存在的一些问题,提出了解决问题和完善图书文献资源整合的对策。     

基于STEP标准的机械零件应用协议的设计方法

根据扩展应用协议的要求,提出一种基于STEP标准的汽车后桥主传动器中圆锥齿轮类零件的几何模型描述(ZCAP203、ZCAP42).通过对应用协议AP214、ZCAP203及ZCAP42进行互操作,制定出它的应用协议(ZCAP),为各类机械零件应用协议的制定提供了新方法.     

面向服务的系统集成模型研究

在对系统集成以及传统模型的分析基础上,介绍了面向服务的思想、面向服务的体系结构以及面向集成的应用,提出了面向服务的 集成的两种模型,并结合实例进行了一定的研究探讨。     

A framework for determining design correctness

Quality is one of the main concerns in today's systems and software development and use. One important instrument in verification is the use of formal methods, which means that requirements and designs are analyzed formally to determine their relationships. Furthermore, since professional software design is to an increasing extent a distributed process, the issue of integrating different systems to an entity is of great importance in modern system development and design. Various candidates for formalizing system development and integration have prevailed, but very often, particularly for dynamic conflict detection, these introduce non-standard objects and formalisms, leading to severe confusion, both regarding the semantics and the computability. In contrast to such, we introduce a framework for defining requirement fulfillment by designs, detecting conflicts of various kinds as well as integration of heterogeneous schemata. The framework introduced transcends ordinary logical consequence, as it takes into account static and dynamic aspects of design consistency and, in particular, the specific features of the state space of a specification. Another feature of the approach is that it provides a unifying framework for design conflict analysis and schema integration.