期刊文献+
共找到13篇文章
< 1 >
每页显示 20 50 100
基于MYGCC的编程规则检查算法研究 被引量:3
1
作者 李锋 文艳军 +1 位作者 齐治昌 陆赛因 《计算机工程与科学》 CSCD 北大核心 2012年第2期67-72,共6页
MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实验表明改进算法是有效的,此改进有助于用户更准确地定位错误位... MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实验表明改进算法是有效的,此改进有助于用户更准确地定位错误位置,方便对编程错误的修正。 展开更多
关键词 编程规则检查 静态分析 可扩展编译器
下载PDF
软件编程规则及自动检查技术研究
2
作者 胡徽成 《电脑编程技巧与维护》 2015年第9期16-17,27,共3页
软件开发需要在实践过程中遵循一定的编程规则,在既定的编程规则的限制之下,可以使代码具备简单且趋同的特性,便于实际操作,降低代码编程出现缺陷的概率,而且,还能改善代码的可读性,有利于整个软件开发团队高效率地协作完成整个软件开... 软件开发需要在实践过程中遵循一定的编程规则,在既定的编程规则的限制之下,可以使代码具备简单且趋同的特性,便于实际操作,降低代码编程出现缺陷的概率,而且,还能改善代码的可读性,有利于整个软件开发团队高效率地协作完成整个软件开发项目,同时对其日后维护软件也有一定的帮助作用。就具体的软件编程规则进行阐释,并剖析自动检查技术在软件开发及应用过程中的实际作用,以期为实践操作带来有益的借鉴。 展开更多
关键词 软件 编程规则 自动检查技术
下载PDF
利用基数约束规则编程消解ECA策略冲突 被引量:2
3
作者 李鑫 李凡 刘启和 《计算机应用研究》 CSCD 北大核心 2009年第7期2543-2546,共4页
为实现ECA策略冲突的自动、灵活消解,提出一种利用基数约束规则编程的新方法。基数约束规则编程是一种基于稳态模型语义的非单调逻辑编程技术,具有解决组合及其优化问题的良好性质。先后完成了ECA策略的逻辑编程表示、用于检测和防止冲... 为实现ECA策略冲突的自动、灵活消解,提出一种利用基数约束规则编程的新方法。基数约束规则编程是一种基于稳态模型语义的非单调逻辑编程技术,具有解决组合及其优化问题的良好性质。先后完成了ECA策略的逻辑编程表示、用于检测和防止冲突的行动约束定义、具有组合特征的冲突性质分析和用于冲突消解的基数约束规则程序建立。该方法不仅具有逻辑严谨、自动化程度高和结构层次分明等优点,更重要的是,还扩展了被消解冲突的域。 展开更多
关键词 事件-条件-动作策略 基数约束规则编程 冲突消解 行动约束 稳态模型
下载PDF
动画编程的语法规则及其使用方法
4
作者 赵庆祺 《电脑编程技巧与维护》 2017年第23期77-79,共3页
要做出功能强大的Flash动画,需要靠Flash自带的功能强大的Action Script语句通过编程来实现。Action Script语句的基本语法包括:点语法、括号和分号、字幕的大小写、关键字和注释等。相对于其他高级编程语言,Action Script语句编程没有... 要做出功能强大的Flash动画,需要靠Flash自带的功能强大的Action Script语句通过编程来实现。Action Script语句的基本语法包括:点语法、括号和分号、字幕的大小写、关键字和注释等。相对于其他高级编程语言,Action Script语句编程没有复杂的过程和参数控制,掌握起来相对容易。 展开更多
关键词 动画编程语法规则 Action Script语句 使用方法
下载PDF
PLC的编程语言与编程注意事项 被引量:3
5
作者 濮海坤 《价值工程》 2013年第36期235-236,共2页
本文简述了可编程控制器(PLC)的基本特点和发展情况,介绍了PLC的顺序功能图、梯形图、功能模块图、指令表和结构文本等编程语言及其功能特点,阐述了PLC在编程过程中梯形图与指令表语言编程的规则和注意事项等。熟练掌握PLC程序的编程语... 本文简述了可编程控制器(PLC)的基本特点和发展情况,介绍了PLC的顺序功能图、梯形图、功能模块图、指令表和结构文本等编程语言及其功能特点,阐述了PLC在编程过程中梯形图与指令表语言编程的规则和注意事项等。熟练掌握PLC程序的编程语言、编程方法及编程注意事项,对于PLC编程的快速入门及工程应用具有十分重要的意义。 展开更多
关键词 PLC 编程语言 编程规则 注意事项
下载PDF
关于PLC在交通信号灯实验编程设计中难点的探讨
6
作者 杨平 《机械制造》 2011年第11期72-75,共4页
在《机电传动控制》实验教学中,为使初学者能运用所学的PLC理论,设计了一个PLC仿真实验(交通信号灯控制)编程。通过此编程介绍了怎样运用PLC的功能、T形图等知识编程,指导初学者解决在做有关PLC实验中遇到的问题和难点。
关键词 编程规则 PLC 信号
下载PDF
提高科学计算程序可移植性的推荐编程规划
7
作者 钟友琴 《科技通讯(衡阳)》 1990年第1期42-47,共6页
关键词 计算程序 软件移植 编程规则
下载PDF
程序设计教学中学生程序设计风格的养成 被引量:7
8
作者 陈立前 李姗姗 叶常春 《计算机工程与科学》 CSCD 北大核心 2016年第A01期50-54,共5页
计算机程序设计课程已成为普通高校本科教学中的公共基础课程之一。目前,关于该课程的一个较普遍的问题是课程结束后学生的实际程序设计能力依然比较差,所编写出来的程序的代码质量不高。原因之一是学生没有养成良好的程序设计风格。着... 计算机程序设计课程已成为普通高校本科教学中的公共基础课程之一。目前,关于该课程的一个较普遍的问题是课程结束后学生的实际程序设计能力依然比较差,所编写出来的程序的代码质量不高。原因之一是学生没有养成良好的程序设计风格。着重探讨程序设计风格养成的重要性,以及如何在课程教学中引导学生重视并养成良好的程序设计风格。 展开更多
关键词 程序设计 程序设计风格 编程规范 编程规则
下载PDF
软件结构脆弱性分析
9
作者 苏健民 许团 +3 位作者 王颖 崔宝江 姜岚 孙维连 《电子学报》 EI CAS CSCD 北大核心 2009年第11期2403-2408,共6页
文章首先应用系统工程定性定量的方法,以语言性质为基础,通过语义关系量化软件的动态运行过程,在整体上以软件元素及其关系架构起软件的系统关系结构,其次对软件结构的脆弱性进行数学建模,以变异S-粗集的演算对软件运行过程的迁移特性... 文章首先应用系统工程定性定量的方法,以语言性质为基础,通过语义关系量化软件的动态运行过程,在整体上以软件元素及其关系架构起软件的系统关系结构,其次对软件结构的脆弱性进行数学建模,以变异S-粗集的演算对软件运行过程的迁移特性进行分析,建立软件元素运行过程的迁移方程式组,通过推导得到软件结构的随机概率特征值,度量出软件结构的脆弱性,然后给出了软件脆弱度的主动控制方法,以及软件攻击面和可信性的计算方法,并提出制定完备编程规范的工程规则.最后测试了两个开源软件对该方法进行验证,并系统地分析了实验过程和相关数据. 展开更多
关键词 脆弱性 关系结构 系统工程 迁移方程组 编程规则
下载PDF
MISRA C++ 2008讲座(2) 完备地实现C++多态性
10
作者 王玺 邵贝贝 《单片机与嵌入式系统应用》 2009年第10期76-79,共4页
多态性是C++的一个重要特性。程序员可以通过使用C++的多态性来编写灵活多样的程序,但是由于多态性比较复杂,程序中可能会隐藏一些漏洞。为了避免产生这些漏洞,MISRA C++推荐了一些编程规则。
关键词 多态性 MISCRA C++ 2008 编程规则
下载PDF
An analysis method of topological relations between Snort rules
11
作者 殷奕 汪芸 Takahashi Naohisa 《Journal of Southeast University(English Edition)》 EI CAS 2016年第1期21-28,共8页
It is difficult to knowall the relations between Snort rules. To deal with this problem, the topological relations between Snort rules are classified based on the set theory, and a method for calculating the topologic... It is difficult to knowall the relations between Snort rules. To deal with this problem, the topological relations between Snort rules are classified based on the set theory, and a method for calculating the topological relations between Snort rules is proposed. In the existing methods for analyzing the relations of Snort rules, the relations are usually determined only according to the header information of the Snort rules. Without considering the actions of Snort rules, the proposed method improves upon the existing methods and it can classify and calculate the topological relations between Snort rules according to both headers and options information of Snort rules. In addition, the proposed method is implemented by the functional language Haskell. The experimental results showthat the topological relations between Snort rules can be calculated rapidly and effectively. The proposed method also provides an important basis for conflict detection in the succeeding Snort rules. 展开更多
关键词 intrusion detection system(IDS) Snort rule functional programming language
下载PDF
A Fuzzy Logic Controller for Maximum Power Point Tracking with 8-Bit Microcontroller
12
作者 Y.R. Yang 《Journal of Energy and Power Engineering》 2011年第11期1078-1086,共9页
This paper presents the implementation of maximum power point tracking (MPPT) with fuzzy logic controller. For cost consideration, an inexpensive 8-bit microcontroller, PIC 16F877A, is selected and programmed with C... This paper presents the implementation of maximum power point tracking (MPPT) with fuzzy logic controller. For cost consideration, an inexpensive 8-bit microcontroller, PIC 16F877A, is selected and programmed with C language and integer variables For evaluation, the implemented fuzzy logic controller (FLC) is compared with the MPPT controller of using perturbation and observation (P&O). Both types of MPPT controllers are tested on the same voltage source with a series-connected resistor. Experimental results show that the implemented FLC with appropriate design meets the control requirements of MPPT. The FLC based on linguistic fuzzy rules has more flexibility and intelligence than conventional P&O controller, but the FLC spends more RAM and ROM spaces than the P&O tracker does. 展开更多
关键词 Fuzzy logic controllers maximum power point tracking microcontrollers.
下载PDF
A hybrid dynamic programming-rule based algorithm for real-time energy optimization of plug-in hybrid electric bus 被引量:21
13
作者 ZHANG Ya Hui JIAO Xiao Hong +3 位作者 LI Liang YANG Chao ZHANG Li Peng SONG Jian 《Science China(Technological Sciences)》 SCIE EI CAS 2014年第12期2542-2550,共9页
The optimization of the control strategy of a plug-in hybrid electric bus(PHEB) for the repeatedly driven bus route is a key technique to improve the fuel economy. The widely used rule-based(RB) control strategy is la... The optimization of the control strategy of a plug-in hybrid electric bus(PHEB) for the repeatedly driven bus route is a key technique to improve the fuel economy. The widely used rule-based(RB) control strategy is lacking in the global optimization property, while the global optimization algorithms have an unacceptable computation complexity for real-time application. Therefore, a novel hybrid dynamic programming-rule based(DPRB) algorithm is brought forward to solve the global energy optimization problem in a real-time controller of PHEB. Firstly, a control grid is built up for a given typical city bus route, according to the station locations and discrete levels of battery state of charge(SOC). Moreover, the decision variables for the energy optimization at each point of the control grid might be deduced from an off-line dynamic programming(DP) with the historical running information of the driving cycle. Meanwhile, the genetic algorithm(GA) is adopted to replace the quantization process of DP permissible control set to reduce the computation burden. Secondly, with the optimized decision variables as control parameters according to the position and battery SOC of a PHEB, a RB control is used as an implementable controller for the energy management. Simulation results demonstrate that the proposed DPRB might distribute electric energy more reasonably throughout the bus route, compared with the optimized RB. The proposed hybrid algorithm might give a practicable solution, which is a tradeoff between the applicability of RB and the global optimization property of DP. 展开更多
关键词 plug-in hybrid electric bus (PHEB) control strategy optimization dynamic programming (DP) genetic algorithm (GA) city bus route
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部