林肯羊与陕北地方绵羊杂交后代产肉性能研究

林肯羊和陕北地方土种绵羊杂交后代,不但能提高当地绵羊的产毛量和羊毛品质,而且能显著地提高产肉量和肉品质,经济效益十分显著。     

基于Petri网的PLC程序设计

随着生产过程复杂性的增加,对系统的控制也更加复杂.传统的PLC程序设计方法,已不适用于诸如协调、竞争等控制的设计.需要寻求新的程序设计方法来满足复杂的控制要求.本文介绍了基于Petri网的PLC程序设计.     

非网络版软件在Novell网上运行环境的设计

本文通过对非网络版软件在单机上运行环境分析，找出了一套调整此类软件使其在Ｎｏｖｅｌｌ网上运行的方法，并提出了非网络软件在Ｎｏｖｅｌｌ网上运行环境的设计的观点，具有较大的意义。     

防止SQL注入攻击策略与实现

防止SQL注入攻击是维护Web安全的一个重要课题.避免程序设计漏洞和缺陷、构建安全的数据库访问代码、合理配置管理权限是防止SQL注入攻击的重要策略.ASP.Net和SQLServer提供的防止策略和工具,可以很好地解决防止SQL注入攻击问题,为Web安全构建一道重要屏障.     

使用BXP无盘网络改造计算机实验室

计算机实验室一般采用带有保护卡的有盘系统,该模式下,计算机故障率高且可维护性差。该文以BXP技术为对象,介绍在无盘网络模式下,计算机实验室彻底克服了有盘系统的缺点。     

面向对象Petri网及其在告警服务代理软件中的应用

首先介绍面向对象Petri网(OOPN)的定义和图形表示法,接着以告警服务代理软件设计为例,对其OOPN进行了详细分析,最后给出该系统实现的主体代码结构。     

A Study on the Design for Object-Oriented Adaptive Decision-Making Teams

1 .ＩＮＴＲＯＤＵＣＴＩＯＮＩｎＣ3Ｉｓｙｓｔｅｍｓ,ｒｅｃｅｉｖｉｎｇ ,ｔｒａｎｓｍｉｓｓｉｏｎ ,ｐｒｏｃｅｓｓｉｎｇａｎｄｄｉｓｐｌａｙｏｆｉｎｆｏｒｍａｔｉｏｎａｒｅｄｅｖｅｌｏｐｅｄｃｏｎｃｅｒｎｉｎｇｔｈｅｄｅ ｃｉｓｉｏｎｍａｋｉｎｇｏｆｃｏｍｍａｎｄｅｒｓ.Ｔｈｅｒｅｆｏｒｅ,ｔｈｅｍａｊｏｒｔａｓｋｏｆａＣ3Ｉｓｙｓｔｅｍｉｓｆｏｃｕｓｅｄｏｎｄｅｃｉｓｉｏｎｍａｋｉｎｇ.Ｗｉｔｈｔｈｅｒａｐｉｄｄｅｖｅｌｏｐｍｅｎｔｏｆｃｏｍｍｕｎｉｃａｔｉｏｎａｎｄｎｅｔｗｏｒｋ ,ｔｅａｍｄｅｃｉｓ…     

Application of the Constrained Predicated Nets and Interval Logic to Production Systems

1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya…     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

基于随机Petri网的客户/服务器模型及其分析

提出了一种基于随机Petri网的客户 服务器模型 ,模拟了客户 服务器系统的基本工作原理 ,在此基础上 ,利用随机Petri网的时间特性对该模型进行了定量分析 .