流编程模型下的存储一致性模型

在流编程模型下建立了一个新的存储一致性模型--流一致性模型,它比传统的释放一致性模型更加松弛.讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模型复杂.     

流体系结构技术发展探讨

以流计算模型为基础的流体系结构,是面向未来的单片上集成超10亿只晶体管和上千ALU时代的新型体系结构,正成为微处理器体系结构研究关注的前沿焦点之一.首先分析流计算的背景;总结现有的具有代表性的流体系结构,并对它们的结构、执行模式、并行性、片上存储使用方式和应用目标等方面进行了比较;然后归纳流程序设计及其环境,讨论当前流编译研究的热点方向;最后探讨流处理器设计的发展趋势.     

不确定数据流多维建模方法*

由于不确定数据流应用的出现,给传统的精确、静态数据环境下的多维建模带来了巨大挑战。针对不确定数据流动态、无限和不确定等特征,提出了一种不确定数据流多维模型。该模型中引入了不确定对象来描述不确定事实元组,并且通过定义时间维度的层次时间窗口,很好地反映了数据流的动态性和无限性,最后还对此多维不确定数据流模型的基本代数操作和分析代数操作进行了形式化定义,为不确定数据流多维查询与分析提供了理论依据。     

分布式流体系结构及其编程模型与资源管理

利用互联网资源提供大数据计算服务面临着资源异构性、动态性与通信长延迟等方面的挑战,现有分布式计算模型仍存在一些不足。运用流计算模型提出分布式流体系结构,包括分布式流编程模型与资源管理等,能够高效支持多种并行执行模式。在10个CPU-GPU异构结点上实现了原型系统,仿真实验验证了7个不同的测试用例。实验结果表明,与本地串行计算相比,分布式流体系结构可以平均提高39倍计算性能,具有较大的应用潜力。     

流媒体的RTP传输与QoS管理策略研究

应用RTP协议进行传输和实现QoS管理是当前数据传输方面的热点问题,通过分析RTP协议的结构和原理,提出了一种RTP的传输模型,实现了数据流的RTP传输,同时就RTCP协议(RTP协议的传输控制部分)对QoS的管理策略进行了理论探讨.     

Study on Anti-ship Missile Saturation Attack Model

Based on the analysis for the interception process of ship-to-air missile system to the anti-ship missile stream, the antagonism of ship-to-air missile and anti-ship missile stream was modeled by Monte Carlo method. This model containing the probability of acquiring anti-ship missile, threat estimation, firepower distribution, interception, effectiveness evaluation and firepower turning, can dynamically simulate the antagonism process of anti-ship missile attack stream and anti-air missile weapon system. The anti-ship missile's saturation attack stream for different ship-to-air missile systems can be calculated quantitatively. The simulated results reveal the relations among the anti-ship missile saturation attack and the attack intensity of anti-ship missile, interception mode and the main parameters of anti-air missile weapon system. It provides a theoretical basis for the effective operation of anti-ship missile.     

Algorithmic and approximation analyses of the shorter queue model

A system of two parallel queues where the arrivals from a single stream of customers join the shorter queue is considered. Arrivals form a homogeneous Poisson stream and the service times in each of the two queues are independent exponential variates. By treating one of the queues as bounded, the steady-state probability vector for the system can be expressed in a modified matrix-geometric form and can be computed efficiently. Computational procedures for the sojourn time distribution and characteristics of the departure stream are developed. Some numerical results are presented, and based on these results an efficient approximation scheme for the model is developed which can be readily extended to systems with more than two parallel queues.     

螺旋混沌场数据显示

在对螺旋混沌场产生的机理、规律进行研究的基础上,探讨了螺旋混沌场数据显示的原理和模型,实现了对称螺杆转子实际挤压产生的螺旋混沌场的不规则数据显示.从螺旋混沌数据场可以得出以下结论: 齿面流线沿着流出腔朝外,流出方向符合设计要求;流体在转子的挤压下,主要作用力为主动转子的推力,设计时,对啮合推力的计算要十分慎重,稍有变化,就会影响流线的方向,对设备的噪声等造成影响;齿面的附着力也影响着流体的流动,也就是流线的形状;多个剖面沿着轴向螺旋上升即可实现所谓的螺旋混沌场.该研究为设计对称螺旋转子机械提供了一种直观概念和依据.     

带横向射流的绕后台阶超音速外流场的数值模拟

将一股射流喷入超音速外流是飞行器飞行控制的常用方法。本文通过应用MacCormack 显格式和Ba(?)dwin-Lomax 代数湍流模型求解二维可压缩的RANS 方程,对带横向射流的绕后台阶的超音速外流场进行了数值模拟,并给出了流场的速度向量图、等压线图和等马赫线图。与无喷射的情形相比,台阶底部压力增加了一倍左右。     

GPU异构系统中的存储层次和负载均衡策略研究

GPU体系结构的革新和相应开发平台的发展使得GPU广泛地应用于科学计算领域.通过深入地分析GPU体系结构和存储层次的优缺点以及GPU上的关键性能特征,阐明了GPU体系结构、编程模型和存储层次之间的关系.针对GPU异构系统上的应用映射提出三种基本负载均衡优化策略:预取、流化、任务划分.试验结果揭示了不同的优化因子与优化效率之间的具体关联.     

Environmental regulation in project‐based industries

We study the environmental regulation of industrial activities that are organized as projects. Applications arise in construction, ship and aircraft building, and film making, among other industries. Relative to manufacturing, environmental regulation is different in project‐based industries, due to the uniqueness and geographical diversity of projects, and a lack of product takeback programs. Because the amount of waste and pollution generated by project companies can be large, regulators need environmental policies to ensure reduction of waste and pollution. We consider a regulator who attempts to maximize social welfare. We model this problem as a bilevel nonlinear program. The upper level regulator specifies waste reduction targets, which the lower level project companies meet using waste stream reduction and remediation of pollution, while attempting to control their project costs. We find that high waste diversion targets lead to outcomes with little pollution, but excessive project costs and only modest waste stream reduction. Projects that have lower task precedence density, or that have pollutants with different environmental impacts, show larger increases in project cost and time resulting from regulation. We describe a subsidy for waste stream reduction that coordinates the system, and we estimate the value of coordination. We also describe a bonus that encourages truthful reporting by project companies, and evaluate the relative cost and effectiveness of the subsidy and the bonus. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 228–247, 2015     

实用空袭目标流简化仿真模型

根据地空导弹武器系统作战效能评估仿真的粒度,提出了一种实用的空袭目标流简化仿真模型.首先,介绍了用到的两个坐标系:地心直角坐标系和站心地平直角坐标系.然后,针对仿真任务需求,建立了目标水平距离估算模型、目标航迹计算模型、载机发射空地导弹(反辐射导弹)时刻判断模型和空地导弹(反辐射导弹)弹道模型.最后,根据模型的仿真应用,给出了仿真示例,验证了模型的有效性.     

基于分布式对象技术的CAD集成框架的模型与结构

分布式对象技术是当前实现企业应用集成的主流技术。本文首先介绍了基于分布式对象技术的ＣＡＤ集成框架支撑平台的总体结构，以此为基础，设计了大型电子设备并行设计ＣＡＤ集成框架的体系结构，提出“框架总线＋软构件”的框架模型，最终探讨了集成框架具体的实现方法和技术。     

引入块内码元频数抽样的块内频数检测识别方案

为识别链路层比特流是否加密,以未加密与加密数据在随机统计特性上的差异为依据,利用随机性检测的方法对加密比特流进行识别.在不同比特流长度条件下对3种典型随机性检测方法的识别率进行了比较研究.针对3种检测方法均对长度较短的未加密比特流识别率较低的问题,在块内频数检测的基础上,提出了基于块内码元频数抽样的比特流预处理方案,以及块内频数检测最优分块长度选择方案,并对预处理方案对识别率的影响进行了分析.实验结果表明,提出的方案可以显著提高块内频数检测对未加密比特流的识别率.     

实时流媒体传输中的差错控制与恢复技术

在Internet传送有一定的QoS保证的实时流媒体是多媒体应用的一个主要发展方向。但Internet上的数据传输时常出现丢包现象,不采取恢复措施,这必然导致视频质量的下降。如何提高视频传输质量,且保证它的实时性,是目前研究热点。以MPEG-4文件为视频流,研究了网络传输丢包对视频质量的影响,在此基础上提出了有选择地重传重要数据的恢复方法,来提高实时视频的图像质量;并根据RTP协议,提出CR-RTP协议,以对视频数据恢复重传的支持。     

State-dependent gap acceptance

This paper considers a traffic problem in which vehicles queue up according to a Poisson process on a single-lane entrance ramp prior to merging into a major stream of vehicular traffic. In order to then prevent the ramp queue from becoming too large, a model is proposed which considers a lowering of the critical gap as the ramp queue size increases. With the critical gap assumed to be a nonincreasing function of the number of vehicles on the ramp at instances that correspond to departure times of lead vehicles from the ramp queue, the resultant model is an M/G/1 queue with state-dependent service times. Some general results are obtained for this model and a specific case discussed in moderate detail.     

基于状态空间模型的航天器装配角偏误差研究

装配过程的误差建模是分析装配误差的重要手段之一。通过分析影响航天器装配结果的尺寸和形位误差、装夹定位误差,将其装配的偏差源分为夹具装夹误差和舱段制造误差两类。并将不同形式的误差通过虚拟夹具的概念进行了统一的表达,进而基于误差流理论针对航天器舱段建立其误差传播的状态空间模型,求出了该过程的状态空间表达式,应用该模型对装配过程中的角偏误差进行了分析。将分析得到的结果同蒙特卡洛仿真的结果进行了比较,两种方法的相对误差小于3%,说明了该方法的可行性。该方法的优势在于它不仅可以分析复杂装配过程,还可以对各工位的装配效果进行观测,从而进行向后分析。     

S弯进气道合成双射流流场控制特性分析

针对飞翼布局无人飞行器中S弯进气道明显流动分离和出口总压畸变等问题,提出了基于合成双射流的主动流动控制方法,建立了合成双射流的S弯进气道数值仿真模型。结果表明,在S弯进气道分离点附近施加合成双射流控制,在整个射流周期内通过“吹”“吸”接力可以有效抑制边界层流动分离,有效提升总压恢复系数。对比研究了合成双射流不同射流角度、射流峰值速度和激励频率对S弯进气道流场控制特性的影响规律。结果表明合成双射流与主流的角度越小,流动分离控制效果越好,较大射流峰值速度会对主流形成“阻挡”致使控制效果下降,激励频率与流场特征频率越接近控制效果越明显。     

An analytical minefield evaluation model without space averages

The paper describes an approach to the evaluation of the effectiveness of a minefield in terms of the number of mines that are detonated by a convoy of sweepers and ships and the corresponding number of vessels that are immobilized. The positions of the mines and the tracks of the vessels are assumed to be known, which means that the evaluation measures are dependent on a large number of disjoint events, each event being the immobilization of particular vessels by particular mines. This may render combinatorial methods computationally infeasible, but by introducing approximations in the assumptions, the difficulty can be overcome, specifically by modelling the arrival of each individual vessel in the neighborhood of a mine by an inhomogeneous Poisson stream for which the arrival rate is nonzero only over a short time interval. The plausibility of the approach is supported by results of a critical-event simulation model.     

辅助足球视频切分的音频自动分类与分段

视频伴随音轨的自动分类与分段是辅助视频切分的一种有效手段。从足球视频的特征入手,归纳总结出足球视频中三类主要的音频类型,既而提出了基于HMM并且结合一定平滑策略的音频自动分类和分段的框架,在实现音频分类分段的同时完成了足球视频的切分。初步的实验结果验证了该方法的有效性和鲁棒性。