Petri网络在无控制交叉口延误分析中的应用

选用比较适合描述系统组织结构和动态行为的Petri网络模型对主路优先通行的无信号交叉口运行过程建立HSPN模型．在此基础上，结合间隙接受理论，对无控制交叉口进行平均延误分析探索，为交叉口仿真控制软件的研发奠定了算法基础。     

Evolutionary Computation and its Application

On Mar.23,2006,a project in the Major Program of NSFC-"Evolutionary computation and its application",managed by Prof.Licheng Jiao,Prof.Lishan Kang,Prof.Zhenya He,and Prof.Tao Xie,passed its Final Qualification Process and was evaluated as Excellent.     

VB程序设计教学方法初探

总结vb程序设计的实际教学经验并加以反思,重新对“程序设计”进行了探讨,根据个人的实际教学总结出链条式教学方法,同时对该教学方法进行了阐述以及基于这种方法如何进行具体的实际教学。     

非线性似变分不等式组的Mann迭代算法

引入了对称上强制的定义,提出了非线性似变分不等式组问题的Mann迭代算法,并证明了该算法在一定条件下的收敛性,使笔者提出的算法比文献[1]更具普遍性.     

5．3亿年前海洋生物景观图

2004年2月20日 ,2003年度国家科学技术奖励大会在人民大会堂举行。“澄江动物群与寒武纪大爆发”研究成果荣获“2003年度国家自然科学奖”唯一的一等奖。该项成果是由中国科学院南京地质古生物研究所陈均远教授、云南大学侯先光教授和西北大学舒德干教授合作近20年共同完成的。该项目一系列化石的发现 ,不仅为“寒武纪大爆发”突变事件的存在提供了依据 ,证明了门一级高级动物类群的起源是“寒武纪大爆发”事件的核心内容和本质所在 ,进而对达尔文倒椎形进化树模式提出了质疑 ,提出了广义进化论。该项研究标志着我国科学家在早期生命演化与…     

一种利用绝对最小Lipshitz延拓的医学图像插值算法

提出一种基于最小Lipshitz延拓的图像插值半隐式算法,并用医学图像放大实验初步验证了算法的有效性.     

紫外／可见光纤光谱在线过程分析系统

项目采用全光谱分析、光纤传输和化学计量学算法等技术，发明了多层递减孔径直孔过滤技术、高温电捕焦油探头技术、入出气流共轴线射流技术、全固化原位抽取热湿法连续监测技术、     

单基准站局域差分绘制大比例尺地形图的实现——以奇台蜃海公园为例

利用GPS(GS-HH101 )在研究区采集的NMEA数据,经过事后位置差分处理,并对同步闭合环的闭合差进行检核,转化为点数据。对点数据进行筛选处理,得到分布相对均匀的地性点。地性点插值生成TIN数据,经过差值法得到等值线图。与现地进行检验、修正,最后绘制出奇台蜃海公园1:1000地形图。     

一个检测超流的早期淘汰算法

超流是网络中具有大量不同宿IP/源IP链接的源IP/宿IP.实时检测出高速网络（OC48、OC192等）中的超流对网络安全具有非常重要的意义.近年来已经有论文提出了不同超流检测算法,但是这些算法都没有考虑控制测量过程中超流缓存空间的大小.论文在超流检测过程中增加了早期淘汰功能,将超流缓存中链接数较少的记录提前淘汰,以便腾出空间用于存储新检测到的IP记录,实现对超流缓存资源的控制.论文最后还使用实际网络日志数据对算法进行验证,实验表明：早期淘汰算法可以使系统以更少的内存空间和测量资源检测超流信息.     

分布控制型供应链的多层规划模型研究

研究分布控制型供应链的生产、配送与库存决策问题,通过分析成员的独立决策行为,针对供应链系统上下层之间所具有的Stackelberg博弈特征,建立多层规划模型,最后利用交互式多层模糊算法进行求解.