摘要：简述了在一个需求多变的环境下建立一个相对独立的自定义报表工具的必要性及其必须具备的基本功能。在综合分析了当前各类常用报表工具的优缺点之后对它们进行了分类,并选择其一恰当者作为我们开发自定义报表工具的基础。然后详细阐述了一个具体的报表工具的设计方法,数据模型,用户接口及执行流程。最后,阐述了该报表工具在几个不同类型的应用程序中的使用效果,并指出了它的局限性和有效性。

摘要：将具有状态描述能力的Z语言和具有实序并发描述能力的其它形式化方法如TimedCCS,TimedCSP相结合大大拓展了其在实时并发系统的中的应用能力,不但可以用于需求描述,也可应用于系统设计。在统一语义的背景下使用多种集成方法,其根本目的是适合应用领域的不同特点,本文以RT-Z为基础提出的基本扩展框架对类似集成工作具有普遍意义,最后结合RT-Z的语义集成的分析提出了并发实时系统开发中的一种基本应用模式。

摘要：为解决具有多个需求节点和多个服务中心的服务网络,如何在预算约束条件下设计与优化服务网络的服务中心配置,使得服务网络运营的总效率最高的决策问题,本文对多个服务中心的服务网络优化问题进行了提炼和描述,并构建了服务网络设计的优化模型,同时证明了该服务网络优化问题是一个NP-完全问题;进一步,针对优化模型的特点,设计了求解模型的混合拆分遗传算法,进行了大规模仿真实验并与传统的多目标遗传算法进行了比较,结果表明本文给出的算法具有较好的求解效率和效果;最后,通过例子说明了本文提出方法的潜在应用价值.

摘要：讨论了在各类管理信息系统的开发过程中,由系统最终用户根据自身的具体需求自行定义系统中某些项目的计算公式的重要性和必要性。在介绍了目前常见的几种自定义计算项目和自定义计算公式的方法并分析其利弊之后,对其中一类典型的方法进行了深入分析。详细地说明了系统的结构模型,计算项目的属性定义,自定义计算公式的解析方法及计算过程。最后,以一个具体的应用实例对其使用方法和设计技巧作了说明。

摘要：针对非线性光照变化、杂乱或遮挡等环境下目标定位精度低的问题,提出一种基于高斯混合模型和点到面距离的点云配准算法,以实现目标的精确定位.首先设模板点云元素服从高斯混合分布,根据点到面距离大小分配高斯混合模型中各组成部分的概率值,构建负对数似然函数;然后应用EM算法对点云优化,并推导了最大化步阶段Q函数的封闭解,提高算法实时性.以合成数据和实际的法兰零件点云为对象进行实验,结果表明,该算法配准精度和鲁棒性明显优于传统配准算法,能够满足复杂工况下目标精确定位要求.

摘要：当前的很多最坏执行时间分析工具都是针对特定的编程语言或特定的编译器的,因而缺乏平台间的迁移性,从而不能被广泛使用。介绍了一种基于Java字节码的可平台迁移的最坏执行时间分析方法。该分析方法包括两方面:一是对字节码(java bytecode)的高层分析,提取出程序数据流和控制流信息;二是对Java虚拟机的底层分析,获得虚拟机的时间模型。最后这两种分析结合得到程序的最坏执行时间。同时还探讨了将来的研究方向。

摘要：面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通过联结方式织入系统功能代码中的软件开发方法,该方法降低了软件开发的复杂性,提高了系统的灵活性和可维护性。形式化和实时语言为面向方面方法贯穿于实时软件开发提供了必要的支持,以形式化方法AO-RT-Z和实时语言PEARL为基础,给出了一种面向方面的实时软件开发框架,实现了软件生命周期各个阶段对面向方面的无缝支持,降低了实时软件开发的复杂性,提升了系统的可信度。

摘要：可拓学研究的核心是如何通过变换处理矛盾问题.介绍了近年在计算机、设计、管理、控制、检测和中医药等领域利用可拓论和可拓方法的应用研究情况,提出今后可拓学普及与推广的方向.

摘要：动态实时系统在设计时无法确定系统的最大负载,在运行时系统要处理的数据量和事件到达率有巨大改变,在这种情况下保证系统的实时性和耐久性很困难。本文介绍了一个系统描述语言来描述这样的系统;从系统描述中产生系统静态模型,然后动态检测系统状态形成动态模型;资源管理中间件根据系统状态管理分配资源保证系统的实时性和耐久性,资源管理技术使用了动态路径典范;并介绍了一个动态实时系统的体系结构。

摘要：采用透光脉动原理研制了光学传感器,并采用虚拟仪器的研发理念设计了一种适合评价填料絮凝的分析系统。利用此系统对纸机湿部助留系统中填料的絮凝进行了考察,并采用Malvern MS2000对絮凝分析系统的输出信号R值与被测絮团实际粒径之间的相关性进行了研究。结果表明,该系统的絮凝指数(R值)与被测絮团粒径具有很好的线性相关性,线性拟合方程:y=19.0x-16.8(相关系数R2为0.9711)。