基于模型检验技术的源程序分析研究

提出并实现了一种基于模型检验的源程序分析方法,该方法的主要步骤是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述源程序待验证的性质,通过使用NuSMV模型检验工具实施对源程序分析,实验验证表明,该方法能够给实现对源程序分析的目标.     

JAVA线程机制在FTP客户端程序中的应用

为使程序具有更好的交互性,通常采用多线程机制。Java程序设计语言将线程支持与语言运行环境结合在一起,使多线程应用程序的开发变得更加容易。本文重点讲述了Java的线程机制在FTP客户端程序中的应用。     

基于Linux多线程管理的分析与实现

出了一种有效防止线程并发混乱以及进程异常结束的软件设计方法,综合利用POSIX Threads库的系统功能,调整线程的默认配置、合理地规划线程结构,并正确回收子线程。实际测试结果表明,该线程管理策略是正确设计多线程结构的一种方法,具有较高的应用价值。     

JAVA线程机制在FTP客户端程序中的应用

为使程序具有更好的交互性，通常采用多线程机制。Java程序设计语言将线程支持与语言运行环境结合在一起，使多线程应用程序的开发变得更加容易。本重点讲述了Java的线程机制在FTP客户端程序中的应用。     

跨语言用户态文件系统框架读写性能优化

以深度学习为代表的数据分析应用越来越多依赖分布式文件系统存储管理大规模数据集.为了增强数据访问的兼容性，现有分布式文件存储系统通常需提供标准POSIX接口，以支持深度学习等应用的无缝对接.然而，以内核模块形态开发提供POSIX接口的文件系统非常复杂耗时.近年来，用户态文件系统（Filesystem in Userspace,FUSE）框架大幅简化了文件系统的开发工作，已被Alluxio和Ceph等诸多知名分布式文件系统使用.目前常用的用户态FUSE库libfuse仅提供C语言编程接口，但现有大数据分布式文件系统基本都是基于Java语言开发的（例如HDFS和Alluxio等），为了使基于Java语言开发的分布式文件系统可以对接C语言开发的FUSE库，需采用跨语言FUSE框架作为中介.跨语言FUSE框架利用跨编程语言的函数回调机制，使操作系统FUSE库的C语言函数可以跨语言的调用分布式文件系统提供的Java语言编程接口，从而为大数据分布式文件系统提供标准POSIX接口的访问能力.但在数据密集型应用中，现有跨语言FUSE框架的执行效率低，导致数据密集型作业（深度学习、大数据分析等）中数据I/...     

Java——多线程编程技术

本文首先介绍了线程的有关概念,接着介绍了线程的生命期及其状态间的转换,线程的优先级与调度策略,从而论述了多线程的安全性以及如何避免线程的死锁,同时本文还论述了多线程的优缺点与如何合理使用。     

Java多线程技术在网络通信系统中的应用

本文系统介绍了Java多线程技术的关键环节,并且阐述了创建线程、调用线程以及线程同步和线程通信等,详细说明了SOCKET套接字的概念和基本原理,并且通过并发服务器多用户网络的通信程序,诠释了开发客户机-服务器的多线程模式的通信程序的方法。     

C++Builder下的多线程编程

介绍了使用C++Builder实现多线程编程的方法,包括了线程的定义、执行和同步。着重介绍了多线程之间的同步协调问题。     

无人机载光电吊舱显控软件的设计与实现

随着无人直升机和无人机载光电吊舱的应用日渐广泛,与光电吊舱配套的显控软件变得越来越重要.基于C++语言和Qt框架设计并实现了一种用于无人机载光电吊舱的显控软件,采用多线程方式执行视频流接收、解码显示及串口数据收发等多项任务,利用功能模块内部的线程创建和signal/slot机制使程序结构清晰易懂.最后,利用多次挂飞试验...     

线程划分中的寄存器依赖问题分析

推测多线程主要针对编译器生成的指令进行线程划分,在控制流和数据流分析基础上,实现串行程序的自动并行化.模拟器作为检验线程划分算法的有效手段,不仅能验证程序执行结果的正确性,而且可以评估程序并发执行的加速比性能,进一步也可以反映线程划分算法的合理性.针对Olden Suite程序在模拟器上的运行时统计信息,分析线程划分中所存在的寄存器依赖问题.同时,结合实例详细讨论造成寄存器依赖的主要原因.最后,针对寄存器依赖问题提出一种改进的线程划分方法.     

基于CMMI的PDM设计

为了提供目前产品数据管理(Product Dato Management,PDM)系统对产品开发过程管理的控制能力,实现产品开发过程中的实时测量与监控,提高管理质量,结合能力成熟度模型(Capability Maturity Model Integration,CMMI)在软件领域的成功经验,适应硬件产品开发领域的需要,在介绍了CMMI的主要思想之后,重点论述了以CMMI为基础定制企业PDM系统的可能性。对产品开发框架进行了分析,提出了基于CMMI的PDM系统概要设计模型。     

服务器分区技术浅述

简要介绍了分区技术的定义，分区的组成、最低配置和用途，最后阐述了分区技术在工程中的应用。     

基于OC_SVM的Steghide检测算法

通过对使用隐写软件Steghide隐藏信息前后图像T、A、P点数目变化规律的分析,对每幅图像构造一个特征 向量,并且结合支持向量机提出一种基于OC_SVM的Stegthide检测算法,同时,实验结果给出了该算法在不同信息嵌 入量情况下的检测性能。     

通信与计算机领域伪代码一致性审查研究

通信、计算机领域的发明专利审查过程中,针对权利要求书中涉及伪代码的情形存在不同的审查观点.在对伪代码与自然语言、标记性程序语言进行辨析,以及对现行发明专利审查规范进行分析溯源的基础上,提出应站在技术人员的角度,按专利审查的一般标准,判断其是否符合专利申请的撰写规定和授权条件,权利要求是否清晰,再进行一致性审查的建议,对其他领域类似情形的发明专利审查具有借鉴意义.     

基于片上可编程系统的视频车辆跟踪技术研究

针对目前具体产品中算法实现复杂且基于计算机(PC)平台的纯软件环境等问题.提出了一种视频车辆跟踪的嵌入式实现方法.利用可编程片上技术,使得视频检测摆脱PC平台的依赖.以Nios Ⅱ软核处理器和外设知识产权(IP)核为硬件平台,结合模拟/数字信号转换(A/D)和数字/模拟信号转换(D/A)的视频接口,以μC/OS为操作系...     

基于CAS的单点登录系统应用研究

随着信息系统的迅速发展,各类信息化应用系统逐步建立,但是各应用系统之间自成体系,从而导致了每使用一个系统就要重新登录一次,给用户的使用和管理员的管理带来了很多不便.本文研究基于CAS的单点登录系统应用,很好地解决了使用和管理困难问题,介绍了基于CAS的单点登录系统应用设计研究,系统采用用户管理LDAP轻量级目录服务、CAS中央认证服务,设计了一个统一管理界面,通过Web服务传递用户参数,实现了多应用系统的整合.     

基于IMS的固定移动融合的探讨

分析了国内运营商当前所面临的困境与挑战,阐述了通过引入IMS进行固定移动融合解决当前面临的问题,重点对基于IMS的固定移动融合网络构架和实现固定移动融合的网络演进策略进行了相关的研究和探讨。     

基于混沌一次一密认证的单点登录系统的研究

把混沌序列所具备的良好的随机性用于单点登录系统,利用混沌序列迭代产生的随机数序列作为一次一个变换的身份认证信息,这样每个用户的登录身份都具有惟一性,使得他人无法伪造,同时实现了身份指纹的动态变化,增加了普通单点登录系统的安全性。利用cookie技术将认证信息生成ticket,实现同一个域下面各应用子系统的整合。该系统为同一个域下面的各应用子系统提供了一种高效、安全、方便的单点登录方案。     

基于混沌的保密通信研究

由于混沌系统对初始条件和混沌参数非常敏感以及生成的混沌系统具有非周期性和伪随机性的特性,近年来混沌系统在密码学领域中得到了较多的研究。提出了有关混沌系统在保密通信系统的实现方法。研究表明,该方法明显加强了混沌保密通信系统的安全特性。研究证明了它的有效性,正确性,可行性。