论文部分内容阅读
ＯＯ系统的可靠性不仅取决于组件的质量，还与对象的交互行为密切相关。那么，如何“保证”ＯＯ系统的可行性和正确性，必然是一个现实而又不可回避的问题。本文从应用领域的角度，探讨形式化方法对实际中ＯＯ开发技术可能的支持。
互不干扰条件在OOP中的应用
【摘 要】
：
ＯＯ系统的可靠性不仅取决于组件的质量，还与对象的交互行为密切相关。那么，如何“保证”ＯＯ系统的可行性和正确性，必然是一个现实而又不可回避的问题。本文从应用领域的角度，探讨形式化
【机 构】
：
河南大学计算机应用技术研究所
【出 处】
：
计算机工程与应用
【发表日期】
：
1997年7期
【基金项目】
：
河南省自然科学基金
其他文献
在计算机集成制造系统中，质量评估是质量管理极其重要的组成部分，质量评估的结果将直接影响管理层的经营决策，本文主要阐述如何把专家系统技术应用于质量评估，并建造质量评估专家
该文介绍了一种为克服计算机传输数据时产生的误码，应用编码方法对发送数据构成（１５，７）循环码，在收端根据编码的规律对码字传输中产生的错误加以纠正，给出了编码和纠错的方法。
面对国内手机安全市场的激烈竞争,传统安全厂商瑞星将目光瞄向海外：据悉瑞星安卓版手机安全软件已经开始在日本销售,价格为2980日元（约247元人民币）,并且计划未来与日本当地手机
文章介绍了一种并行分布计算任务调度中的子任务实现位次排布算法，它是对只分配具有偏序关系的子任务集到各处理机结点的任务调度算法的补充算法，它通过启发式分配原则将子任务
通过2011年东京国际网络通信展览会(Interop Tokyo 2011)的激烈竞争,以及超过13万与会者的青睐,博科凭借其业界领先的博科MLXe核心路由器和博科VDX数据中心交换机而问鼎大奖。博科MLXe系列在300多个竞争激烈的网络解决方案中脱颖而出,荣获特别奖:基础设施构建产品以及ShowNet产品类大奖。此外,博科VDX以太网Fabric交换机也荣膺大奖:Interop与会者选择奖。
本文针对薄壁高墩施工，如何保证质量和进度、降低成本、方便施工成了一个施工难题，利用塔式起重机配合翻转模板施工薄壁高墩不仅安装快、投资少，且解决了无支架施工的垂直和水平
伴随着我国财产保险市场规模的快速增长,国内众多保险公司都在地市公司快速布局营业网点,与此相对应的营业点与业务系统的互联成为各家保险公司在网点扩张过程中需要面临的首要问题。探讨了如何确保营业网点能够灵活、安全、稳定的接入业务系统。介绍了如何利用3G并结合VPN技术来快速构建营业网点出单系统,从而满足保险行业快速布局营业网点的目的。
由于ＶｉｄｅｏＢｌａｓｔｅｒ系列视步只具三个视频输入端，不可能处理三个以上的视频信号，本文介绍了一种视频切换卡，将它与视卡共同使用，可在同一屏幕显示来自不同信号源的多个画面，另外，本文详细叙述了针