论文部分内容阅读
采用一种基于构件技术和B方法的企业信息系统形式化需求分析方法,按照构件的思想对非形式化的需求分析进行形式化描述,可发现软件需求中隐含的不一致性、不完整性、消除二义性.该方法可以解决传统方法的一些不足,大大提高系统需求分析的质量与效率.
基于构件技术和B方法的形式化需求分析
【摘 要】
：
采用一种基于构件技术和B方法的企业信息系统形式化需求分析方法,按照构件的思想对非形式化的需求分析进行形式化描述,可发现软件需求中隐含的不一致性、不完整性、消除二义
【机 构】
：
郑州轻工业学院计算机与通信工程学院
【出 处】
：
郑州轻工业学院学报：自然科学版
【发表日期】
：
2009年5期
【基金项目】
：
河南省教育厅自然科学基金项目（0411010500）,河南省新世纪优秀人才支持项目（2005HANCET-03）
其他文献
通过对6根焊接环式箍筋高强混凝土的偏心受压柱做单调加载静力试验,改变柱的偏心距,分析了焊接环式箍筋约束混凝土对试件的破坏形态、极限承载力以及开裂过程和裂缝发展规律：
提出了一个等式约束下凸二次规划问题的带强Wolfe线搜索的信赖域算法.该算法利用增广Lagrange函数将约束问题转化为无约束问题,在传统信赖域算法的基础上结合线搜索技术,当试
对Web管理信息系统中运行环境、数据存储、数据传输和系统自身设计等安全性问题提出了解决方法．在高等学校毕业设计管理信息系统中对其进行验证，结果表明，该方法在提高系统安全
针对虚拟现实系统中虚拟人决策的问题，运用双BP神经网络实现了动态学习的决策系统．利用博弈树动态增加BP网络训练集，实现BP网络的动态学习，同时对BP网络的学习算法进行改进．利用虚
为了实现对视频序列中运动目标的实时检测,提出了一种新的运动目标检测方法.该方法对相邻两帧进行差分处理,并通过对帧差结果进行方差分析构建背景模型;用方差作为阈值将差分图像划分为运动变化区域和背景区域;将运动区域与构建的背景模型拟合,区分出运动目标和显露区域,并将显露区域收入背景,实现背景的更新.实验结果表明,该方法运算速度快、准确率高,能够对运动目标进行实时检测.
为了更好地对浅景图像和简单背景图像进行分析和处理,进而改善图像的质量和效果,在Itti注意力模型算法的基础上,提出了基于视觉注意的阈值分割算法.该算法主要通过对像素属性
通过推广三阶的调和平均牛顿法（HN方法）,给出了2类在实数范围内求解非线性方程的六阶方法及其收敛性证明.考虑计算效率,本文方法每步计算2个函数值和2个导数值,效率指数为1.565
以单片机AT89S52和ADE7755为核心，采用模块化结构设计了一种单用户智能预付费电能表．该电表不仅具有电能计量、费率管理等功能，还可以分时段计量用户的电能使用量，达到避峰填谷的
给出了一种基于μC/OS的智能无线传感网络节点的设计方案.该方案以CC430单片机为节点的硬件核心,并将μC/OS内核移植到单片机中.实验证明,μC/OS内核大大简化了应用系统的设
由于BPSK解调技术存在频谱泄露和瞬态效应等问题,为了提高通信系统的抗干扰能力,针对直接序列扩频通信系统中的窄带干扰,利用申农公式和改进的DFT（RT-DFT）算法优化BPSK调制解调