共查询到19条相似文献,搜索用时 719 毫秒
1.
2.
《现代电子技术》2019,(12):57-61
并发模型分析主要用于业务流程逻辑验证,并不能很好支持多线程程序建模。目前大部分研究主要针对Java程序的死锁检测,对于使用POSIX线程库开发的C语言程序研究并不多。为了检测POSIX线程库开发的C语言程序是否存在死锁问题,提出一种对多线程程序进行自动建模与死锁检测的形式化验证方法。首先,根据C++CSP框架和源程序之间的联系,实现源程序到C++CSP框架的语义转换;然后,对C++CSP框架建立通信顺序进程(CSP)模型,并通过过程分析工具(PAT)对建立的模型进行死锁检测;最后,通过实例验证了本文中自动建模与死锁检测方法的可行性与有效性。 相似文献
3.
4.
5.
6.
为了解决Simulink与VC++的数据交互问题,提出了采用C++语言S?函数实现两种开发环境的网络通信方法。首先介绍了S?函数以及基于S?函数的编程框架,其次介绍了UDP网络程序设计模型。最后结合实例说明并验证了该方法的有效性和实用性。 相似文献
7.
8.
介绍了使用C++Builder实现多线程编程的方法,包括了线程的定义、执行和同步。着重介绍了多线程之间的同步协调问题。 相似文献
9.
《电子技术与软件工程》2015,(8)
本文介绍了NAT技术的主要特性以及其4种分类,并对每一种分类的穿透策略进行了分析。针对目前主流的锥NAT,本文使用面向对象的方式封装实现了UDP穿透NAT,并用C++代码进行了具体实现。 相似文献
10.
介绍了基于C++和Python混合语言编程的WORD文档操作技术及其实现,针对C++开发的原系统对WORD文档操作不方便的问题,利用Python脚本灵活高效的特点,给出了一种在C++动态库中嵌入Python调用的方法。最后展示了一个项目中实现的WORD文档表格化输出接口以及相应的操作WORD文档的Python脚本,解决了实际项目中的困难。 相似文献
11.
任竞颖 《智能计算机与应用》2011,(1):37-39
本文通过C++语言程序设计的实习,提出了目前存在的问题.通过分析其理论实践意义、具体解决方案和具体实施过程,论述了如何将学生工程能力的培养贯穿于C++语言程序设计的教学中. 相似文献
12.
Qt是一个跨平台的C++GUI应用构架,它提供了丰富的窗口部件集,具有面向对象、易于扩展、真正的组件编程等特点。目前Linux上最为流行的KDE桌面环境就是建立在Qt库的基础之上。伴随着KDE的快速发展和普及,Qt逐渐成为Linux窗口平台上进行软件开发时的GUI首选,而信号与槽作为Qt的核心机制在Qt编程中有着广泛的应用,本文研究了信号与槽的通信机制、元对象工具以及在实际使用过程中应注意的一些问题。 相似文献
13.
为了充分发挥VisualC++和Matlab各自的优势,缩短工程应用软件的开发周期,提高程序的运行效率,提出一种利用ActiveX引擎实现VisualC++和Matlab混合编程的方法。描述了在VisualC++编译环境下如何利用Mat—lab提供的ActiveX引擎来实现应用系统,给出VisualC++利用ActiveX引擎与Matlab混合编程的步骤,最后通过应用实例验证该方法,结果表明VisualC++能够利用ActiveX引擎实现与Matlab的良好接口,提高应用软件的开发效率。 相似文献
14.
何峰 《电气电子教学学报》2010,32(6):64-66
我们通过数值积分程序实现教学引出四个问题,引导学生在程序设计课程的不同阶段通过启发式学习得到了满意的答案,从而促进学生既掌握了基本的面向过程的程序设计方法,又初步具有了统领全局的面向对象的程序设计理念和先进的程序设计思想,完成了从模板到模式编程思维的跨越,并使面向过程教学与面向对象教学有机结合在一起。这种通过一个贯穿整个教学实践的具体实例将C++课程不同知识点有机串联起来的方式收到良好的教学效果。 相似文献
15.
This paper proposes two new methods for designing a class of two-channel perfect reconstruction (PR) finite impulse response (FIR) filterbanks (FBs) and wavelets with K-regularity of high order and studies its multiplier-less implementation. It is based on the two-channel structural PR FB proposed by Phoong et al (1995). The basic principle is to represent the K-regularity condition as a set of linear equality constraints in the design variables so that the least square and minimax design problems can be solved, respectively, as a quadratic programming problem with linear equality constraints (QPLC) and a semidefinite programming (SDP) problem. We also demonstrate that it is always possible to realize such FBs with sum-of-powers-of-two (SOPOT) coefficients while preserving the regularity constraints using Bernstein polynomials. However, this implementation usually requires long coefficient wordlength and another direct-form implementation, which can realize multiplier-less wavelets with K-regularity condition up to fifth order, is proposed. Several design examples are given to demonstrate the effectiveness of the proposed methods. 相似文献
16.
在分析北京市无线政务网综合网络管理系统架构和工作过程的基础上,设计了综合网管用户管理功能的开发方案,并利用C++语言开发了参数管理、用户属性管理、组属性管理、组织块属性管理、基站用户数统计、不同类别用户统计以及事件监测管理等用户管理功能。 相似文献
17.
利用MATCOM与VC进行接口通信的优点,介绍了一种基于MATCOM的MATLAB与VC++之间混合编程的方法、步骤及实例,文中以卡尔曼滤波器为实例来进行详细的说明。此方法以MATCOM为转换工具,将.m文件转化为C++代码,而且还将MATCOM与VC++相结合进行了图形绘制,以及利用VC++中MFC可以生成良好界面的功能,通过对控件编程,利用按钮来显示出图形。这种串口通信的混合编程方法,不仅能充分发挥两种语言各自的优势,并且可以脱离MATLAB来独立运行,此方法既简便、方便又有很强的可操作性。 相似文献
18.
Self-Organizing Migrating Strategies Applied to Reliability-Redundancy Optimization of Systems 总被引:1,自引:0,他引:1
The reliability-redundancy allocation problem is a mixed-integer programming problem. It has been solved by using optimization techniques such as dynamic programming, integer programming, mixed-integer non-linear programming, heuristics, and meta-heuristics. Meanwhile, the development of meta-heuristics has been an active research area in optimizing system reliability wherein the redundancy, the component reliability, or both are to be determined. In recent years, a broad class of stochastic algorithms, such as simulated annealing, evolutionary computation, and swarm intelligence algorithms, has been developed for reliability-redundancy optimization of systems. Recently, a new class of stochastic optimization algorithm called SOMA (Self-Organizing Migrating Algorithm) has emerged. SOMA works on a population of potential solutions called specimen, and is based on the self-organizing behavior of groups of individuals in a "social environment". This paper introduces a modified SOMA approach based on a Gaussian operator to solve reliability-redundancy optimization problems. In this context, three examples of mixed integer programming in reliability-redundancy design problems are evaluated. In this application domain, SOMA was found to outperform the previously best-known solutions available. 相似文献
19.
《Selected Areas in Communications, IEEE Journal on》2006,24(8):1426-1438
Convex optimization methods are widely used in the design and analysis of communication systems and signal processing algorithms. This tutorial surveys some of recent progress in this area. The tutorial contains two parts. The first part gives a survey of basic concepts and main techniques in convex optimization. Special emphasis is placed on a class of conic optimization problems, including second-order cone programming and semidefinite programming. The second half of the survey gives several examples of the application of conic programming to communication problems. We give an interpretation of Lagrangian duality in a multiuser multi-antenna communication problem; we illustrate the role of semidefinite relaxation in multiuser detection problems; we review methods to formulate robust optimization problems via second-order cone programming techniques. 相似文献