一类不可观测ARMA过程参数的最小方差估计的强相容性

本文讨论一类不可观测ＡＲＭＡ过程｛ｕ１｝参数的估计，基于Ｎ个可观测的样本值ｘ１，ｘ２，……，ｘＮ，其中ｘｔ＝ｕｔ＋δｔ，１≤ｔ≤Ｎ，假设｛δｔ｝满足另一个ＡＲＭＡ方程，我们给出参数的最小方差估计量，并证明了这些估计量的强相容性。     

用动态时序模型分析发电机组的振动特性

系统的动态振动特性虽然可用有限元法计算，但用有限元法时，往往要引入一系列人为假设，从而易导致计算结果与实际不符。该文应用动态时序ＡＲＭＡ模型计算了某发电机组的振动特性参数，取得了满意的效果。     

正则余弦函数的谱映象定理

设Ａ为Ｂａｎａｃｈ空间（Ｘ上正则余弦函数｛Ｃ（ｔ）｝ｔ∈Ｒ的生成元。证明了正则余弦函数的各种主普映象定理，即获得了生成元Ａ的谱和｛Ｃ（ｔ）｝∈Ｒ的谱之间的一些关系。作为应用，还获得了积分余弦函数的谱映象定理。     

对带自同态的模的同态性质注记

｛Ｍｉ｝Ｉ、｛Ｎｊ｝Ｊ是两个分别带有自同态｛σｉ｝Ｉ、｛τｊ｝Ｊ的左Ｒ－模簇，文中探讨了其直和与直积间的同态性质。     

图的禁用子图和H—连通性

证明了如下结果：设Ｇ是３—连通图，如果Ｇ满足如下之一：（ｉ）｛Ｋ１，３，Ａ，Ｄ）－ｆｒｅｅ．（ｉｉ）｛Ｋ１，３，Ａ，Ｐ５｝－ｆｒｅｅ．（ｉｉｉ）｛Ｋ１，３，Ｉ｝－ｆｒｅｅ．（ｉｉｉｉ）｛Ｋ１，３，Ｚ３，Ｂ｝－ｆｒｅｅ．则Ｇ是Ｈ－连通的．     

图的禁用子图和H—连勇性

证明了如下结果，设Ｇ是３－连通图，如果Ｇ满足如下之一：（ｉ）｛Ｋ１，３，Ａ，Ｄ｝－ｆｒｅｅ，（ｉｉ）｛Ｋ１，３，Ａ，Ｐ５｝－ｆｒｅｅ．（ｉｉｉ）｛Ｋ１，３，ｉ｝ｆｒｅｅ．（ｉｉｉｉ）｛Ｋ，１，３，Ｚ３，Ｂ｝－ｆｒｅｅ．则Ｇ是Ｈ－连通的。     

冷轧钢板变形织构的理论模拟

采用取向分布函数法研究了钢板中的轧制织构。其中以｛１１０｝＜１１１＞滑移系滑移为基本变形机制，利用Ｓａｃｈｓ，Ｔａｙｌｏｒ，ＲＣ和ＰＣ等模型对轧制织构进了理论模拟。这些理论模型可以再现体心立方金属冷轧过程中晶粒取向在｛１１２｝＜１１０＞，｛１１１｝＜１１０＞，｛１１１｝＜１１２＞及｛００１｝＜１１０＞附近的聚集过程。分析表明｛１１０｝＜１１１＞滑移系的滑移是体心立方金属十分重要的变形机制，适当参考     

移动信道中交错RS码纠错能力的计算机模拟

研究了移动通信信道中两个交错ＲＳ码的纠错性能，信道模型采有三状态Ｍａｒｋｏｖ模型，针对移动信道中长突发误码的特性，用随机数两步产生法产生所需的信道差错序列｛ｅｉ｝，模拟实验取得令人满意的性能改善结果。     

从公理语义看UNITY模型和GAMMA模型的关系

ＧＡＭＭＡ和ＵＮＩＴＹ都是面向问题描述的程序设计语言．ＵＮＩＴＹ开发了一种公理语义规范语言，即ＵＮＩＴＹ逻辑，描述和推导程序的特性．这一规范语言也可以很自然地移植到ＧＡＭＭＡ模型上去．基于上述语义规范，给出一个将ＵＮＩＴＹ程序变换成ＧＡＭＭＡ程序的保语义等价性的程序变换方法，从而证明了ＧＡＭＭＡ模型的描述能力强于ＵＮＩＴＹ模型     

总体维数和有限表现模

该文就Ｒ 冯；诺意曼正则环，遗传环，半遗传不和拟局部凝聚环的情况下，讨论了Ｒ的总体维数与ｓｕｐ｛ＰｄＡ｜Ａ为有限表现模｝的关系。同时对拟局部凝聚环Ｒ，给出了Ｒ的总体维数与ｓｕｐＰｄＡ｜Ａ为有限表现模｛的相等的几个主要条件。     

分布式时间同步系统的参考时间获取技术分析

时间同步是支撑分布式系统的基石,也是目前解决高性能工业测控应用问题的关键性技术之一。通过全面分析时间同步技术采用的参考时间获取方法,阐述不同类型的标准时间获取方法及其主要特点,对各种方法的适用条件、应用范围做出系统的评估,为构建行之有效的时间同步方案提供富有实用价值的技术支持和指导。     

带有延迟的离散时间非线性系统的镇定

研究了一类带有延迟的多输入离散时间非线性系统，利用Lyapunov方法建立了闭环系统稳定的充分条件，并给出了使系统全局(或局部)渐近稳定的状态反馈控制律，从而延伸若干已有结果．     

嵌入式实时操作系统的时间性能测试

时间性能是嵌入式实时操作系统一个非常重要的参数,而任务切换时间和中断响应时间则是其中的关键因素.为了评估嵌入式实时操作系统的时间性能,设计了结合硬件的测试方法,采用示波器对其时间性能进行测量.针对汽车电子产业的嵌入式硬实时操作系统Reworks的实测结果表明,该方法是可行的.     

从《敬语指针》学习敬语

2007年2月发布的《敬语指针》报告从对敬语的基本认识、敬语的构成以及敬语的具体使用等方面对敬语做出了解释说明,可以说此报告是多年来对于敬语研究做出的一份详细的总结报告。     

金属丝热平衡时间与电阻平衡时间研究

本文从理论上详细讨论了金属丝热平衡时间与电阻平衡时间的问题,并将理论结果与实验测量数据进行了比较。     

时间的思考

讨论了认识时间所经历的曲折漫长过程。指出了物理学自身,以及物理学和哲学关于时间问题所存在的困难和矛盾,同时指出随着这些困难和矛盾的解决,必将对物理学和哲学的发展产生巨大推动作用。     

Larmor钟与隧穿时间

计算了串联势垒系统中的Ｌａｒｍｏｒ时间,从计算结果,对Ｌａｒｍｏｒ时间的可加性和能否满足判据τＤ＝τ（λ）·τＴ＋ρ（λ）·τＲ等性质作了讨论．并阐述了关于Ｌａｒｍｏｒ时间与透射时间τＴ、反射时间τＲ和逗留时间τＤ的关系的观点．     

与时间相关系统的Petri网模型

首先简介一般加时间Ｐｅｔｒｉ网模型及其使能规则和点火规则,然后给出几种典型的加时间的Ｐｅｔｒｉ网模型及其动态行为及点火规则,其中,通讯时间Ｐｅｔｒｉ网侧重于网与环境之间的通讯;ＴＣＰＮ侧重于讨论变迁的最早和最晚点火时间以及点火持续时间;ＧＳＰＮ侧重于从概率的角度讨论变迁的点火时间问题,本还给出三种具有代表性的用于描述多媒体同步的Ｐｅｔｒｉ网模型及其点火规则。     

公交出行换乘时间模型及时间阈值研究

针对利用公交出行换乘时间阈值可更加准确区别换乘行为和二次出行行为,提高利用公交IC卡数据自动提取公交换乘时间方法的精确性,进而提升城市交通的整体规划和公交整体服务水平. 通过实际调查,首先对公交出行换乘方式进行了分类,分析了各类公交出行方式的换乘时间影响因素及其影响机理. 在此基础上从微观的角度建立了公交出行时间与各影响因素之间的关系模型,并通过实际调查数据验证了该模型的准确性,应用公交出行换乘时间模型得到了基于GIS公交网络要素分类的各类换乘方式的公交换乘时间阈值.     

一种用于时差法超声波流量计的高精度测时方法的实现

针对时差法超声波流量计高测时精度的要求,在分析传统测时方法误差的基础上,提出一种新的测时方法.这种新方法利用传统锁相环路测时原理,结合边沿检测技术,保证了超声波信号传播时间测量值为整数个计时脉冲;同时利用逻辑编程实现对超声波信号多次、循环传播的时间测量,减小了边沿检测误差和系统误差.实验表明,应用该方法提高了测时分辨率,使测时精度达到纳秒及亚纳秒量级,满足了超声波流量计对中小管径测量的精度要求.本设计的核心功能已经在Xilinx XC2S100e FPGA芯片上得到了实现.