一种CPS中C#与C++代码互访方法的研究

客户编程软件(CPS)是对讲机等无线通讯系统Radio配置系统的核心技术,实现C#与C 代码的互访是CPS设计的研究热点之一。提出了一种利用平台调用和回调函数的形式实现C#与C 的互访的方法。该方法既保持C#语言进行软件开发具有开发效率高、便于维护和管理的优势,又具有C 开发的系统执行效率高和健壮性高的特点,并且提供了对系统底层更灵活的访问的能力,该方法是一种Radio配置系统CPS的好方法。     

用C#开发计算器的技术分析

C#是一种新型编程语言,它是从C和C＋＋语言演化而来的。这里介绍了用C#开发计算器的典型实例,并就开发中的几个关键问题进行了深入的研究j这些思路和技术对C#在其它方面的应用同样具有较好的参考价值。     

基于C#的颜色空间转换

颜色空间是彩色图像处理的基础,颜色空间的选取直接影响处理的方法和效果。C#保留了C/C＋＋强大功能和灵活性,同时又具有Visual Basic的简单语法结构和高效开发能力。介绍了基于C#的图像处理基本方法,并介绍了在彩色图像处理中常用的颜色空间及其转换的C#实现。     

基于SHML的CPS行为建模及仿真

信息物理融合系统（cyber-physical systems，简称CPS）是深度融合了计算进程和物理进程的统一体，是集计算、通信与控制于一体的下一代智能系统，具有广阔的应用前景.CPS的行为具有混成性、随机性等特征，建模及仿真CPS的动态行为对于开发高质量的CPS系统至关重要.但是目前缺乏面向CPS的领域建模方法及建模CPS的领域建模语言，也迫切需要支持仿真CPS领域模型的仿真工具.针对以上问题，提出一种面向CPS领域的随机混成建模语言（stochastic hybrid modeling language，简称SHML）以支持建模CPS系统的行为.首先，根据CPS的领域特征定义了SHML的元模型作为其抽象语法，并定义了SHML的具体语法和操作语义；其次，基于GEMOC框架实现了SHML的可视化建模工具.此外，集成GEMOC的序列化执行引擎和Scilab的连续行为仿真引擎，实现仿真CPS的混成行为.提出了一种面向CPS领域的建模及仿真方法，设计并实现了一个集成的面向CPS行为的建模与仿真平台，为CPS的建模及仿真提供了一种有效的方法及工具支撑.     

C#类与C＋＋类的比较

C#是微软公司推出的一种先进的,面向对象的开发语言,能够方便快捷地建立基于微软网络平台的各种应用和在网络间互相调用的WEB服务。C#与C＋＋都是面向对象的语言,类在这两种语言中都有非常重要的地位,因此对C#和C＋＋中的类进行对比,并着重说明微软在C#类中引入的新特性。     

数值模拟实时三维可视化的C#与OpenGL实现

计算实时三维可视化已成为当代CFD／NHT等大型数值模拟软件的基本要求,C#中提供的GDI＋显然无法满足。所幸目前已有一些成熟的3D图形开发库,如OpenGL和Direct3D,然而这两者所提供的函数均为C接口的API形式。并且利用C／C＋＋、VB以及Fortran等语言开发OpenGL实现的技术已相对成熟,但在．NET环境下开发的技术对于程序员来说,仍可称为一种挑战。本文以哈尔滨工业大学开发的HITurbine为例,较为仔细地讨论了在．NET下利用C#与OpenGL实现的三种方式。这是在．NET环境下开发具有三维可视化程序的第一步,同时也可以作为一般数值模拟软件计算实时三维可视化的基本框架．     

在C#中用GDI+实现图形动态显示

GDI＋，即图形设备接口，它作为一个类库将数据转换为与图形设备兼容的形式。Microsoft Visual C#是一种简单、现代、类型安全和面向对象的语言，它为程序员提供了一个可以开发运行在Windows和其他平台上的几乎所有程序的环境。在C#中利用GDI＋可方便快捷地实现应用程序与图形设备的交互。为适应复杂工程需求，更加灵活多态地显示图形，文中论述了在C#中用GDI＋绘制图形的基本方法，以及如何实现图形动态显示。     

基于FPGA的交换机芯片配置器设计

高速组合导航信息处理机采用了高速串行RapidIO总线来连接系统中的各功能模块,进行模块间的数据传输。为满足处理机内多点之间互联互通的需求,系统增加了一块SRIO交换板,交换板上CPS1848交换芯片的路由配置成为了研究的关键问题。为解决上述问题,通过分析CPS1848交换芯片的技术特点,提出了一种基于FPGA的交换机芯片配置器技术方案。详细描述了以时序控制模块为核心的由八个模块组成的配置器的组成结构和功能,并采用FPGA集成开发工具ISE对配置器进行了设计与实现。经过仿真验证,结果表明,配置器可通过I^2C总线完成对CPS1848芯片的初始化路由配置,实现系统RapidIO数据包的路由交互传输。     

基于动态语言的通用型EDI转换引擎设计与实现

EDI系统在国际贸易领域有广泛的应用。传统的数据转换引擎一般采用静态编程语言（C/C＋＋,Java,C#等等）开发实现的。在使用传统数据转换引擎过程中,开发维护,扩展传统数据转换引擎的成本较高。动态语言不需要编译,语法简捷,开发调试速度快,维护成本低,可移植性强的特点满足了业务人员对数据转换引擎的新需求。因此,基于动态语言实现的数据转换引擎,弥补了传统数据转换引擎的不足。本文主要介绍了基于动态语言Python开发实现的数据转换引擎。此数据转换引擎支持多种数据格式标准,易于使用,运行稳定,执行效率高。     

基于SystemC的嵌入式系统设计

本文提出了一种基于SystemC的嵌入式系统设计方法，SystemC是OSCI（Open SystemC Initiative)组织制定和维护的一种开放源代码的C＋＋建模平台，提供支持硬件建模和仿真的C＋＋类库及相应的仿真内核，SystemC消除了一直存在于系统级设计和硬件设计之间的语言隔阂，支持在整个嵌入式系统设计流程内使用C＋＋来统一描述硬件和软件，基于C＋＋的系统功能定义能够方便有效地映为硬件实现部分和软件实现部分，该方法同传统的设计方法相比更加灵活和有效。     

Mollard Code as a Robust Nonlinear Code

We consider the Mollard construction from the point of view of its efficiency for detecting multiple bit errors. We propose a generalization of the classical extended Mollard code to arbitrary code lengths. We show partial robustness of this construction: such codes have less undetected and miscorrected errors than linear codes. We prove that, for certain code parameters, the generalization of the Mollard construction can ensure better error protection than a generalization of Vasil’ev codes.     

代码生成阶段的循环不变量外提

循环不变量外提是一种传统的优化算法。在现代编译嚣中。循环不变量通常在编译器的中端中被删除或外提。中端的中间表示是目标处理机无关的，而编译器的后端的中间表示是目标处理机相关的。尽管中端的优化十分有效，但是从中端的中间表示向后端的中间表示转化的过程中会引入许多循环不变量。因此，有必要在后端再进行循环不变量外提。由于在指令调度的过程能够比较容易地决定一个循环不变量是否需要外提，我们将这一个阶段集成到指令调度中。为了降低指令调度的复杂性，我们把循环不变量的识别和外提区分开来。“识别”独立进行，而决定是否“外提”并实施“外提”则集成到指令调度阶段中。我们在开放源码编译器ORC的代码生成模块中具体实现了本文所介绍的算法。实验结果显示，在代码生成阶段的循环不变量外提能够提高目标代码1％的性能。我们的代价模型避免了78％的循环不变量不必要地外提到循环之外。     

一种用于反编译代码与源代码的比较算法

现有反编译器产生的代码与对应的源代码之间存在差异,找到并理解差异有助于改进并完善反编译器的设计。该文给出一种适用于C语言反编译代码与源代码的比较算法。该算法以语法树匹配方法为基础,定义新的C语言中间代码表示形式并对表达式进行动态匹配,提高了语法树匹配的准确性。实验结果表明,该算法能有效计算出反编译代码与源代码之间的多数差异。     

运行时代码随机化防御代码复用攻击

代码复用攻击日趋复杂,传统的代码随机化方法已无法提供足够的防护.为此,提出一种基于运行时代码随机化的代码复用攻击防御方法LCR.该方法在目标程序正常运行时,实时监控攻击者企图获取或利用gadgets的行为,当发现监控的行为发生时,立即触发对代码进行函数块级的随机化变换,使攻击者最终获取或利用的gadgets信息失效,从而阻止代码复用攻击的实现.设计实现了LCR原型系统,并对提出的方法进行了测试.结果表明：LCR能够有效防御基于直接或间接内存泄漏等实现的代码复用攻击,且在SPEC CPU2006上的平均开销低于5%.     

“挂马”

网页挂马就是在网页的源代码中加入一段恶意代码，利用系统漏洞实现将木马程序自动下载到用户电脑之中。     

Rescuing Code

Imagine you've experienced project heat death at least once. The term "heat death" comes from the second law of thermodynamics: entropy within a closed system increases over time without bound until the system collapses. In software, the entropy we experience most is in the design. Most of the code we add increases design entropy. Project heat death occurs when the design rots to the point where starting over is cheaper than continuing. Project heat death seems inevitable, yet when a large-scale project dies, people often stand around, surprised, asking "why us?" To do better next time, you need a sense of what problems to look for, and you need to start solving them before they spiral out of control. The author hopes this department helps in both regards.     

面向代码审查的细粒度代码变更溯源方法

代码审查是现代软件分布式并行开发过程中的重要机制. 在代码评审时, 帮助代码评审者快速查看某一段源代码的演化过程, 可以让评审者快速理解此段代码变更的原因和必要性, 从而有效提升代码评审的效率与质量. 现有工作虽然提供了一些类似的代码提交历史回溯方法及对应工具, 但缺乏从历史数据中进一步提取辅助代码评审相关辅助信息的能力. 为此, 提出一个面向代码评审的细粒度代码变更溯源方法C2Tracker. 给定一段方法(函数)级别的细粒度代码变更, C2Tracker能够自动追溯到历史开发过程中修改该段代码相关的代码提交, 并在此基础上进一步挖掘其中与该段代码频繁共现修改的代码元素以及相关的变更片段, 辅助代码评审者对当前代码变更的理解与决策. 在10个著名开源项目的数据集下进行实验验证. 实验结果表明, C2Tracker在追溯历史提交的准确率上达到97%, 在挖掘频繁共现代码元素任务上的准确率达到95%, 在追溯相关代码变更片段任务上的准确率达到97%; 相比现有评审方式, C2Tracker在具体案例的代码评审效率和质量上均有较大提升, 在绝大多数的代码评审案例中被评审者认为能提供“明显帮助”或“很大帮助”.     

Unicode内码转换与汉字乱码

针对计算机中常用的字符集ANSI、DBCS、Unicode和UTF-8,介绍了基于Unicode的内码转换的简捷方法,讨论了编码类型错误和HTML字符引用错误所致乱码的原理及其消除方法。     

对机器语言进行检查保证移动代码安全

介绍了一种在安全策略语言的指导下，对机器语言进行安全检查的方法。它使用基于编程语言的理论和实现技术，通过分析程序语义和系统调用等特征，对程序进行检查。安全策略语言提供了一种灵活、统一的安全描述手段，希望这种将安全检查的实现机制和检查内容分离的做法能给其他的研究者提供了有用的参考。