一种新的分析和检查需求模型

由于ＳＣＲ是较实用的定义软件系统需求的方法,以此方法为基础,提出一个形式化的分析和检查需求的模型。此分析和检查模型主要根据综合知识表示模型的一些基本原理,使用状态转换规则、语义计算规则和属性来形式化地描述ＳＣＲ中表格符号的语义,并通过执行规则来自动分析由ＳＣＲ定义的需求。为便于理解,给出了一个简单的实例来介绍如何分析和检查基于ＳＣＲ的需求的一致性和完整性。     

可动态维护的软件体系结构

将软件维护的方法和技术划分为方法级、源代码级和目标代码级等３个层次,并给出了可在目标代码级支持软件动态维护的软件的体系结构。     

关于max—min模糊关系方程有唯一解的充要条件

指出模糊关系方程的一个重要结论的纰漏,并提出了有关ｍａｘ＿ｍｉｎ模糊关系方程有唯一解的充要条件．     

螺栓联接CAI课件的研制

<正>螺栓联接的强度计算,尤其是承受轴向工作载荷的紧螺栓联接的强度计算是"螺纹联接"一章的重点.要进行强度计算,必须先求出其受力的大小,而受轴向工作载荷的紧螺栓联接的受力与变形的关系则是该章的难点.由于螺栓和被联接件的实际变形是人的肉眼所见不到的,     

DBMS软件产品数据库设计的实用策略

本文以“通用帐务处理软件数据库设计策略”为背景,对DBMS(Data Base Management System)软件产品数据库设计的方法和策略进行探讨。     

DRM软件接收机前端

本文在简要介绍DRM数字长、中、短波广播系统的发展和技术特征的基础上,主要介绍近年来国际上接收设备的开发,包括软件接收机和接近系列化的已投放市场的接收机,讨论了这些接收机的设计思想、构成与技术特性,详细介绍了DRM软件接收机前端的概念,并分别以DEGEN1101,TECSUN BCL2000调幅中短波AM收音机具体说明了作为DRM软件接收机的前端进行DRM改造的步骤,在结束语部分展望了DRM的市场实施问题.     

基于 CFX软件的氮化硅反应炉内热过程的数值模拟

利用大型商业软件CFX建立了高温氮化硅反应炉内温度场的数学模型,采用拟流体模型数值模拟炉内的层流流动,分析了氮气体积流量、各向异性散射和辐射特性等因素对温度场和产物质量浓度的影响.计算结果表明,为确保反应充分完全,预热段温度控制显得非常重要,而氮气体积流量起着决定性的作用;各向异性散射对径向温度、产物质量浓度有一定的影响;散射率对温度场影响很小;计算值与实验值相比较,误差在10%之内.     

计算机"软"维护探索

对计算机“软”故障进行了分析，认为计算机系统的“软”故障主要由CMOS信息更改、硬盘分区表破坏、Windows注册表破坏及病毒感染所引起，并提出了计算机系统维护和“软”故障的预防和处理意见。     

多载波传输技术中的OFDM系统仿真

基于多载波正交频分复用技术传输特性,结合通信系统的System view软件仿真,构建了多载波OFDM系统模型并给出仿真结果.该仿真方案解决了通信模型参数修正、分析及过程演示等困难,是一种快捷方便的建模仿真方法.     

设计模式及其在软件设计中的应用研究

总结了不同模式适用于不同应用的一般规律，分析了常用模式的内涵及侧重点，提出了设计模式应用于软件设计的策略，即抽象求解问题、划分问题类型、模式初选、模式匹配、根据问题进行模式变体、软件体系结构细化、设计优化、性能优化及设计质量度量．通过电力行业绘图平台的实际应用，给出了基于软件度量标准下的系统稳定性参数的计算方法．分析与实地测试表明，所提策略能够优化软件的设计及性能，为使用者提供了一种快速选取设计模式的途径．