基于Agent的可生存系统认知单元结构模型

基于Agent结构,提出一种新的可生存系统认知单元结构模型.首先建立了基于认知环的可生存系统认知单元结构工作流程,然后给出了一种认知单元具体结构,并对结构中的各模块进行了描述,最后基于Agent结构的HSA模型,对可生存系统认知单元结构模型进行了形式化描述.     

Web环境下的MatLab远程仿真

在描述MatLab Web应用的基础上,提出一种基于MatLab和Web技术的远程仿真方法.以二阶系统的单位阶跃响应为例,详细说明了MatLab远程在线仿真技术的实现过程,并给出了相应的图形结果.     

Web导航行为范畴模型一致性与安全性研究

范畴理论为各数学学科提供了一种公共的语言、工具、思维方法和研究手段,其中作为形式结构的素描是一种基于图的规范,是形式建模和验证的有效方法.文章给出了Web导航行为的线性素描,构建一个基于范畴理论的形式模型,这一模型符合由素描所描述的要求和规范,提出了通过建立自由范畴来检验模型一致性的方法,讨论了导航模型的安全性,并给出了一些相应的安全性规则和检查方法.     

一种基于图像内容的对应关系在语义检索中的应用

针对基于图像高层语义的检索方法问题,提出了一种基于自然场景图片语料库下的图片本体检索框架.该方法通过考虑图像内容之间的对应关系,引入人类正常图像检索过程.利用对图像内容的分块语义注释的描述,该框架解决了目前图像检索中的问题.构建好的领域本体可以用来完成定性语义描述和检索,实现了包含语义概念和空间关系的自然语言查询.最后,对该应用的有效性进行了评估,实验结果表明,该框架在检索的精确度和相关度上都表现得非常好.     

一种基于共性特征的SAR图像与卫星光学图像匹配方法

提出了一种新的基于边缘的合成孔径雷达(SAR)图像与卫星光学图像匹配算法.在这种算法中,针对SAR图像固有特性提出了一种边缘特征的提取方法,并提出了一种新的基于边缘连续性密度加权的子模板Hausdorff距离矩阵度量方式,采用子模板Hausdorff距离矩阵的Frobenius范数来描述整个矩阵的"大小"的尺度,从而建立图像相似性测度.这种测度具有可靠,鲁棒,易于并行实现的优点.试验结果表明,这种算法鲁棒性好,匹配精度高,计算速度快.     

基于B/S模式下的高校食堂管理系统设计

本文首先论述了管理信息系统MIS架构的主流模式——即B／S模式的特点，然后运用Delphi语言和SQL server数据库给出一种基于B／S模式三层结构的高校食堂管理系统的设计模式．     

MVC设计模式在Web开发中的研究与应用

从MVC设计模式的相关概念出发,在分析MVC设计模式的优缺点基础上,给出了在Web应用程序开发中应用MVC模式的改进方式.     

n次参数曲线的算法研究

提出一种生成n次参数曲线的算法,在生成曲线的过程中利用增量计算有效降低了计算量,并动态调整步长,可以使生成的曲线达到像素级,采用堆栈技术充分缩短了计算机的运算时间,提高了运算速度.因传统方法无法描述封闭的曲线,也不同于基于优化的拟合隐式曲线方法,无须考虑函数的形式或多项式的次数.算法涉及了动态调整步长问题,并分类处理了各种情况,因而该方法有很强的物体边界描述能力和缺损修复能力,在物体边界重建、缺损图像复原等领域有一定的应用前景.     

基于Resin的通用依赖注入模式

本文描述四种CanDI设计模式:服务,资源,启动和扩展模式,以服务模式为基础的应用程序采用封装方式管理数据,资源模式是用户和应用程序之间的配置接口,启动模式用于初始化应用,扩展模式用于用户定制复杂的应用程序行为。     

基于ASP.NET MVC框架的Web开发研究

ASP.NET MVC框架是微软公司推出的新一代Web应用程序开发框架,为.NET开发平台在互联网领域注入了一支强有力的主力军,从而使得微软公司在众多MVC开发框架中占据一席之地。本文首先介绍了MVC设计模式,然后介绍了在Mircrosoft Visual Studio 2012下创建基于ASP.NET MVC的Web应用程序,并对项目的开发目录结构进行了介绍。     

基于Authorware的多媒体课件框架的设计与开发

认为在计算机辅助教学中,课件(Courseware)的开发是教学活动开展的关键,是CAI(Computer-assisted instruction)活动的前提和基础;在课件开发中,为软件设计科学、合理的框架及实现用户对课件随意的控制是开发的关键和难点.介绍了在课件开发中框架的设计及流程控制的实现,为开发课件提供一个规范的、通用的框架模板.     

密码分析中加法运算的异或逼近

现代密码组件中常用到不同群上的混合运算。在密码分析中,常用异或运算线性逼近加法运算对密码算法进行区分攻击,此时就会产生噪声变量概率分布的求解问题,该文利用自由幺半群上的有理形式幂级数理论,构造出其相应的约化线性表示,从而完全解决了该噪声变量的概率分计算问题。同时,将结果推广到模p^n剩余类环上,这就为该类组件的线性密码分析提供了重要的理论支持。     

网络教学中支持元认知能力教学的新型知识模型

借鉴认知科学的现代研究成果,文中提出知识应用模式的概念,显式区分基本知识(显性知识)和知识应用模式(隐性知识),给出一个基于模式及其建构的新型知识模型.基于该模型,不仅能实现基本知识的教学,更能实现元认知能力的教学,从而最终实现个性化网络教学目标.     

线性空间概念的教学方法研究

从心理学以及数学认知学角度,分析了线性空间概念的形式化定义以及学生面临的学习困难,提出一些新的线性空间概念的教学方法．强调通过对线性空间形式化定义的符号化和图形化及其相互转化,以及基于计算机代数系统软件Maple的可视化教学技术等教学方法,强化学生对线性空间这一抽象数学概念的理解,从而提高课堂教学质量．     

炮管内膛图象处理与识别系统

本文设计了一个微机图象处理系统，主要论述了软件的设计思想和实现过程，该系统虽然针对炮管内膛图象处理而设计，但也实用于其它图象处理领域，该系统可处理多种图象文件格式、各类图象文件之间的转换、图象处理、输出显示及打印功能．     

基于设计结构矩阵的设计过程建模研究

通过分析设计活动之间的关系,建立设计开发活动的矩阵表示(设计结构矩阵),给出了设计结构矩阵的具体实现方法;实现耦合活动集的代数方法识别,在此基础上实现设计开发活动优化重组,包括活动分解和耦合活动集的解耦方法;最后,通过一个实例说明该建模方法的实用性.     

MATLAB仿真软件在直流调速系统教学中的应用

针对电力拖动自动控制系统课程的教学特点,基于双闭环直流调速系统的设计,介绍了MATLAB仿真软件的应用.为了更贴近工程实际,在MATLAB环境下,建立了基于电气元件模块的仿真模型.通过仿真,不仅验证了理论设计方法的有效性,同时也培养了学生理论分析和工程设计的能力,为电力拖动自动控制系统课程的教学提供了一种新的思路和方法.     

火炮总体设计和系统分析的方法

依据系统分析的原理和计算机软件和硬件技术,搭建了火炮系统计算机总体设计和仿真分析的数字体系架构,得到了火炮发射动力学系统分析的一个数字环境,为总体设计提供了一个有效的工具平台.     

基于流引擎的微服务动态交互平台设计

针对传统服务组织高耦合、低透明、变更复杂等问题,提出了以物联大数据为中心的基于流引擎的微服务动态交互平台构造方案。将服务流程拆解为细粒度的微服务模型,以统一的表述方式明确服务的边界,使服务在开发过程中不再依赖于其他服务的接口也可以实现。用流数据通道将微服务连通起来,在生产者侧基于数据时空特征进行服务封装以构建统一的信息表示,在消费者侧进行服务解析并重新划分组织数据,从而在数据驱动下形成对应完整业务流程的服务。该方案实现了可视化的微服务动态交互管理平台,可用于发动机制造的旋压检测工艺流程。与传统的面向服务架构的设计相比,该平台设计耦合度低,能实现灵活的服务变更、拓展和演化,且在服务监控和故障处理等方面也有更好的表现。     

椭圆的三次NURBS表示及生成算法

首先介绍了用三次NURBS表示圆弧和整圆的方法。然后提出了用三次NURBS表示椭圆的方法及其生成算法，并用解析法解出了用三次NURBS表示椭圆的条件。讨论了用三次NURBS表示椭圆和用三次NURBS表示圆之间的区别和联系。指出圆的三次NURBS表示实质上是椭圆的三次NURBS表示的一种特殊情况：当椭圆的长半轴、短半轴相等(a0=b0)时。椭圆的三次NURBS表示转化为圆的三次NURBS表示。这与圆和椭圆的代数方程的关系是一致的。