基于程序切片的软件交互行为可信性分析模型

为研究面向交互行为的软件行为可信性分析和动态度量问题,从软件与外界数据交换时所产生的信息流动过程中,确定并提取依赖于输入数据的语句和变量的集合,作为软件交互行为的预期模型.在软件实际运行过程中,通过动态获取软件的实际行为,与分析软件源代码得到的软件预期行为作比较,形成可信性的动态度量结果.采用程序切片技术,将软件交互过程及交互中被赋值变量及后续赋值行为作为切片分析的结果.在此基础上,继续从源代码的抽象语法树和编译后的可执行程序中提取赋值行为本身和被赋值的变量的详细信息,然后将这些信息与切片分析结果相结合,形成以交互行为为关注点的软件行为描述模型.对模型进行了测试,结果表明:该模型能识别出软件运行中的非预期行为.     

基于插件模式的私有云存储系统的存储池设计

为满足私有云存储系统中采用不同底层存储介质的需求,提出了一种基于插件模式的私有云存储系统的存储池设计.在数据存储层与数据管理层之间建立统一存储层,包含各类插件并基于适配插件提供的动态性能参数,由统一存储层管理器制定存储策略和IO策略,以平衡存储节点流量,提高存储池的整体性能.实验结果表明,该设计可以提高企业存储资源利用率,提升异构存储横向扩展能力,有效降低私有云存储服务的整体运营成本.     

智能CAD系统CFPES中的接口技术

接口是开发智能CAD系统中的关键技术。作者以Prolog语言为开发环境开发了复合材料纤维缠绕线型智能CAD系统CFPES,成功地解决了有关的接口问题。在此基础上,本文对CFPES系统中涉及的Prolog语言与FORTRAN、BASIC批处理命令,汇编语言之间的程序接口,各模块之间的数据接口以及Prolog与操作系统、编辑软件、图形软件之间的交互接口进行归纳分析。     

ATM用户终端设备信令系统协议分析及软件

从实现的角度分析了ＡＴＭ终端设备信令系统信令消息层和信令适配层的主要内容，提出了用软件实现它们的具体方法．该方法具有可用任何单进程操作系统实现多层协议，只需一个定时中断和基本的通信中断，多层协议实体共享缓冲池，各层协议实体间通过指针交换数据，不进行任何数据拷贝的特点     

基于ZigBee的PLC无线数据采集系统设计

为解决某些特定工业区域数据采集的问题,提出了基于ZigBee协议,通过星型网络实现主从节点之间数据采集和传输的方案。本设计以射频芯片CC2430为核心设计了基于ZigBee无线传输协议的PLC数据采集系统,实现了包括区域内的温度数据检测、基于ZigBee的无线的数据传输、RS232协议与RS422和RS485协议之间的转换、PLC与CC2430和PC机之间数据交互以及通过上位组态软件MCGS对温度数据监控等诸多功能。经实验调试,该采集系统达到了设计的要求,效果良好,对实现ZigBee技术在工业领域的应用具有实际意义。     

基于梯度提升决策树的汇合交互作用研究

为了研究高速公路目标车道领跟车在交织区与汇合车辆的交互作用,基于梯度提升决策树(GBDT)建立交织区汇合交互作用模型. 引入目标车道领跟车与前车、后车和汇合车辆的速度差、时间间隙、冲突评价指标及横向位置,分析汇合车辆与领跟车之间的交互行为. 利用美国NGSIM数据集中目标车道领跟车与汇合车辆的轨迹数据对模型进行训练和测试,比较不同损失函数对模型的拟合效果,对汇合加速度进行偏效应分析. 研究结果表明,基于平方损失函数(LS)的GBDT模型精度高于基于最小绝对偏差(LAD)和胡贝尔 (Huber-M) 损失函数的模型. 在汇合行为的各研究对象中,汇合车辆的预测精度高于领跟车,汇合车辆的横向位置在汇合交互作用中的影响程度最高. GBDT模型用于汇合交互行为不仅可以准确预测目标车道领跟车与汇合车辆之间的交互作用,也能够获取影响变量与加速度之间隐藏的非线性关系.     

基于Struts框架的智能小区物业管理系统的设计

设计一个基于Web的智能小区物业管理系统,采用J2EE平台及Struts架构的分布式多层结构体系。该系统的所有功能都通过服务器和用户浏览器之间交互完成,与系统相关的数据由数据库服务器来维护和组织。整个系统具有良好的可移植性、扩展性和安全性,能方便地与其他子系统进行信息交互。     

基于CEEMDAN-GRA-PCC-ATCN的短期风电功率预测

为提高风电功率的预测精度, 提出基于数据分解和输入变量选择的短期风电功率预测方法。利用自适应噪声完备集成经验模态分解(complete ensemble empirical mode decomposition with adaptive noise, CEEMDAN)对原始风电功率和风速数据进行分解, 平缓数据波动以提取内部隐藏信息。通过排列熵算法(permutation entropy, PE)将风电功率分量简化重构以降低模型复杂度。为提升输入变量与风电功率之间的关联程度, 剔除冗杂信息, 降低输入数据维度, 结合Pearson相关系数(Pearson correlation coefficient, PCC)和灰色关联分析(grey relation analysis, GRA)对各风电重构功率分量的输入变量进行选择。最后利用基于注意力的时序卷积网络(attention-based temporal convolutional network, ATCN)对各重构功率分量进行预测, 将各预测值叠加得到最终结果。试验结果表明, 基于CEEMDAN-GRA-PCC-ATCN的短期风电功率预测方法能够提取更多风电数据内部的关键信息, 降低输入数据的维度, 强化输入变量与风电功率之间的关联性, 有效提高预测精度。     

基于B/S模式的Sensor Web查询系统

设计并实现了基于B/S模式的传感器网络远程查询系统.通过把该查询系统划分为用户界面层、事物逻辑层和数据库层,层与层之间以组件完成信息的交互.用Java的Servlet方式和Applet分别进行服务器端和客户端的开发,并在实际的网络平台中实现测试相关系统功能.结果表明采用了基于Java平台的3层B/S模式,具有良好的可扩展性和较好的安全性.服务器和用户端分布式的处理数据方法可使系统具备良好的容错能力和负载平衡能力.     

基于信息—物理模型的多能源路由器多目标优化

针对能源路由器的多时间尺度问题,考虑能源路由器在优化时信息物理交互的影响,建立了基于信息物理系统的能源路由器模型并设计了计及多时间尺度能源的多能源路由器优化调度方法.首先考虑能源路由器信息和物理因素的关系建立其物理信息模型,该模型能够准确反映各约束变量之间的关系,为后续优化决策提供依据.然后基于奇异系统理论,提出了一种...     

数据库连接池在考试系统中的应用

基于JAVA的B/S结构考试系统具有良好的跨平台特性，可移植性好，具有可扩展性、安全性和可重用性高，具有便于维护和升级等优点.由于考试系统通常并发用户数量较大，因此对数据库效率、安全等性能要求很高.为了解决基于JAVA的B/S结构考试系统中所存在的JAVA访问数据库效率和安全性的问题，提出在考试系统中采用数据库连接池的技术方案，开发了相应的软件，实现了该技术方案，并通过对采用与不采用数据库连接池技术的性能进行对比分析，证明采用数据库连接池技术可以大大提高JAVA应用程序访问数据库的性能.     

基于GSM/GPRS的负荷控制管理系统的研制

为了满足配网自动化和电力需求侧管理的要求,提出了一种负荷控制管理系统的设计方案,该方案通过GSM短信方式直接实现采集器与主站之间的双向数据传输,节约了投资,缩短了开发周期;介绍了该系统的组成、主要功能和数据库访问的主要接口标准,这些标准常用在虚拟仪器等系统开发中;给出了基于ODBC的负荷控制管理系统与电力M IS系统之间的数据共享方法,负荷控制管理系统主站使用电力M IS系统的内网IP地址,通过防火墙与电力M IS系统交换数据,由电力M IS系统进行WEB信息发布,该方法简便灵活、安全性高.两年多的实际应用情况说明了负荷控制管理系统方案的先进性和实用性.     

异构CAD协同系统中数据交换的研究

产品的数据交换是异构CAD实现协同设计的关键技术。为此,本文提出了一种以宏语义命令（MSC）结合细胞元表示的语义特征造型技术为基础的方法,来实现异构CAD间数据的共享。在该方法中每个CAD系统中与MCGs相对应的建模操作通过由XML格式表示的MsC交换来传递包括设计意图的参数信息,同时模型间特征的约束关系用特征依赖图（FDG）来存储。该文提到的思想应用在了理工大学自主开发的HUSTCAIDS与UG间的异构协同设计中,证明了以上理论的可行性。     

基于现场总线技术的CIMS系统

在分析现场总线技术特点的基础上，结合实际的工程应用．介绍了一种集于Lonworks现场总线网构建CIMS系统的解决方案．本方案利用现场总线将企业现场的一次仪表联接成网，通过组态软件实现对生产现场控制网络上的实时数据监控和信息处理，并具有报表自动生成和向ERP系统提供企业能耗数据等功能，为企业信息化的实现创造了条件．针对工程实施中的一些常见典型问题进行了总结，并提出了改进的措施．     

基于XML的GPS数据文件的建立探讨

GPS（Global Positioning System）接收机采集的数据文件是二进制的,或者经过相应软件转换为Rinex格式文件,虽然Rinex文件是文本文件,可以供软件开发人员读取并进行相应的处理或存储到数据库中,但是其可读性差,不具备扩展性,异构数据源间无法进行数据共享与交换,不利于数据在网络上传播。针对上述问题,本文提出了一种基于XML（eXtensible Markup Language）标记语言描述GPS数据文件的方法,介绍了XML标记语言三种文档的结构,并以GPS卫星观测数据文件为例子,详细阐述了基于XML的GPS数据文件的模式文档、数据文档及样式文档的建立过程。     

利用通用数据交换模型实现多体系结构系统互操作的方法

为解决分布式体系结构互联时存在的互操作问题,提出利用通用数据交互模型描述异构系统间的交互信息,给出了通用数据交换模型元模型的构建方法.将异构系统间交换的信息分为状态(对象类)、事件(交互,由状态改变引起)、控制信息3类,预定义常用的通用消息模型和体系结构相关的消息模型,并设计了通用数据交换模型的创建方法,提升了扩展能力.基于该方法可实现集中式和分布式通用网关,利用回调机制、对象反射和主动发送等"推""拉"通信模式可实现信息的异步传递.通过HLA、TENA与某指控平台的互联验证了方法的有效性.     

基于WebService的数据共享设计

随着计算机技术的不断发展,基于网络教学的软件也越来越多。然而每个软件都是一个独立的个体,无法与其他系统进行数据共享。如何把各种软件系统中有关联的信息融合到一起？本文提出一种基于Java的WebService数据共享的解决方案。该设计方案能解决在不同系统中实现数据共享的问题,而且还具有一定的通用性。     

基于One Wire Bus的CRC校验软件实现

利用OneWireBus串行传输iButton器件数据，CRC校验是必不可少的。有二种CRC校验实现方案：硬件实现和软件实现方案。软件方案中，又有几种不同的方法，软件实现节省了专门的硬件校验电路。DOWCRC用查表法速度更快，CRC16用公式法更优越，既节省存储空间又提高校验速度。     

翠华山甘湫池景观地质遗迹成因

甘湫池是翠华山国家地质公园的一个新景点。实地调查发现,整个景区是一座罕见的基岩古滑坡,具 有滑坡地貌可观察的景观形态特征。从空间分布和层序关系来看,上覆的崩塌乱石是后期堆积在古滑坡体上, 甘湫池应是古滑坡形成的拉伸洼地,并非是由崩塌形成的堰塞湖,同时在景观形态上也与水湫池明显不同,这对 于科学认识和开展地质遗迹旅游具有重要的意义。     

采集再工程项目管理数据的“黑匣”解决方案

针对数据采集难以保证数据的真实性和实时性问题,从今后软件工程主流趋势的软件再工程入手,提出了嵌入再工程开发支援系统的“黑匣”解决方案,通过记录程序内部变化,自动采集再工程项目管理数据.并介绍了一个应用实例,该实例已获得国家软件著作权,并在多个再工程项目中得到验证,取得了良好效果.