多总线的采煤机齿轮箱试验台监控系统设计

针对采煤机齿轮箱试验台的分布和数据传输的要求,设计了一种多总线的采煤机齿轮箱试验台监控系统,详细介绍了该系统的拓扑结构和通信的实现。基于各种通信协议的特点,该系统采用Modbus,Profibus-DP,TCP/IP总线方式实时采集现场数据并传输到主控制器,实现了数据的远程监控;基于组态软件WinCC开发出系统的通信状态监测界面,实现了通信状态的实时在线监测,方便工作人员及时了解整个系统的通信状态。     

Automaton Modeling of Processes of Formation and Splitting of Collectives

The problem of determination of the conditions of formation and splitting of a collective (a team) and the problem of determination of the response of a dynamic automaton to specified input processes are shown to be equivalent. Based on this fact, an automaton model of a collective is constructed. The apparatus of continuous logic and logical determinants are used to analyze the model.     

某矿区防雷改造措施分析

针对某矿区220kV线路根据雷电分布图采取的差异性防雷措施效果不理想的问题,分析了风速对线路绕击性能的影响;并结合风速风向和雷电分布图,对该矿区采取以下防雷改造措施:在与风向垂直的线路区的背风侧安装线路避雷器防绕击;对属于危险区域且线路与季风垂直的区域,采用防低接地电阻和安装线路避雷器防反击和绕击;对属于危险区域但受季风影响不是很大的区域,降低杆塔接地电阻防反击。实际运行效果表明,采取防雷改造措施后该矿区线路取得了较好的防雷效果。     

中小企业计算机网络的构建

该文针对如何构建中小企业网络的问题,给出了一个方法,还就如何解决网络过程中的设备选型,网络速度,防毒防黑等问题,给出了一些自己的想法。     

两种程控数字交换机割接的实现方法

为优化网络资源配置,提高设备实占率,要求非主流机型NEAX61∑程控交换机退网,并介绍了由NEAX61∑割接至主流机型S1240程控交换机的实现方法。     

ECI网管安全与稳定性的改进

对于通信公司(比如中国电信)来说,通信网络的安全稳定无疑是最重要的一件事情,没有了安全与稳定,其他一切都是空谈.本着从维护通信系统的安全稳定出发,针对湖南电信ECI网管的数据安全,从操作系统的恢复和网管中通信设备的电路数据库的备份2个方面进行阐述,重点讨论了如何实现网管数据的全自动备份,并将代码编写成脚本.     

程序时序属性的自动测试

测试预言是一种用来检测被测系统的测试执行是否正确的方法。文中，作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。首先，作者将一线性时序逻辑公式转换为一个有限状态自动机，然后，管理源代码，以便抽取与线性时序逻辑性质有关的状态序列。最后，用谊信息来模拟状态自动机，并决定程序执行是否满足线性时序逻辑的性质。     

毕业生就业率预测及质量评估研究

本文针对我校毕业生历年就业数据的变化特点,采用多项式回归和多元线性回归两种不同的算法对就业数据进行数学建模,进而实现就业率的预测,并且利用残差对两种模型的质量进行了分析评估。     

基于窗口按钮的用户权限管理

比较现有MIS中常见的权限管理解决方法，提出了一种新颖的数据库设计方案，记录用户对其授权菜单对应窗口的权限值，并设计了以窗口中按钮的操作权限为目标，给用户分配权限的系统管理模块，成功地解决了细化到窗口按钮的用户权限管理问题。     

Translation separability of sets of polygons

We consider the problem of separating a set of polygons by a sequence of translations (one such collision-free translation motion for each polygon). If all translations are performed in a common direction the separability problem so obtained has been referred to as the uni-directional separability problem; for different translation directions, the more general multi-directional separability problem arises. The class of such separability problems has been studied previously and arises e.g. in computer graphics and robotics. Existing solutions to the uni-directional problem typically assume the objects to have a certain predetermined shape (e.g., rectangular or convex objects), or to have a direction of separation already available. Here we show how to compute all directions of unidirectional separability for sets of arbitrary simple polygons.The problem of determining whether a set of polygons is multi-directionally separable had been posed by G.T. Toussaint. Here we present an algorithm for solving this problem which, in addition to detecting whether or not the given set is multidirectionally separable, also provides an ordering in which to separate the polygons. In case that the entire set is not multi-directionally separable, the algorithm will find the largest separable subset.Research supported by NSERC under grant No. A9173 and A0392, respectively