试析计算机软件安全漏洞检测

对于计算机病毒可以使用杀毒软件以及防火墙等技术进行预防和控制,而如果计算机软件存在漏洞,是不可能通过杀毒软件等工具来解决的,因此必须加强对计算机软件漏洞的检测,本文分析了计算机软件中常见的漏洞形式,并简单地介绍了一些计算机软件漏洞的检测方法。     

基于侧喷流控制的运载器弹道建模与仿真

直接侧向力技术已在大气层外动能拦截器和大气层内防空导弹中得到成功应用。运载火箭的飞行弹道跨越大气层,可以尝试采用直接侧向力对其进行控制。在介绍直接侧向力控制技术原理的基础上,建立了采用直接侧向力进行姿态控制的运载火箭弹道的简化模型（不考虑风干扰和弹体滚转）,运用Matlab／Simulink软件进行了计算机数字仿真,并与传统的摆动喷管控制方式进行了对比,给出了第一级弹道的仿真结果。得出了直接侧向力控制作用下的弹道能够满足运载器总体设计要求的结论。     

陆基导航系统最优布站方法研究

陆基导航系统采用了无线电导航的方式对地地弹道导弹制导.由于该系统仅依靠地面基站进行导航,基站如何布局就成为了影响导航精度的关键问题之一.本文通过分析和计算陆导系统的位置精度因(PDOP),并对一段模拟弹道进行计算机仿真,得到了关于弹道导弹的最优基站布站方法.     

R-K-F方法在外弹道计算与火控系统中的应用

分析了用R-K-F方法计算微分方程组的计算步骤及计算中改变积分步长的方法,给出了用R-K-F方法计算了3D、4D、简化6D及6D外弹道微分方程组的结果,它们包括积分步长、误差容限、射程、侧偏及计算时间,并与定步长四阶R-K方法进行了对比分析.给出了不同误差容限下计算6D外弹道微分方程组的求解时间,给出了积分过程中步长变化的曲线,得到的结论为R-K-F方法不但能控制外弹道计算过程中的误差,而且显著地提高了简化6D、6D外弹道微分方程组计算速度,简化6D外弹道模型的计算时间达到了0.2s,可应用于火控系统中.     

FLOTHERM热分析软件在星载控制计算机设计中的应用

本文从阐述热设计对于星载控制计算机的重要性入手，在对热设计验证方法的比较与分析后引出了主题——电子行业热分析软件FLOTHERM，并通过具体示例介绍了使用FLOTHERM软件对星载控制计算机进行分析计算的仿真流程及工作重点。     

潜空战术导弹纵向特性分析及控制系统设计

对潜空战术导弹的水下和空中运动分别建立了纵向质心运动方程,分析了出水前后的弹体纵向特性并完成了经典方法的控制系统设计,最后分别给出了Simulink质心弹道和六自由度弹道对比仿真验证;结果表明,潜空导弹质心运动方程可简捷有效地设计期望弹道和分析弹体特性,据此设计出的控制系统可以顺利实现对潜空导弹的全程控制,提供了一套完整的潜空战术导弹纵向特性分析方法和控制系统设计方法。     

计算机软件工程安全维护措施探究

随着社会经济的稳定发展和科技水平的不断提高,我国计算机软件工程领域取得了很大的进步,计算机已经实 现了在人们日常生活中的广泛应用。但是计算机的迅速推广在给人们生活带来便利的同时也给用户带来了信息泄露的风险, 这就需要维护人员更多地了解和把握计算机软件的发展特点,结合实际情况,对计算机软件加以维护,从而实现计算机软件的 健康、稳定和持续发展。文章详细论述了计算机软件工程维护工作的重要性并提出计算机软件的维护措施和维护的方法。     

重量信号数字化及显示技术的实施方法

提出并实施了１２位以上的二进制重量信号在与控制计算机完全脱机情况下的３种显示技术,并详细介绍了其电路结构、工作原理及其软件。     

靶艇目标精准射击控制方法研究仿真

靶艇目标射击的精准度是评价该武器的重要指标,但在现实环境中存在不同程度的干扰因素,导致射击飞行弹道会脱离原本的标准弹道,无法命中目标.为此提出一种靶艇目标精准射击控制方法.对目标射击的干扰成因、射击目标误差、目标中心判定误差以及目标射击运动误差等方面进行系统性的分析,并计算出射击相关参数,利用目标射击的飞行原理,在不同条件因素下构建目标射击弹道模型框架,并设计出一条预期理想的标准射击弹道,根据模型的主动段、自由段以及自由段顺序计算出误差干扰结果,并利用蒙特卡洛统计方法分析射击精准度,从而完成靶艇目标精准射击控制.仿真结果表明,靶艇目标精准射击控制方法的误差率较小,射击命中率较高,且具有较高的射击精准度.     

利用计算机仿真与系统辨识求解导弹弹道轨迹

提出了求解某武器系统导弹弹道轨迹的两种方法，计算机仿真和系统辨识方法，详细介绍了导弹系统的计算机仿真模型，并利用控制理论和数值分析的方法对仿真模型求解，根据系统辨识理论，将整个系统看作“黑箱”建立与输入，输出数据等价的模型，引入折息因子对模型进行辨识，最后分别给出了计算机仿真试验曲线和系统辨识试验曲线，证明了两种求解方法的有效性。     

Empowering teachers to create educational software: A constructivist approach utilizing Etoys,pair programming and cognitive apprenticeship

This study investigates whether a visual programming environment called Etoys could enable teachers to create software applications meeting their own instructional needs. Twenty-four teachers who participated in the study successfully developed their own educational computer programs in the educational technology course employing cognitive apprenticeship and pair programming approaches as the primary instructional strategies. Two educational software programs created by the participating teachers were described in order to explain what they were trying to do using Etoys and how they accomplished their goals. The results of an anonymous survey evaluating the difficulty of and the attitude toward learning Etoys indicate that teachers enjoyed learning Etoys and would like to continue to use it in the future although they found it was slightly more difficult, compared to their self-evaluated computer skill. The strengths and weaknesses of Etoys, the difficult computer programming concepts, and the educational implications of Etoys programming were also discussed.     

软件设计中的安全漏洞动态检测技术分析

计算机安全性问题是软件设计需考虑的主要问题之一。为了构建安全的软件设计体系,防止各种外部干扰对软件的攻击和破坏,软件设计过程中对安全漏洞的检测和防护就显得尤为重要。本文通过对软件设计中各种安全漏洞动态检测技术的详细分析,并对各种已有的动态检测技术进行详细的比对,总结出各种动态检测技术的优、缺点,为在各种软件设计中正确选用适合的检测技术提出有力的参考依据。     

The use of ballistic movement as an additional method to assess performance of computer mice

This study investigates an additional method for independently evaluating performance of speed and accuracy of computer mice, based on five parameters of the initial submovement when aiming at a target. This first submovement is known to be carried out in a ballistic manner and hence the Fitts-type aiming movement may be studied by means of the established relationships for ballistic movement. To test the ballistic movement method, eight participants used four different computer mice to execute ballistic movements and Fitts-type aiming movements. Regression tests showed that the Fitts movement time was well correlated with the time and stopping-variable error of ballistic movement, implying that measuring ballistic movement parameters can predict the performance of Fitts-type aiming movements. More importantly, the use of ballistic movement method allows independent assessments of the speed and accuracy, providing additional information for input devices assessment and designs.Relevance to industryThe study illustrates the close correspondence between input device evaluation using the proposed ballistic movement method and Fitts' law. The ballistic movement method allows independent measures of speed and four types of accuracy, which should benefit input devices assessment and designs.     

The effect of software type on the quality of talk

Research was undertaken comparing teacher-pupil and pupil-pupil dyads using computer-assisted learning programs, of both 'open' (where the means of achieving the task goal are under the users' control) and 'closed' (where the routes to achieving the task goal are much more controlled by the computer) types. The interactions within teacher-pupil and pupil-pupil dyads whilst using the programs were videorecorded and subsequently analysed to ascertain whether the nature of the software (open or closed) exerted any constraining effect upon the dyads' interactions. Variations in interactional styles were identified using quantitative methods; these, plus other more qualitative data are discussed with reference to specific examples of software. It is concluded that the open-closed distinction conflates several dimensions of machine behaviour, particularly the number of options of action available to users at any given point, the frequency of computer interventions, the nature of computer interventions (eg. prompt versus question) and the granularity of the task.     

SE2004: Recommendations for Undergraduate Software Engineering Curricula

Universities throughout the world have established undergraduate programs in software engineering, which complement existing programs in computer science and computer engineering. To provide guidance in designing an effective curriculum, the IEEE Computer Society and the ACM have developed the Software Engineering 2004 (SE2004) set of recommendations. The SE2004 document guides universities and colleges regarding the knowledge they should teach in undergraduate software engineering programs. It also provides sample courses and curriculum patterns. SE2004 begins with an overview of software engineering, explaining how it is both a computing and an engineering discipline. It then outlines the principles that drove the document's development and describes expected student outcomes. Next, SE2004 details the knowledge that universities and colleges should teach, known as SEEK (software engineering education knowledge), in a software engineering program. These recommendations are followed by general pedagogical guidelines, sample courses, and sample curriculum patterns     

Master's Degrees in Software Engineering: An Analysis of 28 University Programs

The Software Engineering Institute published the last reference curriculum for a master's in software engineering in 1991. In 2007, a coalition from academia, industry, and government began creating a new reference curriculum. An early step was to establish a baseline of graduate education by surveying 28 master's programs in software engineering. The survey was largely limited to US schools. Key findings showed that the universities viewed software engineering largely as a specialization of computer science, that faculty size is generally small with few dedicated professors, and that new master's programs continue to start despite the decrease in computer science majors over the past few years. We used the IEEE Computer Society's Software Engineering Body of Knowledge (SWEBOK) to structure our analysis of the 28 curricula, focusing primarily on courses and topics required or semirequired of all students. (A course is semirequired if there is at least a 50 percent chance a student must take it.) Major findings show wide variation in the depth and breadth of SWEBOK coverage in required and semirequired courses, less than 40 percent of all programs requiring an introductory course on software engineering, and many universities having required and semirequired courses that are peripheral to SWEBOK.     

An empirical study of the effect of complexity, platform, and program type on software development effort of business applications

Several popular cost estimation models like COCOMO and function points use adjustment variables, such as software complexity and platform, to modify original estimates and arrive at final estimates. Using data on 666 programs from 15 software projects, this study empirically tests a research model that studies the influence of three adjustment variables—software complexity, computer platform, and program type (batch or online programs) on software effort. The results confirm that all the three adjustment variables have a significant effect on effort. Further, multiple comparison of means also points to two other results for the data examined. Batch programs involve significantly higher software effort than online programs. Programs rated as complex have significantly higher effort than programs rated as average.     

An approach to the collection and manipulation of time-based data using the IBM PC and BASICA

With the advent of increasingly integrated, powerful and inexpensive digital electronics, relatively powerful computers have become available to the general public. Along with this technological boom there has been a concomitant increase in the availability of over-the-counter software packages which can be used by research scientists for program development. In the past, the development of computer programs for the collection of large amounts of time-based data was expensive and time consuming; however, the introduction of the current generation of 16-bit microcomputers and associated hardware and software packages has enabled investigators with only a rudimentary knowledge of computers and interfacing to begin to design programs. The schemes and algorithms, developed using BASICA on an IBM-Personal Computer, which are described in this article can serve other investigators as models for the assembly of their own programs for the collection, manipulation and plotting of time-based data. The incorporation of inexpensive computer graphics hardware and software, which provided a simple solution to the problem of analysis and presentation of large amounts of data, will also be discussed.     

基于计算机仿真的弹道导弹误差系数数据流程

弹道导弹的精度计算中,误差系数的计算具有重要的意义,在旋转地球上的误差系数计算复杂,因此有必要建立通用的计算机仿真计算模型。该文主要分析了弹道导弹误差系数的计算方法,在计算机仿真中的数据流程,为计算机仿真模型的建立奠定了基础。在已知数学模型的基础上,可以方便地在不同的仿真平台上建立仿真模型,计算各种类型导弹的误差系数,具有一定的通用性。在此基础上,可以在不同的语言平台上方便地编程实现,作者在MATLAB／Simulink的语言平台上建立的仿真计算模型,可以实现对通用的弹道导弹误差系数的计算。     

MUSYS: Software for an electronic music studio

MUSYS is a system of programs used to create electronic music at the computer studio of Electronic Music Studios, London. This paper describes the programming language employed by composers, and the implementation of its compiler and of other programs in the system. It is shown that by the use of a macrogenerator, an efficient and useful system can be built from simple software on a small computer.