反编译数据类型恢复技术研究

提出了利用数据流分析的方法来恢复基本数据类型,该技术首先利用数据流分析对变量进行重命名,然后使用变量推导规则推导变量的数据类型,得到的数据类型构成一个类型集合,最后根据得到数据类型集合的3种情况,选取合适的类型作为生成C语言程序中变量的数据类型.     

基于Visual C 和Pro*C/C 技术的油田动态分析系统设计新方法

针对传统的动态分析系统功能固定用户自由度小的问题,提出了一种改进方法。通过实现对辽河油田提出的动态分析系统的设计,采用了配置文件、多线程技术的观念,结合使用安全数组和Variants数据类型,设计出了一套新式的油藏动态分析的数据库数据管理及数据存取、显示方法。增加了用户的自由度,解决了常规动态分析中功能固定的局限性。     

一种基于有限状态机的分布式框架配置属性校验方法

针对动态配置技术提供灵活方便配置方式的同时有潜在配置错误风险、可能导致系统崩溃、降低软件服务质量的问题,提出了一种基于有限状态机的分布式框架动态配置属性校验方法.该方法利用数据类型间的转换进行数据类型校验,运用有限状态机的状态转换逻辑实现多种数据类型之间的转换,并以Spring Cloud的动态配置为例实现了一个分布式...     

NF-6跨音速连续式风洞实验数据的实时采集与显示

连续式风洞实验数据的实时采集与显示对提高实验效率和测控技术的发展具有重要意义.详细阐述了在LabWindows/CVI环境下实现实时气动力系数的显示,并分析了NF-6风洞各系统的拓扑结构、采集数据类型、传输方式、结构原理,以及所采数据在风洞运行控制和模型试验中的作用.NF-6风洞的实际运行表明,所研制的系统运行穗定、可靠性高,满足风洞实验要求.     

传感网通用数据感知获取系统的设计与实现

针对传感网技术中需要感知的数据类型多样,不同应用场景下需要在基本的传感器通信节点上桥接扩展多种感知器件的应用需求,设计一种传感网通用数据感知获取系统。采用接口转换与扩展技术、数据缓存技术、多数据流交互技术和电平转换技术实现系统的易用性和普适性;采用自适应事件检测技术进一步完善系统功能。经过实际应用测试,系统可长期稳定的完成多种数据的感知获取,并在危险情况下及时提供可靠的报警信息。     

C语言程序设计课题分析

C语言中的结构体数据类型具有足够的灵活性，可以通过基本类型来表示各种各样所需要的数据。以栈程序设计课题为例，对C语言程序设计的抽象的数据类型方法进行了具体分析。     

一种利用SOAP扩展在Web服务中传输数据的方法

阐述了WEB服务传输数据的原理和过程,归纳出其优点和缺点,进而探讨了SOAP扩展技术的基本思想和运行方式,提出一种利用SOAP扩展技术传输原本不适合利用WEB服务传输的数据类型的方法,并通过实例实现了这一方法。     

基于模糊描述逻辑F-ALC(G)的模糊OWL扩展

针对OWL在数据类型表示方面存在严重的局限性,即它不能处理在语义Web和本体中广泛存在的不精确以及不确定信息,也不支持自定义数据类型及自定义数据类型谓词的表示,介绍了一种新的模糊描述逻辑F-ALC(G),给出了F-ALC(G)的语法、语义.然后,以F-ALC(G)为逻辑基础,并结合RDF/XML的语法规范,重新编码OWL中的描述算子,用来表示模糊本体知识,形成f-OWL.f-OWL不仅能够表示本体中的模糊知识,而且能够表示本体中含有自定义模糊数据类型及自定义模糊数据类型谓词的模糊数据信息,为模糊本体的研究提供了新的表示方法     

强共归纳数据类型上的Comonadic共递归

针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题,首先证明了笛卡尔封闭范畴上的终结共代数是强终结的,并给出强共归纳数据类型的范畴论定义及其上一种带固定参数的共递归——punfold,使得共归纳数据类型上的共递归计算可以包含额外的参数作为计算的输入;然后利用基于Comonads的Comonadic共递归给出了unfold和punfold的一种统一的描述,并进一步分析了punfold上的各种计算律,从而将Pardo对基于Comonads的带参数的递归计算研究扩展到共归纳数据类型.     

C语言程序设计教学中利用指针进行链表操作

指针是C语言中非常重要的一种数据类型,灵活掌握指针的用法是C语言使用能力的一个标志。链表是数据结构中比较重要的一种数据类型,而利用指针处理链表更是C语言程序设计教学中的一个难点。笔者通过一个实例介绍C程序设计中链表的处理方法,该法对于学生更好地掌握指针技术具有一定的帮助作用。