黑盒测试技术在LBPACK研制中的应用

本文论述了黑盒测试对控制系统CAD软件基础库的重要性,以LBPACK为对象进行了黑盒测试,并将其测试结果与LINPACK和MATLAB进行了比较。结果表明,本文所提出的黑盒测试技术是可行的,在保证软件的质量和评价其水平方面起到了重要的作用。     

实现计算机与智能仪器通信的软件容错方法

本文讨论研究了计算机与智能仪器通信的软件容错问题。分析了智能仪器通信的特点，针对计算机与智能仪器通信经常存在的问题，提出了实现通信的各种软件容错方法，经在ＰＣ—３８６工控机与数种智能仪器的通信实践，得到了令人满意的可靠效果。文中阐述的内容是理论与实践结合的经验总结，它对于从事计算机与智能仪器通信及系统容错设计的人员具有重要的参考价值。     

Computing Sparse GCD of Multivariate Polynomials via Polynomial Interpolation

The problem of computing the greatest common divisor (GCD) of multivariate polynomials, as one of the most important tasks of computer algebra and symbolic computation in more general scope, has been studied extensively since the beginning of the interdisciplinary of mathematics with computer science. For many real applications such as digital image restoration and enhancement, robust control theory of nonlinear systems, L₁-norm convex optimization in compressed sensing techniques, as well as algebraic decoding of Reed-Solomon and BCH codes, the concept of sparse GCD plays a core role where only the greatest common divisors with much fewer terms than the original polynomials are of interest due to the nature of problems or data structures. This paper presents two methods via multivariate polynomial interpolation which are based on the variation of Zippel’s method and Ben-Or/Tiwari algorithm, respectively. To reduce computational complexity, probabilistic techniques and randomization are employed to deal with univariate GCD computation and univariate polynomial interpolation. The authors demonstrate the practical performance of our algorithms on a significant body of examples. The implemented experiment illustrates that our algorithms are efficient for a quite wide range of input.     

计算机符号推演模型分解方法研究与应用

研究了利用计算机代数符号推演功能对复杂系统数学模型进行分解的有关理论和方法。通过引入中间变量,利用表达式分解和封闭分解,实现了采用模型分解方法对复杂系统数学模型进行计算机符号推导。针对航天多刚体系统数学模型,基于Kane动力学方程,建立了适用于符号推导实现的计算机模型,生成了相应的仿真子模块。     

基于WISE的鱼雷武器系统弹道仿真模型设计与应用

应用通用仿真程序设计语言开发武器连续系统的一体化仿真软件包往往会出现开发周期长，建模规范化及可重用性差等问题，本文研究了基于WISE仿真环境的模块化建模方法，通过WISE的图形化建模工具实现不同粒度的可重用性模型的设计，以此为基础构建脱离WISE环境可单独运行的一体化仿真程序。以鱼雷武器系统弹道仿真及视景演示组成的分布交互系统开发为应用背景，验证了该方法具有建模过程快捷、灵活、可重用性好等优点。     

Some open problems related to creative telescoping

Creative telescoping is the method of choice for obtaining information about definite sums or integrals. It has been intensively studied since the early 1990s, and can now be considered as a classical technique in computer algebra. At the same time, it is still a subject of ongoing research. This paper presents a selection of open problems in this context. The authors would be curious to hear about any substantial progress on any of these problems.     

基于ExSpect的复杂离散事件动态系统建模

随着petri理论与应用研究的不断发展，petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析，没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件，提出了基于Exspect的复杂离散事件动态系统建模的方法，并进行了实例研究。     

A New Signal Processing Technique of π/4-DQPSK Modem Based on Software Radio

1 .INTRODUCTIONπ/4 DQPSKmodemhasbeenchosenasthemodemschemeinmanymobilecommunicationsystems[1 ] .Inπ/4 DQPSKmodem ,theinformationbitsaremappedintophasetransitionsratherthanabsolutephasevalues.Thisencodingofinformationinthetransitionsovercomesthephaseambiguityproblemsresultingfromtheestimationofcarrierphaseinnon differentialPSKsystems.Soπ/4 DQPSKallowsforsimplebasebanddifferentialdemodulation .Further,inπ/4 DQPSK ,themaximumphaseshiftisrestrict edto± 1 35°(ascomparedto± 1 80…     

数字式自动驾驶仪复合稳定回路变参数设计与仿真

自动驾驶仪参数设计的传统方法是在不同马赫数下，选取一组控制回路参数，使系统整体性能最优。随着数字式弹载计算机的使用，自动驾驶仪能够很方便地实现系统变参数设计，在不同的马赫数及不同的飞行状态下，通过弹载计算机的解算来实时装订系统参数。本文针对复合稳定回路的特点，探讨了典型复合稳定回路的参数选取方法，并在Matlab环境下进行了仿真计算，旨在为工程应用提供一定的参考。     

相控阵雷达的计算机控制技术

本文全面阐述了适用于多功能相控阵雷达的计算机控制技术,给出了相控阵雷达自适应调度及多目标数据处理的软／硬件体系结构,并用Ｃ语言开发了整个软件系统。运行结果表明,自适应调度方法及多目标数据处理算法是令人满意的。     

Computer Control Techniques of Phased Array Radars

ＣｏｍｐｕｔｅｒＣｏｎｔｒｏｌＴｅｃｈｎｉｑｕｅｓｏｆＰｈａｓｅｄＡｒａｙＲａｄａｒｓＺｈａｎｇＢｏｙａｎ，ＣａｉＱｉｎｇｙｕ＆ＬｕＪｉａｎｘｉｏｎｇＢｅｉｊｉｎｇＩｎｓｔｉｔｕｔｅｏｆＲａｄｉｏＭｅａｓｕｒｅｍｅｎｔ，１００８５４，Ｐ．Ｒ．Ｃｈｉｎ...     

双连杆内燃机动态仿真

以双连杆内燃机为背景,采用基于底层语言(VC 6.0)与大型软件包(Pro/Engineer)二次开发相结合的开发模式,研究了内燃机装配仿真系统的总体结构,并建立了1126内燃机参数化模型。在此基础上,运用多体动力学的方法对内燃机曲柄连杆机构进行了动态仿真分析,得到了活塞的升程、速度、加速度变化规律,为内燃机的设计改进提供了重要依据。     

DGPS实时引导和跟踪系统

以对空目标寻的系统的外场试验为背景，介绍了一种采用差分GPS定位技术，结合计算机软件而设计的目标实时引导和跟踪系统，并给出了某试验系统的试验实测数据和结果分析。试验证明，该系统工作十分有效，而且使用方便，工作可靠，值得推广。     

地铁列车运行仿真系统中三维视景建模和简化

随着计算机软、硬件技术的迅速发展,利用三维视景仿真技术动态描述列车运行仿真过程成为一个新的发展方向。简要介绍了三维视景技术在地铁列车运行仿真系统中的应用情况,以北京地铁一号线为例,分析了地铁三维视景模型的构成,研究了在PC机上利用Creator建立地铁三维模型的主要过程,详细分析了建模过程中的难点问题及相应的解决方法,最后介绍了适合地铁车站三维模型的简化方法。     

军用计算机系统的可靠性设计原则

长期以来,军用计算机系统的可靠性一直是专家们讨论的重要问题.本文从计算机系统总体设计、硬件设计和软件设计等三个方面出发,论述了一些提高军用计算机系统可靠性的设计原则.     

基于组件的实时入侵检测虚拟实验室的设计与实现

提出了一种基于组件技术的入侵检测虚拟实验室系统的设计模型和实现方法。该系统采用Java语言实现，具有良好的平台无关性。以Java Bean组件技术对数据生成和入侵检测系统的感应器模块、分析器模块、统计显示模块、配置管理模块进行了开发，实现了软件重用和系统的可扩展性。系统客户端以Java Applet实现，用户能够可视化地制定试验流程，指定模拟攻击流类型、配置过滤规则和检测规则以及选择试验结果的显示形式。整个实验过程中，用户能较直观深入的参与入侵检测系统的具体配置和操作，对于了解和掌握入侵检测系统的结构和主要原理大有帮助。     

“公司+ 农户”规模经营系统的反馈基模生成集分析

在笔者原提出的系统动力学流率基本入树规范性建模法的基础上,讨论了一个确定的复杂系统的系统基模生成的问题.给出了用系统动力学流率基本入树作嵌运算生成反馈极小基模,由极小基模构成反馈基模生成集的具体方法,其中给出了生成基模的三个定理.此基模生成集可生成系统的具特性的各类基模结构.此基模生成集相当于数学线性空间的基础解析.这为对一个复杂系统进行基模反馈分析提供了一个有效分析工具.运用此新建立的反馈基模生成法,对"公司+农户"规模经营模式进行了优势与制约因素的有效分析,并提出了相应的管理方针,实现了用系统科学方法有效分析"三农"(农业、农村、农民)问题的目的.     

基于Java的分布式测控系统任务调度研究

针对分布式测控系统动态任务调度算法,提出了一种任务迁移的方法。该方法基于Java的对象序列化机制、多线程机制、远程方法调用(remotemethodinvocation,RMI)技术,实现了将重载机上的任务迁移至轻载机上执行。任务迁移的成功使分布式测控系统动态任务调度算法顺利实现,从而有效地提高了系统效率,达到了负载均衡的目标。详细介绍了任务迁移的实现。     

基于网络化技术的大型集装箱船舶轮机模拟器

轮机模拟器是现代化航海教育的必备设施,已为中国海事局列入正工评估项目。三十年来,轮机模拟器随着计算机技术的发展不断地更新和升级,论文介绍了上海海运学院自行设计和研制的网络化的轮机模拟器。内容包括该轮机模拟器技术特点及计算机系统的结构;实时工控平台开发软件;人机界面的实现及系统仿真软件的开发技术。     

计算机兵棋推演系统公共数据的建模与VV＆C研究

计算机兵棋推演系统涉及作战要素多,建模涵盖范围广,使得公共数据的建模与VV＆C基础工作难度增大。在具体的工程实践中,通过对系统所需的公共数据进行分类与抽象,建立了数据结构模型与级联关系,开发了多种形式数据录入和基于数据规则引擎驱动的一致性数据校验软件,最后探讨了数据VV＆C过程。试验和应用表明,公共数据模型有效、质量较高,对计算机兵棋推演系统模型的构建及其原型系统的运行起到了很好的支撑作用。