XML数字签名在高校教务管理系统中的应用

作为高校数字化校园的一部分,教务管理系统正在由功能型向安全高效型转变.文中研究了在教务管理系统中利用XML数字签名取代原本需要手工签名的方法,给出了一个具体的创建证书、签名、验证的实现过程.     

浅谈数字逻辑实验教学改革

结合实验教学实际 ,对传统数字逻辑实验教学体系进行了改革 ,提出了在新形势下确立数字逻辑实验教学目标、内容、组织形式、手段和评价的措施 .     

具有完整性的控制系统设计方法

该文研究线性连续系统的容错控制问题，即设计反馈控制器，使闭环系统对可能的执行器失效具有完整性。该文利用代数方法，直接证明了期望的容错控制器的存在性，并导出了其解析表达式。最后，用数值例子说明这种方法的直接性与简单性。     

广义系统的某些性质

本文定义了广义系统的消失性,并给出了判别消失性的充要条件,进而给出了广义系统的闭环谱与其动态补偿器的谱不相交的充要条件.最后利用广义系统的一种特殊分解给出了广义系统脉冲可控的充要条件.     

节能气动系统数学模型的改进

作者曾提出一种节能近50%的节能气动系统,进行了理论与实验研究。本文重新定义特征时间 T_m~″和有效面积比 a_(?)~″,改进了它的退回阶段Ⅲ的动特性数学模型,使之能更准确地描述系统的真实特性,仿真结果与实验结果更趋一致。     

Application of the Constrained Predicated Nets and Interval Logic to Production Systems

1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya…     

STABILITY CRITERIA FOR A CLASS OF UNCERTAINSYSTEMS WITH TIME—DELAY

Some stability criteria are obtained for a class of uncertain systems with time-delay usingLyapunov functional and analytic techniques. It is easy to check the criteria by making use of theboundedness of the uncertainties.     

从系统论看服务主导型数字图书馆的人员结构

将系统理论引入数字图书馆研究中 ,介绍了数字图书馆的人员结构系统以及各个子系统的特点 .阐述了各个子系统和系统环境与用户服务之间的相互关系以及如何利用这种关系来提高数字图书馆的服务     

数字图书馆FAQ服务的探讨

探讨了在数字图书馆中逐渐普及FAQ服务的意义 .通过对国内部分图书馆主页的访问调查 ,剖析了目前国内的数字图书馆FAQ服务存在的问题 ,如缺乏对用户的深入研究 ,缺乏对问题的分析选择 ,还有设计上存在的问题等 .主张要在充分研究用户的心理和行为的基础上开发和开展FAQ服务 ,并对FAQ的开发步骤做了简要的介绍     

AVAILABILITY ANALYSIS OF THE QUEUEING SYSTEM GI/PH/I WITH SERVER BREAKDOWNS

In the existing literature of Repairable Queueing Systems (RQS), i.e., queueing systems with server breakdowns, it is almost all assumed that interarrival times of successive customers are independent, identically exponentially distributed. In this paper, we deal with more generic system GI/PH/1 with server's exponential uptime and phase-type repair time. With matrix analysis theory, we establish the equilibrium condition and the characteristics of the system, derive the transient and stationary availability behavior of the system.