AN UNIFIED METHOD AND THEORY FOR GRAMMAR DESIGN OF A CLASS OF CONTEXT-SENSITIVE LANGUAGES

ＡＮＵＮＩＦＩＥＤＭＥＴＨＯＤＡＮＤＴＨＥＯＲＹＦＯＲＧＲＡＭＭＡＲＤＥＳＩＧＮ　ＯＦＡＣＬＡＳＳＯＦＣＯＮＴＥＸＴ－ＳＥＮＳＩＴＩＶＥＬＡＮＧＵＡＧＥＳＬｉＺｈｏｕｊｕｎ;ＣｈｅｎＨｕｏｗａｎｇ;ＬｉＫａｎ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒ...     

STUDY ON REALISTIC TECHNOLOGY OF CONDITION MONITORING AND FAULT DIAGNOSTIC SYSTEM FOR SHIPPING POWER DEVICES

ＳＴＵＤＹＯＮＲＥＡＬＩＳＴＩＣＴＥＣＨＮＯＬＯＧＹＯＦＣＯＮＤＩＴＩＯＮＭＯＮＩＴＯＲＩＮＧＡＮＤＦＡＵＬＴＤＩＡＧＮＯＳＴＩＣＳＹＳＴＥＭＦＯＲＳＨＩＰＰＩＮＧＰＯＷＥＲＤＥＶＩＣＥＳＷｅｎＸｉｓｅｎ;ＬｉＹｕｅ;ＴａｎｇＢｉｎｇｙａｎｇ（Ｄｅｐ...     

A COMPLEX OF TWO OPTIMIZATION IDEAS IN OPTICAL AUTOMATIC DESIGN

ＡＣＯＭＰＬＥＸＯＦＴＷＯＯＰＴＩＭＩＺＡＴＩＯＮＩＤＥＡＳＩＮＯＰＴＩＣＡＬＡＵＴＯＭＡＴＩＣＤＥＳＩＧＮＷａｎｇＹｏｎｇｚｈｏｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＡｐｐｌｉｅｄＰｈｙｓｉｃｓ,ＮＵＤＴ,Ｃｈａｎｇｓｈａ,４１００７３）Ａｂｓｔｒａｃｔ：...     

THE RESEARCH AND IMPLEMENTATION OF COMBINING LOGIC WITH OBJECT­ORIENTED PARADIGM

ＴＨＥＲＥＳＥＡＲＣＨＡＮＤＩＭＰＬＥＭＥＮＴＡＴＩＯＮＯＦＣＯＭＢＩＮＩＮＧＬＯＧＩＣＷＩＴＨＯＢＪＥＣＴＯＲＩＥＮＴＥＤＰＡＲＡＤＩＧＭＺｈｏｕＬｉ;ＷｕＱｕａｎｙｕａｎ（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ,ＮＵＤＴ,Ｃｈａｎ...     

RESEARCH ON TECHNOLOGY AND SYSTEM FOR ON-LINE MEASUREMENT OF SURFACE ROUGHNESS IN ULTRA-PRECISION MACHINING

ＲＥＳＥＡＲＣＨＯＮＴＥＣＨＮＯＬＯＧＹＡＮＤＳＹＳＴＥＭＦＯＲＯＮ－ＬＩＮＥＭＥＡＳＵＲＥＭＥＮＴＯＦＳＵＲＦＡＣＥＲＯＵＧＨＮＥＳＳＩＮＵＬＴＲＡ－ＰＲＥＣＩＳＩＯＮＭＡＣＨＩＮＩＮＧＬｕＨａｉｂａｏ;ＷａｎｇＹａｏｋｅ;ＺｈｕＪｉｇｕｉ;Ｚｈｏ...     

THE DETERMINATION OF THE DEFLECTION OF VERTICAL USING INERTIAL SURVEYING SYSTEM

ＴＨＥＤＥＴＥＲＭＩＮＡＴＩＯＮＯＦＴＨＥＤＥＦＬＥＣＴＩＯＮＯＦＶＥＲＴＩＣＡＬＵＳＩＮＧＩＮＥＲＴＩＡＬＳＵＲＶＥＹＩＮＧＳＹＳＴＥＭＷａｎｇＷｅｉ（ＤｅｐａｒｔｍｅｎｔｏｆＡｕｔｏｍａｔｉｃＣｏｎｔｒｏｌ,ＮＵＤＴ,Ｃｈａｎｇｓｈａ,４１００７...     

DETECTION OF TRANSIENT SIGNAL USING THE DISCRETE WAVELET TRANSFORM

ＤＥＴＥＣＴＩＯＮＯＦＴＲＡＮＳＩＥＮＴＳＩＧＮＡＬＵＳＩＮＧＴＨＥＤＩＳＣＲＥＴＥＷＡＶＥＬＥＴＴＲＡＮＳＦＯＲＭＬｉｕＺｈｅｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＩｎｆｏｒｍａｔｉｏｎＥｌｅｃｔｒｏｎｉｃｓ,ＦａｃｕｌｔｙｏｆＥｎｇｉｎｅｅｒｉｎｇ,Ｎａ...     

CYLINDRICITY ERROR COMPENSATION IN DIAMOND TURNING VIA P－INTEGRATOR REPETITIVE CONTROL

ＣＹＬＩＮＤＲＩＣＩＴＹＥＲＲＯＲＣＯＭＰＥＮＳＡＴＩＯＮＩＮＤＩＡＭＯＮＤＴＵＲＮＩＮＧＶＩＡＰ－ＩＮＴＥＧＲＡＴＯＲＲＥＰＥＴＩＴＩＶＥＣＯＮＴＲＯＬＬｉＳｈｅｎｇｙｉ（ＤｅｐａｒｔｍｅｎｔｏｆＭｅｃｈａｎｔｒｏｎｉｃｓａｎｄＩｎｓｔｒｕｍｅｎｔ...     

INTELLIGENT DECISION ALGORITHM FOR FAULT DETECTION AND ITS APPLICATION

ＩＮＴＥＬＬＩＧＥＮＴＤＥＣＩＳＩＯＮＡＬＧＯＲＩＴＨＭＦＯＲＦＡＵＬＴＤＥＴＥＣＴＩＯＮＡＮＤＩＴＳＡＰＰＬＩＣＡＴＩＯＮＷｕＪｉａｎｊｕｎ;ＺｈａｎｇＹｕｌｉｎ;ＣｈｅｎＱｉｚｈｉ（ＤｅｐａｒｔｍｅｎｔｏｆＡｅｒｏｓｐａｃｅＴｅｃｈｎｏｌｏｇｙ,...     

A BENDING DAMAGE THEORY FOR BEAMS UNDER PURE BENDING LOADS

ＡＢＥＮＤＩＮＧＤＡＭＡＧＥＴＨＥＯＲＹＦＯＲＢＥＡＭＳＵＮＤＥＲＰＵＲＥＢＥＮＤＩＮＧＬＯＡＤＳＹａｎｇＧｕａｎｇｓｏｎｇ;ＬｕＹｉｎｃｈｕ;ＪｉｎＸｉｎ（ＤｅｐａｒｔｍｅｎｔｏｆＡｅｒｏｓｐａｃｅＴｅｃｈｎｏｌｏｇｙ,ＮＵＤＴ,Ｃｈａｎｇｓｈａ,...     

Java语言在军用软件中的应用及实现方法

简要地分析了军用软件的现状和需求、Java语言的体系结构和系统特性、Java语言实时性的实现方法等。实时军用软件对开发语言的实时性要求很高,但是标准规范的Java语言本身不满足实时性能,因此,要想把Java语言应用到实时军用软件中必须首先解决Java语言的实时性的问题。     

测量船中心机实时监控专家系统建造技术

测量船中心机实时监控专家系统应用于测量船中心机系统执行海上测量任务的时节，旨在提高整个系统的实时性和可靠性。本文围绕实时专家系统的时序性、时变性、时效性等特征，从系统设计与实现两个方面讨论建造该专家系统的一些关键技术。     

随机弱实时系统作业调度概率保证分析

随机弱实时系统与强实时系统的显著区别是 ,它不要求实时任务的每一项作业都满足时限要求 ,只要保证作业的时限延误率低于某一阈值 ,其总体执行性能就是可以接受的。提出了概率时间需求分析法 (PTDA) ,用于估计可剥夺静态优先级调度策略下周期性任务的作业满足时限约束的概率的下界 ,并通过一个具体的实例考察了下界的紧性。对实例系统的仿真结果表明 ,PTDA分析的误差小于 1 0 % ,计算速度快 ,可以为弱实时应用的设计提供重要的参考依据     

多机实时通信系统及其程序自动生成器的设计

介绍了多机实时通信系统的设计方法,并在此基础上介绍了多机实时通信系统自动生成器的设计原理和方法。     

基于模糊Petri网的实时系统功能模型构建

Petri网在描述具有模糊行为的系统时是有缺陷的,为了更好地分析、评价和开发实时系统,提出了一种利用模糊Petri网构建实时系统功能模型的方法,阐述了模糊Petri网的基本原理,详细介绍了利用模糊Petri网的特征分析实时系统的功能及绘制实时系统功能模型的步骤。     

Linux内核的进程调度原理及改进算法研究

随着Linux在嵌入式操作系统领域的广泛应用,对Linux实时性能增强的研究也越来越多。通过对Linux进程调度依据和进程调度过程的分析,提出了一种改进的Linux进程调度算法。该算法改造了进程调度队列数据结构,去掉了进程调度选择时的遍历步骤,更改为直接得到待选最高优先级进程,同时,该算法改统一的时间片重新分配策略为分散的时间片重算策略。通过Linux进程调度算法与改进算法的时间复杂度对比分析,改进算法将Linux调度算法O(n)级的时间复杂度降低为O(1)级时间复杂度,因此能够更好地满足实时操作系统时间可测度以及低延迟等要求。     

强实时双系统中容错技术研究

在关键任务部门中 ,实时双系统的应用越来越广泛。如何保证高的可用度和高的响应时间是它们共同面临的问题。在本文中 ,全面论述了强实时双系统容错技术中的关键问题 ,包括系统结构定义、故障检测、状态切换。实际应用的结果表明 ,方案可以满足应用系统高可靠、强实时的需求 ,取得了良好的效果     

高可靠、强实时分布式系统的切换技术研究

本文首先给出某高可靠、强实时分布式系统及系统的两种切换方案的简要描述，然后对切换技术的实现进行讨论；最后，在建立强实时双工系统的可靠性模型基础上，对系统的两种切换方案进行分析与比较。研究结果表明：对于本系统，机组级切换优于结点机级切换，且可以减少程序的复杂度，提高系统的可靠性与实时性。     

基于半实物仿真的水面无人艇测试系统构建方法

水面无人艇是一种新型无人自主作战舰艇,能够通过任务设定、预规划航路、搭载不同的任务载荷,完成多种任务,包括警戒巡逻、侦察监视、反潜反水雷等.由于水面无人艇对工作环境要求较高,因此为了能够在实艇海上试验之前,在实验室条件下进行充分的测试,提出一种基于半实物仿真的水面无人艇测试系统构建方法,测试系统基于由实物岸基航行任务指...     

基于贝叶斯方法的退化失效型产品实时可靠性评估

通过传统可靠性方法得到的失效分布反映了相同受试环境下同一类产品的平均特征,并不能直接应用于系统实时定量可靠性分析。为此,针对有历史试验数据的退化失效型产品,依据局部更新的思想,利用贝叶斯方法最大可能地采用现场测试数据,并将之及时反映到实时可靠性模型中去。结果表明,随着融合现场数据的增多,产品的实时可靠性模型也逐渐全面反映出产品的个性特征。