基于扩展Pi演算的SaaS流程演化

针对软件即服务(SaaS)流程的个性化配置需求,引入特征元代数结构来描述软件的非功能特性,通过把Pi演算进行语法扩展(EPi),对软件的功能属性和非功能属性进行形式化描述,由用户需求驱动软件服务流程演化.基于EPi提出SaaS的流程形式化描述和转换方法,建立了SaaS流程演化模型(SSFM)及服务流程演化操作规则,并用量化互模拟理论对流程演化响应需求的情况进行分析,通过建立互模拟程度空间关系量化服务流程演化前后的近似程度.     

基于情景演算的程序设计语言ConGolog

ConGolog语言是以情景演算为基础的高级程序设计语言。本文介绍了情景演算的基础知识,并通过一个电梯运行的例子说明了如何使用该语言来实现编程。     

基于π演算的协同商务主体的交互行为描述

对商务主体的协同交互行为的描述是多主体协同电子商务系统模型描述中的重要部分,本文采用π演算的描述方法对商务主体的协同行为(计划)进行形式化描述。     

基于PI演算的软件人通信形式化与建模研究

本文主要通过PI演算对软件人的通信中信息流和控制流进行形式化表述和建立模型,基于该通信模型,实现对软件人之间的协作.自律等行为以及软件人群体结构演化等方面抽象分析的目的.     

基于网络演算的改进QoS模型研究

通过对当前IP网络中常用QoS模型,特别是集成服务和区分服务模型的分析,指出其在下一代互联网应用环境中存在的不足.运用有利于量化计算的网络演算理论,结合IPv6的特性和流标签、优先级域等优势,提出了一种改进的QoS模型——RSM模型,并通过与集成服务和区分服务模型进行对比分析和实例计算,证实了RSM模型在大规模IP网络中也具有较好的端到端延迟边界和较低的丢包率,其分域管理的特点保证了良好的扩展性.     

基于角色和交互的SaaS软件生命周期推演模型

采用模拟SaaS生态系统中角色和交互的方法来推演SaaS软件生命周期的各个阶段.首先提出SaaS生态系统中各个组成部分和基本角色;然后定义了SaaS软件生命周期中角色和交互模型;随后模拟大量角色交互路径,从中选取最优路径并加以调整;研究基于该优化路径设计生命周期的模拟方法,包括交互角色和交互时间的选择算法;最后通过角色和交互在时间轴上的聚类,推演出SaaS软件生命周期的各个阶段.理论和实验结果分析证明该模型有着良好的推演效果.     

基于Markov-PLUS模型的延安市土地利用多情景模拟研究

为探究延安市未来土地利用发展趋势,促进土地资源合理利用,基于延安市2010和2020年土地利用数据,运用Markov-PLUS模型,分别从自然发展、生态保护、经济增长三种情境,预测2030年延安市土地利用情况及其发展变化。结果表明：（1）2010-2020年,延安市全市范围内的耕地、林地面积减少,草地面积增长缓慢,水域、建设用地以及未利用地面积大幅度增长,但随着时间发展,建设用地不断扩张会破坏生态的稳定性,因此需要关注各类用地发展占比,合理分配用地;（2）PLUS模型模拟精度较高,Kappa系数为0.94;(3)基于2030年三种情景模拟情况比较,自然发展情景中仅有建设用地面积有所增加,在生态保护情景下,生态环境面积减少低于其他两种发展情景,且有效遏制了用地扩张,经济增长情景中,耕地及建设用地面积增幅明显。     

基于交互多模型无味卡尔曼滤波的移动机器人故障诊断

为了快速、准确地诊断出移动机器人的故障,将交互多模型算法和无味卡尔曼滤波(IMM_UKF)结合起来,通过各个故障模型的概率大小来判断故障是否发生。仿真结果证明,IMM_UKF的估计准确度要高于IMM_EKF,能够准确判断故障。     

基于π演算的软件人群体形式化建模

在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技术如本体库、知识库、任务库、通信协议、角色模型、交互模型等进行了描述. 描述了对该系统从分析到设计的整个构建过程,并采用π演算形式化方法对整个系统的信息流和控制流,以及任务之间的4种协作方式进行了建模. 对于不同的应用领域,通过定义相应领域的本体库和所需的角色以及任务分解,即可快速构建相应的应用系统,为分布式系统提供了一种解决方案.     

Email系统特征交互问题的π-演算检测

采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.     

IAM模型在软件架构中的应用研究

软件体系结构作为系统开发的蓝图,已成为一个结合项目所有阶段的概念纽带,体系结构的建立是软件开发的关键所在。由于需求和体系结构之间模糊的关联关系,如何利用获取的需求进行软件架构的构建,是开发者面临的一个主要难题。文章基于CBSP方法建立的IAM模型成功地应用于淮北煤炭安全管理系统的开发中,该IAM模型在需求和软件体系结构之间架起了一个有效的桥梁。     

计算机应用软件人机对话语言的规范化

阐述了“人机对话操作语言”的概念,并拟定了在计算机软件教学中使用键盘和鼠标进行人机对话时操作语言的语法和语义。     

基于软件体系结构的构件化财务管理系统的设计与实现

通过对基于构件的财务管理系统的开发方法进行研究,提出了基于构件的财务管理系统的开发模型和软件体系结构,并利用.NET平台进行财务构件开发,对其中用到的关键技术作了讨论,解决了在财务管理系统的实现中如何应用软构件技术的问题.     

基于测试级别的软件成本模型的研究

很少有软件成本模型会考虑测试的实际情况，因此不能够准确地反映测试过程中成本的实际消耗以及当测试情况需要发生改变时对软件成本需求的变化。绝大多数的软件测试存在着不完全排错和学习过程等现象，这些现象通常反映了实际测试的成本使用情况。本文提出了一个反映实际测试情况的测试级别，在此基础上构造了一个新的软件成本模型，并讨论了基于最低软件成本的最优发布策略。实验证明该成本模型更符合软件测试的实际情况，软件开发者可以利用该模型实现对测试成本科学的管理。     

基于测试级别的软件成本模型的研究

很少有软件成本模型会考虑测试的实际情况，因此不能够准确地反映测试过程中成本的实际消耗以及当测试情况需要发生改变时对软件成本需求的变化。绝大多数的软件测试存在着不完全排错和学习过程等现象，这些现象通常反映了实际测试的成本使用情况。本文提出了一个反映实际测试情况的测试级别，在此基础上构造了一个新的软件成本模型，并讨论了基于最低软件成本的最优发布策略。实验证明该成本模型更符合软件测试的实际情况，软件开发者可以利用该模型实现对测试成本科学的管理。     

基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

基于模型的软件测试

基于模型的软件测试是软件编码阶段的主流测试方法之一。基于多年的测试实践，本文认为基于模型的软件测试技术具有测试效率高、对逻辑复杂故障测试效果好等特点，但是误报、漏报和故障机理是依然需要进一步研究的问题。本文对主要的测试模型进行了分析和分类，并对其故障密度等参数进行了初步的分析。最后，本文给出了一种基于模型的软件测试方法。     

面向领域的应用软件构件化开发方法研究

分析和讨论了基于软构件的应用软件开发模型，然后具体阐述了如何依据特定领域分析，提取可复用软构件的方法和步骤，从而达到提高软件的可复用性和开发效率的目的。     

基于C++的可复用构件制作和组装

对软件产业发展所需要的软件生产率和软件质量的重视引起了对软件复用技术的研究。软件复用和基于构件的软件开发是软件工程化开发和工业化生产的必然趋势，可复用构件的制作和组装是其中涉及的两个重要活动。对几种不同的体系结构类型进行比较，阐述了它们对构件集成的影响，给出了基于C 的构件制作和组装过程。     

软件无线电基于网络多DSP平台的并行算法研究

基于一种改进的软件无线电网络结构,提出了一种针对FIR滤波器的并行算法及其相应的结构,并且对这个并行系统的可实现性及有效性进行了研究.文中还将多处理器并行系统与单个处理器系统的处理结果进行了对比分析,验证了并行算法的优越性.另外,这种并行思想可以应用于软件无线电的其他功能模块.