基于分布式计算环境可靠性关键技术应用研究

通过对提高分布式多层应用系统可靠性方法的分析,进而提出了数据库连接池、对象池、公文包机制容错模型和基于负反馈机制的动态负载平衡模型等几种可靠性关键技术,并结合DCOM/COM 中间件技术和具体实例说明了这些技术的应用。通过文中的研究为高可靠应用系统的设计与开发提供了一种行之有效的方法。     

一种面向Web服务的分层安全模型

随着Web服务技术的应用与发展,Web安全问题日益突出.简要分析了Web Sevrice对通信安全的需求,指出了传统安全通信机制应用于Web Service的局限.针对Web服务应用模式,提出了一种基于XML安全技术的分层安全模型,研究了该模型的通信机制和实现方法,并对SOAP消息的安全通信进行了探讨.该模型具有灵活性和可扩展性,满足了Web服务的安全需求.     

一种实时Web GIS优化模型的研究

通过引入异步调用机制和缓存技术,提出了一种实时Web GIS优化模型,解决当前Web GIS中用户体验与空间分析能力之间的矛盾.文中详细描述了该优化模型的组成结构和工作原理,对异步调用机制和缓存技术的应用进行了讨论,并给出了性能测试和分析,验证了该实时Web CIS模型的可行性.     

支持多种并行计算模型的面向对象框架研究

为了支持并行程序设计,几乎所有的程序设计语言均通过提供并行与同步通信机制来支持某一高级并行计算模型,如Ada语言的任务与会合机制以及Java语言的线程和同步方法.显然,这样的程序设计语言仅能支持一种高级并行计算模型.尽管单模型的途径对某些应用来说简单而有效,但由于现实世界中的问题往往较为繁杂而难以完全用单一模型来解决.文章采用面向对象的语言机制和框架技术来解决此问题.通过分析现有各种语言中高级并行计算模型的共性,提出了若干新的面向对象语言机制.以此为基础,提出了并行面向对象框架的概念,并讨论用其表达和使用     

一种动态适应性连接器设计实现关键问题研究

连接器对软件的适应性具有重要影响.为正在研发的适应性软件开发平台-smartFramework提出一种动态适应性连接器模型.针对该模型设计实现存在的一系列关键问题,基于实例化方法和反射技术,并融合所提出的动态设定通信缓冲区方法和使用主题描述与匹配数据方法,给出支持不同构件间连接机制、构件间动态连接机制、传输和匹配异类数据机制,形成完整的解决方案,设计实现了该模型.应用该模型进行的示例开发实验进一步证实了解决方案可行有效,为适应性软件支撑工具开发提供了支持.     

软件安全建模与检测

为有效表示和检测软件中存在的安全缺陷和隐患,提出了一种软件安全建模与检测技术--层次融合安全建模与检测技术.该技术采用多点建模技术,通过结合抽象建模、应用建模和数据建模等机制来实现对安全特征的描述.此外该技术利用表示层、应用层等不同抽象层次的建模信息,通过自动机与模型合成技术来构建安全特征模型.最后结合基于应用切片技术对软件中的安全缺陷与隐患进行检测.该技术克服了常规安全建模与检测中存在的缺点,可以有效表示和检测各种安全特征,提高了安全模型的表达力、复用性和适用性,降低了安全检测的复杂度.     

基于JNI机制与云平台的细粒度Android应用加固方法

Android应用加固是信息安全领域研究的热点之一.针对现有加壳技术以及so文件整体加固方案的不足,融合JNI机制、动态加载技术及云平台理念,提出一种面向Android应用的加固模型,给出了基于JNI机制的函数代码加固方案和基于云平台的加壳解壳方案,形成了一种基于JNI机制与云平台的细粒度Android应用加固方法,从而实现了so文件的细粒度加固,解决了源apk文件易被获取以及解壳程序易被篡改的问题.开发了加固系统原型,验证了基于JNI机制与云平台的细粒度Android应用加固方法的有效性,且加固应用的Dalvik虚拟机工作负担、内存占用量及启动时间并未显著增加.     

一种基于有限状态机的模型转换方法

为实现模型的自动转换,通过定义一个清晰的基于规则的模型转换框架,提出了一种基于有限状态机的模型转换方法,用有限状态机技术解决转换规则的实现问题,并定义了适合规则实现机制的形式表示法,然后结合UML模型到SQL模型转换的典型场景,通过一个模型转换示例说明模型转换方法的具体应用,结果表明了该方法的可行性和有效性。该方法适用于状态明显的模型之间的转换,促进了模型自动转换的应用和发展。     

面向网构软件的环境显式化技术

网构化软件处于开放、动态、难控的环境之中,需能感知并适应环境的变化,以持续提供用户满意的服务.传统软件构造技术缺乏对环境感知和适应的系统支持.本文在前期工作基础上,提出一种面向网构软件的软件结构,通过为软件系统配备先验的环境模型和环境规约来实现环境处理的显式化.进而,介绍了我们使用这种方式来处理开放环境之分布异步性、感知信息的不一致性以及环境中人类用户行为特性等的若干具体技术进展.而后,讨论了一种先验环境模型及环境规约的开发方法原理,给出了相应的环境驱动逻辑的静态表达与运行实现机制.该方法和机制可较好地支持环境处理与应用业务逻辑间的关注分离.     

开放式环境下基于多Agent角色协作的虚拟植物建模方法

在计算机中模拟植物生长发育情况在农学、林学、遥感和生态学上都有很广泛的应用.静态环境下的模拟工作已做得很好,但在动态环境下模拟工作由于难度较大而成果较少.基于多智能体角色协作机制,提出一种在开放式环境下虚拟植物的建模方法.模型考虑了角色分配、角色回收、基于L_系统的树形模型算法、各种随机因素影响、剪枝算法和光照影响算法.对于Agent技术在虚拟植物建模上的研究提出了一些应用方法和技术路线.     

Effective solution of certain problems of theory of schedulings of nets

Cybernetics and Systems Analysis -     

机车空调逆变电源设计

本文讨论的是机车空调逆变电源系统的设计与研究。该电源系统主要是由DC/DC的BOOST升压部分和DC/AC三相逆变部分两部分组成。DC/DC部分所得直流电压通过DC/AC部分逆变成三相交流电,供给空调机组工作。同时,为使电源系统能更可靠的运行,也设计了相应的故障检测、保护等辅助电路。     

制造型企业仓储物流管理的RFID应用——卷烟厂按垛出库及到货扫描系统初探

针对国家烟草管理的现状,有关主管部门在全国推行“行业卷烟生产经营决策管理系统工程”,利用条码等自动识别技术手段实时掌握全国的生产经营信息。但某卷烟厂此前的物流环节已经是“件烟成垛”运输,如何在尽可能保持原有企业管理体系的前提下,达到有关部门的数据统计要求,解决成垛卷烟的物流和信息流的交互与统一问题成为技改的核心。该项目成功的将条码识别与射频识别有机结合起来,为烟草行业信息化提供了生动的应用案例。     

煤矿多功能物联网读写器的设计

介绍了物联网的概念和结构组成,分析了物联网在煤矿中的具体应用,详细介绍了一种具有煤矿特色的多功能物联网读写器的设计与实现。该读写器应用在物联网的感知层,能够进行物体识别和各类物理信号与环境参数的传送,为煤矿应用物联网提供了一个很好的感知层解决方案。     

机械臂绝对定位精度测量

提出了用激光跟踪仪标定机械臂的D-H参数、测量机械臂绝对位姿以及对机械臂的绝对定位精度进行分析的方法;用激光跟踪仪测量机械臂各个关节单独运动时得到的一系列离散点,就可确定机械臂各个关节的轴线,由此建立机械臂的D-H坐标系,并对D-H参数进行标定;然后,给出了由6D激光头位姿确定机械臂末端位姿的方法;最后,推出了由测量位姿值与命令位姿值相比较,得到机械臂绝对定位的位置和姿态偏差的方法;这些方法可以有效、迅速地完成对机械臂绝对定位精度的测量.     

变电站一次设备喷涂PRTV用量的分析

对国网宁夏电力检修公司宁安运维站近2年来一次设备喷涂PRTV用量的统计数据进行分析整理,得出各类一次设备按照标准要求喷涂PRTV时的用量估算值,并针对现存作业中存在的问题,提出相应解决方案。