电工电子线路虚拟实验室的建设与应用

虚拟技术的发展使电子线路的分析设计过程得以在计算机上轻松、准确、快捷地完成。这样,一方面克服了实验室在元器件和规格上的限制,避免了损坏仪器等不利因素,另一方面使得实验不受时间及空间的限制,从而促进电子线路实验教学的现代化。     

一类拟线性椭圆型方程分歧点的存在性

本文讨论了下面问题的分歧点的存在性：－ｐｘｉ〔（１＋｜ｕ｜２）ｐ２－１ｕｘｉ〕＝μｕ＋ｆ（ｘ，ｕ），ｘ∈ＲＮｕ（ｘ）→０，当｜ｘ｜→＋∞时，ｕ０，μ∈Ｒ１，Ｎ＞ｐ≥２｛证明了μ＝０是上述问题的分歧点。     

仿真实验转台变参数控制器设计与实现

首先介绍仿真试验OUT型闭式转台的组成特点,叙述了其控制器原理及在仿真试中的实现形式.     

减压活门性能试验台系统方案设计

主要介绍了减压活门性能试验台的实现机理、采用的方案。     

数字多用表自动检定校准系统

本文介绍了一种数字多用表的自动检定校准系统的构成及软件设计 ,并对系统软件的设计方法 ,主要功能及主要特色进行了讨论。     

用两端安装法检定热电偶

利用一种设计好的专用检具 ,使两束被检热电偶分别从检定炉的两端安装均可保证符合检定规程的要求 ,从而在不添置新设备的情况下 ,使检定热电偶效率大大提高。     

新型精密狭缝的设计

介绍了一种基于弹性铰链的精密狭缝的设计，加工工艺要求和性能测试结果。根据实际需要，狭缝可以采用水冷结构。     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

对地定向三轴稳定卫星的圆锥扫描地球敏感器的数学模型

本文介绍了对地定向三轴稳定卫星的圆锥扫描式地球敏感器的姿态测量原理、输出几何关系和数学模型，并以实际例子说明大角度姿态控制时必须注意敏感器输出的轴间耦合问题     

ERP在航天制造部门的实施初探

ERP是一种先进的生产管理系统,航天产品“小批量、多品种”的生产特点为ERP的实施提出了新的需求。文章介绍了ERP的特点、实施目的并根据航天某小型制造部门的生产特点,提出了实施措施及建议。只要各方协同努力,ERP在航天制造部门是能够成功发挥其应有作用的。