微机-机械扫描阀测压系统精确度改善与提高

本文对采用计算机-机械扫描阀测压系统在压力测量过程中影响测量精确度的诸因素进行了分析,介绍了改善和提高其测量精确度的几种方法。结果表明:效果显著,方法正确。     

随机序列传输的误码检测

为了消除信息交换中随机信号的传输误码,设计一种接收器对输入的随机信号进行检测。当产生传输误码时,统计量的分布密度函数为,其中为未出现传输误码时,统计量的分布密度函数,P(y,p_σ,n)是以y=0为极小值的偶函数。以识别的最小错误概率为检测准则,检测的门限为方程P(y,p_σ,n)=1的根。因此,最小错误概率检测准则为:P(y,p_σ,n)≥1。     

疲劳强度概率分布的统计推断

 本文就疲劳强度概率分布问题从统计角度出发,利用统计推断方法处理。通过三组较大子样的疲劳试验数据的统计分析,得出与在假定一定的疲劳寿命概率分布下由数学分析方法推导出的理论概率分布完全不同的结论。该法中疲劳强度概率分布与疲劳寿命分布没有直接关系。     

交流供电CS101试验方法的改进

针对GJB152A-97交流供电CS101试验中存在的问题,提出了一种新的干扰电压的注入和监测方法。该方法不仅提高了试验的合理性,而且降低了试验中可能出现的风险。     

浅谈先秦儒家伦理道德的普世意义

以孔孟为代表的先秦儒家的伦理道德具有普世意义,其普世性的特质是:人禽之辨与礼仪之邦.普世性元素有:仁者爱人的人道精神、性善论的本体论基础、忠恕之道的基本途径、孝悌之道的基础地位、和而不同的基本原则.儒学普世性决定了它具有适应现代化和全球化,进而成为安定人类社会的基石和世界大同的推动者.     

Intelligent checking model of Chinese radiotelephony read-backs in civil aviation air traffic control

Federal Aviation Administration (FAA) and NASA technical reports indicate that the misunderstanding in radiotelephony communications is a primary causal factor associated with operation errors, and a sizable proportion of operation errors lead to read-back errors. We introduce deep learning method to solve this problem and propose a new semantic checking model based on Long Short-Time Memory network (LSTM) for intelligent read-back error checking. A mean-pooling layer is added to the traditional LSTM, so as to utilize the information obtained by all the hidden activation vectors, and also to improve the robustness of the semantic vector extracted by LSTM. A MultiLayer Perceptron (MLP) layer, which can maintain the information of different regions in the concatenated vectors obtained by the mean-pooling layer, is applied instead of traditional similarity function in the new model to express the semantic similarity of the read-back pairs quantitatively. The K-Nearest Neighbor (KNN) classifier is used to verify whether the read-back pairs are consistent in semantics according to the output of MLP layer. Extensive experiments are conducted and the results show that the proposed model is more effective and more robust than the traditional checking model to verify the semantic consistency of read-backs automatically.     

循环冗余校验码的查表生成算法及其实现

给出了ＣＲＣ码的查表生成算法和一个码表实例，所给算法适合用软件方法快速生成ＣＲＣ码，由于计算上的复杂性，ＣＲＣ码通常用硬件来产生，限制了在一些地方的应用。在应用系统中，用ＣＲＣ码取代简单的奇偶校验码能提高数据传输的可靠性，所给算法为在应用系统采用ＣＲＣ码提供了方便的途径。     

网络安全脆弱性检测复合模型及应用

介绍了对脆弱性检测的一般规则进行扩充而建立的脆弱性检测复合模型,并结合CVE实例,对复合模型的算法进行了研究。在对复合模型进行分解的基础上,对复合模型中的应用层和功能层分别进行插件化实现。应用证明,该方法大大提高了检测效率,并具有良好的可操作性和扩充能力。     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。