Web上分布式领域组件的框架表示

文章采用知识表示中的框架表示法,结合谓词产生式,语义网络等手段,提出了一个具有网络分布式及Ｗｅｂ化构造特性的领域构架及组件的表示方法ＦＲＤＤＣ。应用ＦＲＤＤＣ实现的ＡＮＤ－ＣＡＳＥ模型表现了ＦＲＤＤＣ的自然性,结构性,Ｗｅｂ可操作性,容纳柔性及知识表达能力。     

非间断软件回归测试模型研究

软件测试是开发过程的重要环节。回归错误在开发过程中严重影响着开发的效率,其隐匿特性也使得测试比较困难。因此,本文提出一种非间断测试的模型,用于加强对回归错误的管理,节约不必要的无谓工作时间,提高软件开发的效率。这种模型对用户开发行为进行模拟和推测,在经过大量的数据训练后,寻找测试行为、错误发生等开发动作的捕获点,从而找到最佳的测试策略。在不影响开发人员工作的前提下,可对当前最新的代码进行测试,最大程度上避免回归错误长期隐藏在前期代码中,保持整个开发过程的稳步前进。     

两江水利枢纽工程混凝土面板堆石坝设计

低温使严寒地区混凝土面板堆石坝与常温地区设计方面会有所不同,本文针对两江水利枢纽工程混凝土面板堆石坝设计方面的一些要求,对严寒地区混凝土面板堆石坝设计的一些关键技术问题进行了探索,研究结果表明:通过提高面板混凝土抗渗抗冻标号,降低水灰比改善混凝土性能,适当增加面板钢筋含量,改善堆石坝结构设计,选择有利施工时段,改进表面...     

软件

简化测量任务的交互式软件,缩短手机游戏开发时间的开发套件,支持CapSense的PSoC设计工具,用于3G手机的Linux操作系统,中文版电能分析仪软件,简化多种协议的Virtex-5协议包,支持低成本FPGA的综合软件,[编者按]     

武器系统发射动力学CAD软件研究

从工程应用出发,采用多体系统动力学方法和软件工程基本理论,设计了一套武器系统发射动力学CAD分析软件,利用这一软件对武器系统发射过程进行了仿真计算,计算结果表明软件符合设计要求,可用于工程计算和设计。     

LED城市照明示范工程应注意的问题

该文主要介绍了半导体(LED)在城市照明示范工程应用中应该注意的一些问题。论文包含有LED的性能和特点、科技部十城万盏半导体照明示范工程的要求及内容、示范工程应遵循的设计标准、LED照明器具应满足的技术要求等。     

面向软件黑箱测试的仿真环境嵌入故障研究

故障注入作为软件测试的一种有效技术已进入实用阶段, 然而如何在软件黑箱测试中运用故障注入技术目前尚少有文献加以论述.文章提出了软件黑 箱测试中故障外围注入的思想,通过嵌入故障的仿真环境,实现对被测软件输入级的故障引入 ,改变软件的运行状态,诱发内在的失效模式,导致错误的输出,从而达到预期的测试目的.这 一方法已应用于铁路车站信号控制系统软件的测试中,并取得了良好的效果.     

UNIFY数据服务器（ELS）2000年挑战解决方案

本文从各个方面讨论了ＵＮＩＦＹ关系数据库２０００年问题,比较和分析了２０００年解决方案的利弊,为ＵＮＩＦＹ用户和工程人员提供了一种较好的解决方案。     

雷达介质稳频振荡器的计算机辅助设计

介绍了一种C波段反射型GaAs MESFET雷达介质稳频振荡器(RDRO)。进行了理论分析和数学模拟,并借助计算机利用Ansoft公司的Serenade 7.0软件进行优化设计。通过理论计算和计算机辅助优化,可以获得较好性能的振荡器。实现了谐振频率f_0=5.06GHz,输出功率8dBm,从室温到60℃范围内频率稳定度可达3ppm/C。     

基于软件无线电的突发模式8DPSK的全数字化实现

提出了一种软件无线电中频收发机的结构和突发模式 8DPSK解调的实现框架 ,在 8DPSK解调时采用了前向初始参数估计算法 ,并证实了该算法的可行性。