实时系统开发与PEARL语言

本文讨论了实时系统的特征、开发方法、设计工具、实现手段工具等开发过程中的主要问题,论述了实时系统开发语言PEARL及该语言的对实时系统的主要支持.     

桅杆结构数据采集软件

文章介绍了桅杆结构数据采集软件的编制 ,并基于HY -8021多功能数据采集板与光电位置传感器的特性 ,使得该软件可满足以低频振动为主的建筑工程结构数据采集的要求。     

利用ICAP／4仿真系统进行电子电路虚拟实验

以串联型稳压电源为例，介绍利用数／模混合电路仿真软件系统ICAP／4进行虚拟实验及故障诊断的方法，并给出仿真波形。     

Static extracting method of software intended behavior based on API functions invoking

The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior＇s dynamic and trusted authentication. In this paper, the author proposes a specified measure of extracting SIBDS （software intended behaviors describing sets） statically from the binary executable using the software＇s API functions invoking, and also introduces the definition of the structure used to store the SIBDS in detail. Experimental results demonstrate that the extracting method and the storage structure definition offers three strong properties： （i） it can describe the software＇s intended behavior accurately; （ii） it demands a small storage expense; （iii） it provides strong capability to defend against mimicry attack.     

开源软件在网络教育中的应用

论述了在教育领域中使用开源软件的必要性,介绍了几种应用于网络教育的开源软件,主要包括服务器软件、工作站软件和课程管理系统。     

基于PLC现场数据采集与分析

介绍了PLC控制器的可行性分析,阐述了基于PROFIBUS工业以太网数据采集的研究,并提出了基于PLC现场数据采集与分析的方法。     

Banach空间中的幂级数方程

本文考虑Banach空间中形如x=u+sum from k=1 to ∞(a_kx~k)的幂级数方程,建立了一个比较定理,并将其应用于一定的非线性积分方程.     

一类广义非扩张映像的不动点定理

在 Ｂａｎａｃｈ空间中讨论一类广义非扩张映像的不动点的存在性和迭代逼近，以及不动点集的性质。