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

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

基于Petri网的PLC程序设计

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

可理解性输入与输出理论对大学英语听力教学的启示

基于克拉申(Krashen,1989)输入假设理论(Input hypothesis theory)和Swain(1985)可理解性输出理论进行分析和研究。结合笔者教学经历,建构了新的听力教学模式,并就如何促进大学英语听力教学提出建议。     

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

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

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

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

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网的时间特性对该模型进行了定量分析 .