某型电视制导空地导弹仿真研究

为了实现某型电视制导空地导弹全数字模拟,从而达到该型导弹经济、安全以及经常性训练的目的,根据该型导弹实际的工作原理和过程以及弹道性能参数,建立了该型导弹的弹道数学模型、碰撞检测模型和"人在回路"模型,实现了该型导弹对地攻击全过程仿真,补充了某型模拟器的战术模拟性能,有利于增强空军的空对地精确打击能力。     

航空反潜综合模拟训练系统研究与设计

主要介绍分布式交互仿真技术在航空反潜模拟训练系统设计上的应用,阐述了模拟系统的组成,根据系统的设计要求,构造了分布式仿真对象,并对每个对象构建了仿真模块,最后分析了航空反潜综合训练系统的设计思想。     

Thermodynamics-inspired inverse halftoning viamultiple halftone images

Based on an analogy between thermodynamics and Bayesian inference,inverse halftoning was formulated using multiple halftone images based on Bayesian inference using the maximizer of the posterior marginal(MPM) estimate.Applying Monte Carlo simulation to a set of snapshots of the Q-Ising model,it was demonstrated that optimal performance is achieved around the Bayes-optimal condition within statistical uncertainty and that the performance of the Bayes-optimal solution is superior to that of the maximum-a-posteriori(MAP) estimation which is a deterministic limit of the MPM estimate.These properties were qualitatively confirmed by the mean-field theory using an infinite-range model established in statistical mechanics.Additionally,a practical and useful method was constructed using the statistical mechanical iterative method via the Bethe approximation.Numerical simulations for a 256-grayscale standard image show that Bethe approximation works as good as the MPM estimation if the parameters are set appropriately.     

NP问题的最优轮复杂性知识的零知识证明

NP问题已有的知识的(黑箱)零知识证明都是非常数轮的,因此,在标准的复杂性假设下,NP问题是否存在常数轮的(黑箱)知识的零知识证明是一个有意义的问题.本文对该问题进行了研究,在一定的假设下给出了HC问题的两个常数轮知识的零知识证明系统.根据Katz最近的研究结果,在多项式分层不坍塌的条件下,本文基于claw-free陷门置换给出的HC问题的5轮知识的零知识证明系统具有最优的轮复杂性.     

烟草制丝线上调节阀流量特性的选择

介绍调节阀的控制原理,分析调节阀流量特性对控制系统的影响,结合烟草设备的工艺特性,提出烟草制丝设备上调节阀流量特性选择的原则。     

COMPILE-TIME ANALYSIS AND OPTIMIZATION OF EXPLICITLY PARALLEL PROGRAMS*

Data flow analysis has been used by compilers in diverse contexts, from optimization to register allocation. Traditional analysis of sequential programs has centered on scalar variables. More recently, several researchers have investigated analysis of array sections for optimizations on modern architectures. This information has been used to distribute data, optimize data movement and vectorize or parallelize programs. As multiprocessors become more common-place. we believe there will be considerable interest in explicitly parallel programming languages. In this paper, we extend traditional analysis to array section analysis for parallel languages which include additional control and synchronization structures.

We show how to compute array section data flow information, i.e., Communication Sets, for a class of parallel programs. To illustrate its use, we show how this information can be applied in compile-time program partitioning. Information about array accesses can also be used to improve estimates of program execution time used to direct runtime thread scheduling.     

物联网在现代物流业中的应用研究

物流是物联网较早落地的行业之一,物联网的应用从根本上提高了对物品生产、配送、仓储、销售等环节的监控水平。文中通过对物联网体系构架的分析,研究了物联网在物流业中的主要应用领域及其在物流业中的推广障碍,探讨了物联网在物流业中的应用发展趋势。     

基于WebGIS的田间环境监测系统平台的设计与实现

为了实现田间环境信息的可视化查询分析与统计,本文借助于无线传感网络和GPRS通信网络硬件平台以及TopMap软件平台,开发了基于WebGIS的田间环境监测系统。该系统采用了C/S与B/S模式相结合的运行体系结构,ASP.NET为前台开发工具,SQL SERVER2005为后台数据库,TopMap World 6为WebGIS开发平台。系统实现了田间环境信息的动态交互、实时更新以及基于地图的田间环境信息空间查询、统计分析和生成报表等功能。