线性空间上凸函数若干等价命题

本文在线性空间中的凸集上定义一种导数.应用于研究凸函数,得到了凸函数的若干等价命题.     

智能化44点啤酒发酵温度巡测仪

本文将八十年代最新研制的集成温度传感器ＡＤ５９０、８０９０单片机，可编程逻辑器件ＧＡＬ－１６Ｖ８Ａ等新器件及智能化新技术，集中应用于啤酒发酵过程的温度检测。与传统人工测温相比，具有测温精度高、稳定性好、反应快、可远距离自动检测、定时打印，减轻工人劳动强度、调节啤酒发酵温度的响应速度快等特点。     

带有p-Laplacian算子的分数阶积分-微分方程边值问题正解的存在性

研究了带有p-Laplacian算子以及变Riemann-Liouville分数阶积分的分数阶积分-微分方程的边值问题,利用锥上的不动点定理,得到了该边值问题正解的存在性结果.     

一种高吞吐低延迟片上互连网络路由器

本文提出了一种用于片上互连网络的低延迟高吞吐量动态虚拟输出队列路由器,该路由器可以利用前瞻路由计算和虚拟输出队列方案将路由器延迟减低到两个周期.仿真结果表明,与虫孔路由器和虚通道路由器相比,4×4网格上的网络吞吐量分别提高了46.9%和28.6%,并且在相同输入加速比下,性能比双缓冲虚通道路由器要高1.9%.在随机合成流量下,片上网络的零负载延迟也分别降低了25.6%和41%.设计实现结果表明,路由器的工作频率可以达到2.5 GHz.     

决策支持系统中的超媒体集成技术

目的 研究决策支持系统中的超媒体集成技术,方法 引入动态超媒体的概念,将结点,链接和链接标记扩展为虚拟确定,动态计算和过滤。利用显示子系统和控制子系统的构造超媒体引擎。结果 通过动态计算,超媒体引擎能够使用连接规则生成超媒体表示,并将其动态迭加到决策支持系统中的知识组件中。结论克服了现有超媒体技术的不足,从而用户能够借助超媒体引擎,访问各种动态信息。     

成组技术中面向对象的参数化模型

针对传统成组技术中的编码系统难以使用、编码不够精确和重用困难等问题,提出在成组技术中构造面向对象的参数化模型．该模型用类来描述零件簇,构成零件类的结构层次,生成零件描述的框架;用参数化方法从零件类实例化生成对象,以对象来表示具体的零件;查询时,以零件的特征和零件的具体参数来驱动,加速搜索的过程,并使结果更加精确;找到相同或相近零件对象后,在某个类层次上重用以前的设计．该模型的提出为成组技术的应用提供了新的途径．     

非平稳正态过程水平上穿过的期望次数

设｛Ｘ（ｔ）,０≤ｔ≤Ｔ｝是标准正态过程且以概率１有连续的样本函数。探讨了对于水平ｎ〉０过程中穿过的期望次数,给出了几个涉及相关函数的条件。     

概念设计与结构设计的信息集成技术研究

基于实例推理进行产品概念设计,基于制造知识对产品概念设计进行评价,根据评价结果提出设计修改意见,从而指导产品概念设计,获得概念设计的优化解。基于用户定义的特征进行产品特征造型和产品初步结构设计,对产品初步结构设计进行参数化处理,采用提出的双向设计方法进行参数化产品结构设计。基于所提出的信息集成协议,使概念设计获得的结果直接驱动结构设计,自动生成产品的三维装配图,初步实现了产品概念设计与结构设计的信息集成。从而解决了产品并行设计过程中的瓶颈问题,为产品设计过程的信息集成与功能集成打下了良好的基础。     

循环群上模糊子群的结构

对循环群上模糊子群进行了分类,给出了ｉ＝２时有限阶循环群上模糊子群数量的公式;证明了无限阶循环群上的模糊子群Ａ,如果Ｉｍ（Ａ）无限则不具有上确界性质。     

CIMS网络安全体系结构研究

该文提出了一种ＣＩＭＳ网络安全体系结构及设置“安全子层”的设计思想,介绍了基于该安全体系结构的５个层次的安全保障,用户安全,应用安全,端－端安全,子网安全和链路安全。限于安全防护的开销,实用的ＣＩＭＳ网络系统根据安全需求,可选择其中某些层次的若干安全服务选项,已经在实验网络上实现了有关的安全机制,提供了相应的安全服务。