基于形式化的功能代码自动生成

针对模型驱动开发中功能代码自动生成方面存在的问题,提出了一种形式化建模方法,用以实现模型驱动架构中功能代码的自动生成。通过进程代数描述的原子操作及其组合逻辑,使得功能行为的设计可以参数化和实例化,从而完成从高层模型描述到功能代码的自动转换。实验表明,本方法提升了软件模型描述的层次和灵活性,能够对模型驱动的软件开发提供有力的支持。

运用辅助功能代码维修数控机床

辅助功能中的M代码在数控PMC中用来指定主轴的正转、反转，主轴停止及主轴定向停止，切削液的供给和关闭，刀架的正反转到位控制工件或刀具的夹紧和松开，刀具自动更换等功能的控制。运用它来读懂PMC程序，并进行修改，以达到机床正常运作。我们首先必须搞清楚它的原理。M代码控制时序如图1所示。

一种基于Common Lisp语言宏和对象系统的本科教学基本状态数据对象的CRUD功能代码的自动生成方法

本科教学基本状态数据对管理和提升学校教育教学质量和展现高校的办学实力和水平有重要的意义。以往的研究工作只从宏观层面分析了状态数据的种类、归属和意义,并没有对数据对象在微观层面的规律和关系进行研究。本文在分析状态数据对象的微观规律的基础上,提出并实现了一种基于Common Lisp语言的宏和对象系统的自动生成本科教学基本状态数据对象的CRUD功能代码的方法。

一种基于主题建模的代码功能挖掘工具

代码复用是重要的软件复用方式之一,复用者需要理解软件代码实现的功能方能有效实施软件复用。基于主题建模技术的程序理解方法逐渐受到研究人员的重视,它能够帮助软件开发者和使用者更好地理解软件的功能。目前,基于主题建模技术的程序理解方法一般欠缺对挖掘出的Topic的语义分析,为此提出的基于代码静态分析和LDA技术的代码功能挖掘(Code Function Mining,CFM)方法可作为对这类方法的补充。CFM是一套以代码为研究对象的挖掘、筛选、组织和描述主题(Topic)的方法,该方法能够生成带描述的功能型Topic的层次结构,以供使用者更清晰和方便地浏览、学习软件的功能。功能型Topic的描述能够帮助复用者理解代码功能,其层次结构能够让复用者从不同抽象层次理解代码功能。CFM方法包括4个部分:挖掘Topic、筛选Topic、组织Topic、描述Topic。以CFM方法为基础,设计并实现了一个CFM工具。CFM工具能够分析用户提交的代码,通过Web页面向用户展示带描述的功能型Topic的层次结构。最后,对CFM方法中的几个关键算法进行实验分析,验证了CFM方法的有效性。

基于Clight形式语义的代码功能描述提取

软件代码的功能提取是功能集成的最基本前提,但软件功能提取普遍存在正确率低的问题。为此,提出基于Clight形式语义的代码功能描述提取机制,并用Clight代码功能描述算法实现。该机制严格基于Clight自然语义推理规则,忽略代码执行的中间细节,只关注执行前后的存储状态,并以此作为代码的功能描述,提高了功能提取的正确率和关键领域软件开发的成功率。

“九七工程”系统采用功能代码驱动技术的探讨

“九七工程”系统采用功能代码驱动技术的探讨南宁电信局计算机科黄伟邮电部电信总局制定的“九七工程”由五大系统构成，即营业系统（包括营业受理、配线配号、机线资料管理、客户订单管理、综合查询统计）；１１２集中测量系统；１１４电话号码查询系统；计费处理系统；...

国际通行的织物功能性代码标识

在国际著名纺织品展览会PV(法国巴黎Premiers Vision)的中心展台,诠释、表现各流行主题的时尚织物,除了注明组织、成份、生产厂家等基本信息外,不少面料样块还通过附加的小图标表明了其功能性特征。这些表示织物功能性特征的图标主要有16种,含义如下。

巧用摄像机的时间代码设定功能

在工怍中,许多电视工作者常常为录像带断磁、时间码的不连续等问题所困惑.其实这一问题并不难解决,只要在前期拍摄中正确设定时码,在后期制作中巧妙运用时码,就会起到事半功倍的效果,在此给大家介绍一下以供参考.

基于LDA的软件代码主题摘要自动生成方法

理解软件代码的功能是软件复用的一个重要环节。基于主题建模技术的代码理解方法能够挖掘软件代码中潜在的主题,这些主题在一定程度上代表了软件代码所实现的功能。但是使用主题建模技术所挖掘出的代码主题有着语义模糊、难以理解的弊端。潜在狄利克雷分配(Latent Dirichlet Allocation,LDA)技术是一种比较常用的主题建模技术,其在软件代码主题挖掘领域已取得了较好的结果,但同样存在上述问题。为此,需要为主题生成解释性文本描述。基于LDA的软件代码主题摘要自动生成方法除了利用主题建模技术对源代码生成主题之外,还利用文档、问答信息等包含软件系统功能描述的各类软件资源挖掘出代码主题的描述文本并提取摘要,从而能够更好地帮助开发人员理解软件的功能。

基于语义冗余的联邦漏洞检测模型无损后门

本文提出了一种基于语义冗余的联邦漏洞检测模型无损后门攻击机制,该方法可在不影响代码功能的情况下实现后门植入。在8个代表性漏洞数据集的1613823个样本上实验并验证了语义冗余的存在性和该攻击方案的可行性。

关于AOP实现机制和应用的研究

AOP(Aspect-Oriented Programming)是一种支持横切关注点的分解的技术,表达更高的抽象层次。它对于横切关注点就像面向对象程序设计对于对象封装和继承一样,提供了能够明确捕获横切结构的语言机制。一个模块化良好的横切关注点叫一个侧面(aspect)。首先介绍了AOP的基本思想,然后针对侧面代码和功能代码的编织问题讨论了几种典型的AOP实现机制的特点、优势及缺陷,最后展望了AOP的应用和发展方向,为进一步研究提供参考。

XP方法在外贸管理信息系统开发中的应用与研究

通过XP在一个外贸管理信息系统的实际开发应用,阐述XP方法的主要特点。

一种数控程序编译方法的研究

介绍了如何在数控程序编译器中应用Lex和Yacc两个工具 ,对数控程序的编译给出了一种良好的解决方法 ,举例说明了实现过程 ,是程序解析一种很好的解决方法。

基于广数GSK25i数控系统伺服刀库的控制

本文通过介绍在某机床上使用广数GSK25i数控系统进行伺服刀库控制,详细叙述了其控制原理,而且该机床在用户处得到了肯定及受到了用户的喜爱,借此希望更多的厂家可以使用国产数控系统进行伺服刀库的控制。

Java编程题自动判分软件框架的设计

通过分析面向对象程序及其判分规则的特点,提出了一种基于反射机制、以class文件为评判对象、判分项为基本评判单元的Java编程题自动判分技术。该技术克服了现有自动判分技术存在的不足,遵循了面向对象程序固有的特征;以此为基础设计并实现了一个Java编程题自动判分软件框架。借助此框架,可以快速搭建各类涉及Java编程题自动判分功能的考试系统和作业评判系统。最后通过一个实际系统的开发表明了该框架的有效性。

先秦礼仪的空间代码及其功能

空间要素(位置、朝向)在先秦礼仪中有明确的规定,如特定的仪式中站在堂上台阶前,面向东等等,这些要素构成一整套空间代码系统。这一系统配合其他的要素(言语、动作、服饰、器物等)在相应的礼典中,显现出礼仪参与者相互之间贵贱、亲疏、吉凶等社会关系和伦理含义,发挥着特定的功能。空间代码系统的形成融合了诸多历史和文化资源,包括神话、哲学、心理等因素。就其功能而言,空间代码实际隐含着权力与秩序。尽管它作为权力的象征,在表达上颇为曲折,但却充分体现了权力的意志;它以自身客观性的外表,不动声色地参与维护社会秩序及统治利益;同时,还以代码系统自我复制的特性,实现了权力与秩序的扩展功能。