证据理论在不确定性推理中的应用研究*

利用证据理论中的基本概率分配函数、信任函数和似然函数来描述和处理知识的不确定性。提出一个特殊的概率分配函数和新的组合规则,并以其为基础建立一个不确定性推理模型。实例证明该模型能有效地度量最终结论的不确定性。     

射弹冲击起爆带壳炸药临界速度研究

为研究射弹材料对冲击起爆带壳炸药临界速度的影响规律,以期为射弹武器设计提供数据依据,采用LS-DYNA软件,应用冲击起爆Lee-Tarver点火增长模型,对相同质量的三种材料射弹撞击带壳炸药分别进行了数值仿真,分析了冲击起爆过程,得出了不同长径比下三种材料射弹对带壳炸药的临界起爆速度,并建立了理论计算模型,采用冲击起爆理论判据验证了数值仿真结果的准确性。计算结果表明:三种射弹材料对带壳炸药的引爆能力有明显差异;冲击起爆点并不位于炸药和壳体的交界面,冲击速度越大,起爆点越接近交界面;射弹长径比越大临界起爆速度越高。     

基于智能手机精确车辆速度估算研究*

随着智能手机的普及,旨在利用智能手机加速度传感器估算车辆速度,通过实际的测量,发现用手机加速度传感器测得的数据与真实值存在明显误差。从理论上分析手机加速度传感器误差对车辆速度估算的影响,提出一种车辆在运动状态下,手机传感器误差分布确定的算法;进而提出了基于卡尔曼滤波算法手机传感器误差矫正的方法。通过矫正后的数据,获得了更高精度的车辆速度估计值。实验结果表明,该手机传感器误差矫正方法在车辆运动状态下能较好矫正手机加速度传感器误差,并且车辆速度估计误差在２．１ｍ／ｓ以下。     

混沌系统参数估计结果的不确定性分析*

针对混沌系统参数估计研究中由于随机观测噪声影响而导致的参数估计结果不确定性问题,基于贝叶斯定理提出了一种客观评价混沌系统参数估计结果不确定性的统计方法;进而以典型的Lorenz系统为例进行了数值仿真,分析了不同大小噪声背景下各未知参数估计结果的不确定性;最后基于仿真结果提出了一种在有噪声干扰时估计混沌系统参数的有效方法——后验均值法。相同仿真条件下与前人方法的比较结果表明,该方法可有效抑制噪声影响、约束参数估计结果的不确定性,是一种有噪声情形下估计混沌系统参数的稳健方法。     

无线传感器网络覆盖问题中的临界速度

研究了无线传感器网络中的覆盖问题，此问题对传感器网络的生存时间、部署策略、通信协议和组网等问题具有十分重要的意义．在保持已有传感器模型的物理意义的条件下，对传感器模型进行了改进，改进模型可以描述更一般的情形．据此分析了目标的速度与检测可能性之间的关系，给出了不可测临界速度和部分可测临界速度的定义及其与传感器参数之间的函数关系．当目标的速度大于不可测临界速度时，传感器无法测量目标；当目标背离传感器运动，并且速度大于部分可测临界速度时，传感器无法测量到目标．仿真结果验证了理论分析的正确性．     

结构不确定性线性多变量系统鲁棒控制*

本文回顾了结构不确定性线性多变量系统鲁棒控制的分析与设计中,过去与近来对系统稳定鲁棒和性能优化方面的进展。无论对于频域描述研究的方法,还是对于时域描述研究的结果,本文均加以讨论与评价。本文还着重讨论了很有前途的结构不确定性线性多变量系统鲁棒控制的H~∞与μ方法,并探讨了将来的研究方向。     

具有动态不确定性的离散预测控制系统设计*

本文对具有未建模动态及噪声干扰的离散系统预测控制进行讨论，在保留广义预测控制（ＧＰＣ）基本特点的条件下，提出包含ＧＰＣ指标项、灵敏度的综合指标函数，使用闭环系统的鲁棒稳定性增强。     

基于概念格的语言真值不确定性推理*

利用概念格来实现不确定性推理的过程中,给出了一个具体的语言真值格蕴涵代数的完备结构;作为概念格的扩充理论,提出了用于处理不确定性信息的语言真值概念格,并基于语言真值概念格给出了内逼近不确定性推理规则和外逼近不确定性推理规则,进而验证了这两种规则的还原性。     

求解VRPTW问题的不确定性目标偏好蚁群算法*

通过分析多目标的、有时间窗的车辆路径问题,对各个目标进行多属性不确定性语言评判,结合相关专家的综合意见以及决策者自身对专家意见的偏好,将决策者对目标属性的离散意见转换为对各目标的综合意见;通过定义一种综合排序指标来确定决策者对各目标的偏好权重,依据目标权重和各目标函数的规范化处理值,构建评价有时间窗的车辆路径问题的多目标偏好的综合适应度函数,将多目标问题转换为单目标问题,进而采用最大—最小蚂蚁系统算法对该问题进行求解;最后通过一个算例来说明该算法的有效性。     

基于云模型的虚拟人摇头动作不确定性控制*

以虚拟人摇头表达否定性信息为例,设计了最大摇头角否定云、摇头次数否定云和摇头速度否定云。分别运用正向云生成算法产生云滴,获得摇头动作序列的最大摇头角度、摇头次数和摇头速度。三个控制参数均以各自的期望值为中心正态分布。仿真实验表明,所提出的基于云模型的虚拟人摇头控制算法能够产生呈规律性差异的摇头动作序列控制曲线。给出了三类云模型数字特征的建议值。     

UNCERTAINTY IN THE DEMPSTER-SHAFER THEORY: A CRITICAL RE-EXAMINATION

Measures of two types of uncertainty that coexist in the Dempster-Shafer theory are overviewed. A measure of one type of uncertainty, which expresses nonspecificity of evidential claims, is well justified on both intuitive and mathematical grounds. Proposed measures of the other types of uncertainty, which atlempt to capture conflicts among evidential claims, are shown to have some deficiencies. To alleviate these deficiencies, a new measure is proposed. This measure, which is called a measure of discord, is not only satisfactory on intuitive grounds, but has also desirable mathematical properties. A measure of total uncertainty, which is defined as the sum of nonspecificity and discord, is also discussed. The paper focuses on conceptual issues. Mathematical properties of the measure of discord are only slated; their proofs are given in a companion paper.¹⁵     

高速动态信号分析的软件实现

本文提出了在高级语言环境下实现高速度的动态信号分析软件的设计方案及其实现途径，并给出了一个基于ＰＣ机的具有图形化虚拟面板人机界面的动态信号分析仪设计的完整构思及实际实现的系统。     

结构不确定线性系统的鲁棒性分析

基于一种向量的幂变换方法，对具有结构不确定性的线性系统的鲁棒稳定和Ｄ稳定性问题进行了分析，给出了系统鲁棒稳定和Ｄ稳定区域的代数表达形式，最后给出了算例。     

结构不确定性系统的敏感性分析

讨论了控制对象和控制器同时存在稳定反馈结构不确定性的鲁棒稳定性和性能敏感性问题,给出了摄动系统鲁棒稳定的充分条件,得到了敏感函数矩阵和闭环传递函数矩阵H∞的摄动上界.这里控制器并不要求是真稳定的,因此得到的结果较有一般性.     

THE SYSTEMIC FORMALIZATION OF KNOWLEDGE INVOLVING UNCERTAINTY

Abstract

We have developed generic models useful for modeling human expertise involving uncertainty. These generic models are based on fundamental work carried out in the field of systems science, in which various researchers have developed formalisms for modeling systems in general. In this paper, we present our Systemic U-Knowledge Framework, which utilizes our models and new mathematical constructs we have developed for modeling uncertainty. We have validated the resulting formalism by modeling the expertise of an education expert, and have used the model as a basis for automated problem-solving.     

软件需求的不确定性与解决途径

本文试图从分析软件需求的不确定性产生的原因,分析传统开发方法的不适应性,提出加强软件项目管理、确定与顾客有关的过程、采用适用的软件开发方法和软件需求管理工具作为解决问题的途径。     

A CRITICAL ASSESSMENT OF THE BOXES PARADIGM

Abstract

This paper is a constructive critique of the BOXES methodology, based on more than fifteen years of study by the author, and is designed to be an evaluative reference in regard to its future application in real-time, real world systems. The paradigm is examined in some detail with particular reference to sections that convey the “spirit of the method” rather than paying too much attention to the mathematical processes involved, or to any particular application. Areas of concern are discussed, and alterations to some of the basic algorithmic components are suggested. The paper concludes with a “futures” section that highlights further studies in the application of this truly BLACK BOX controller.     

关键路径与随机串行生产线的灵敏度分析

扰动分析是研究离散事件动态系统的有效方法,性能函数的可微性是应用该方法的前提条件之一.利用关键路径的概念,证明了随机串行生产线稳态性能函数可微的充要条件为系统的关键路径以概率1唯一;而且,当系统的关键路径以正概率不唯一时性能函数的方向导数存在,进而给出了其方向导数的无偏估计量.最后指出应用扰动分析和非光滑分析方法研究这类性能函数不可微系统的思路.     

提高SQL Server查询速度的方法

随着应用系统中数据量的增大,提高数据库管理系统SQL Semr的查询和访问数据功能极为必要。本文就提高SQL Server的查询速度问题进行一些分析。     

浅析网络协议对局域网运行速度的影响

通过对本单位局域网出现的登录和浏览“网上邻居”速度变慢故障的分析、排除,结合一些对比试验,得出了局域网中三种常用协议对网络速度影响的结论。