论文部分内容阅读
XYZ／ADL是一种基于时序逻辑语言XYZ／E的可视化体系结构描述语言。文章使用XYZ／ADL对高校选修课管理系统的体系结构、客户端组件及服务器端组件进行了抽象描述，并对服务器组件中选课这一事件进行了详细描述。
基于XYZ／ADL描述的选修课管理系统体系结构
【摘 要】
：
XYZ／ADL是一种基于时序逻辑语言XYZ／E的可视化体系结构描述语言。文章使用XYZ／ADL对高校选修课管理系统的体系结构、客户端组件及服务器端组件进行了抽象描述，并对服务器组件中选
【机 构】
：
重庆师范大学数学与计算机科学学院
【出 处】
：
云南师范大学学报：自然科学版
【发表日期】
：
2006年4期
【基金项目】
：
国家自然科学基金资助项目（60073020）.
其他文献
利用静态球对称黑涮引力自旋场的统计熵，导出静态球对称黑洞引力自旋场的辐出度，得到了黑洞的辐出度与黑洞视界温度的四次方成正比的结论．发现Stefan-Boltzmann系数不同于平直时
介绍了柴木铁路工程的施工条件与特点,提出了多年冻土区钻孔灌注桩施工技术。
The construction conditions and characteristics of Chai Mu railway project are introduc
综合分析同轴线电容近似计算方法，推导出正边形同轴传输线特性阻抗的近似计算公式，实例计算了正三边形、正四边形、正五边形、正六边形、正七边形、正八边形同轴传输线的特性阻
从高校合并对图书馆采编部门的影响出发,探讨了高校合并给分编人员带来的挑战,提出了提高编目员素质的几点建议。
文章推导出复杂边界条件下二维Helmholtz方程的差分公式，实例分析了列车对矩形隧道和半圆形隧道中电磁波截止频率的影响、列车-矩形隧道中主模的衰减常数。实例计算结果表明：有
分析了当代大学新生在心理健康方面存在的主要问题及其产生的原因,从6个方面提出了相应的调节方法和解决措施。
文章从污染物排放的总量控制与初始排污权的分配方面分析了排污交易市场的管制机制问题，分析的结论表明：政府管制排污权交易市场的目标是在成本最小化的条件下调整厂商的数量和
通过美国INTLLTION公司开发的FIX软件在太原一电厂操作仿真培训系统成功应用的实例,阐述了IFIX的基本功能,介绍了应用IFIX系统进行组态的过程、经验和体会。
阐述了图书馆软实力的含义，指出图书馆软实力的核心是馆员，论述了提高馆员素质的3个主要途径。
文章主要通过文献资料、问卷调查、访谈、数据统计等方法对云南基层体育行政部门的经费问题进行研究，指出当前云南基层体育行政部门经费匮乏的现状，分析这种现象产生的原因，并针