PC机硬盘系统的恢复

通过对ＩＢＭ－ＰＣ机及其兼容机所用ＤＯＳ系统的硬盘分区划分方法的简要分析，介绍了一种实用的硬盘信息的恢复方法。     

A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

基于NAT-PT的IPv4/IPv6转换网关的研究

随着Internet和IPv6的发展,出现了IPv4网与IPv6网共存的局面。使用NAT-PT、SIIT技术的转换网关可以实现IPv4网节点与IPv6网节点的直接通信。该技术包括3个功能模块:IPv4到IPv6地址绑定、IPv4与IPv6协议转换和应用层协议转换;转换网关是在Linux平台的Netfilter过滤框架相关钩子点挂载转换网关功能模块实现的。     

为构建“和谐河北“营造和谐的舆论环境——新形势下新闻宣传深层思考

构建“和谐河北”是中央提出的构建社会主义和谐社会在我省的具体实践,加强对构建“和谐河北”舆论宣传的调查、理论研究,已成为河北省新闻宣传界重大的理论与实践课题。为构建“和谐河北”营造和谐的舆论环境,河北省新闻宣传工作的重点应放在以下四个方面:坚持以正确的舆论引导人,坚定把握宣传基调不动摇;提升舆论引导水平,理性探求和谐社会矛盾的化解思路;增强舆论影响能力,形成构建“和谐河北”的舆论强势;清醒把握舆论导向,消除宣传报道中的不和谐音符等。     

无线传感器网络研究

介绍了无线传感器网络的体系结构、特点,分析了无线传感器网络研究的一些关键性问题,探讨了无线传感器网络的应用范围。     

流媒体传输控制的性能评价及其优化

对“消费者”来说任何一个系统的性能都是非常重要的,如果性能没有达到要求,即使提供强大的功能也不一定会得到用户的认可。在评价性能的过程中,如果发现系统中存在阻碍性能发挥的问题,就要对系统进行优化,以期获得较高的运行性能。本文从“消费者”与“生产者”模式的角度进行了IP网络中分布式多媒体传输控制的性能分析,同时提出了在现有网络状态下如何有效地对分布式多媒体网络性能进行合理的评价和优化控制策略。     

如何引导大一新生的“失衡”

大一新生入学后,很容易进入心理失衡期,且不同时期具体症状不同,需及时跟踪及把握学生的思想动态,因势利导,不断纠正及调整学生的失衡,成功伴随学生走过大一的平衡木,为顺利度过大学打下良好的基础。     

河南省科学院与洛阳市政府签订科技合作协议

4月15日上午，洛阳市政府与我院正式签订科技合作协议，这标志着双方将建立全面、长期的科技合作关系。中共河南省委常委、洛阳市市委书记孙善武，我院院长、党委书记赵亚平以及洛阳市领导连维良、李兴太、刘典立、王立林、杨萍和我院院领导薛岐庚、张占仓、姜俊、付伟等同志参加了协议签订仪式。     

例谈初中物理概念的复习与强化

物理学习的过程就是引导学生掌握物理概念，运用物理概念寻找物理规律，最终运用物理规律学习、解说物理概念的实践过程。在这一过程中，物理概念的掌握就成为学好物理学的一块重要基石。因此，中学物理教师的首要工作就是要帮助学生建立起扎实的物理概念，夯实基础。