排序方式: 共有40条查询结果,搜索用时 15 毫秒
1.
2.
微机使用过程中,由于使用者疏忽大意或为避免多次开机的麻烦,在处理其它事务时让计算机长时间处干等待状态。屏幕长时间处于一种状态,某些显示字符对应的光栅始终被电子射束射中,将出现老化,影响使用寿命.PC系列机中的BIOS(基本输入输出系统)通过调用INTIOH,用户不仅可以设置显示器的工作模式,还能控制屏幕的开启和关闭,从而实时选择屏幕开启和关闭的时机,实现屏幕的自我保护。我们就是根据这一功能特点,在TUrboC和PCTOOLS编程环境,设计了一种屏幕自我保护服务驻留程序。该服务程序随时监督用户的按键情况,用户无按… 相似文献
3.
随机Petri网(SPN)是一种有力的系统建模和分析工具.但SPN在应用中经常碰到状态空间爆炸问题.分解压缩技术是解决随机网状态空间指数性增长的有效方法之一.介绍了一种获得SPN可靠性模型瞬时状态的分解方法.该方法在保证评价和预测可靠性精确度的基础上,不仅能有效地降低可靠性描述与分析的复杂度,还扩大了分解压缩技术的适用范围. 相似文献
4.
介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。由软件的形式规格说明构造分类树,再把由分类树方法得到的测试用例转化为析取范式,进一步精炼测试用例。并通过一个实例说明测试用例的设计过程。 相似文献
5.
6.
7.
本文根据工业数据采集系统的特点,介绍了在VB for Windows环境下数据采集程序的编写方法。并介绍了与DOS环境下采集程序的编写方法的不同之处。从数据的获得到定时的实现,从原理上进行了说明,并给出了采集程序的主要片段。 相似文献
8.
CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统。简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和模型验证方法,清晰直观地分析模型的仿真结果,形象地表现两阶段提交协议的一致性。利用CPN模型对两阶段提交协议性能的分析,为进一步研究两阶段提交协议提供了一种新的手段。 相似文献
9.
动态网页的实现机制中,对用户的响应需要内部多个服务器的协作,延长了响应时间.通过对动态网页实现中某些步骤顺序的调整,可以在用户请求之前得到响应数据,当有用户请求的时候,服务器只需把已经生成的静态页面返回给用户即可,响应速度可得到较大的提高.根据软件性能工程理论,对此方法作了性能评价,然后对使用此方法的系统做了对比性的性能测试,根据对测试所得数据的分析,进一步验证了此方法在实际系统中的可行性. 相似文献
10.