基于时序逻辑和SCR方法的需求分析方法

以定义事件驱动型系统需求的ＳＣＲ（Ｓｏｆｔｗａｒｅ ＣｏｓｔＲｅｄｕｃｅ）方法和时序逻辑为基础,提出了一种能够根据ＳＣＲ方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用ＳＣＲ方法定义的事件驱动型系统的需求分析方法．为便于理解,还给出了一个简单的例子来介绍如何分析和检查用ＳＣＲ方法定义的需求的有效性．     

多视点视频编码方法研究

多视点视频作为1种新型的数字媒体,其独特的立体感和视点交互功能使它有着广阔的应用前景．分析了现有的多视点视频编码技术,针对几种典型的多视点视频编码方案进行重点讨论,对比了各编码方案的率失真性能,并对几种典型的多视点视频编码方案进行了相应的总结．     

二维相机阵列多视点图像信号压缩方法研究

结合二维相机阵列多视点图像信号的特点,研究了二维相机阵列多视点图像压缩空间预测的不同方法．根据GOP中I帧的个数、位置等不同情况,对所给出的3种类型的多视点编码方案,9种典型的预测参考方式进行重点分析,对比了各编码方案的率失真性能,得出相应的结论．所给出的二维相机阵列多视点图像信号空间预测采用多级B帧的方案,相对于其它方案在相同比特率下峰值信噪比（PSNR）平均提高约0．2～0．8dB．     

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

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

基于感知的右视点质量可分级编码算法

为了减少立体视频传输如此庞大的数据量,根据人眼的立体掩蔽效应,提出了基于感知的右视点质量可分级编码算法．该算法将宏块分为3类：平坦块、纹理块和边缘块,通过不同的量化步长使得右视点图像块的质量可分级．实验证明根据左视点的图像质量,右视点在人眼感知范围内码率减少25％～37％．该算法能在人眼主观察觉范围内很好地提高码率,进一步消除人眼立体视觉冗余．     

基于M-picture的动态光线空间编码新方法

提出了新的基于M-picture的动态光线空间编码方法．新的编码结构满足时间轴和视点间低延时的随机访问的要求,同时通过更准确的时空域联合预测减少残差和帧内块数,提高了编码效率.     

UML建模与动态模拟:案例研究

为检查模型之间的一致性和模型的完备性, 本文根据ＵＭＬ１．１ 规范,通过在可视化建模工具Ｒｏｓｅ９８上开发的一个铁路模型的实例详细描述了对于软件系统如何从多个视点建立一个规范、实用的模型;并提出了一种基于ＵＭＬ模型的动态模拟方法,给出了动态模拟工具设计方案, 这种方法充分结合了当前的用户界面、动画技术和ＵＭＬ语言的半形式化语义特点．     

基于Agent的教育网格体系结构

针对教育资源信息量庞大、种类多、表现形式多样、存储分散等特点．提出一种基于Agent的5层教育网格体系结构，定义了层次间不同类别网格中间件．在本结构模型中引进Agent技术实现层次间不同类别中间件的构造，可获取并重构满足用户特定需求的教育资源构件，达到自主性、个性化组织教学内容之目的．     

基于dj图检测特殊布尔函数的图形方法

阐述了线性函数、冗余函数、自反函数和自双反函数的定义和有关性质,提出了用dj图检测线性函数和冗余函数的方法．给出了求∫（x1～xn）的图形方法,并在此基础上提出了基于dj图检测自反函数与自双反函数的图形方法．此外,还讨论了求∫（x1～xn）的dj图的改进的图形方法．     

面向用户行为理解的移动通讯数据可视分析

通信数据包含人类活动的时空以及社会关系等信息,对人类行为分析有重要的价值.为了帮助分析者对用户的行为进行分析和理解,构建了从通信数据中探索用户的时空、社交等信息以分析用户行为的可视化流程,旨在理解用户的行为模式并通过行为的对比发现用户的社会角色以及用户之间的真实社交关系,通过迭代式交互过程,对用户不同时段的行为进行有效的理解和分析.在此基础上,构建了用户行为可视分析系统,采用半年的通信数据对该方法以及系统进行评估,结果显示,本方法能够有效理解个人行为、识别用户之间的关系.     

数字产品特征与定价策略的经济学分析

首先给出数字产品的概念，然后分析了数字产品的特征，包括依赖个人偏好、短期效用与长期效用并存、网络外部性3个经济学特征，不可破坏性、可变性、可复制性3个物理性特征．进一步分析了数字产品的成本构成和定价策略，包括个性化定价、版本划分与升级、联合购买与租借、捆绑销售．指出对数字产品必须实行差别化和用户导向定价策略．     

主成分分析和聚类分析在保险数据分析中的应用乌鲁木齐保险市场影响因素分析

运用主成分分析和聚类分析等统计方法分析了乌鲁木齐保险市场调查数据 .各种分析表明 ,不同年龄段的居民对保险产品的需求是有差异的 .收入水平、社会环境、生活习惯是影响居民保险的重要因素 ,2 5岁到 45岁青壮年人群对保险的认同感也对保险有重要影响 .整体上可将保险产品分成四类 ,这一点对保险业务员推荐附加险时有一定的参考价值     

深度和结构相似性引导的四参考视点融合算法

平面相机阵列四参考视点的深度图像绘制(Depth Image Based Rendering,DIBR)方案允许用户全方位身临其境地体验场景,可有效避免虚拟视点图像边界空洞,然而该方案引入了较为显著的伪影、背景渗透等失真.为此,提出一种深度和结构相似性(Structural Similarity,SSIM)引导的四参考...     

排序支持的交互数据分类算法及其应用

交互分类是解决数据复杂分类问题的主要手段之一。在现有的大多交互分类系统中,用户能准确识别数据类别,但在有些分类场景中,类别之间的顺序关系更容易被识别,为此,提出一种排序支持的交互数据分类算法。为提升交互分类精度,引入数据的顺序信息,为降低标记难度,提出候选样本推荐策略。另外,提出一种评估分类算法性能的可视化方法,用包含基本车况、交通违法记录、交通事故记录等信息的车辆数据集进行实验验证,将相关车辆分为高危车辆、中危车辆、低危车辆3类,算法的分类结果模型一致度达近98%,验证了方法的有效性。     

嵌入式实时软件需求规格说明的原型化检测方法

提出了一个检测嵌入式实时软件需求规格说明的方法,该方法将原型化方法,可执行的需求描述语言和动画显示集成为一体,并可模拟执行嵌入式实时软件的需求规格说明,此外,也阐述了这个方法的基本原理和某些实现方法,最后,讨论了这个方法及相关的支持环境的特点。     

面向对象建模语言AML的设计与实现

ＡＭＬ语言吸取了Ａｄａ９５ 基本原理和思想，引进它的基本数据类型、语句等设施，对其作更高层次的抽象和扩充．用３ 种有相同名字不同类型的程序包从不同的侧面描述给定模块的模型，提高了系统的完整性和一致性；同时运用二级并发模型和限制设施，详述了系统的并发性和不确定性的描述问题．     

基于两阶段解耦的可变功能机械模块划分研究

可变功能机械是一类多功能集成的机械产品, 较适合于采用模块化设计方法. 但是, 这类产品的每个功能都有相应的私有构件与之对应, 除此之外还有一定数量的共享构件, 造成各功能(相应地各客户需求)间存在不同程度的耦合性, 因此传统的单纯解决构件间耦合的模块划分方法存在困难. 为解决这一问题, 本文提出通过分阶段解耦的方法实现可变功能机械的模块划分, 其中第一阶段通过引入客户需求设计结构矩阵, 将与产品功能相关的客户需求先进行解耦, 以此解决单一解耦方式无法解决客户需求耦合的问题; 第二阶段通过引入需求结构关联矩阵与构件设计结构矩阵, 根据构件内部的关联关系进行结构解耦, 获得模块内部高耦合、模块之间低耦合的模块划分方案. 在此基础上, 通过引入模块化指数的评判标准, 解决产品模块聚合度和模块间耦合度相背离的问题, 实现了多种模块划分方案的选优. 最后通过一个多功能电钻案例来验证这一两阶段解耦模块划分方法的可行性.