The Problem of Periodic Solutions for a Class of Dynamical System（Ⅱ）

51.IntroductionLetK:R"XR"-Rbeasmoothfunctionwithi)K(q,p)isevenandstrictlyconvexinP,VqeR"lii)K(q,6)=o,VqeR".Supl>oseV=R"-Rbeasmoothfunction,t:R"-R"'(,n<)l)beaSubmersiveoperator.WIlereR",R,.arendimensionalEducli(leanspace,qeR",PeR",C(q)=(C,(q),C,(q),-.'C.,(q)).DenoteH(q,p)=K(q,p) V(q).Throughoutthispaper,weletZ(=(q,p))=6betheequilibriumpointofthefollowingsystem-ForoperatorC,wedefinethespeedoperatorofCisWhere,CisconsideredCorr,rristl1e1>rojeclionoperatorfromR"XR,,toI{.,anddf(z)…     

规范变换与有限维可积系统间的变换

本文表明，利用两个特征值问题的规范变换，不仅可以建立和它们相联系的势的约束之间以及相应的有限维Ｈａｍｉｌｔｏｎ系统间的变换关系式，而且可以由一个可积系统的对合守恒积分导出另一个系统的守恒积分     

指数二分性与自治奇摄动系统的退化同宿分支

利用指数二分性理论和泛函分析方法，我们研究了自治奇摄动系统的同，异宿轨道的存在性，给出了高维奇摄动系统从退化系统分支出同异宿轨道的Ｍｅｌ－ｎｉｋｏｖ型函数。     

资源共享方式若干问题的研讨

社会公用服务系统和工程技术系统，存在共同的资源共享问题。本文通过典例就资源共享方式的若干问题加以探究：讨论广义的多用户系统中人工资源共享方式的分类；阐述常用的共享方式的特点、优缺点；分析系统时间性能及其改进与共享方式的关系等。文章还提出在系统工程范畴里，应对社会公用服务和工程技术两类系统的资源共享方式予以综合研究，并相互借鉴和移植。     

基础J^＊系统的一种扩张—Lukasiewicz系统

研究模糊命题演算的形式演绎系统J^*和Lukasiewicz命题演算系统Lu,提出基础系统J^*-BJ^*系统，证明BJ^*系统的一种扩张与Lukasiewicz系统之间的等价性，从而为J^*系统和BJ^*系统提供了一个应用实例。     

Optimization of a Cryogenic System at Temperature 2 K for the PKU-FEL Facility

The conceptual design of a cryogenic system at temperature 2 K for the Peking University Free Electron Laser （PKU-FEL） facility is carried out. In order to minimize the scale of the cryogenic system and the running cost, the superconducting accelerator and the superconducting injector will mainly run at a long-pulsed mode. Optimization of the 2-K cryogenic system is carried out based on the heat load estimation and running parameters. Total cooling power of 52.5 W for the long-pulsed mode is necessary for the PKU cryogenic system. The PKU cryogenic system will be the first 2-K system for accelerators in China and will provide experience for similar facilities.     

Chaos Synchronization Criterion and Its Optimizations for a Nonlinear Transducer System via Linear State Error Feedback Control

Global chaos synchronization of two identical nonlinear transducer systems is investigated via linear state error feedback control. The sufficient criterion for global chaos synchronization is derived firstly by the Gerschgorin disc theorem and the stability theory of linear time-varied systems. Then this sufficient criterion is further optimized in the sense of reducing the lower bounds of the coupling coefficients with two methods, one based on Gerschgorin disc theorem itself and the other based on Lyapunov direct method. Finally, two optimized criteria are compared theoretically.     

T-RBAC访问控制模型及其约束描述语言

一种结合了基于任务的访问控制模型TBAC和基于角色的访问控制模型RBAC特点的新型访问控制模型-T-RBAC.该模型采用了以任务为中心的"用户-角色-任务-权限"的四级访问控制结构,较好地解决了当前工作流系统中存在的安全性问题.此外,在新模型的基础上设计了一套描述约束机制的语言ETCL,该语言在RCL2000的基础上扩充了时间特性和任务的概念,使新模型具备了较完整的约束描述能力.     

��������ϵ�Դϵͳ����������ʵ���о�

HT-7中性束诊断电源系统的计算机控制系统由PLC、工控机、逻辑控制和定时单元等组成。对起弧、束流引出等实验进行了研究。在多种参数下,通过调节弧压、进气量等观察了其对弧流的影响。初步实验结果表明,在高压35kV、弧流80A的情况下,束电流可以达到3.6A,引出的中性束流功率可以稳定地达到50kW以上。     

纵向阻尼系统的一些问题讨论

本文论述了探测束团相位以控制校正电压的纵向阻尼系统的有关问题。结果表明，如果直接用测得的束团相位偏离△ψ去控制校正电压，则阻尼效率极低。