Petri网系统的可达性分析

对Petri网系统的可达性问题做了综合性的阐述和分析, 提出了利用能量优化方法来解决可达性问题的方法, 并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究. 主要工作包括 1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理; 2.建立了能量优化模型, 将可达性判断化为优化问题; 3.用神经网络来求解能量优化模型; 4. 最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法. 作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案.     

一个几何不等式

定理 设P,Q,R是三角形ABC的周界的三等分点,则 PQ+QR+RP≥(AB+BC+CA)/2,其中的等号当且仅当P,A,R是正三角形ABC三边的中点时成立。 这一看起来很简单的几何不等式,吸引了许多数学家的努力。文献[1]的作者们在几年前     

线性系统同时镇定中广义香槟问题的解

利用复分析理论，结合Blondel的方法，对线性系统同时镇定中著名的广义香槟问题给出理论上的解答，完整地回答了Patel等人文中的未解决问题，自然包含原香槟问题的解，结合杨路等人新近发展的不等式型定理机器证明理论，给出控制器的设计方法，得到的数值例子明显改进了已有文献中的结果．     

一类二维映射产生混沌的一个充分条件

一、前言 考虑定义于R~2一正方形区域Q上的同胚如果φ以双边无穷序列之集合S上的移位自同构σ为其子系统,φ生成的离散动力系统就有类似于混沌的性质。     

一种改进的主动可靠多播算法

对于大规模多播应用来说，一个有效发现和修正传输错误的可靠多播算法是必要的，提出了一种新的可靠多播算法，该算法使用软状态存储(soft-statestorage)来有效地发现、修正错误，其NACK爆炸的镇压、合并机制简单，能有效实现本地错误修复，有一个简洁的RTT时间测量算法。     

XP—适合中小型软件系统的敏捷方法

软件工程旨在解决早期大型软件开发、管理问题,使软件开发过程从牛仔式编程进入有章可寻的、以规则和操作规范引导的工程化过程。然而,传统软件工程模型固有的缺陷和越来越多的规则与操作规范约束,面对大量中小型系统开发时,不能适应实际开发过程的需要。根据10多年软件开发经验,结合SDBC-MIS项目实践过程,研究了新型软件开发方法XP(eXtreme Programming)的特点、软件过程、实践指导规则和适用范围。系统比较了TSE和XP方法上的主要差异。对比研究结果表明,XP模型比TSE模型更适合于中小型软件系统的开发。     

构造广义Sturm序列的递归算法

广义Ｓｔｕｒｍ序列被用于判断一个多项式方程ｆ（ｘ）在多项式ｈ（ｘ）〉０条件下的实根数。为了构造这样的序列，原先的方法基本上就是辗转相除法。对于带符号系数的多项式，大量的实例表明其效率甚低，无法处理较复杂的问题，代之以一个新的递归算法，成功地避免了由辗转相除引起的高复杂度的计算。