教学课程资源库 更多>>

关键词： 程序设计语言   课程考核   在线练习   在线考试   分步递进考核  

摘要： 为了高质量实施高校程序设计语言公共通修课课程教学,传统的课程教学考核方式已不能适应信息化教学的需要。将传统的教学过程中的纸质练习、考试方式转向网络在线练习、考试方式是一个必然趋势。通过创新性地采用平时练习至期末考试环节分步递进考核方式,成功地对计算机公共课进行了考核改革,对教师实施高效率教学起了很好的促进作用。

关键词： 行为表征   逻辑   BDI   程序设计语言   计算机科学   外部世界   人工智能   多学科研究  

摘要： “行动”或“行为（action）”是哲学、心理学、历史、法律、经济、军事、计算机科学和人工智能等诸多学科研究的核心概念，这是因为行动在这些领域中无处不在。计算机通过执行以某种程序设计语言编写的程序语句来完成行动，并据此改变计算机的内部世界，然后通过与外部世界的接口来改变外部世界。一个程序的执行和调用本质上就是一个行动。对于具有自我意识的机器人而言：行动或行为就是通过感知信息控制执行过程的算法（algorithm）。对机器人的拟人行为的研究是人工智能的高难度课题之一。可见，对行为（尤其是不确定性行为）进行精细的逻辑刻画具有重要的理论价值和实践意义。

关键词： 程序设计语言   学科差异性   支架式教学   任务驱动   评价机制  

摘要： 大学生计算机程序设计语言教学的开展在我国已有20多年的历史,如何更好地开展这门课程的教学,是从事这门课程教学的教师所探索的主题。在长期的教育教学实践中,逐渐形成了一套行之有效的模式:教学内容体现学科差异性,教学方法使用构建主义模式下的支架式教学,教学组织形式为任务驱动下的协作学习,评价机制体现协作与个体的关系。

关键词： 程序设计语言   异常处理   多线程结构   缺陷检测   可视化调试   软件可靠性  

摘要： 随着互联网的发展，软件在人们日常生活中扮演的角色越来越重要。软件开发生命周期中的测试、验证、调试等活动为开发可靠的软件提供了保障。程序分析技术推动了这一过程的自动化实施，对提高软件开发效率、提高软件可靠性具有重要的意义。复杂的语言结构给程序分析技术带来巨大的挑战。本文针对高级程序设计语言中的异常处理和多线程结构，研究了程序分析技术在程序缺陷检测、测试、验证及调试等各个方面的应用，主要内容包括以下三个方面:\n 首先，我们通过观察发现了程序异常处理结构中“不安全的变量使用”这一缺陷模式。它从本质上刻画了程序中由异常引起的“定义-使用”不变式的破坏。针对这个缺陷模式，我们开发了“前向数据流敏感”与“后向路径可达性分析”相结合的缺陷检测方法。它既能有效的检出程序中的缺陷，又能避免直接使用路径敏感的数据流分析方法所带来的时间代价。通过与已有静态缺陷检测工具的对比实验发现，我们的方法能更有效的检测出程序异常处理结构中的缺陷。\n 其次，我们探讨了利用偏序规约算法消减并发程序状态空间的技术。针对现有偏序规约算法没有充分利用动态信息判断操作间依赖关系的问题，我们根据事件结构理论，设计了基于极小冲突的偏序规约算法。该算法通过宽度优先搜索生成程序的状态空间，动态的判断并发操作之间的依赖关系，能够更有效的减少状态空间中的冗余。该算法可以应用在系统化测试及模型检测中，减少状态爆炸的发生。\n 最后，针对软件维护阶段缺陷报告导向的并发程序调试场景，我们提出了基于事件结构的并发程序可视化调试方法。该方法能够利用缺陷报告中的信息对程序进行切片，缩小可疑代码范围。对切片后的代码，我们以事件结构为模型刻画了并发程序的行为，同时依据事件结构理论，对该模型进行了简化，提取出程序中充分而有限的几条关键路径，既展示了程序行为的全局视图，又避免了图形的过度复杂，从而为程序开发人员分析并发程序行为、定位并发错误提供了帮助。\n 综上所述，我们将程序分析技术应用于缺陷检测、测试、验证及调试等各个环节，并针对Java程序开发了一系列软件工具，从软件开发周期的不同阶段为开发可靠的软件程序提供了技术保障。

关键词： 桥测流量   程序设计语言   数据录入   软件运行   流量计算  

摘要： 桥上施测量流量是近年来发展起来的新方法,它不但能够节省人力,降低劳动强度,确保人身安全,提高工作效率,同时也有利于开展巡测,适合抢测洪峰。对于开展桥测流量的水文站,为能够发挥桥测优势,在获得实测流速等数据的基础上,应用计算机技术进行流量计算,可以减少人工计算工作量,大幅度提高流量计算的时效性和准确性。

关键词： 海洋科学   程序设计语言   数值计算   二维图形  

摘要： Python是一种综合性程序设计语言。Python于20世纪90年代诞生。如今的Python已经渐渐被应用到各个方面:包括各种编程、处理系统管理任务和Web程序中。Matplotlib是一个由John Hunter等开发的，用以绘制二维图形的Python模块。它利用了Python下的数值计算模块Numeric及Numarray，克隆了许多Matlab中的函数，用以帮助用户轻松地获得高质量的二维图形。Matplotlib可以绘制多种形式的图形包括普通的线图，直方图，饼图，散点图以及误差线图等;可以比较方便的定制图形的各种属性比如图线的类型，颜色，粗细，字体的大小等;它能够很好地支持一部分TeX排版命令，可以比较美观地显示图形中的数学公式。Matplotlib掌握起来也很容易，由于Matplotlib使用的大部分函数都与Matlab中对应的函数同名，且各种参数的含义，使用方法也一致，这就使得熟悉Matlab的用户使用起来感到得心应手。

关键词： 确认   API   应用   应用层   应用程序接口   生物测定   生物测定学   数据格式   数据接口   数据记录   数据存储   数据结构   识别   信息技术   接口   程序设计语言   传感器  

标准号: ISO/IEC 19784-4 Technical Corrigendum 1-2013

关键词： 应用程序   电路网络   通信网   计算机辅助   计算机支持通信   计算机   数据描述   数据接口   数据处理   数据传输   电子数据处理(EDP)   欧洲无线电信息系统   可扩展标记语言   执行   信息交换   信息技术   互连接   接口   接口(数据处理)   因特网   标记语言   数据交换   网络互连   程序架构   程序说明书   程序设计语言   协议   通信   电信   电话机   传输协议   万维网   WEB服务描述语言  

标准号: ISO/IEC 18450-2013

摘要： Web Services Description Language (WSDL) is an XML schema for describing Web services and how they can be accessed by Web based applications. WSDL facilitates the creation and deployment of web based applications. For example, by using WSDL with many industry Web services development environments, a web services developer can access features provided by an implementation without knowing details of the network or underlying transport protocols. ISO/IEC 18450:2013 specifies two WSDL documents: Computing Function WSDL and Switching Function WSDL, for ISO/IEC 18051, Services for Computer Supported Telecommunications Applications (CSTA) Phase III. All CSTA features (e.g., services and events) specified in ISO/IEC 18051 are specified in ISO/IEC 18450:2013. ISO/IEC 18450:2013 specifies pairs of port types, one from the Computing Function WSDL and one from the Switching Function WSDL, for all the profiles specified in ISO/IEC 18051. A full WSDL document contains both abstract definitions (WSDL messages and port type elements) and concrete protocol specific definitions (WSDL bindings, ports, and service elements). This CSTA WSDL Standard specifies only the abstract definitions of a WSDL document. The concrete and protocol specific definitions are implementation specific and are outside the scope of ISO/IEC 18450:2013. Annex B illustrates an example SOAP over HTTP binding. WSDL is defined in XML and XML Schemata. ISO/IEC 18450:2013 builds upon the XML data types and imports all message formats specified in ISO/IEC 18056. Annex A specifies mechanisms to establish event channels based on WS-Eventing. The event channels allow the Switching Function and Computing Function to be both a Service Requester and a Service Provider.

关键词： 应用软件   数据模型   数据安全   定义   信息安全   信息技术   程序设计语言   安全性   产品安全性   软件   标准  

标准号: ISO/IEC TR 24772-2013

摘要： ISO/IEC TR 24772:2013 specifies software programming language vulnerabilities to be avoided in the development of systems where assured behaviour is required for security, safety, mission-critical and business-critical software. In general, this guidance is applicable to the software developed, reviewed, or maintained for any application. Vulnerabilities are described in a generic manner that is applicable to a broad range of programming languages.

关键词： 循环语句   循环结构   程序设计语言   语句的内容   语句结构   程序框图   算法  

摘要： 算法中的循环结构是由循环语句来实现的.对应于程序框图中的两种循环结构,一般程序设计语言中有当型循环(WHILE型)和直到型循环(UNTIL型)两种语句结构.即WHILE语句和UNTIL语句.下面我们就来简略谈谈有关循环语句的内容.