开放式线切割数控系统关键技术研究

线切割数控系统采用开放体系结构能显著提升其性能，比较分析了开放式线切割数控系统的体系结构模式和系统平台，并结合实际研究工作对开放式线切割数控系统开发过程中的多线程编程、加工轨迹三维图形构建、实时控制等关键技术进行了深入的研究。     

一种混合授权的RBAC模型及其UML建模

针对核心RBAC模型在实际应用中存在的不足,提出一种对角色和用户混合授权的RBAC改进模型.在模型中加入直接用户权限指派方便了临时授权,在角色和用户权限中分别设置优先级约束和继承约束避免了权限冲突,给出了模型的形式化描述与认证算法.针对RBAC模型抽象化、形式化及开发者难以理解的问题,基于UML对RBAC改进模型进行了静态和动态建模,缩短了理论安全模型和实际应用开发间的差距.     

UML建模与动态模拟:案例研究

为检查模型之间的一致性和模型的完备性, 本文根据ＵＭＬ１．１ 规范,通过在可视化建模工具Ｒｏｓｅ９８上开发的一个铁路模型的实例详细描述了对于软件系统如何从多个视点建立一个规范、实用的模型;并提出了一种基于ＵＭＬ模型的动态模拟方法,给出了动态模拟工具设计方案, 这种方法充分结合了当前的用户界面、动画技术和ＵＭＬ语言的半形式化语义特点．     

数控系统族的可复用参考体系结构建模

构建数控系统族的参考体系结构模型是从系统族的角度出发建立整个领域内应用系统可以共用的系统设计方案,为应用系统开发时对系统设计的复用提供必备基础和规约,并根据应用系统的具体要求实现对参考体系结构的参数化及定制。     

基于OWL元模型的本体建模研究

采用UML(Unified Modeling Language)的Profile扩展技术作为消除OWL(Web Ontology Language)复杂符号体系与本体建模易操作性需求之间的矛盾的关键技术，制定了UML建模元素与OWL Lite语法元素之间的映射关系,建立了OWL Lite的UML Profile元模型，并且通过一个具体的示例说明使用OWL的UML Profile能够直观、清晰地进行OWL本体建模，促进OWL本体建立的易操作性．     

基于FODA方法的数控系统领域分析

从领域系统族的角度开发数控系统,有助于克服在数控应用工程中存在的大量重复开发、开发效率低下等问题。数控领域分析是实施领域工程的关键基础,决定了设计和开发的质量。通过领域分析建立了数控系统族的共用领域需求模型,对于应用系统开发时实现可复用模型的定制具有重要作用。     

基于UML2.0的软件安全测试方法

提出了一种从UML2.0序列图产生软件安全测试用例的方法,该方法以基于模型的测试技术为基础,将序列图转换为事件迁移图,从而产生测试用例集,提高了软件安全性测试的自动化水平.该方法可应用于软件设计与开发过程的早期阶段.所添加的UML2.0序列图的新特征,可将传统的软件测试方法应用于软件安全性测试.     

一种以8098单片机为CPU的线切割机床控制系统

通过与ＭＣＳ－５１相比，简述了８０９８单片机的优点，给出了一种８０９８为ＣＰＵ的线切割机床控制系统硬件电路，详细讨论了软件设计的具体编程，提供了主程序流程图。     

廉价的微处理器刀具磨床数控系统

介绍了廉价的微处理器刀具磨床数控系统,及其产生平面轮廓的插补算法,以及相关硬件。     

UML时序图向PNML转换的研究与实现

对已有行为模型向Petri网的转换机制进行对比分析,提出改进的UML2时序图到Petri网的转换规则,实现了时序图向Petri网标记语言转换的工具.实验结果表明,本文提出的工具能有效地将时序图转化为Petri网模型并生成相应PNML文件,进而更好地对UML模型进行分析和验证.     

基于人类视觉系统的交通标志优化分割方法

交通标志的有效分割是交通标志识别系统中的关键问题.针对禁令标志颜色特征,结合人类视觉系统的颜色感知特点,首先以颜色分量R（红）、G（绿）、B（蓝）作为输入特征量构造颜色特征粗分类器,再通过计算粗分类结果的特征量与红色特征类标准样本中心的矢量余弦,得到颜色相似度特征灰度图,用改进的Otsu方法实现标志的最终分割,最后给出了通过训练粗分类器优化分割结果的方法.实验结果表明,本文的分割方法可在不同气候条件下,有效地提高交通标志分割效率,具有较好的鲁棒性.     

基于混沌时间序列的非线性动态系统神经网络建模与预测

在分析神经网络非线性建模原理的基础上，以典型的非线性差分方程为研究对象，提出了一类基于神经网络的非线性动态系统建模方法．针对传统BP算法的局限性，提出了一种非线性动态系统神经网络改善梯度估计精度的新算法．并以上证综合指数时间序列为研究对象，运用本文提出的建模方法和算法，进行了我国资本市场混沌时间序列预测研究的实例分析，得到的单步预测上证综合指数误差很小(-100～100)；多步预测在最初的10步之内预测效果较为理想，而在此之后的预测值则严重偏离真实值．这与混沌时间序列特性相吻合，同时也证明了所用算法的有效性．     

前馈神经网络在水厂混凝投药中的应用

为了解决自来水生产过程中混凝投药量难以控制的问题,提出了一种将神经网络前馈控制与反馈控制相结合的控制策略。神经网络前馈控制器采用三层结构的BP神经网络模型,输入层神经元分别是原水的流量、浊度、温度、pH值及浊度的设定值,输出层神经元为混凝投药量。反馈控制采用传统     

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

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

基于SVG网络图形编辑系统的建模与实现

系统分析了SVG对图形对象的支持，从图形数据网络传输和图形交互界面2个角度考虑，提出1种基于SVG网络图形编辑系统模型．该模型采用代理服务器机制，并分别用Servlet与Applet实现服务器与客户，解决了SVG图形数据的网络传输与图形编辑交互的问题，还进一步介绍了基于SVG建立图形对象模型的方法及其相关的实施方法．     

基于网格技术的企业网格系统模型的研究

传统的企业内部信息系统已经不能满足用户不断增长的需求.利用支持网格思想的W ebServ ice、O racle数据库10g技术将企业内部C/S模式的信息系统集成为B/S模式,提供便捷、高效的企业网上办公成为当务之急.本文设计一个基于W ebServ ice的企业内部的系统模型(EG SM),并对其框架结构、网络部署机制以及其核心技术进行了详细描述.     

基于CAS理论的指挥自动化系统

分析了指挥自动化系统的复杂性，提出了应用自适应复杂系统理论的基于智能主体的自适应指挥自动化系统的体系结构，并对多主体系统的组织结构进行了分析和设计。     

基于ACARS的飞机实时监控系统研究

为实现对飞机运行状况的实时监控,提出利用ACARS空地数据链下载的实时维护数据,结合飞机维修技术文档以及历史维护经验来建立飞机实时监控系统,以期快速准确地诊断故障．该系统有利于地面维护人员实时掌握飞机及发动机的运行状态信息,尽早地发现飞机故障,在飞机落地前准备故障解决方案,提高维修水平和排故效率．