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

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

面向对象的软件原型化可操作模型OPM

基于OMT(Object Modeling Technique),面向软件原型化领域,提出了可操作模型OPM(Object-Oriented Prototyping Modeling)。OPM是在对象模型OM(Object-Model)之上的一种二维的模型化方法,纵向,功能对象的APO抽象与继承的自顶向下模型化机制;横向,功能对象的有穷状态机中,状态对象的AKO抽象与继承的逐步细化的模型化机制。OPM通过当前状态对象的转换、消息授受来描述系统行为,原型化深度通过上述二维的对象模型化粒度来刻划,并给出了OPM应用的具体例子。     

面向对象建模语言AML的代数语义

ＡＭＬ语言是一种基于Ａｄａ的通用面向对象建模语言,其兼具形式化语言和面向对象图形语言的特点,并克服了现有建模语言在并发模型和不确定性描述等方面的不足。本文利用代数语义技术,着重讨论ＡＭＬ语言中与Ａｄａ９５ 中有明显不同的成份的语义,即类程序包、结构程序包的代数语义．     

基于多视点的快速原型化方法的研究

提出了一个结合多视点的快速原型化方法,该方法及其需求定义过程主要使用视点和视点模板来定义用户的需求,从而提高了需求规格说明的可读性和可审查性．此外,本文也讨论了这个新方法的特点和今后需要解决的问题．     

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

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

基于面向对象技术的多媒体CAI素材库系统

建立实用、高效的多媒体ＣＡＩ素材库是高效率、高质量开发ＣＡＩ软件的基础和关键．本文从数据模型、面向对象分析和存储模式三方面入手,提出一种支撑ＣＡＩ制作工具的素材库体系结构,并讨论该体系结构的特性和进一步研究的问题．     

基于多媒体数据库的数据挖掘系统原型

提出了一种多媒体数据挖掘的系统原型 MDMP.介绍了 MDMP原型构件和开采函数 ;描述了挖掘处理与知识表示 ,讨论了多媒体数据特征立方体构建及在线分析挖掘 OL AM机制 .MDMP用于从多媒体数据库中挖掘出隐含的用户感兴趣的知识 .     

基于Visual Basic 的面向对象的编程方法

本文从作为可视化编程和对象技术的Ｖｉｓｕａｌ Ｂａｓｉｃ语言的核心－对象着手,着重讨论了各种对象的特点,创建各种对象所采用的方法以及使用的场合,探讨了基于Ｖｉｓｕａｌ Ｂａｓｉｃ的面向对象的编程方法。     

基于系统调用和进程代数CCS的行为建模方法

软件动态行为可信度量是可信计算必须要解决的关键问题之一.对该问题的关键一环,软件动态行为建模理论和方法,进行了研究：以系统调用为建模对象,从软件行为学的观点出发,将软件动态行为刻画为进程代数CCS（calculus of communication system）动作的形式.在此基础上,提出了软件动态行为模型的形式化表达DBMS={SCSS,E},其中,SCSS是整个系统的系统调用序列,E是一套基于CCS的行为变换操作符,结合SCSS和E,能够表达系统内任意软件的任意行为.进一步地,提出了一种分布式软件动态行为度量架构,利用该架构能够增强软件动态行为度量的准确性,并提高度量效率.     

基于进程行为的防沉迷模型

防沉迷系统监控的软件大多是娱乐型软件,如游戏、视频、音频等,传统的防沉迷系统一般仅针对软件使用者的身份加以鉴别和监管,对软件本身的行为不作分析。对于此类娱乐进程运行时表现出来的行为特征,提出一种基于进程行为分析的娱乐进程监控系统模型。动态收集进程运行时产生的行为数据,通过基于迭代、分类、阀值比较的识别算法来判定出娱乐进程,进而对其使用时间进行监控。通过收集的数据和测试实验,验证该模型的可行性和有效性。     

对象管理的空间连接策略与算法

空间连接是空间数据库对象管理研究的一个至关重要问题，也是近年来研究的热点之一．本文讨论了对象管理的空间连接策略与过滤机制，并在G树的基础上提出一种新的空间连接算法，有效地解决了空间对象连接的效率问题．     

国际市场营销管理与决策信息系统(IMMADIS)原型研究

分析归纳了国际市场营销管理与信息的特征，把系统目标分解为三级，依此提出的国际市场营销管理与决策信息系统结构模式，充分考虑了计算机在企业管理中应用的优势与特点，同时又考虑到国情，便于企业开发实施。