基于C++考场自动编排系统的设计与实现

在考场自动编排的过程中,时刻都在检测是否冲突,一旦发生冲突,立即消除。而在系统的运行过程中,为了缩短运行时间,在前台用C Builder应用程序实现时,不能直接把SQL语句嵌入,而是把所要比较的数据导入到C Builder的控件中,这样时间可以缩短几十倍。此过程既可实现考场的自动编排,又可实现冲突检测,功能效率大大提高。     

基于自由度分析的几何约束凝聚计算方法的改进

采用基于自由度分析的方法,对几何约束问题进行求解,就是用一定的模式在图形的GCG图中,进行不断匹配、求解的过程。对最常用到的几种模式的凝聚计算方法进行了改进,特别是提出可以对非构造性凝聚模式添加部分约束,这些约束的值将作为迭代变量,对约束耦合问题进行约束凝聚,凝聚过程结束后,没有用到的约束作为迭代的目标函数,进行迭代计算,大大减少了解决复杂约束耦合问题所需要的变量数,提高了计算过程的稳定性和计算速度。     

Bresenham画圆法提取图像信息

在图像处理中, 若操作图像某区域中的像素, 必须先提取这些待处理的像素。待处理的像素区域可以是规则的, 也可能是不规则的。对于规则区域, 可采用经典的图形学算法完成选取; 对于不规则区域, 可通过适当方法将其转换为规则区域来完成选取。讨论了24位真彩色图像文件的结构、位图数据阵列中的像素与其在屏幕上显示的像素间的关系; 采用Bresenham画圆法提取图像圆形区域中的像素并将其可视化等问题。     

LFM信号限幅失真对侧扫声纳声图的影响

本文分情况讨论了LFM信号限幅失真对脉冲压缩及侧扫声图的影响并进行了湖试验证。结果表明:限幅失真对于脉压波形的主瓣几乎没有影响,即不会影响到声图的分辨率,但是会使脉压波形的幅度产生失真。当限幅程度较大时,由于信号的叠加会进一步恶化脉压波形,使脉压信号的幅度明显降低,甚至产生假目标,信号的动态变化范围被严重压缩;即使当单个信号不限幅时,而由于多目标回波相互叠加也可能会引起信号限幅,此时也可能对处理结果造成较为严重的失真,使信号动态范围被压缩。     

Analect RFX-65A红外光谱数据的格式转化和采用Internet上的免费红外光谱数据库进行匹配检索

以美国Analect RFX-65A傅利叶变换红外光谱仪为例,对红外光谱数据进行格式转化,转化成通用性很强的文本格式数据。这种格式可以被几乎所有的计算机操作平台如Windows,Unix以及常用的数据处理软件如FIGP,EXCEL,ORIGIN等识别和处理。方便红外光谱数据的处理、比较、计算、绘图等。本文还在对红外光谱数据进行格式转化后,给出了利用Internet上的免费红外光谱数据库进行样品的红外光谱的检索和匹配的方法。     

一种分阶段优化的排料算法

提出一种基于分阶段优化的排料算法.在算法的第一阶段,在排料前先估算本阶段用到的原板材尺寸和数量,将权重因子超过阅值的待排件均匀分布在其上.在排料过程中再根据待排件权重因子和组合因子动态调整空闲区域的排料布局,从而可大幅度降低排料算法复杂度,提高板材利用率.在第二阶段,将剩余待排件合理排放在原板材上,在排料即将结束时,可根据相邻因子确定排料布局以减少废料碎片.生产实践表明,这样研制出的排料系统利用率高、布局合理,能满足工业上的一刀切要求.     

ARP欺骗的自动探测、定位和隔离

ARP欺骗可以分为假冒网关和假冒计算机两种.本文实现了一种对抗ARP欺骗的架构,通过分析网关的Syslog事件,能够发现第一种ARP欺骗;通过分析路由器的ARP表,能够发现第二种ARP欺骗.在确定攻击者的MAC地址后,定位其接入交换机端口,然后关闭端口就能够隔离ARP攻击.并借助于数据库技术和SNMP协议,自动完成这些过程.     

DS-TE网络中改进的LSP抢占算法

Min_BW算法在优化被抢占移动交换路径(LSP)的优先级时,存在被抢占LSP个数多和优先级高的问题.为此,提出DS-TE网络中改进的LSP抢占算法(I_Min_BW),全面考虑可能被抢占的LSP组中LSP的个数、LSP的最高优先级以及LSP的优先级总和.实验结果表明,该算法抢占的LSP组中最高优先级小于等于Min_B...     

煤矿电气安全关键技术研究

分析了2005—2009年全国重特大瓦斯爆炸事故的火源,得出了由电气火源引爆瓦斯事故最多且达48.1%的结论,并分析了矿用电气设备的安全性能,提出了矿用电气设备的使用场所及安全要求:(1)煤矿监控、通信、控制、信号等弱电系统和设备应优选本质安全型电气设备,设备之间传输的信号必须是本质安全型信号;(2)大功率电气设备应优选隔爆型电气设备,隔爆型电气设备宜将接线腔与主腔分腔布置;(3)当瓦斯浓度达到爆炸浓度时严禁开关特殊型矿灯;(4)低瓦斯矿井井底车场等非爆炸性环境宜选用矿用防爆型电气设备;(5)煤与瓦斯突出矿井严禁使用架线电机车和矿用一般型电气设备;(6)井下电气设备的欠压保护和失压保护应有延时措施,减少局部通风机停电次数;(7)井下排水设备宜选用大功率潜水泵;(8)开关等电气设备应设置在全风压进风处,若不能满足,必须设置甲烷传感器,并具备甲烷超限断电闭锁功能。文章对提高煤矿电气安全性、避免或减少瓦斯爆炸和淹井等事故发生具有指导作用。     

Determining operations affected by delay in predictive train timetables

Constructing train schedules is vital in railways. This complex and time consuming task is however made more difficult by additional requirements to make train schedules robust to delays and other disruptions. For a timetable to be regarded as robust, it should be insensitive to delays of a specified level and its performance with respect to a given metric, should be within given tolerances. In other words the effect of delays should be identifiable and should be shown to be minimal. To this end, a sensitivity analysis is proposed that identifies affected operations. More specifically a sensitivity analysis for determining what operation delays cause each operation to be affected is proposed. The information provided by this analysis gives another measure of timetable robustness and also provides control information that can be used when delays occur in practice. Several algorithms are proposed to identify this information and they utilise a disjunctive graph model of train operations. Upon completion the sets of affected operations can also be used to define the impact of all delays without further disjunctive graph evaluations.     

高校非计算机专业计算机基础教学探讨

计算机基础教学是高等教育中必不可少的基本内容,它对于培养学生掌握计算机的知识和技能,提高学生的基本素质都具有十分重要的意义,本文分析了高校计算机基础教学目前存在的一些问题,结合转变观念,建立完善的教学体系、加强师资队伍建设,提高教学能力、完善教学方法,提高教学质量、分层次教学,实现有针对性教学、构建网络现代化教学平台等几项计算机基础教学改革措施进行探讨。     

基于信息安全理论和模型的安全需求分析

本文在论述了上述信息安全理论和模型之后,阐述了如何运用信息安全理论和模型进行安全需求分析,从而得出一个层次清晰、定位准确、关系明了的安全需求集。这种方法可以避免安全需求分析时容易产生的盲目性和片面性,能够全面和综合地把握整体安全需求,有助于选择适度和足够的安全措施,防止设计上的安全漏洞,以保证整体安全。     

Elements of formian

Formian is a programming language which may be used for the preparation of engineering data in many disciplines. In particular, Formian may be employed to generate information about various aspects of a structural system including element connectivity, nodal coordinates, loading particulars, joint numbers and support arrangements. The information generated may be used for graphic visualization of the structural system or may be submitted as input data to an analysis package. Formian is based on the concepts of formex algebra allowing structures to be modelled in a concise and readily understood manner, manner. The data may be generated in terms of parameters and this feature is particularly useful in optimisation processes. Furthermore, the generated data may be stored in the form of a ‘rule’ and thus complete information about a structural system may be represented in a few lines of formulation. This allows data to be modified easily and provides a convenient means of keeping the information for future reference. The objective of the paper is to introduce the commonly used elements of Formian in an informal manner. No previous knowledge of formex algebra is required for understanding the material presented.     

The modeling of socio-economic-resource systems

It has been recognized that social considerations, such as population growth, should be included in economic models if they are to be used over long time periods; the present emphasis on problems of natural resource limitation leads to an argument that resource systems should also be included in economic models. Procedures of modeling are important; in fact, a model of model-making may be developed.Socio-economic-resource models may include aspects of econometric, input-output and system dynamics modeling, together with optimization techniques. Somewhat different models for long- and short-range forecasting may be used in conjunction with one another. And, the recognition that transnational corporations, cartels and both user and consumer organizations may be larger than many countries means that they should be included in many large socio-economic models.     

Using axial dimensions to determine the proportions of line drawings in computer graphics

The axial dimensions in an engineering drawing can be used to determine line length so that the drawing will be to scale unless out of scale dimensions are explicitly used. In addition, over and under dimensioning can be detected. Therefore changes can be made to the dimensions and the drawing will be changed automatically. This technique has been used for local scaling of both in-line and out-of-line subpictures.     

按字节操作的DVD检错码解码器的实现

介绍用于DVD播放机的检错码(EDC)的解码器结构，EDC直觉上可以用基于比特的操作解码，但由于在DVD解码芯片中对数据的操作都是基于字节的，故需要变换到基于字节的操作。本文推导了基于字节操作的DVD EDC解码器的反馈公式，设计采用了一个结构清晰的反馈移位寄存器实现DVD EDC的解码器，并分别用Verilog实现了DVD EDC的解码。     

Systems of the 5th generation and their impact on the qualification,training, and retraining of management

The introduction of 5th generation systems means that new tasks must be assumed by management. Information will become a product. The industrial society is on the way to an information society. Information has to be evaluated and must be introduced in balance and profit and loss sheets. Information managers must be members of the board of directors. The concept of an information center allows the concurrent handling of decentralized organization and data processing structures and central information gathering. Expert systems will support managers mainly in planning and decision making. Modelling and simulation of company behavior will be utilized as an important means for decision support. Management has to be introduced to the capabilities and limits of flexible and knowledge-based systems through continuous education.     

Usage Counting Analysis for Lazy Functional Languages

If it can be determined at compile-time how many times values will be used within lazy functional programs, a number of useful optimisations can be performed. For example, call-by-need parameter passing can be converted to call-by-name, and in-place updating and compile-time garbage collection can be performed. In this paper, it is shown how this usage counting information can be obtained by static analysis. This analysis is not itself a major contribution of this paper; similar analyses have been defined before. The major contributions of this paper are that it provides a framework against which this analysis can be proved correct for a lazy functional language, and the analysis is proved to be correct with respect to this framework. The framework for proving the correctness of the analysis is provided by defining a store semantics which counts the number of times values are used.     

CAI: Program and programming techniques that utilize the microcomputer as an interactive audio-visual device

Choosing the concepts that are to be taught by this computer assisted technique is not difficult to do. Look for topics, concepts, problems that are time consuming to teach. The production of complex and elaborate diagrams that would normally be drawn on the blackboard, can be done on the computer before the lesson. Concepts that have to be covered many times during a semester are candidates for such a process. Through this process, and as the years pass, more and more programs can be added to the instructional library.Even though some programs will have to be modified and others will be rejected as unsatisfactory, the computer will have become an integral and indispensable part of the instructor's lesson plan. This must be one of the major goals of this paper. Some of the other goals might be the following: the improvement of the instructional process, the demonstration of the practicality of using computers in the classroom, overcoming the natural reluctance of most teachers for using computers, and proselytizing its use to other instructors, especially in fields other than the sciences.The author encourages those that are interested in acquiring the programs or those who wish to discuss these and other techniques to contact him.     

Modelling and parameter estimation of a ship boiler

This paper deals with the identification and parameter estimation part of an adaptive control system for a ship boiler. The adaptive control system should be of such a form that it could be implemented on a minicomputer and easily adjusted to other ship boilers with similar characteristics. A nonlinear model of the process, suitable for parameter estimation purposes will be presented and the Extended Kalman filter approach to the estimation problem will be studied. Results based on plant measurements and simulations will be given.