基于可拓学的自适应软件形式化方法

可拓学的核心是建立灵活变通地应对不确定变化和灵感涌现的适应性模型。讨论引入可拓理论去描述、分析和评价软件系统的自适应性质、范围和程度的可能性。用基元描述软件实体,将软件系统构造成基元网,利用拓展分析、可拓变换和优度评价等定性与定量相结合的方法揭示了自适应软件系统的动态性质,并形成了一种自适应软件形式化方法。

可拓策略生成软件架构及其应用研究

可拓学用形式化方法推演人类的创新思维,用计算机来辅助解决矛盾问题.因此构建模拟灵活变通的智能思维、激发创新的新型软件模型和创新软件系统就成了推动万众创新开展的关键问题.本文提出一种新型的可拓策略生成软件架构,开发Android移动可拓策略生成软件.实例表明,该软件架构和移动创新软件能够帮助人们进行有效的创新活动.

μC/OSⅡ事件标志组中存在的问题及解决方法

针对μC/OSⅡ中当多个任务同时满足一个事件标志组时,μC/OSⅡ提供的2种解决冲突方法都存在问题,该文提出分类比较的方法,根据事件标志组的等待类型分类,通过比较事件标志组的过滤器来决定多个任务是否使用同一个事件标志组,从根本上避免了多个任务同时满足一个事件标志组的情况出现,结果证明该方法解决了μC/OSⅡ中多个任务同时满足一个事件标志组时出现的冲突问题。

一种基于面阵CCD的单波长辐射测温方法

介绍了一种基于面阵CCD的单波长辐射测量三维温度场的方法.通过引入一种新型的多路面阵CCD数据实时采集系统采集待测温度场多个方向投影数据,利用计算机层析技术重建温度场内部空间物理量的分布,然后根据维恩近似公式获得空间温度场的分布.对多路CCD数据实时采集系统的内部构造以及工作原理进行了较为详细的阐述.并对蜡烛的火焰温度场进行了测量,最后用热电偶验证此方法的正确性.利用此系统可以做到数据实时采集,为三维流场的实时测量奠定了良好的基础.

基于光学层析技术的图像重建

对于光学层析技术(OCT)的原理以及光学层析技术的2类传统算法进行了详尽的分析和阐述,对其各自的优缺点做了比较,并对目前在传统算法基础上发展起来的各种新算法做了简单的介绍.

企业智能构件模型研究

将企业主题数据Agent构件化为企业实体构件,将企业业务流程Agent构件化为智能连接件;以P2P节点为单位,分离、部署企业实体组件和智能连接件,用移动Agent实现它们之间的交互,形成边界清晰、功能独立、耦合松散、粒度较大、可重用可定制的、全新的企业智能构件模型。

基于J2EE的多媒体远程教学系统的设计与实现

结合多媒体远程教学模式,设计并实现了一个基于J2EE标准,以WebLogic Server为应用服务器的B/S三层模式的多媒体远程教学系统,并进一步阐述了EJB、Servlet引擎、JSP的实现以及WebLogic文件的配置等几个关键技术问题。