一种认知行为模式的概率化确定方法

研究认知行为模式的确定,提出一种认知行为模式的概率化确定方法,首先,简要介绍认知行为模式的SRK框架,分析三种认知行为模式的特点以及该框架在人因可靠性分析中的应用,然后,概述认知行为模式的确定方法-Hanaman决策树,分析该方法的特点以及存在的不足,强调在认知行为模式的确定过程中考虑不确定性的必要性.随后,将不确定性...     

Rigid body mode and spurious mode in the dual boundary element formulation for the Laplace problems

In this paper, the general formulation for the static stiffness is analytically derived using the dual integral formulations. It is found that the same stiffness matrix is derived by using the integral equation no matter what the rigid body mode and the complementary solutions are superimposed in the fundamental solution. For the Laplace problem with a circular domain, the circulant was employed to derive the stiffness analytically in the discrete system. In deriving the static stiffness, the degenerate scale problem occurs when the singular influence matrix can not be inverted. The Fredholm alternative theorem and the SVD updating technique are employed to study the degenerate scale problem mathematically and numerically. The direct treatment in the matrix level is achieved to deal with the degenerate scale problems instead of using a modified fundamental solution. The addition of a rigid body term in the fundamental solution is found to shift the zero singular value for the singular matrix without disturbing the stiffness.     

基于HLA的地面防空作战模拟系统总体分析与设计

以我军未来高技术条件下地面防空作战为背景,以基于智能主题Agent的高层体系结构HLA为系统建模途径,以Agent联邦为系统运行方式,以智能信息处理为主线,构建我军地面防空作战模拟系统平台;并对平台的总体结构、系统构建方式、系统功能和应用进行了分析;地阿防空作战模拟系统的设计思想、建模过程和构建方式为建设信息化防空作战模拟系统提供了一个全新的设计思路。     

UNIX下采用SOCKET接口方式的C/S服务端并发处理实现

UNIX操作系统因为安全可靠、技术成熟、多进程分时处理功能强大而被广泛用作服务器操作系统。在UNIX系统中,网络应用编程有两种主要的编程接口,一种是Berkeley UNIX（BSD UNIX）的socket编程接口,另一种是AT＆T的TLI接口（用于UNIX SYSV）。由于Sun等公司采用了BerkeleyUNIX操作系统,socket接口被广泛采用并成为事实上的工业标准。本文主要讨论了在UNIX操作系统下采用socket接口方式实现C/S模式服务器端并发处理的实现方案。     

一种利用系统状态方程构造小波的方法

当使用小波解决问题时,得到的结果与所选用的小波有较大的关系.如何针对特定的问题来构造适用的小波还没有有效的方法.阐述了一种利用消失矩条件和线性时不变系统的状态方程来构造小波的方法.为此首先简要的介绍了Diophantine方程和消失矩条件,然后利用系统的模式函数可以从解状态方程的特征根得到的特性,通过添加令小波与模式函数正交的条件,得到了构造小波的方法.并进一步对用所推导的方法构造双正交关于0对称的实小波这一具体情况进行了讨论.最后给出了应用此方法构造小波的一个实际的例子.     

Real‐time hybrid control of electrohydraulic active suspension

Electrohydraulic actuators are an attractive choice for active suspension, because these systems provide a high power‐to‐weight ratio. However, their dynamics are highly nonlinear. In addition, the use of one simple controller for both position and force is complicated, because there is a compromise between them in the case of active suspension. Most existing controllers do not efficiently fulfill the requirements, because only one state variable is considered. In this paper, we address these problems by developing a new hybrid controller for both position and force and implementing it in a real‐time test bench. Our goal is to control the vertical position of the passenger seat while tracking the force transmitted to passengers and keeping it within tolerable and comfortable limits. Therefore, the proposed controller is a combination of two controllers. Its flexible structure redirects the control signal to control the proper controlled state variable. The real‐time results of the newly designed hybrid controller are compared with those obtained using a classical proportional integral derivative controller, because this is the most widely used controller in the industry. As expected, the proposed controller demonstrates better performance in real‐time operation. Copyright © 2017 John Wiley & Sons, Ltd.     

一类分布参数系统的有限维变结构控制

本文研究了一类非线性分布参数系统的有限维变结构控制问题，首先采用Ｇａｌｅｒｋｉｎ近拟法给出了系统的有限维近似模型；进而给出了使近似系统具有良好动态品质的有限维变结构控制器的设计方法；最后分析了闭环系统的渐近性态，给出了近似阶次一定的情况下，原系统具有良好渐近性态的充分条件。     

一种基于对象的复杂数据管理系统的实现

数据应用环境的演变和数据模式的越来越复杂,促使系统实现者在数据（库）管理系统中引入了面向对象的概念。本文描画了在非面向对象的底层数据库管理系统上实现基于对象的复杂数据管理系统的可能,尤其详细阐述了系统数据模块ｃｒｉｐｔ模块如何实现复杂语义的生成,以及用户数据模块如何提供复杂数据的统一接口和完成复杂行为的执行。     

基于云模型的隶属概念判定算法的改进

在人工智能领域中,李德毅教授等提出的定性定量不确定性转换模型——云模型,把概念的模糊性和随机性完全集成到一起,构成定性数据和定量数据的相互映射。但是,在利用云模型进行隶属概念的判定的算法中,不论对象是否明确属于某个概念,一律进行不确定性判定,过分地强调了模糊性和随机性。这不符合人类的认识规律,而且增加了算法的时间复杂度,甚至导致隶属概念判定的明显错误。该文根据人类认识规律对上述算法进行了改进。对那些可以明确确定属于某概念的对象,不再进行不确定性判定,直接被认定为属于该概念,只对处于多个概念边缘的不能确定属于某个概念的对象进行不确定性判定,使其符合人类的认识规律,降低了算法的时间复杂度。     

A New Method for Encrypting Images with Few Details Using Rijndael and RC6 Block Ciphers in the Electronic Code Book Mode

ABSTRACT

In this paper, we propose an efficient method for encrypting images with few details using Rijndael and RC6 block ciphers in Electronic Code Book (ECB) mode. Images with few details are images with large areas of similar gray levels such as medical images, infrared images, and logo images. This leads to encryption leakage if the Rijndael or RC6 block ciphers are used. The proposed method solves this problem by using a preprocessing step to eliminate the repeated patterns before encryption. A comparison is held between encryption of images with few details with preprocessing and encryption without preprocessing. Experimental results verify that the proposed preprocessing method gives the encryption algorithms the ability to encrypt images with few details in an efficient manner in the ECB mode.