基本图的图表示与项表示的相互转移算法

基本图是一种描述并发交互诉形式化方法,它具有描述简洁、清晰和直观的特点,在基本图中,进程以及进程间的交互行为,既可以用图表示方法（其中一个图对应一个进程,图之间的归约对应进程之间的交互行为）,又可以用项代数来表示,本文对基本图的图表示中进行了一些改动,并在此基础上给出了这两种表示方法之间的转换算法,同时实现了具有创建、编辑和转换功能的基本图规范描述工具。     

基于Linux内核防火墙Netfilter的安全应用的设计方法

本文在分析netfilter处理数据包过程的基础上,给出了在系统空间和在用户空间开发基于Linux内核防火墙netfilter安全应用的设计方法。     

基于时态逻辑的硬件设计形式化验证技术——模型检验

通过对时态逻辑的研究来探讨时态逻辑在硬件设计形式化验证上的应用,同时对布尔函数在计算机内的表示二叉判定图（BDD）进行了进一步地分析,最后给出了一个时态逻辑对硬件设计进行验证的例子。     

松林线虫群体致病性测定和潜伏侵染的探讨

由松材线虫（Ｂｕｒｓａｐｈｅｌｅｎｃｈｕｓｘｙｌｏｐｈｉｌｕｓ）引起的松树萎蔫病 ,是松树上的一种毁灭性病害 ,已在日本、美国、黑西哥、加拿大、韩国发生和流行。目前松材线虫的发生范围还在继续扩大。我国最早在１９８２年秋于南京紫金山的松林中发现该病 ,当年仅见枯树２６０株 ,现已查明在苏、浙、粤、皖、港、台均有分布 ,各地呈迅速扩展蔓延趋势。至１９９９年底该病在我国的发病面积已超过６０万公顷 ,累计死树１６００万株 ,直接经济损失１．２８亿元。ＴｏｍｏｙａＫｉｙｏｈａｒｅ从日本松材线虫分布区内收集到３７个线虫群…     

共生活应神经演化

本文详细介绍了共生适应神经演化,说明了与传统的基于网络群的演化相比,共生适应神经演化具有效率更高、适应能力更强、能维持种群的多性样等特点。     

基于目标贩等级考虑系统的研究与实现

本文在分析了各类基于计算机的考试系统的功能和性能以后, 基于目标控制的等级考试系统的数据库设计、功能设计和系统设计的基本思想与原则,并设计实现了一个“计算机等级考试系统”。     

Lotus Notes在设计院的管理中的应用与开发

<正> 长江勘测规划设计研究院(简称长江院)是三峡工程设计组成单位,主要承担长江流域重要水利水电工程勘测设计与科研、国内外各行业土木工程及机电自动化、输变电等项目勘测设计与科研、水利水电工程总承包、水利水电行业工程评估和咨询,以及监理业务。近年来又受国务院重托,担负起长江重要堤防的设计与建设任务。 目前长江院已基本完成计算机网络的基础建设,现致力于院办公自动化的实施,已基本实现一人一台计     

软件业风险投资策略及成功案例分析

一、 风险投资一般策略我想分别从风险投资商和创业者两个不同的角度来谈这个问题。在我们对风险投资公司和创业企业调研,以及亲自参与一些风险投资谈判的过程中,我们发现风险投资商和创业者常常在投资理念、价值评估、管理方式等方面有较大的分歧,尽管双方都花费了大量时间,结果仍然造成许多谈判的失败;有的即使投资到位,但在企业后续的发展过程中,投资商与创业者之间仍然矛盾重重。我们认为：风险投资过程,实际上是风险投资商与创业企业之间的双向选择,是双方共同培育风险企业,追求最终高额回报的过程。要想使风险投资获得成功…     

ERP,想说爱你也容易─—恩威集团成功实施浪潮国强ERP系统的方法与过程

ERP实施的成功率,低得让不少企业望而止步。然而,毕竟有一些企业取得了成功,难道他们真是上帝的“幸运儿”吗？本期应用写真,选取了这样一些具有特色的“幸运儿”。相信读者朋友们从他们的实施经历中,可以找到一些共鸣,得到一些启示。恩威集团作为一家民营的高科技跨国企业集团,其在计算机管理方面的投资和企业对计算机管理的重视程度是超前的。现在,恩威集团初步尝到了ERP的甜头。然而,就是这样一家企业,也曾在实施中走过了多次弯路。一、系统定位恩威集团为使企业计算机管理尽快普及,并尽可能在今后的应用中不致落后,一开…     

机器人避碰规划综述

避碰规划是机器人控制技术研究中的一个重要问题,目前的研究主要分为两大类：全局方法和局部方法,全局方法一般指C空间方法,局部方法一般批人工势场法。本文综述了近二十年有关这方面研究的一些较有影响的思想和方法（主要针对关节式机械臂避碰规划）。