基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

一种新的证件防伪技术研究

提出了一种新的应用于证件防伪的数字水印技术,实验结果表明,本方法对证件防伪过程中所遇到的几何失真等各种攻击都具有很好的鲁棒性,具有很高的实用价值.     

浅谈建筑物防雷设计审核

介绍了建筑物防雷设计审核的原则、方法及程序,提出了高层建筑防雷设计审核应注意的几个问题,从而提高建筑物防雷设计审核的正确率,使建筑物防雷设计更加合理,建筑物防雷设计审核程序更加科学。     

ASP.NET安全性解决方案及其实现

分析了ASP.NET WEB应用程序的身份验证及授权机制,给出了利用身份验证及授权配置安全的Web站点、保护网络资源的两种典型方案,并且结合实例给出了基于窗体的身份验证和访问授权的实现方法。     

无回路规则系统的Petri网验证方法

构建了无回路规则系统的加标ω-Petri网模型，产生了相应的可达树，利用可达状态反映规则系统所包含的所有可达关系，并记录；提出了可达状态的反向推演森林及其算法，实现规则系统命题间可达路径的显式化．在此基础上，给出了规则系统错误的判定定理及其检测算法，实现了结构错误的有效判定和分析．     

计算机管理软件在计量检定工作中的应用

论述了计量栓定检测工作实现计算机系统管理的重要性和可行性，提出了随着计算机技术的发展，实现计算机软件管理计量检定检测工作已是必然。     

白灵菇分类学特性诠释

白灵菇这一食有菌产业中的商业名称所涉及的类群并非分类学意义的一个分类群。经考证发现，它们包括1个种和2个变种，即杏鲍菇Pleurotus eryngii(DC,:Fr.)Qu′el，阿魏侧耳P.eryngii var.ferulae Lanzi,白阿魏蘑P.erngii var.nerbrodensis Inzenga;同时，分别整理了上述种和变种的别名或商业名，识别要点，生境，分布和用途，并列出了它们的分类检索表，为生产和学术交流提供了参考依据。     

Advances in SVM-Based System Using GMM Super Vectors for Text-Independent Speaker Verification

For text-independent speaker verification, the Gaussian mixture model （GMM） using a universal background model strategy and the GMM using support vector machines are the two most commonly used methodologies. Recently, a new SVM-based speaker verification method using GMM super vectors has been proposed. This paper describes the construction of a new speaker verification system and investigates the use of nuisance attribute projection and test normalization to further enhance performance. Experiments were conducted on the core test of the 2006 NIST speaker recognition evaluation corpus. The experimental results indicate that an SVM-based speaker verification system using GMM super vectors can achieve appealing performance. With the use of nuisance attribute projection and test normalization, the system performance can be significantly improved, with improvements in the equal error rate from 7.78% to 4.92% and detection cost function from 0.0376 to 0.0251.     

自杞国史事考述

自杞国是公元十二三世纪在我国西南地区崛起的一个少数民族政权。文章结合文献及相关材料，对自杞国的兴亡、地域、族属、国王、都城、经济、军事及在宋蒙战争中的历史作用进行了阐释梳理、考证研究。     

军事需求工程研究综述

军事需求工程是用工程化手段解决军事系统建设的有效性问题,军事需求工程研究综述对促进军事需求工程研究、建立健全军事需求生成机制等方面具有意义。围绕军事需求开发、军事需求管理和军事需求检验三个方面,对军事需求工程技术进行了探讨。分析总结了国防领域的相关研究成果和典型应用。研究发现军事需求工程正向实用化、规范化、制度化方向发展。