基于事前分析方法的工作流过程模型的验证

工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。     

基于精确标识对象Petri网模型的检测方法

精确标识PNO要求一个对象实例既不能同时出现在多个库所,也不能在一个托肯中出现多次,SMV是一个功能强大的符号化模型检验工具.本文提出了将精确标识PNO模型转换成相应SMV程序的算法,并通过列车运行区域模型(TOPNO)演示了具体的转换过程.通过该转换算法不仅能有效地解决精确标识PNO活性、安全性等属性的检测问题,还能验证与模型中对象相关的属性.     

J2EE在IP综合网管系统中的应用研究

从分析IP网管系统的现状及存在问题入手,对比传统IP网管系统的体系架构,阐述了采用J2EE平台下的EJB组件开发多层次、分布式IP综合网管系统的优点,提出了采用J2EE平台的Session Facade模式和TransferO bject模式相结合的具体实现方案,有效改善了传统IP网管系统在开放性、可移植性和扩充性等方面的性能.     

湖北网湖湿地自然保护区两栖爬行动物资源调查

2004年对湖北省阳新县网湖湿地自然保护区的两栖类和爬行类进行了系统调查,分别记录到两栖类27种、爬行类38种．对它们的物种组成、地理区系特点和保护等级进行了研究,并提出了保护建议．     

基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

英语"hand"和汉语"手"之一词多义对比

通过对英语之“hand”和汉语之“手”的一词多义结构的这一个案的分析对比,发现该词的义项分布在两种语言中基本一致,其词义拓展方式呈辐射和连锁相结合的趋势;且各义项以转喻或隐喻方式为主要纽带,组成了一张多核的相关语义网。该基本人体词的多项语义分布现状反映了人类在不同语言背景下认知和语义发展中共有的思维方式,从而为多义词的外语教学提供了新的思路。     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

3N+1猜想与3N+3k猜想的等价性及相关性质

将数论中3N＋1猜想推广为3N＋3^k猜想．得到了3N＋1猜想与3N＋3^k猜想的等价性．得到有关3N＋3猜想的一些性质．3N＋1猜想的推广、3N＋3猜想的一些性质的建立对于研究4K＋3型奇数在3N＋3猜想压缩迭代中起到简化作用,同时也为3N＋1猜想的研究提供了新思路．     

X2+XY-Y2+k=0正整数解的条件

方程X2 XY-Y2 k=0具有Fibonacci数列的正整数解,并且方程X2 XY-Y2 k=0具有Fibonacci数列的正整数解时满足一定约束条件.Lucas数列实际上是一种广义Fibonacci数列.方程X2 X-1=0的正整数解也与Fibonacci数列有关.     

基于HTCPN的飞机维修保障资源配置方法

针对飞机基层级维修保障资源配置问题,提出了一种基于分层赋时着色Petri网(hierarchical timed colored Petri net, HTCPN)的维修保障资源配置方法。首先,根据飞机基层级维修保障工作内容及流程,运用CPN Tools软件,构建飞机维修保障全过程的HTCPN仿真模型,设计仿真时钟折算方法。其次,提出维修保障资源配置规则,建立基于飞机出动架次率的维修保障资源配置模型。最后,算例分析结果表明所提方法能够迅速、准确地完成飞机基层级维修保障资源配置。所提方法为科学制定飞机基层级维修保障配置方案提供了技术支撑,具有一定的工程应用价值。