排序方式： 共有60条查询结果，搜索用时 15 毫秒
31.
讨论具有非确定性的分布式并发软件系统，对论（1）的行为机构造方法的测试推导方法进行了扩展，使之可同时适用于确定和非确定的并发系统。 相似文献
32.
我们在多用户分时系统上实现了一个数据库管理系统。本文介绍了数据库管理系统的主要功能、设计思想和实现方法。 相似文献
33.
决定非环性数据库模式的最小覆盖的算法 总被引：1，自引：0，他引：1
叶新铭 《内蒙古大学学报(自然科学版)》1994,25(2):219-225
本文给出一个决定非环性数据库模式在某个指定的属性子集上的边最小覆盖算法，叫做ＭＣ－ＡＣＹＣＬＩＣ．该算法的时间复杂性为，其中｜Ｎ｜是给定的数据库模式中属性的个数和｜Ｅ｜是关系模式的个数． 相似文献
34.
本给出了OSPF协议中路由表计算部分的Petri网模型和产生测试例的方法,以算法中的外部路由计算为例,详细介绍了如何从协议本形式化为Petri网模型,然后再多Petri网生成测试例的方法,并给出了方法所采用的测试标准。 相似文献
35.
基于VC开发环境下的油田远程监控系统的设计与实现 总被引：1，自引：0，他引：1
油田远程监控系统可以实时采集油井的各项专业数据并分析显示抽油机井的工作状态.该系统的硬件部分负责采集油井的各项实时数据并将这些信息经无线网络发送给具有固定IP地址的监控中心,监控中心的服务器端软件将采集回来的数据解析到数据库,同时分析油井所处的各种状态.监控系统的客户端软件将服务器端分析出的数据以用户需要的方式组合并显示.本文给出基于VC开发环境下的油田远程监控系统的设计与实现. 相似文献
36.
简要介绍了在 Linux测试平台下 ,如何实现 IPv6基本协议 (RFC2 460 )一致性测试 ,并给出了 TTCN描述的测试例 .最后讨论了在测试中要进一步开展的工作 相似文献
37.
鉴于数字媒体网络发行业务的需要,提出一种网络数字媒体内容发布的分布式方法,能够有效的实现在网络中对数字媒体内容的发布管理.发布者使用动态许可证将内容资源本体高效和可靠的从本地网络发布到互联网中,并利用资源包转发树进行快速的资源分布式部署.方法实现了系统负载动态平衡机制,降低了资源部署开销. 相似文献
38.
移动IPv6协议允许主机在改变接入网络后,仍可以通过原有固定的IPv6地址被寻址到,而且能够继续保持已有的网络连接.访问控制机制只允许那些通过认证和授权的主机访问网络,是网络能安全运行的保证.但每次移动切换都需要手工认证以获得授权是非常烦琐耗时的,既延搁了切换过程,更降低了移动主机可获得的网络服务的整体质量.文章提出一种支持移动IPv6访问控制方法,并具有移动感知能力,能够视需要实现自动认证,从而避免了烦琐耗时的人工操作. 相似文献
39.
ActiveX控件技术是蒙古文网页制作技术中比较成熟的技术之一.但是在常用的网页制作软件,如FrontPage和Dreamweaver的设计模式下却不支持对ActiveX控件的实地编辑功能,制作蒙古文网页时是在其代码模式下手工编写代码编辑ActiveX控件的.这对蒙古文网页的制作工作带来了很大的难度.本文主要介绍利用自动化技术、VBA技术和钩子原理实现FrontPage设计模式下ActiveX控件的实地编辑功能的方法. 相似文献
40.
叶新铭 《内蒙古大学学报(自然科学版)》2009,40(4)
形式化方法是具有严格数学基础的软件开发方法,将其应用到软件开发过程中可以有效提高软件质量,以形式模型为基础的形式验证和一致性测试是形式化方法中的关键技术.简介了形式验证与一致性测试技术的研究现状,重点阐述两者集成方法的研究意义和国内外研究现状,并指出进一步研究方向. 相似文献