基于退火遗传算法的单元测试方法

为提高单元测试的效率,提出一种基于退火遗传算法的自动化单元测试方法。将遗传算子与进化代数进行关联,使其更快收敛于最优解。采用基于分支距离的方法构造适应值函数,根据代码转换功能,将判定结点处的代码转换为平行结构、将分支距离量化为[0, 1]之间的数。实验结果表明,该方法能以更短的时间获得更高的代码覆盖率。     

全固态1kW电视发射机的原理及维护

本文介绍了全固态1kW电视机GME1013C型的组成特点及维护要求。     

卫星电视广播信号的接收

对卫星电视地面接收站站址的选择、设备的安装、卫星接收信号的调试等的重要性及其方法作了说明。     

并行编程技术探讨

本文分别讨论了 共享存储器处理机和多计算机结构这两种并结构的并行编程方法和实现技术，这对于开发分布式编程环境，进行并行编程具有理论意义。     

县级电视台使用硬盘播出系统的必要性

随着电视技术的不断发展和计算机技术在电视节目制作和播出的广泛应用 ,电视设备正向着系统自动化、数字化、网络化方向发展 ,计算机技术的高速发展为广播电视提高播出质量提供了一条新的途径———采用硬盘播出系统。1　硬盘播出系统的构成单元及网络拓扑图1 1　编辑工作站一般为一套非线性编辑设备。要求可以完成对视频素材的剪辑、配音、加字幕等节目制作的后期功能 ,和带有MPEG1/2格式的输出功能。1 2　上载工作站负责将视频从录像机录制的资料采集到素材硬盘库中。根据实际情况可以选用支持复合、Y/C、DV输入的上载机 ,也可以根据…     

浅析中小型制造企业质量问题管理系统与质量文化建设

随着市场经济的快速发展,产品制造己由原来大批量、少品种模式转向小批量、多品种模式．个性化订单逐渐占据产品总量的半壁江山,小批量．高质量、快节奏的生产方式己成为中小企业的主要生产方式。同时随着信息化水平的高速发展,客户要求逐步提高,为有效解决内外部市场反馈的质量问题,保持产品质量处于稳定可控状态．建立完善的质量问题管理系统,成为中小型制造企业的当务之急。     

车速里程表测量示值不确定度的评定

本文从测量方法、数学模型、不确定度传播律,不确定度来源、以及分量等介绍了车速里程表测量结果不确定度评定程序,并给出了其结果的报告形式。     

基于Simulink的油浸式变压器性能试验及分析

油浸式变压器在出厂试验中存在铭牌参数标定不准确的现象。对此,阐述变压器出厂试验原理,对变压器主要性能参数进行理论计算,并在此基础上得到可用于仿真试验的数学模型。通过Simulink软件设计了仿真试验环境,并代入库存变压器的试验数据,对实际案例进行了分析。结果表明,该模型可以快速获得油浸式变压器的性能数据,满足了对同一批次所有变压器铭牌参数准确标定的需求。     

基于JML的标记—清扫垃圾收集验证

Java中的垃圾收集机制,有效地避免了安全漏洞也提高了资源利用率。然而对于和用户程序并行执行的垃圾收集,其过程及算法的实现甚是复杂,使得可靠性难以保证。目前,基于契约的程序动态分析技术已成为软件质量保证的一个重要途径。而JML继承了契约式设计的所有优点,成为一种为Java量身定做的形式化的行为接口规范语言,用来规范Java程序模块的行为及详细设计决策。基于这种思想,通过前置条件、后置条件等规范对垃圾收集的功能进行精确描述,来确保不可达节点的正确回收和整个收集过程中内存堆数据保持和用户数据的不变性,保证了用户程序数据未被垃圾收集修改,也确保了用户程序没有干涉垃圾收集操作的正确执行。     

面向电子商务的服务等级协议研究

对面向电子商务的服务等级协议(SLA)进行了研究,提出了基于XML Schema的SLA通用信息结构,给出了SLA规定的服务质量参数验证系统框架,对服务质量参数用户响应时间与网络带宽的关系进行排对论统计分析.