叠加线性微分系统的稳定性 被引量：2

1

作者 蔺小林 刘海峰 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第S1期23-25,共3页

利用代数知识 ,结合李雅普诺夫函数方法 ,给出了叠加线性微分系统中原系统不稳定而叠加系统渐近稳定的条件 .

关键词 线性微分系统 稳定性 李雅普诺夫函数

在线阅读 下载PDF 职称材料

啤酒发酵过程测控系统的开发 被引量：1

2

作者 刘海峰 于大元 郭国法 《陕西科技大学学报（自然科学版）》 2000年第4期33-37,共5页

啤酒发酵过程测控系统是一个集散型单主机多测控单元的网络系统 .在硬件的基础上 ,采用 Delphi语言制作了测控系统软件 ,实现了在啤酒发酵过程中对发酵温度及罐内压力的实时测量与控制 ,并可对当前采集数据进行多种显示 ,对历史数据进... 啤酒发酵过程测控系统是一个集散型单主机多测控单元的网络系统 .在硬件的基础上 ,采用 Delphi语言制作了测控系统软件 ,实现了在啤酒发酵过程中对发酵温度及罐内压力的实时测量与控制 ,并可对当前采集数据进行多种显示 ,对历史数据进行存储和打印 .实际运行结果表明 ,该系统稳定可靠 。 展开更多

关键词 啤酒发酵 测控系统 智能测控单元 DELPHI语言 测控软件

在线阅读 下载PDF 职称材料

Internet环境下分布式曲面拟合系统的处理结构

3

作者 陈桦 齐慧 +1 位作者 曹岩 赵汝嘉 《计算机工程》 CAS CSCD 北大核心 2002年第7期92-94,共3页

首先介绍了曲面拟合的概念和方法,并提出了一种在上以分布式处理结构为基础的动态拟合工具。这种方法可以使用户在客Internet户端通过网页浏览器使用该工具,而不需要对任何昂贵的软硬件进行维护和投资。此外,由于可用多重处理单元,相对... 首先介绍了曲面拟合的概念和方法,并提出了一种在上以分布式处理结构为基础的动态拟合工具。这种方法可以使用户在客Internet户端通过网页浏览器使用该工具,而不需要对任何昂贵的软硬件进行维护和投资。此外,由于可用多重处理单元,相对于单个处理单元的环境,减少了每个工作的平均响应时间。 展开更多

关键词 INTERNET 分布式曲面拟合系统 处理结构 计算机辅助设计 CSCW 机械设计

在线阅读 下载PDF 职称材料

视窗操作系统下的视窗化编程方法研究 被引量：2

4

作者 杨安祺 《陕西科技大学学报（自然科学版）》 2001年第4期71-74,共4页

根据视窗操作系统 Windows9.X、Windows NT所形成的特定编程环境 ,研究了各类视窗编辑软件、视窗多媒体集成软件之间的可视化编程关系以及自动生成可执行目标代码程序的方法 ;将这一方法与编译系统、解释系统开发环境作了比较 ,并称其... 根据视窗操作系统 Windows9.X、Windows NT所形成的特定编程环境 ,研究了各类视窗编辑软件、视窗多媒体集成软件之间的可视化编程关系以及自动生成可执行目标代码程序的方法 ;将这一方法与编译系统、解释系统开发环境作了比较 ,并称其为第三编程环境 。 展开更多

关键词 视窗化编程 可视化编程环境 跨平台开发 多媒体技术

在线阅读 下载PDF 职称材料

C语言在啤酒发酵测控网络中断系统中的应用

5

作者 刘海峰 《西北轻工业学院学报》 2001年第1期62-66,共5页

简单介绍了计算机中断的概念 ,重点通过等效汇编代码分析了 C语言中断函数工作机理并将 C语言中断函数应用在啤酒发酵测控中断驻留程序中 ,实际运行取得了较好的效果。这一编程方法对其它工业微机测控系统中断程序的开发提供了一条高效... 简单介绍了计算机中断的概念 ,重点通过等效汇编代码分析了 C语言中断函数工作机理并将 C语言中断函数应用在啤酒发酵测控中断驻留程序中 ,实际运行取得了较好的效果。这一编程方法对其它工业微机测控系统中断程序的开发提供了一条高效、可靠的编程途径 ,另一方面 ,也是对传统全汇编方法的革新 ,因而很有必要大力推广。 展开更多

关键词 中断函数工作机理 程序驻留技术 啤酒发酵罐 计算机中断 C语言 微机测控网络系统

在线阅读 下载PDF 职称材料

面向并行工程的CAD/CAM系统及关键技术

6

作者 王海彦 陈桦 《机床与液压》 北大核心 2003年第3期220-221,共2页

本文提出了一种基于并行工程的CAD/CAM系统 。

关键词 系统集成 并行工程 CAD CAM CIMS

在线阅读 下载PDF 职称材料

Hamilton-Caylay定理的四种证明方法 被引量：3

7

作者 蔺小林 刘利华 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2002年第S1期37-39,共3页

给出了Hamilton Caylan定理的四种不同证明方法.

关键词 Hamilton-Caylay定理 证明 方法

在线阅读 下载PDF 职称材料

一阶微分方程周期解的研究 被引量：3

8

作者 蔺小林 《陕西科技大学学报（自然科学版）》 2000年第4期69-73,共5页

对一阶微分方程周期解存在性的研究结果进行了总结 ,给出了一阶微分方程存在周期解的充要条件及判定周期解存在的一些充分性条件 。

关键词 微分方程 周期解 充要条件

在线阅读 下载PDF 职称材料

E^n空间中点到超子空间的距离研究

9

作者 刘海峰 蔺小林 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第S1期26-29,共4页

经过分析和论证 ,给出了En 空间中的点到超子空间的距离公式 ,讨论了En空间中的点到超平面的距离公式 ,再将结论应用到低维空间中 ,给出结论的几何解释 ,验证了所述结论也适用于低维空间 .

关键词 欧氏空间En 超子空间 超平面 距离

在线阅读 下载PDF 职称材料

声音媒体的数字处理技术 被引量：1

10

作者 杨安祺 崔少谋 《西北轻工业学院学报》 2001年第2期82-85,共4页

声音媒体是多媒体技术中的一个重要组成部分 ,作者分析了把连续的模拟音频信号转换成数字音频信号的技术处理过程 。

关键词 声波叠加 混成效果 声音媒体 数字处理技术 多媒体

在线阅读 下载PDF 职称材料

基于H.323的IP电话通信设计

11

作者 陈桦 陈旻 徐璋军 《陕西科技大学学报（自然科学版）》 2001年第4期60-63,共4页

阐述了如何用软件实现 IP电话网关及网守的通信 ,从关守通信协议分析入手 ,用C+ +编写了编解码函数 ,并对该软件分阶段进行了检测。

关键词 网关 网守 ASN.1 H.323 IP电话

在线阅读 下载PDF 职称材料

飞行器轨迹仿真算法的研究

12

作者 刘海峰 蔺小林 《西北轻工业学院学报》 2001年第3期66-69,共4页

通过数学分析建立了空间斜距离随时间变化的数学模型 ,在分析激光测距机测距误差的基础上 ,提出了建立初值、插值补点、剔除假点、数值滤波等的具体算法 。

关键词 数学模型 激光测距 仿真算法 仿真试验 飞行器轨迹

在线阅读 下载PDF 职称材料

基于网络层的轻负载密钥交换协议的研究

13

作者 张文林 张振国 赵仲孟 《西北轻工业学院学报》 2002年第1期71-74,共4页

针对如何在无连接的网络层中建立有效的密钥管理机制 ,提出了一个工作在网络层的轻负载密钥交换协议 ,并给出了其 Petri网模型。该协议已在一个基于 Linux带安全传输通道的防火墙中得以实现。

关键词 轻负载密钥交换协议 网络协议 数据加密 防火墙

在线阅读 下载PDF 职称材料