循环不变式在程序设计教学中的应用

本文介绍了循环不变式的理论和特点,在详细分析循环结构的基础上,结合实例介绍了在教学中引导学生通过循环不变式设计循环程序的过程,给出了通过循环不变式设计循环程序的具体步骤。     

C＋＋语言中循环结构的教学设计

循环结构的程序设计是程序设计语言的重要部分,掌握好循环结构的程序设计技术对学好此类课程至关重要。探讨了＂C＋＋语言程序设计＂中循环结构的教学方法和教学手段。     

基于循环变量的程序切片分析

本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法,该方法基于循环结构中的循环变量,采用程序的动态切片技术,同时结合了程序的静态切片技术,以及程序的静态分析方法来分析和理解程序,通过上述方法来判断给定的程序在特定的情况下是否存在死循环模式,也即在程序运行中是否会遇到死循环问题,从而提高程序的运行效率。     

《C语言程序设计》中循环结构的教学方法探讨

本文主要介绍了《C语言程序设计》中的循环结构的学习过程。通过采用循序渐进的方法,让学生掌握循环结构的特点以及程序执行的过程。该方法从设计最简单的程序输出入手,通过逐步深入,最终可以利用循环结构编写比较复杂的程序。这种教学方法,不仅让学生比较容易理解循环结构,而且对学生建立学习程序设计语言的自信心也很有帮助。     

基于循环变量的静态程序切片分析

本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法,该方法基于循环结构中的循环变量,采用了程序的后向切片技术,以及程序的静态分析方法来分析和理解程序,通过上述方法来判断给定的程序中是否存在死循环模式,也即在程序运行中是否会遇到死循环问题,从而提高程序的运行效率。     

某大桥钻孔灌注桩施工技术

本文简述了某大桥桩基施工的方法，阐明了正循环冲击钻孔灌注桩主要工序与操作要求，总结了桩基施工方法的一般程序。     

炮采普采工作面循环作业

炮采普采工作面的循环作业,应从生产实际出发、确定科学的循环作业方式,合理安排循环作业工序和循环程序,提高生产效率和保证安全生产。     

学习循环结构初步

循环结构是结构化程序设计的基本结构之一,在程序设计中占有重要地位。对循环结构的学习应从生活实例出发,从实例中抽象出对应的循环模型,再将模型转化为对应的程序形式。这样既让学生学到知识,又培养了他们分析问题和解决问题的能力。     

VB语言中循环语句分析与应用

Visual Basic语言中提供了For-Next、While-Wend、Do-Loop等3个循环语句,它们具有不同的语句结构和执行特点。在具体应用中,选择恰当的循环语句,不仅可以使程序自然、直观和简洁,还能提高程序的可读性。     

大学学报

基于Simulink—M文件混合编程方法的飞行器推力方案优化 Aircraft Thrust Scheme Optimization Hybrid Program Based on Simulink-M 摘要 针对Simulink循环和寻优操作复杂．执行效率低和M文件编程环境程序结构复杂,建模及修改比较困难的问题．提出了基于Simulink—M文件的混合编程方法．有效地提高了程序的执行效率．应用此方法编N7针对特定飞行器推力方案优化的仿真程序,对3种推力形式中可能出现的不同方案进行全局寻优,并对各方案进行对比得到了针对不同推力形式的最优结果仿真结果表明．混合编程方法具有较好的实用性     

Students' Reactions to the Introduction of Videoconferencing for Classroom Instruction

This study examined how students who had no prior experience with videoconferencing would react to the use of videoconferencing as an instructional medium. Students enrolled in seven different courses completed a questionnaire at the beginning of the semester and again at the end of the semester. Students at the origination and remote sites did not differ in their reactions toward videoconferencing but there was a significant difference for gender. Women reacted less favorably to videoconferencing. Compared to the beginning of the semester, students reported significantly less positive attitudes toward taking a course through videoconferencing at the end of the semester. There were no significant differences in students' attitudes toward videoconferencing across courses at the beginning of the semester but there were significant differences across the courses at the end of the semester. The results suggest the need for better preparation for both students and instructors.     

Cooler temperatures inductive to locust outbreaks

Ajoint study by Prof. ZHANG Zhibin from the CAS Institute of Zoology and his co-workers from Norway, US and Swiss have indicated that historical outbreaks of migratory locusts in China were associated with cold spells, suggesting that China＇s projected climate warming could decrease the pest＇s numbers. The study was published in Proceedings of theNational Academy of Sciences on 17 September, 2007.     

Exploring Multiplexity: Social Network Structures in a Computer-Supported Distance Learning Class

A computer-mediated group is a complex entity whose members exchange many types of information via multiple means of communication in pursuit of goals specific to their environment. Over time, they coordinate technical features of media with locally enacted use to achieve a viable working arrangement. To explore this complex interaction, a case study is presented of the social networks of interactions and media use among members of a class of computer-supported distance learners. Results show how group structures associated with project teams dominated who communicated with whom, about what, and via which media over the term, and how media came to occupy their own communication niches: Webboard for diffuse class-wide communication; Internet Relay Chat more to named others but still for general communication across the class; and e-mail primarily for intrateam communication. Face-to-face interaction, occurring only during a short on-campus session, appears to have had a catalytic effect on social and emotional exchanges. Results suggest the need to structure exchanges to balance class-wide sharing of ideas with subgroup interactions that facilitate project completion, and to provide media that support these two modes of interaction.     

The Role of Intermediating Institutions in the Diffusion of Electronic Data Interchange (EDI): How Industry Associations Intervened in Denmark, Finland, and Hong Kong

Electronic data interchange (EDI) provides means for interorganizational communication, creates network externalities, requires an advanced information technology (IT) infrastructure, and relies on standards. In the diffusion of such innovations, institutional involvement is imperative. Such institutions contain governmental agencies, national and global standardization organizations, local government, and nonprofit private organizations like industry associations. The last type of organizations we call intermediating institutions. They intermediate or coordinate ("inscribe") the activities of a group of would-be adopters. Unfortunately, little is known of how these organizations shape the EDI diffusion trajectory. In this article we examine one specific type of intermediating organizations?industry associations?and how they advanced the EDI diffusion process in the grocery sectors of Hong Kong, Denmark and Finland. We identify six institutional measures, placed into a matrix formed by the mode of involvement (influence vs. regulation) and the type of diffusion force (supply push vs. demand pull), that can be mobilized to further the EDI diffusion. Industry associations were found to be active users of all these measures to varying degrees. Their role was critical especially in knowledge building, knowledge deployment, and standard setting. Furthermore, institutional involvement varied due to policy and cultural contingencies and power dependencies.     

How Electronic Publishers are Protecting Against Piracy: Doubts About Technical Systems of Protection

The increasing prospects of digital piracy has prompted the perceived need by electronic publishers to adopt technical systems of protection, and governments to reform their copyright laws. This article is a preliminary study of the management of intellectual property by electronic publishers, defined as those involved in the production of online databases, and CD-ROMs. It focuses on three main issues: (1) how electronic publishers view the increasing threat of piracy; (2) the methods of protection employed to protect intellectual property in digital format; and (3) the importance of technological protection of intellectual property in electronic publications. The analysis is based on a sample of 23 UK electronic publishers. The interviews revealed an interesting assortment of protection methods and did not show that technological protection was a preferred way. Instead, the means of protection, in addition to copyright law, comprised niche markets, pricing, trust, bad publicity, and nontechnical and technical means.     

Rough Justice: A Statistical Assessment of ICANN's Uniform Dispute Resolution Policy

Long-standing conflict between domain name registrants and trademark holders prompted the Internet Corporation for Assigned Names and Numbers (ICANN) to create a global, mandatory arbitration procedure known as the Uniform Dispute Resolution Policy (UDRP). The UDRP has been used in 2166 cases involving 3938 domain names as of 1 November 2000. The policy gives the initiator of a complaint, generally a trademark holder, the right to choose which ICANN-accredited dispute resolution service provider (RSP) will handle the case. During the preparation of the UDRP,some feared that complainant selection would lead to "forum shopping" that might bias the results. This article performs a statistical assessment of the forum-shopping thesis and finds support for it. There are statistically significant differences in the various RSPs' propensity to take away names from defendants; there are also major differences in the number of cases brought to each RSP. RSPs who take away names have the larger share of cases. The study examines other variables that might explain differences in market share, such as price, the plaintiff's nationality, or the time taken to decide a case. It finds that nationality and time also are correlated with market share. The study concludes that shopping for a favorable outcome is an important factor in the UDRP.     

Prevalence of soft neurological signs in Chinese people

Prof. Raymond C.K. Chen, a neuropsychologist with the CAS Institute of Psychology, has made novel progress in his studies of schizophrenia. His work has been reported by a recent issue of Behavioural Neurology.     

Monoculture Rubber Plantations Have Negative Ef ects on Controlling Splash Erosion

<正>In Xishuangbanna,one of China’s most biodiverse regions,landscape has changed dramatically during the past three decades due to the conversion of tropical rainforest to rubber plantations.In steep areas,terraces are often constructed before planting rubber trees,which causes two important changes in the soil:the destabilization of soil in the bench terraces and the increased vulnerability of unvegetated riser faces to erosion.Few studies have documented the nature and intensity of erosion on bench terraces.Prof.LIU Wenjie and his colleagues from the Xishuangbanna Tropical Botanical Garden(XTBG)conducted a study in Menglun County(21°5′39″N,101°15′55″E),Xishuangbanna to evaluate the influence     

Chinese Scientists Use Earth Observation Technologies to Study and Protect Wild Camels

<正>Chinese scientists plan to apply Earth Observation technologies to protect the critically endangered wild camels(Camelus ferus).With the help of remote sensing,satellite positioning,geographical information system and wireless sensors networks,they will be able to access the distribution and population of the wild camels and protect their habitats.The project will be carried out by the International Research Center for Wild Camel Conservation,which was jointly established earlier this year by the Institute of Remote Sensing and Digital Earth(RADI)of the Chinese     

More than Skin Deep – Understand Skin Biology by Means of Dermatogenomics

<正>The Paul Gerson Unna Research Group on Dermatogenomics was founded in October 2012 at the Partner Institute for Computational Biology.The ultimate goal of the group is to understand the biology of skin and skin appendages.