A structural linearization principle for processes

In [11], an induction principle for processes was given which allows one to apply model-checking techniques to parameterized families of processes. A limitation of the induction principle is that it does not apply to the case in which one process depends directly upon a parameterized number of processes, which grows without bound. This would seem to preclude its application to families ofN processes interconnected in a star topology. Nonetheless, we show that if the dependency can be computed incrementally, then the direct dependency upon the parameterized number of processes may be re-expressed recursively in terms of a linear cascade of processes, yielding in effect a linearization of the inter-process dependencies and allowing the induction principle to apply.A previous version of this paper appears in the Proceedings of CAV 1993 (LNCS 697).     

Erosion wear response of ramie-epoxy composites using artificial neural network integrated with Taguchi technique

This paper aims on evaluating the erosion wear behavior of epoxy composites reinforced with ramie fibers. The possibility of reinforcing ramie fiber to improvise the wear resistance of epoxy is investigated in this study. Composites are fabricated by reinforcing multiple layers of woven ramie fiber mats into epoxy resin using conventional wet lay-up technique and erosion wear trials are conducted using solid particle erosion test setup. Taguchi analysis is done to assess the relative significance of each of the factors influencing the erosion rate using L₁₆ orthogonal array. The analysis reveals that the impact velocity followed by impingement angle are the most significant control factors affecting the erosion wear rate of ramie-epoxy composites. Steady state erosion analysis is done to ascertain the effect of each of the significant factors while keeping other factors fixed. Further, an analytical and predictive model based on the principle of neural computation is used to predict the rate of erosion wear of the composites and the obtained results are compared with the experimental outcomes. The worn morphologies of the eroded surfaces of the composites are studied and analyzed to identify possible mechanisms causing wear.     

WIA-PA冗余簇首机制

针对WIA-PA星型网络中的簇首瓶颈问题,提出一种适用于WIA-PA网络的冗余簇首机制。规定冗余簇首具有最高优先级入簇,采用心跳信息、跳频技术等实现实时监测和信道的动态冗余,引入休眠机制,降低WIA-PA网络能量的消耗。通过马尔可夫模型进行可信性建模和分析,结果表明该机制具有可靠性。     

基于SAR辅助的惯导/星光组合导航系统研究

针对高空、长航时无人飞行器在对地观测成像期间对导航自主性和高精度的需求,研究了基于SAR辅助的惯导/星光姿态组合导航系统.针对SAR图像导航输出的间断性和多传感器组合导航系统中量测输出的不同步特性,设计了解决非连续性量测修正的多传感器组合导航滤波器模型.提出了解决多传感器量测不同步问题的异步集中滤波算法.仿真结果表明:...     

A Monge-Ampère enhancement for semi-Lagrangian methods

Demanding the compatibility of semi-Lagrangian trajectory schemes with the fundamental Euler expansion formula leads to the Monge-Ampère (MA) nonlinear second-order partial differential equation. Given standard estimates of the departure points of flow trajectories, solving the associated MA problem provides a corrected solution satisfying a discrete Lagrangian form of the mass continuity equation to round-off error. The impact of the MA enhancement is discussed in two diverse limits of fluid dynamics applications: passive tracer advection in a steady cellular flow and in fully developed turbulence. Improvements of the overall accuracy of simulations depend on the problem and can be substantial.     

分布式开放计算环境下通信平台的实现与应用

计算技术正进入以网络为中心的计算时期,为了满足分布式开放计算环境下的通信需求,文章基于ＴＣＰ／ＩＰ协议,利用ＵＮＩＸ操作系统的内部通信机制,设计和实现了一种通信平台,并给出了它在星图识别技术中的一种应用实例。     

网络CAI环境平台的研究与实践

在NOVELL网络环境上,设计实现了一个基于多媒体的网络CA I环境平台。介绍了该平台的总体设计、系统开发的通信、屏幕处理及内存驻留等技术;详 细讨论了远程控制、屏幕收发、信息收发等主要功能模块的实现过程。     

基于图搜索A*算法的估价函数比较

简单介绍了基于图搜索A*算法原理,把该算法与常见的估价函数:曼哈顿距离、对角线距离、欧几里德距离等结合,将其应用于肺部图像的边缘跟踪中,较系统地总结出选择估价函数的原则及其各优缺点,这将更有效地完成边缘跟踪的过程。     

模拟自然形态的儿童包装设计

面对儿童包装市场呈现千篇一律使用卡通形象这一现象,本文提出运用模拟自然形态这一新的设计手法在儿童包装设计的外部造型以及内部结构封面。