用"递增"算法求完全图的所有哈密顿回路

本文给出求解完全图的所有哈密顿回路“递增”算法。即从Kn的哈密顿回路求Kn 1的哈密顿回路。任意给出一个图，可以根据结点数先求其完全图的所有哈密顿回路，在所有哈密顿回路中去掉那些在实际图中有不存在边的哈密顿回路，最后得到任意图的所有哈密顿回路，如果全部去掉，则该图不是哈密顿图。     

求平面体投影图全部最小回路的算法

提出了投影图中最小回路的概念和求全部最小回路的一种算法。首先构造图中各个顶点的关联边逆时针排列序列,然后分别从图中各个外围点出发沿外围边逆时针方向搜索,按照顺时针最小转角原则,寻找各个回路边,直到返回出发点得到最小回路,并逐步删除图中一些相关线条。最终可将图中线条全部删除,得到全部最小回路。算法简洁清晰,运算复杂度低。通过实例表明了算法是鲁棒的和高效率的。     

基于资源等待图的死锁检测算法

死锁是操作系统、数据库系统以及通信网络中经常出现的现象.分析了使用资源分配图和进程等待图完成死锁检测的不足,提出了资源等待图的概念,并给出了基于资源等待图进行死锁检测的方法,该算法能够完成当资源类含有多个实例时的死锁检测.     

搜索图的全部可能回路的新算法

51．引言如何找出一种简便算法来判断一个图中的所有回路是网络图论学者所关心的重要问题之一，也是计算机网络和操作系统理论所研究的重要课题．对于无向图而言，传统的做法是先找出图的基本回路，然后形成其全部线性组合，再从中删去不是回路的组合．这种算法比较繁琐．本文提出的算法是以图中某一顶点为参考点，找出与该点相关联的边组成的二元组合、三元组合、等等，其中每一个闭组合就是一条回路，从而生成通过参考点的所有回路．输出后再删除该参考点及其关联边，生成退化图．对该退化图，重新进行上述搜索，直至退化图成为空留或度数…     

面向资源Petri网的自动制造系统死锁预防

在自动制造系统(automated manufacturing systems, AMSs)中,死锁是一个急需解决的问题,其主要由资源的循环等待造成.为了解决该问题,本文首先基于面向资源Petri网(resource-oriented Petri nets, ROPNs)的特征,建立特殊资源标记图(special resource marked graphs, SRMGs).其次,在SRMGs中建立死锁与饱和回路之间的关系.最后通过为一些特殊回路添加控制器,阻止系统出现不安全标记.考虑到资源故障问题,为危险库所添加资源缓冲子网,保证需要故障资源的零件不会阻塞其他零件的持续生产.相比现有的控制器,本文的监督控制器具有控制开关,其通过实时改变控制库所的容量可以允许更多安全标记发生.     

除法器比值调节系统设计和使用应注意的几个问题

除法器相除方案的比值自动调节系统虽然有些固有的缺点,但是由于其比值显示直观,便于变比值调节,所需电动、气动单元组合仪表少,所以在化工系统中仍得到相当多的应用. 图1、图2为一个比较典型的除法器比值调节系统的方框图和电路图.由图可知,该比值调节系统是一个双闭环可变比值的调节系统.它由两个调节回路组成.主回路是一般的单反馈调节回路.比值调节系统的特点主要表现在副回路的调节性能上.     

多步反馈控制作用下的离散事件动态系统的周期计算

我们考察极大代数意义下的线性离散事件动态系统，在多步反馈控制作用下，熟知求系统运行的周期就是要求有ｒｌ个顶点的图的关键回路，本文重构一个只有ｒ个顶点的有向赋权图Ｇ（Ｆ），证明求系统的周期等价于求Ｇ（Ｆ）的关键回路，从而将一个求ｒｌ个顶点的图的关键回路问题简化为求一个只有ｒ个顶点的图的关键回路问题。     

加权T-图活性的进一步研究

本文给出加权Ｔ－图是活网的另一组充分条件，这组条件包含了Ｔｅｒｕｅｌ等对加权Ｔ－图活性分析的结果，方法简单，便于操作。Ｔｅｒｕｅｌ文中研究了加权单回路网为守恒回路时活的一个充分条件，对一般加权Ｔ图活性的判断只限于每个回路是守恒回路的情况。     

梅森公式在多回路控制系统中的应用

直观回路是指系统方块图中显而易见的只穿过被控对象一次的回路。如图1,它只有两个直观回路:δ_1→X_2(s)→A→δ_1和δ_2→X_1(s)→B→δ_2。     

输出图的全部Hamiltonian回路的新算法

为求出图的全部哈密顿回路,本文提出了H集合、连接积、H矩阵和通路矩阵等概念。给出了基于这些概念下的一些哈密顿回路的存在性判定定理和通过构造通路矩阵序列Mk=Mk-1*M(k=2,...,n)的办法输出简单图（无向或有向）的全部哈密顿回路的算法和实例。本算法特别适合寻找图的最短哈密顿回路,较其它算法更为简单直观。     

基于RFID的磁盘加密系统

文章在跟踪和分析最新磁盘加密技术研究成果的基础上,设计了一种基于RFID的磁盘分区加密系统。该系统由磁盘分区加密软件Partition Crypt与RFID射频卡、USB射频读写端等硬件模块共同组成。软件部分对计算机硬件系统要求低、安装方便、使用简单、加密效果好;硬件部分由单片机与射频模块完成。其中,USB接口采用虚拟USB接口的方法,降低硬件复杂性与成本,具有很高的性价比。经过测试,整个系统功能稳定、性价比高、保密性好,可为广泛使用的基于Windows操作系统的涉密计算机提供加密技术保障,应用前景广阔。     

拟左群的一个代数结构

给出一个拟左群同构于拟群和左零带的直积的一个充分必要条件,同时给出了左群的收缩诣零扩张的一个刻画。     

Vague集向Fuzzy集转化的一种新方法

提出Vague值向Fuzzy值转化的实用方法的定义。针对文献[6]中的一个Vague值向Fuzzy值转化的均值修正法,提出了加权均值修正法,并证明了这种方法同样是Vague值向Fuzzy转化的一种非常实用的方法。     

On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion

We show how Ohori and Sasano's recent lightweight fusion by fixed-point promotion provides a simple way to prove the equivalence of the two standard styles of specification of abstract machines: (1) in small-step form, as a state-transition function together with a ‘driver loop’, i.e., a function implementing the iteration of this transition function; and (2) in big-step form, as a tail-recursive function that directly maps a given configuration to a final state, if any. The equivalence hinges on our observation that for abstract machines, fusing a small-step specification yields a big-step specification. We illustrate this observation here with a recognizer for Dyck words, the CEK machine, and Krivine's machine with call/cc.The need for such a simple proof is motivated by our current work on small-step abstract machines as obtained by refocusing a function implementing a reduction semantics (a syntactic correspondence), and big-step abstract machines as obtained by CPS-transforming and then defunctionalizing a function implementing a big-step semantics (a functional correspondence).     

The conversion of a dynamic B-spline curve into piecewise polynomials in power form

The evaluation of points and the computations of inflection points or cusps on a curve are often necessary in CAGD applications. When a curve is represented in a B-spline form, such computations can be made easier once it is transformed into a set of piecewise polynomial curves in power form. The usual practice of the transformation of a B-spline curve into a set of piecewise polynomial curves in power form is done either by a knot refinement followed by basis conversions, or by applying a Taylor expansion on each knot span of a B-spline curve.Presented in this paper is a new algorithm to convert a B-spline curve into a set of piecewise polynomial curves in power form. Experiment shows that the proposed algorithm significantly outperforms the conventional approach when one or more control points of a B-spline curve are continuously moving.     

An Interactive Designing System with Virtual Sculpting and Virtual Woodcut Printing

In this paper, we propose an interactive designing method and a system based on it to create 3D objects and 2D images. This system consists of two subsystems for virtual sculpting to create a 3D shape and virtual printing to produce a picture with a printing block. In the virtual sculpting subsystem, a user can form solid objects with curved surfaces as if sculpting them. The user operates virtual chisels, and can remove or attach arbitrary shapes of ellipsoids or cubes from or to the workpiece. A 3D object generated by virtual sculpting looks like a real wooden sculpture. If using a board as a workpiece, a user can generate a virtual printing block. In the virtual printing subsystem, a user can synthesize a woodcut printing image from the virtual printing block mentioned above, a virtual paper sheet, and a printing brush. The user can synthesize a realistic woodcut print with a procedure similar to the actual woodcut printing.     

Virtual Triangulation Sensor Development, Behavior Simulation and CAR Integration Applied to Robotic Arc-Welding

Background: An increasing number of industrial robots are being programmed using CAR (Computer Aided Robotics). Sensor guidance offers a means of coping with frequent product changes in manufacturing systems. However, sensors increase the uncertainty and to preserve system robustness, a tool is needed that makes it possible to understand a sensor guided robot system before and during its actual operation in real life.Scope: A virtual sensor is developed and integrated in a CAR hosted environment. The real sensor is of a type commonly used in the arc-welding industry and uses a triangulation method for depth measurements. The sensor is validated both statically and dynamically by matching it with a real sensor through measurements in setups and by comparing a welding application performed in a real and a virtual work-cell created with a CAR application. The experimental results successfully validates its performance. In this context, a virtual sensor is a software model of a physical sensor with similar characteristics, using geometrical and/or process specific data from a computerized model of a real work-cell.     

关于一种网格运行时结构的若干注记

进程是传统计算机系统的一个核心概念，自1960年出现以来一直沿用至今，进程的一个主要目的是为主体提供一种运行时结构，在操作系统和处理器硬件支持下，代表主体访问和使用各种资源，与传统的单机和并行机计算平台相比，网格计算机中进程所对应的概念面临新的挑战，包括网格资源繁杂、自主控制的条件下的单一系统映像和资源的共享与协同、与特定操作系统的松耦合、时间和空间的流动性、更高级的交互性，提出一种称为网程(grip)的运行时结构，试图解决上述问题，网程运行在网格操作系统之上，代表网格主体，访问和使用网格资源。     

充电桩计量过程中输出与充电需求不匹配问题分析及处理

针对充电桩现场测试设备的充电需求与实际输出不一致,出现电压、电流不匹配的问题,设计了一套检测方案,构建出包括电流检测模块、电压检测模块和示波器检测模块的检测电路,通过采样电压和电流信号,计算出不同负载下充电桩输出电流和电压值,并设计了包括直流电能采集电路,由双通道AD转换AD7380、可编程增益放大器、可编程增益放大器、增益电阻Rg2和电源变换器、低通滤波器电容CL、低通滤波器电阻RL组成的检测电路,在检测电路中,为了提高检测效率,还设置了校正电路。通过试验,本研究方法分析直观,误差低。     

Non-uniform deformation of an STL model satisfying error criteria

In this research, a method is presented for generating a deformed model satisfying given error criteria from an STL model in a triangular-mesh representation suitable for rapid prototyping (RP) processes. A deformed model is a non-uniformly modified shape from a base STL model. In developing a family product with various sizes such as a shoe, sometimes prototypes for all sizes should be made using an RP machine. Although an STL model is generated from a solid model, it is well known that creating a non-uniformly modified solid model from a base solid model is very difficult. Generally there are some gaps between surfaces after modification, and stitching the gaps is very difficult. To solve this problem, the authors explored the possibility of generating a deformed STL model directly from a base STL model. This research includes a data structure for modifying the STL model, checking the error of a modified edge compared with the exact non-uniformly scaled curve, checking the error of a modified facet compared with the exact non-uniformly scaled surface, and splitting a facet with an error greater than the allowable tolerance. Using the results of this research, the difficult work of creating solid models to build non-uniformly deformed STL models could be avoided.