电脑外设技术讲堂——机箱篇

引言：机箱主要是对构成PC(Personal Computer)个人计算机功能的电子零件起支撑，保护，安全，固定的作用。机箱的面板除了把计算机控制按键前置的功能外，还有美观、防尘、防盗、以及屏蔽电子元件的辐射。     

某雷达维修训练模拟器的设计与实现

维修训练模拟器应用于教学可降低对实装的损耗,训练针对性更强,效率更高。在分析某型雷达特性的基础上提出了虚实结合的设计思想,按照模拟系统与实装系统结构相同、功能一致,控制过程相同、逻辑一致的基本要求,规范了操作训练和维修训练指标,以及模拟器的体系结构。采用与实装一致的组合面板建立一个逼真的人机交互操作环境,通过虚拟装备和典型实装部组件构建系统硬件环境;采用虚拟装备分系统结合典型实装部组件,构建模拟维修训练环境,利用虚拟及真实测量工具实现装备维修模拟训练;设置信息交互接口,以实现与数据传输系统和仿真分布交互平台间的互联。该训练模拟器操作简便,可靠性高,为装备操作和维修提供了训练和考核环境。     

用批命令实现屏蔽操作

在使用DOS的过程中,我们经常会遇到需要屏蔽某些文件而对所有其他文件进行某种操作的情况,例如要把当前目录中,C文件保留下来,而把其他所有文件都删除掉,按照通常的操作步骤需费一些周折。我编写了一个批处理文件MASK.BAT,能够简单方便地实现屏蔽操作的功能(见后附程序)。这个程序的使用格式是:MASK<要屏蔽的文件> <要进行的操作命令><命令参数>,……。 程序实现的基本思想是创建一个临时子目录,把要屏蔽的文件转移到这个子目录中,进行完所需的操作后,再把这些文件转移回来。程序中的MOVE是     

虚拟训练系统中过程仿真实现方法研究

以装备操作过程为研究对象,通过基于知识的方法建立操作作业模型,采用数据库技术建立规则库,使用临时规则库存储操作作业,实现了虚拟训练系统中过程仿真,解决了过程仿真中并行操作问题,节约了系统开销时间,使过程控制同应用程序分离,提高了应用程序的通用性.     

用DreamweaverMX做图像热区

大家在打开带有图片的网页时,有时会看到这样的情况:当鼠标指向图片的不同部位时,可以打开不同的超链接,这种技术我们称之为—网页图片热区。下面我们以DreamweaverMX为例,来看看网页图片热区的具体建立过程。1、启动DreamweaverMX(其他版本请仿照操作),打开需要建立图片热区的网页文件,选中相应的图片,此时“属性”面板自动切换到“图片属性”状态。2、选中一种热区类型(如“多边形”),然后在图片上依次点出一个热区来。注意:热区相当于是在图片上增加了一个图形层,象调整图片一样,可以通过选择工具调整热区的大小和位置。在一页中有多…     

导弹装备虚拟维修训练系统通用平台

针对当前导弹装备虚拟维修训练系统开发只针对单一型号和专用功能、效率低、开放性和通用性差的问题,对基于资源重用性、系统通用性的导弹装备虚拟维修训练通用平台进行研究,阐述通用平台包含的视景仿真、故障机理建模与管理、人机交互、维修任务控制4类模块及2种典型训练模式,探讨通用平台设计中的4项关键技术。介绍通用平台的总体结构设计和基于EON Studio开发的虚拟维修训练原型系统。     

专为互联网量身定制──MICROTEK ScanMaker 3750i扫描仪

ＭＩＣＲＯＴＥＫ ＳｃａｎＭａｋｅｒ ３７５０ｉ 互联网 扫描仪,针对互联网应用而设计,为用户提供了友好的使用界面,安装和使用都极为简易。 这款扫描仪的特别之处,在于提供了三个快捷操作按键,分别是“扫描”（传输至文件或相应处理程序）、“复印”（传输至打印机）和“Ｅ－ｍａｉｌ”（发送电子邮件）,三个快捷键把软硬件结合在一起、把扫描仪与互联网结合在一起,操作扫描仪就像使用家电一样简单。按键设置在扫描仪前端,用户只需轻触一下,“互联网超人”便能够自动启动相关的软件,完成原来需要多个操作步骤才能完成的任务。…     

基于LabVIEW和DAQ的导弹模拟检测研究

针对导弹检测系统过于昂贵而且部队训练易于损坏的特点.设计了基于虚拟仪器技术和数据采集技术的某型导弹装备自动化模拟检测系统.采用虚拟仪器思想设计出了一套适合部队训练用的模拟检测系统.该系统采用在LabVIEW环境下,利用研华的数据采集卡(DAQ)PCI 1711和数字I/O卡PCI 1753对装备面板上的器件进行实时监控,虚拟仪器面板按钮控制激励与输出显示.从而实现对信号的检测.     

基于虚拟技术的某型装备训练考核系统设计

某型装备系统组成复杂,技术含量高,使用真实装备进行实操训练会带来效率低、成本高、物资浪费大和装备损耗率高的问题,为了解决此问题,本文研究利用计算机技术研制该装备的虚拟训练考核系统。利用建模软件按1:1比例制作装备的高精度三维实体模型,进行组装、渲染和降面处理后,导入交互软件进行人机交互编译。在编译中研究解决了动作设计、碰撞检测、干涉消除问题;同时以操作用时、正误率、协同效果等因素设计研制了训练考核系统;利用交互软件的二次开发功能,研究解决了组网训练问题,实现了多名号手协同训练的功能。该系统在不动实装的情况下可以实现对某型装备的训练考核,提高了训练效率,减少了资源浪费。本文利用虚拟技术可以实现了对装备的训练考核,将模型进行适当修改后,可以研制其它装备虚拟训练考核系统,该研究方法技术含量高,实用性强,对部队接收新装备后进行训练具有较高的应用价值。     

气象台站探空模拟训练系统

本系统对气象台站整个探空过程进行了全面而系统的模拟。系统由一台十六位单板计算机、光栅传感器、显示器、键盘、音频电码生成部件、行打印机、IBM主计算机等设备构成。本训练系统不需制氢放球和不开设雷达(不动用气象装备),即可对气象台站的操作人员进行雷达探空点绘、计算、综合作业等科目训练和考核,达到节省消耗器材,减少贵重设备的磨     

Polynomial-time algorithm for the legal firing sequences problem of a type of synchronous composition Petri nets

As far as we know, the testing problem of legal firing sequence is NP-complete for gener-al Petri net, the related results of this problem on the polynomial-time solvability are limited only to some special net classes, such as persistent Petri nets, conflict-free Petri nets and state machine Petri nets. In this paper, the language properties of synchronous composition net are discussed. Based on these results, the testing algorithm polynomial-time complexity for legal firing sequence is proposed. Therefore, net classification of polynomial-time solvability for testing legal firing sequence is extended.     

Framework for modeling and analysis of distributed problem-solving systems

Petri nets have the basic concepts necessary to model distributed systems with asynchronous processes. Petri nets are not directly applicable to certain kinds of systems like distributed intelligent systems (DISs). These are complex systems where multiple intelligent agents cooperate through communication to achieve the solution to a problem. The paper identifies the limitations of ordinary Petri nets for modeling DISs and proposes extensions. The extended Petri net incorporates colored tokens, inhibition arcs, non-primitive places and transitions, multiple copies of tokens and cumulative places. It is called a distributed problem-solving Petri net. The definitions and analysis techniques are given and illustrated by means of an example.     

Petri网展开图法的分析和应用

Petri网的展开图是一种特殊的并发系统状态空间搜索方法，它不需要重复考虑并发事件的所有可能的交集，从而大大缩减状态空间爆炸给验证分析带来的空间复杂度和时间复杂度。使用展开图分析Petri网的行为属性与传统的Petri网分析方法相比，具有自己的特点。该文首先介绍了Petri网展开图的构造算法，在此基础上使用展开图分析方法对一个典型Petri网的活性，有界性和可逆性等行为属性进行了分析，并与传统的Petri网分析方法作比较。     

基于Petri网的并发程序测试用例产生方法

并发程序的测试路径具有不可预测性,而Pctri网在描述并发方面具有其它系统模型无法比拟的优势。因此通过Petri网来产生并发程序的测试路径:对有并发程序的源代码构造的Petri网模型进行图形矩阵转换;按照一定的规则得出相应的独立段组;合并独立段组得出网的独立段群,此独立段群即为该并发程序的测试路径。实验证明,将Petri网用于并发程序测试用的例生成降低了测试难度,提高了测试效率。     

基于Petri网的道路交叉口建模方法及比较研究

离散Petri网和连续Petri网的各自优势和缺点明显,前者建模准确但复杂度高,后者复杂度较低但模型不够精确。混合Petri网作为两者的结合,能在一定程度上弥补各自的缺点,非常适合用于道路交叉口系统的建模。但是以往的文献中缺乏纯离散模型和混合模型之间的定量比较。提出了一种自上而下的混合Petri网方法,能够快速建立道路交叉口系统模型;以一个4相位固定相序交叉口为例,建立其混合Petri网模型并与纯离散模型进行了定量的比较与分析。通过对不同系统负载下交叉口内交通流排队长度的仿真,并考察混合模型与离散模型之间的误差变化,在一定程度上为模型选择的合理性提供了定量的依据。     

基于Petri网语言的并发系统性质研究

给出Petri网弱活性（无死锁）与活性的两个语言刻画,讨论了同步合成Petri网的语言性质,基于Petri网语言,给出了判定Petri网活性的充分必要条件。同时研究了Petri网同步合成过程中活性保持问题,给出保持活性的充分必要条件。这些结果为讨论网的活性测试和控制提供了形式语言的方法。     

Semantics for consistent activation in context-oriented systems

ContextContext-oriented programming languages provide dedicated programming abstractions to define behavioral adaptations and means to combine those adaptations dynamically according to sensed context changes. Some of these languages feature programming abstractions to explicitly define interaction dependencies among contexts. However, the semantics of context activation and the meaning of dependency relations have been described only informally, which in some cases has led to incorrect specifications, faulty implementations and inconsistent system behavior.ObjectiveWith the aim of avoiding faulty implementations and inconsistencies during system execution, this paper proposes both a formal and run-time model of contexts, context activation and context interaction.MethodAs a formal and computational basis, we introduce context Petri nets, a model based on Petri nets, which we found to match closely the structure of contexts in context-oriented systems. The operational semantics of Petri nets permits the modeling of run-time context activations. Existing Petri net analyses allow us to reason about system properties. As validation, we carried out small and medium-sized case studies.ResultsIn the cases explored, context Petri nets served effectively as underlying run-time model to ensure that declared context interaction constraints remain consistent during context manipulation. Moreover, context Petri nets enabled us to analyze certain properties regarding the activation state of particular contexts.ConclusionContext Petri nets thus proved to be appropriate to encode and manage the semantics of context activation, both formally and computationally, so as to preserve the consistency of context-oriented systems.     

间歇式化工系统的Petri网优化调度与控制方法

为了解决复杂间歇式化工系统的优化调度和控制问题,提出了一种基于Petri网的优化调度与控制方法:首先,根据加工工艺,建立加工过程的赋时Petri网模型;其次,根据间歇式化工生产对象的拓扑结构,在该赋时Petri网模型中引入阀门系统的网结构,从而获得系统的受控Petri网模型;最后,利用可达图来计算加工时间最短的控制策略,借助网结构信息,得到了控制策略的阀门控制矩阵,并用一个示例演示验证了本文方法.     

一种基于Petri网的特定手语词汇识别方法

本文尝试使用Petri网进行简单的手语词汇识别。首先采用模板匹配方法检测到一系列简单的手势,如手掌张开直立、握拳、伸出大小拇指。其中,每个简单手势的发生对应于Petri网中的一个变迁。待识别的手语词汇是由一串特定的手势序列构成的,如手掌张开直立一握争伸出大小拇指。通过Petri网记录手势的动态变化,并在每次新变迁发生时检测目标库所的标志增加情况,从而实现特定手语词汇的识别。