共查询到20条相似文献，搜索用时 140 毫秒
1.
2.
ＡＲＥＬＡＴＩＯＮＡＭＯＮＧＡＳＳＯＣＩＡＴＩＶＥＡＬＧＥＢＲＡＳ，ＢＩＡＬＧＥＢＲＡＳＡＮＤＳＥＭＩＧＲＯＵＰＡＬＧＥＢＲＡＳＬｉＦａｎｇ（李方）（ＤｅｐａｒｔｎｉｅｎｔｏｆＭａｔｈｅｎｉａｔｉｃｓａｎｄＭｅｃｈａｎｉｃｓ）ＡＲＥＬＡＴＩＯＮＡＭＯ... 相似文献
3.
Guo Xingming 《上海大学学报(英文版)》1998,2(1):24-26
ＯｎＳｏｌｕｔｉｏｎｓｏｆａＤｉｆｅｒｅｎｔｉａｌＩｎｃｌｕｓｉｏｎＧｕｏＸｉｎｇｍｉｎｇ（ＳｈａｎｇｈａｉＩｎｓｔｉｔｕｔｅｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓａｎｄＭｅｃｈａｎｉｃｓ）ＡｂｓｔｒａｃｔＩｎｔｈｉｓｐａｐｅｒｔｈｅｓｏｌｕｔｉｏ... 相似文献
4.
ＡｃｏｕｓｔｉｃＥｍｉｓｓｉｏｎＭｏｎｉｔｏｒｉｎｇｏｆＦａｔｉｇｕｅＣｒａｃｋＧｒｏｗｔｈｉｎａＳｌｅｎｄｅｒＷｅｂｏｆＢｒｉｄｇｅＧｉｒｄｅｒＹａｎＴｉｎｇｈｕ（颜廷虎）ＺｈｏｎｇＢｉｎｇｌｉｎ（钟秉林）（ＤｅｐａｒｔｍｅｎｔｏｆＭｅｃｈａｎｉｃ... 相似文献
5.
ＩＭＰＲＯＶＥＤＭＯＤＥＬＯＦＭＵＬＴＩＰＡＴＨＴＲＡＦＦＩＣＡＳＳＩＧＮＥＮＴＡＮＤＮＯＤＥＡＳＳＩＧＮＥＮＴＡＬＧＯＲＩＴＨＭＷａｎｇＷｅｉ（王炜）（ＲｅｓｅａｒｃｈＬｉｓｔｉｔｕｔｅｏｆＴｒａｎｓｐｏｒｔａｔｉｏｎ）ＩＭＰＲＯＶＥＤＭＯＤＥＬＯ... 相似文献
6.
ＳｅｌｆＳｉｍｉｌａｒＳｏｌｕｔｉｏｎｓｆｏｒａＣｌａｓｏｆＲｅａｃｔｉｏｎＤｉｆｕｓｉｏｎＳｙｓｔｅｍｓＧｕｏＰｅｉｆａｎｇ（郭佩芳）（ＤｅｐａｒｔｍｅｎｔｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓ，ＳｏｕｔｈｅａｓｔＵｎｉｖｅｒｓｉｔｙ，Ｎａｎ... 相似文献
7.
ＡＮＯＴＥＯＮＰＡＮＣＹＣＬＩＣＯＲＩＥＮＴＥＤＧＲＡＰＨＳｏｎｇＺｅｎｇｍｉｎ（宋增民）ＣｈｅｎＬｉｍｉｎｇ（陈黎明）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓａｎｄＭｅｃｈａｎｉｃｓ）ＡＮＯＴＥＯＮＰＡＮＣＹＣＬＩＣＯＲＩＥＮＴＥＤＧＲＡＰ... 相似文献
8.
ＡｐｐｌｉｃａｔｉｏｎｏｆＦＴＡＭｉｎＧｌｏｂａｌＲｏａｍＡｃｏｕｎｔＳｙｓｔｅｍＦａｎｇＮｉｎｇｓｈｅｎｇ（方宁生）（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ，ＳｏｕｔｈｅａｓｔＵｎｉｖｅｒｓｉｔｙ，Ｎ... 相似文献
9.
ＡＮｅｗＭｕｌｔｉｍｅｄｉａＳｙｎｃｈｒｏｎｉｚａｔｉｏｎＭｏｄｅｌＳｏｎｇＪｕｎ（宋军）ＧｕＧｕａｎｑｕｎ（顾冠群）（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ，ＳｏｕｔｈｅａｓｔＵｎｉｖｅｒｓｉｔｙ，Ｎａ... 相似文献
10.
ＩＮＦＬＵＥＮＣＥＭＥＡＳＵＲＥＯＦＰＥＲＴＵＲＢＡＴＩＯＮＡＮＤＶＡＲＩＡＢＬＥＳＩＮＲＥＧＲＥＳＳＩＯＮＭＯＤＥＬＳＨｕＹｕｅｑｉｒｉｇ（胡跃清）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓａｎｄＭｅｃｈａｎｉｃｓ）ＩＮＦＬＵＥＮＣＥＭＥＡＳ... 相似文献
11.
This paper describes a case study presented to students in computer science during a course on formal techniques for protocol validation. The course teaches some basic notions on specification, simulation, verification, testing and distributed observation. The case study is the classical alternating-bit protocol. The exercise first consists of some simple modeling and simulation of the specification and verification of some basic service properties. It is then followed with the problem of observation of distributed executions of the protocol. This kind of experiment was found to be useful for students, since they gain an understanding of the importance and necessity of formal methods for protocol validation. 相似文献
12.
在对可靠多播协议PGM的详细的机制分析的基础上，用扩展的库所／变迁网对其动态机制进行了形式化的描述，为其具体分析和实现奠定了形式化和自动化的基础。 相似文献
13.
在分析和研究iSCSI协议与Windows内核驱动程序的基础上,设计并实现了基于Windows XP虚拟磁盘驱动程序。程序基于Windows小端口驱动程序,采用传输驱动接口(TDI)技术实现网络连接,将SCSI数据和命令封装为iSCSI协议数据单元发送给网络内的存储器。驱动程序加载后,网络内的磁盘在用户机上显示为本地的磁盘,直接访问该磁盘分区即可与网络磁盘交互,从而实现了iSCSI的虚拟网络磁盘。 相似文献
14.
计算机网络协议及其算法对于初学者来说非常抽象和复杂,目前构建实际的物理网络进行演示教学由于成本和复杂性等原因而显得不切实际,而将应用于网络研究领域的仿真软件NS-2用于计算机网络课堂教学,以TCP协议的滑动窗口和慢启动算法在NS-2中的模拟过程为例,给出NS-2进行网络模拟的一般流程,通过通信协议的动画演示和Trace文件的分析,能使学生更容易、更深刻地理解网络协议及其算法的实现机制和网络通信的复杂行为,最后提出了NS-2在网络课堂教学中的2种实施方案. 相似文献
15.
The use of formal specification in software development is becoming increasingly prevalent. The Z nota-tion is a formal method, a language, and a style for expressing formal specification of software systems. This paperpresents a part of the specification work on a hotel guestroom reservation system. 相似文献
16.
MIAO Huai kou Bizuneh Bekele Teklay Tesfay 《上海大学学报(英文版)》1999,3(4):287-292
１ Ｉｎｔｒｏｄｕｃｔｉｏｎ Ｓｐｅｃｉｆｉｃａｔｉｏｎｄｅｓｃｒｉｂｅｓｔｈｅｂｅｈａｖｉｏｒｏｆｔｈｅｓｙｓｔｅｍｉｎｔｅｒｍｓｏｆｒｅｓｕｌｔｓ,ｗｈｅｒｅａｓａｎｉｍｐｌｅｍｅｎｔａｔｉｏｎｄｅｆｉｎｅｓｂｅｈａｖｉｏｒｉｎｔｅｒｍｓｏｆｐｒｏｃｅｄｕｒｅ．Ｔｈｉｓｄｉｓｔｉｎｃｔｉｏｎｇｉｖｅｓｒｉｓｅｔｏｔｈｅｉｎｆｏｒｍａｌｎｏｔｉｏｎｏｆｄｅｓｃｒｉｂｉｎｇｓｐｅｃｉｆｉｃａｔｉｏｎａｓ“ｗｈａｔ”ａｓｏｐｐｏｓｅｄｔｏｄｅｓｃｒｉｂｉｎｇｉｍｐｌｅｍｅｎｔａｔｉｏｎａｓ“ｈｏ… 相似文献
17.
杨小明 《湖州师范学院学报》2007,29(1):53-58
安全模型是安全系统开发的基石,而形式化方法则为准确理解安全模型提供了高保障依据.形式语言Z对经典的多级安全模型BLP模型进行了规范描述,并验证了模型的正确性,为安全模型的形式化建模提供了方法和依据. 相似文献
18.
19.
张鹏飞 《安徽技术师范学院学报》2014,(6):41-46
本文提出对寄存器传送语言（RTL）描述的数字系统运用投影时序逻辑进行形式化描述并验证的方法。通过使用投影时序逻辑对RTL的形式语义进行定义,可把一个用寄存器传输语言描述的系统转换成投影时序逻辑的公式,从而使用投影时序逻辑可执行子集MSVL对系统行为和性质进行形式化的描述及验证,提高系统设计的可信性。 相似文献
20.
攻击者建模是安全协议验证工作的一个重要部分,直接影响到验证的效率与质量,但目前却还没有一个可遵循的形式化框架,影响了建模工作的准确性与客观性。针对这一问题,通过对在安全协议验证中具有广泛影响的DY模型进行形式化,建立了一个DY模型的构建框架,刻画了攻击者的构成要素、行为规则以及行为模式,从而保证了攻击者具有合理的行为与能力,并能在攻击过程中获取新的知识,不断增强攻击能力。最后,将该工作运用到Otway Rees协议的验证中,找出了该协议中所存在的漏洞,从而证明了该构建框架的有效性。 相似文献