简述Statecharts的CASE工具SuperState

在介绍基于Statecharts语言的验证工具SuperState的编辑环境的基础上,简述SuperState工具中主要部分的实现思想,即采用静态分析和动态仿真保证设计模型的正确性.     

一种Rdb/VMS数据库通用数据装载工具

本文提出并实现了一种在VAX机环境下的Rdb/VMS数据库通用数据装载工具,讨论了设计思想与实现技术.实践表明,它能自动生成任一Rbd/VMS数据库中任一用户关系的数据装载程序,具有实用性和通用性.     

教学软件 VACAI 及其生成工具的设计与实现

本文介绍了在ＶＡＸ／ＶＭＳ环境下开发的ＶＡＸ宏汇编语言辅助教学软件ＶＡＣＡＩ的数据组织、设计思想和实现方法。叙述了能够快速有效制作课件内容的工具。     

基于三维特征的微机电系统器件结构设计方法

提出了一种表面硅微器件结构设计方法，解决了目前微机电系统（MEMS）结构设计中直观性差、工艺难度大等问题．该方法将三维特征建模的设计思想运用到MEMS设计中，在建立三维特征库的基础上实现了器件结构的快速直观设计．通过三维设计软件SolidWorks的用户接口开发的应用程序不仅实现了从器件结构中自动提取掩膜版和工艺流程，而且消除了人工设计掩膜版和工艺流程的繁琐过程．应用实例表明，与传统的通过掩膜版设计MEMS器件结构的方法相比，该方法简洁、高效，更符合设计者所看即所得的思维方式．同时，SolidWorks软件作为开发MEMS辅助设计工具的基础平台，可以省去开发几何造型模块的任务，从而为新一代MEMS辅助设计工具的开发提供了新的思路．     

电子线路课程CAI教学课件研究

该文介绍了"电子线路"课件的设计原则、设计环境、设计思想、总体设计及详细设计与实现,本课件利用Authorware等多媒体工具进行课件的开发。在制作多媒体课件的过程中,恰当地使用了图形、图像、声音、动画等多媒体信息,能很好地帮助学生理解教学内容,提高学习兴趣,促进知识的掌握。     

基于JSP和Servlet网页自动生成工具的设计与实现

本文讨论了基于模板和标签库的JSP和Servlet网页自动生成工具的设计和实现,提出了一种具体的设计思想和实现方法。     

一个用户界面工具环境的研究与设计

从理论和实现的角度,探讨了一个用户界面工具环境的设计,为解决界面与应用语义的适当分离提供一种可行方案。该工具环境采用分层体系结构,在○-○图形表示的基础上,利用属性文法对用户界面进行形式描述,并最终实现一个集成化的用户界面自动生成工具环境。     

<时序逻辑电路>CAI课件的设计及实现

依据教学设计理论,从教学目标、教学策略、导航策略和界面设计４个方面,阐述了《时序逻辑电路》ＣＡＩ课件的设计思想;利用Ｗｉｎ９５环境下的ＶＢ４．０可视化软件开发工具,从文本、图形、动画、导航图及界面转换等方面,介绍了课件实现的手段     

《时序逻辑电路》CAI课件的设计及实现

依据教学设计理论,从教学目标,教学策略,导航策略和界面设计４个方面,阐述了《时序逻辑电路》ＣＡＩ课件的设计思想;利用Ｗｉｎ９５环境下的ＶＢ４．０可视化软件开发工具,从文本,图形,动画,导航图及界面的转换等方面,介绍了课件实现的手段。     

面向自顶向下设计的三维特征建模技术研究

针对现有三维CAD工具在自底向上产品设计建模方面存在的不足，提出了自顶向下的特征建模方法，包括六个层次，即功能层、概念设计层、装配层、零件层、特征层和B-rep层．在概念层设计上，用三维约束系统建立了自顶向下的设计环境，提出了以特征为核心的信息模型解决方案，形成了一套完整的特征造型系统．运用面向对象的分析、设计方法，初步实现了一套面向自顶向下设计过程的三维CAD原型系统．     

关于农业区划地图集中的统一协调问题

图集的统一协调,对图集质量有很大影响。本文是作者在编制北京市农业区划地图集的实践基础上,根据地图信息传输论的观点,对农业区划地图集的统一协调的内容及方法进行了探讨。试图总结编制这类图集的统一协调模式,以供读者编图时参考。     

民间法正义观的转型

研究了国家法的抽象正义观与民间法的情理正义观,认为西方国家法的抽象正义观与东方民间法的情理正义观存在实质的不同,原因在于思维方式、超验与经验传统、政治结构的差别。在现代法治理念下,传统民间法所代表的正义观将向混合正义观转型,西方法治所代表的国家法抽象正义观是其骨架。     

关于一维非自治时滞系统点态退化一例

给出了一维非自治时滞系统点态退化的一个例子,拓宽了该领域的研究。     

十二烷基苯硝化选择性的测定

利用对位异构体的对称性由核磁共振氢谱测定了工业十二烷基苯在硝硫混酸中的硝化选择性，发现一硝化产物中对位异构体的比例为７５％￣８０％。以月桂酸和苯为原料，经氯化、酰化和还原合成了正十二烷基苯。在同样条件下研究了正十二烷基苯的硝化，由核磁共振氢谱和气相色谱分析，发现一硝化产物中对位异构体的比例仅为６０％。根据空间位阻效应，对结果进行了讨论，并与甲苯，乙苯，异丙苯等短链烷基苯的硝化结果进行了比较。     

YBCO掺杂效应研究

介绍了YBCO掺杂的基础知识,总结了YBCO各个位置采用典型元素掺杂而导致的超导电性和结构的变化,阐述了掺杂对YBCO的重要影响,并简介了当前YBCO掺杂效应研究中的几个热点问题.     

A_5的一类12阶子群的构造

由于有限群的Lagrange定理的逆不成立,因此,n较大时要确定n次交代群An的所有子群或对An阶数的每一个正因数,确定是否存在这个阶数的子群是较困难的问题.文章通过对5-循环置换各次方幂的计算及其研究,构造出了A5的5个12阶子集,并证明了每一个子集都是A5的12阶子群,最后对A5的部分阶的子群做了总结.     

高频机组基础振动检测分析

为了找出诱发高频机组基础不良振动的原因，从基础计算模型方面对基础激励与响应进行了分析，以两个高频机组基础为动测实例，经模态分析得出钢筋混凝土构架式基础竖向1阶振动与电机产生共振；应用功率谱法对动力机组及基础平台进行动测，得出平台异常响应频率66Hz为水泵工作频率，调整机器的工作频率可避开不良振源影响，达到明显的减振效果。由此而知，动力机器基础出现不良振动时，不可盲目改变结构的动力特性，应在机器不同工况比如：停机、起机及正常转速下，对机器及基础进行动测并对振动信号进行比较分析，以制定出行之有效的减振方法。     

圈幂补图的树宽

基于“前沿分支”的观点研究了圈幂补图的树宽，首先确定了它的树宽下界，又给出了达到此下界的标号，从而得到了它的树宽表达式。     

鸡法氏囊病及其防治

报告鸡法氏囊病的流行状况，主要症状，剖检情况及诊断，提出了综合性防治措施。