共查询到20条相似文献,搜索用时 156 毫秒
1.
2.
3.
4.
本文主要介绍了windows环境下vxd驱动程序的原理,设计和实现。文中先对windows操作系统的保护模式和内存管理进行简单介绍,然后介绍了设备驱动程序的原理和实现,随后详细阐述了一种实现。 相似文献
5.
本文深入分析了某一体化智能分析仪显示系统的设计目的,并对显示系统软件和硬件工作原理进行了分析,阐述其具体的设计原理及实现方案. 相似文献
6.
7.
本文结合内燃机原理试题库,讨论了试题库管理系统的原理、设计方法和实现技术。着重讨论了代码设计、题库结构和选题算法等技术细节。 相似文献
8.
基于CAN总线的智能适配卡的设计 总被引:4,自引:3,他引:1
主要论述了基于CAN总线的智能适配卡(PC-CAN适配卡)的设计与实现。文中首先简述了CAN总线原理及其特点,然后重点阐述了采用EPLD(可编程逻辑器件)等技术实现基于CAN总线的PC-CAN适配卡的原理和实现。最后针对PC-CAN适配卡,设计了相应的设备驱动程序和上层应用程序。最后实验结果表明,这种设计的方案是可行的,具有一定的实用价值。 相似文献
9.
简介了IDEA(International Data Encryption Algorithm)加密算法设计原理,给出了C语言实现该算法的流程图。基于AD-SP-BF535 EZ-Kit评估板这一硬件平台,分析了数字化语音通信的原理与过程,设计实现了语音保密通信系统,大大提高了语音通信的可靠性和安全性。 相似文献
10.
本文系统地讨论了框架设计的基本概念、原理,提出了框架设计的通用化方法,即应用建立高层逻辑模型、视图合并和回归验证方法实现框架设计,并应用该方法实现了办公自动化系统框架设计和实例化。 相似文献
11.
李郁郁 《数字社区&智能家居》2010,(12)
PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。 相似文献
12.
IPSEC与防火墙协同工作设计与实现 总被引:10,自引:0,他引:10
IPSEC提供网络层的安全服务,通过对IP报文的加密和验证,保证数据在传输过程中的安全.由于IPSEC封装了报文中一些重要信息,使得IPSEC与防火墙不能同时有效地工作.本文提出一种分层IPSEC(Layered IP Security,L_IPSEC)思想,即将协议头和数据部分分别进行安全处理.并将这种分层思想与分布式处理技术结合,设计与实现一种IPSEC与防火墙协同工作方案. 相似文献
13.
在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。 相似文献
14.
智能业务和软交换互通的设计与实现 总被引:1,自引:0,他引:1
电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上,提出了智能网和软交换互通的实现方案,并且以智能用的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了插述和分析。 相似文献
15.
Stein Gjessing 《Distributed Computing》1988,2(4):190-200
In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system.
Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages. 相似文献
16.
Kohonen与Madaline用于解析重叠光谱测定钨和钼 总被引:3,自引:0,他引:3
首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择,在全光谱中优选最能代表光谱特征的波长,被选波长处吸光度作为Madaline网络的输入,设定输出目标函数为G(λ)=∑Aiexp[-4(ln20)(λ-t)^2/2],进行解析重叠光谱,同时测定了钨和钼,该法利用特征光谱代表全谱进行光谱解析,减少了解析光谱中大量的数据。 相似文献
17.
This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described. 相似文献
18.
文章就当前非常流行的两大数据库系统Oracle和Sybase的体系结构、数据存储、备份处理及安全管理,从结构原理、应用等方面进行了系统地分析,总结了两系统的共性和个性,以利于实际应用。 相似文献
19.
存储系统NAS和SAN的差异和统一 总被引:6,自引:1,他引:5
分析了目前已经实现的主流网络存储技术SAN和NAS之间的差异,比较了它们之间在各方面的优劣,描述了多种实现NAS和SAN融合的手段,指出网络化存储必然相统一和融合发展,得出了IP之上存储是未来发展方向的结论。 相似文献
20.