CAI课件制作理论及方法

本文阐述了制作CAI课件的理论,基本开发方法和开发软件。     

计算机审计的研究现状和挑战

通过分析计算机审计项目的生命周期模型，从面向数据的技术和面向系统的技术两个角度归钠了对计算机审计研究的成果，指出了审计数据分析三种类型：查询型分析、多维分析和发掘型分析，并提出了相席的审计数据分析过程模型。从审计数据采集转换技术、审计数据验证技术、审计专家经验共享和服爷计算技术4个方面讨论了面临的问题和研究方向。     

基于Kendall’s τ的连接函数分布估计算法求解云计算中SaaS部署问题(英文)

分布估计算法的性能高度依赖于如何估计和采样概率分布,连接函数(Copula)是构建概率分布模型的强有力的工具.论文给出了一个基于Kendall’s τ的正态连接函数分布估计算法,算法通过估计Kendall’s τ和利用Kendall’s τ与相关矩阵的关系首先估计正态连接函数中的相关矩阵,由此估计出联合分布.然后,Cholesky分解算法被用于该矩阵生成新的个体.由于正态连接函数的简单性,使得该算法具有简单明了的优点.算法被应用于一些测试函数和云计算中的SaaS部署问题,实验结果表明了算法的有效性.     

可配置语音识别输出概率计算协处理器的设计

在基于连续隐含Markov模型的嵌入式语音识别系统中,为提升计算效率、降低系统功耗,将算法中计算消耗最大的输出概率计算模块作为协处理器实现。通过先入先出队列电路隔离输出概率计算中的Markov距离和对数加法的数据通路使得系统参数可以灵活配置,并根据输出概率计算所需参数的地址产生规则设计了地址产生单元。采用Xilinx Virtex-5系列FPGA实现了该输出概率协处理器,并通过S3C44B0X微控制器验证了该设计。在配置参数为3维Gauss混合分量、27维特征矢量的条件下,对358个状态,协处理器工作在27MHz的时钟频率时计算输出概率的处理速度达到了0.13倍实时。     

基于云计算的随书光盘系统的管理和建设

阐述了云计算在图书馆的应用,对上海市松江大学城7所高校图书馆目前使用的随书光盘管理系统进行了调查、对比,通过对问卷调查的分析,总结出东华大学随书光盘管理上存在的不足和缺陷,提出了东华大学随书光盘管理系统的改进建议。     

基于PaaS科技期刊协同审稿的设计与实现

针对科技期刊审稿中存在的周期过长、协作困难等问题,讨论了基于"平台即服务"的科技期刊审稿方法及系统建设问题,系统能够实现出版流程和在线审稿、版本管理的功能,可以降低购置专用设备及配备维护人员等成本.     

M2M: A Simple Matlab-to-MapReduce Translator for Cloud Computing

MapReduce is a very popular parallel programming model for cloud computing platforms, and has become an effective method for processing massive data by using a cluster of computers. X-to-MapReduce (X is a program language) translator is a possible solution to help traditional programmers easily deploy an application to cloud systems through translating sequential codes to MapReduce codes. Recently, some SQL-to-MapReduce translators emerge to translate SQL-like queries to MapReduce codes and have good performance in cloud systems. However, SQL-to-MapReduce translators mainly focus on SQL-like queries, but not on numerical computation. Matlab is a high-level language and interactive environment for numerical computation, visualization, and programming, which is very popular in engineering. We propose and develop a simple Matlab-to-MapReduce translator for cloud computing, called M2M, for basic numerical computations. M2M can translate a Matlab code with up to 100 commands to MapReduce code in few seconds, which may cost a proficient Hadoop MapReduce programmer some days on coding so many commands. In addition, M2M can also recognize the dependency between complex commands, which is always confusing during hand coding. We implemented M2M with evaluation for Matlab commands on a cluster. Several common commands are used in our experiments. The results show that M2M is comparable in performance with hand-coded programs.     

一种基于Concurrent Apla语言的共享内存并发分布式算法2层验证方法

形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽象顺序设计语言Apla为基础,进一步研究并提出简明、高抽象用于并发分布式计算的Concurrent Apla语言,使其既支持顺序算法的验证又能有效地验证并发分布式算法.在依赖-卫式推理的基础上,提出一种新颖的2层并发分布式算法形式化验证方法,其中系统层用于处理并发级验证,而组件层用于处理顺序级验证.最后,通过2个实例验证了该方法的有效性和可行性.     

基于属性粒度研究决策形式背景的规则提取理论

粒计算作为研究热点之一, 使得用多角度、多层次的方法研究问题变为可能。将粒计算引入决策形式背景, 将会获得更为精确的决策规则。从属性粒度树的角度出发, 首先定义了多粒度决策形式背景,其次研究了粒化前后协调性之间的关系,最后给出了粒化前后多粒度决策形式背景上的规则之间的关系。     

一种新的粒计算的覆盖模型

定义了新的Zoom-in算子,并讨论了它的性质.证明了Zoom-in算子与Zoom-out算子复合得到的（论域上的）一对近似算子恰为基于覆盖的第二型上、下近似算子.