基于银行家算法的进程安全序列全搜索算法

通过分析银行家算法的核心思想以及安全状态的本质涵义,提出了一种在系统某一时刻搜索所有进程安全序列的算法,并利用面向对象编程语言JAVA实现了该算法．通过分析所有的安全序列,可以对系统的资源分配与进程调度优化提供支持．该算法也可以作为死锁检测算法或银行家算法的实现算法．     

合成网的进程语义

着重考察Petri网同步合成和共享合成中其进程的性质,分别讨论了进程语义在子系统上的投影以及对于顺序语义的模拟特性,获得一系列语义关系公式,它们将为并发系统的分析和验证提供有力工具.     

基于Monad的非确定性里程网描述方法

非确定性进程网是纯函数数式操作系统中的一个重要问题，但是纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Ｍｏｎａｄ用此Ｍｏｎａｄ在纯函数式语言中描述了非稳定性进程网。     

超立方体多阶网的链接路径算法

该文将一个超立方体网络定义为一个k阶×r层的网阵,并对相应的术语进行了科学的定义,该文着重从动态路径连接的角度,给出了超立方体网阵的网结值、网层值和链接语句的算法。利用该算法可完全确定其超立方网结点动态连接的路径。文章还给出了一个路径算法的实例。     

生化反应系统的加速τ-Leap模拟算法

该文重新定义了临界反应,以更合理地界定可能出现负分子组分的反应.在此基础上提出了加速τ-leap算法,使系统中某些反应物数目较少时也可以采用τ-leap方法进行模拟,同时提高了模拟速度.以两个生化反应系统模型为例,分别用精确的随机模拟算法、修正τ-leap算法和加速τ-leap算法进行模拟运算,结果表明加速τ-leap算法在保证精度的同时能有效提高模拟速度.     

满秩Petri网可达性判定算法的设计与实现

通过对Petri网可达性的分析，给出满秩Petrl网可达性算法及其实现过程，在VC＋＋平台上对算法进行验算，并对算法运行结果进行可达性讨论；该算法为满秩Petri网可达性的判定提供了一种快速有效的求解方法．     

基于Monad的非确定性进程网描述方法

非确定性进程网是纯函数式操作系统中的一个重要的问题，但是纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Monad，用此Monad在纯函数式语言中描述了非确定性进程网．     

基于知网的领域概念抽取与关系分析研究

针对目前领域概念抽取手工完成的现况,提出了一种基于知网的领域概念抽取和关系分析系统模型.本模型利用知网语义相关性从文本中生成领域语义词典,结合TFIDF算法建立"词-文本文档矩阵",用以代替传统的词形频率统计;通过产生领域语义本体,利用语义相似度对概念进行聚类.讨论了这3个步骤所涉及的算法,包括基于统计模式从文本中抽词,基于奇异值分解从词-文档矩阵中提取概念,基于语义相似度对概念进行聚类等.实验表明,本文提出的抽取方法相对与词频算法具有较高的准确度.     

快速跟踪移动目标的递归恒模算法

提出了一种快速跟踪移动目标的盲波束形成新算法,算法摒弃了传统的自适应波束形成算法在跟踪移动目标时,独立地进行每一次波束形成的观念,充分利用前续波束形成所提供的用户的方向信息,较大程度地加快了后续波束形成的进程,从而提高了算法跟踪移动目标的实时性.计算机模拟跟踪实验证实了它的可行性.     

一种基于NDIS中间层驱动的园区网流量控制方案

出口拥塞是园区网络迫切需要解决的问题之一,针对园区网络的特点,提出一套流量控制系统方案,阐述了整个流量控制系统的构成,并就核心的网络应用识别算法进行了详细说明.     

基于缩短装配设备空闲时间的车间装配方法

根据实际装配情况,通过对产品装配工艺图的分析,将一般装配问题中的产品装配工序虚拟分为具有惟一紧前、紧后的相关工序和独立工序,并针对独立工序的装配提出了一种新的装配方法,即缩短空闲时间法.这种方法的主要思想是把关键设备上的独立工序与空闲时间段分别按大小排序,针对二者的比较结果,采取不同的将独立工序插入到相应的空闲时间段中的装配方法,达到减少设备总空闲时间,并且使总装配时间不超过或尽量少超过由关键路径工序确定的装配时间的目的.实例验证该算法对装配问题是可行且有效的.     

基于部分状态空间存储的Petri网库所界求解算法

Petri网是一种重要的形式化建模工具,有界性是Petri网的重要性质之一.该文关注于这一性质并提出了一种新的无需存储全部状态空间的算法以求解Petri网库所界,主要思想为在生成状态空间过程中,通过引导消除可达图的部分回路同时结合T不变量的相关性质,以实现通过存储部分状态来精确求解每个库所的界.基于模型检测比赛的公开数据集进行了对比实验,通过对求解库所界的不同方法及其实验结果进行比较分析,说明了本文算法的有效性.     

甘氨酸分子的电子结构和生物活性研究

用密度泛函理论法ROB3P86（6－31G*)计算出气相甘氨酸分子的8种构象，利用扩展的休克尔理论（EFT）研究了甘氨酸在生物过程中的最有效活性构象；分析分子中的原子净电荷，得出了甘氨酸分子的活性位。     

协同设计中基于混合Petri网的云工作流表示模型

针对目前协同设计中业务过程描述能力不足和柔性差等问题,从并发性、可伸缩性和协同性等五方面进
行分析,提出了一种在空间上三维分布的Petri网建模方法. 将组合、颜色和定时约束Petri网引入协同设计的流
程建模之中,设计了协同设计下云工作流业务流程的HPN(hybrid Petri net)模型;运用随机Petri网的思想对协
同设计各流程流转、工作效率等进行分析,详细分析了其性能指标,验证了模型的可达性,并从业务冲突及模型分
解等方面提出了优化.     

QPSK全数字解调算法

提出了一种新颖的数字信号处理算法,对QPSK信号的相位进行数字化处理,从而实现对QPSK信号的解调,文中还对这种算法的噪声性能进行了分析。该算法允许收发两端载波存在频差,无需用锁相实现收发端载波的同步,该算法的计算机模拟结果表明,它是一种有应用前景的新方法。     

Petri网动态运行可视化研究

讨论了可视化开发方法在开发Pmtri网工具中的应用，描述了Petri网的视化运行的表现形式，介绍了Petri可视化运行的设计方法。     

基于ADSL技术的小型网络组建

通过ADSL技术，使寝室或家庭的小型网络访问Internet，是一种非常实用技术，文中以实例形式论述了组建小型网络，并通过ADSL技术访问Internet网的几种方法，用户可根据实际情况，选择最佳方案．     

面向3D-HEVC的感知自适应环路滤波

提出一种基于感知的快速自适应环路滤波算法,利用最小可察觉失真模型和Canny算子将最大编码单元进行分类,对不同分类区域进行自适应环路滤波(adaptive loop filter,ALF)的性能评估和分析,在此基础上跳过所有非敏感平滑区域和敏感平滑区域耗时的ALF处理.实验结果表明,该算法能在视频主观质量和客观质量基本不变的前提下大大降低ALF编码复杂度,有效改善ALF性能.与现有高效ALF算法相比,该算法可在编码复杂度相当的情况下获得更好的主观视频质量.