基于COOZ对UML的类结构的形式化

为面向对象的模型建立坚实的形式化基础是近年形式化研究的热点。一旦提供了对面向对象模型概念的精确描述后,就可以对OO模型的行为和结构进行清晰的分析。统一模型语言（UML）是为建立统一的面向对象开发方法的有益偿试,它是在已有的三大OO方法学的基础上抽象出来的模型语言。文章结合作者正在进行的对Z语言的OO扩展COOZ,对UML的类层次结构进行精确的形式化描述。     

面向大规模定制的个性化推荐研究

分析了面向大规模定制的个性化推荐的特征,并给出了基于关联规则挖掘的个性化推荐模型.模型中的关联规则代表了客户特征与产品属性之间的关系,包括基于全部客户定制历史记录的基本规则和基于特定用户的定制历史记录的个性化规则.针对现有关联规则研究应用的关联规则存在知识冗余,规则数量太多的问题,提出最强关联规则的概念并将其应用于大规模定制的个性化推荐.最后,采用著名的个性化推荐数据库MovieLens数据,给出应用实例,验证了本方法的效果.     

一种改进的协同过滤推荐算法

电子商务的蓬勃发展,使网站中能够提供的商品种类日益繁多,如何迎合客户的兴趣来推荐商品,成为当前电子商务亟待解决的重点问题.协同过滤作为目前推荐系统应用中最为成功的个性化推荐技术,也得到了越来越多研究者的关注.文章在简要介绍传统协同过滤推荐算法的基础上,重点对推荐算法无法适用于用户多兴趣下的推荐问题进行了剖析,提出了一种基于用户多兴趣的协同过滤推荐改进算法.通过实验仿真,验证了该算法的有效性.     

略论抽象、概括和归纳及其关系

抽象、概括和归纳是认识事物本质和规律,形成科学知识的三种重要的思维工具。三者在思维过程中交互融合,密不可分,也容易界定不严,相互混用。抽象、概括和归纳的含义与作用各不相同。抽象是抽取事物或现象的本质属性形成概念;概括是对概念的操作与运用;归纳是对命题的推理。抽象还是概括和归纳二者的基础。     

基于PSD技术的位置自动检测系统

介绍一种以位置敏感器件(Position Sensitive Detector，PSD)为核心构成的位置自动检测系统。概述了光电位置传感器的工作原理和特点，分析了输出信号与位置参数的关系．论述了信号和数据处理系统的硬件组成与软件功能．并给出了系统的主要参数。     

毫米波段的一分八路Wilkinson功分器设计

设计了一种在35 GHz毫米波段的一分八路Wilkinson功分器.使用HFSS软件对功分器进行仿真,通过对传统的Wilkinson功率分配器的改进,详细介绍了二功分器以及八功分器.设计的毫米波功分器具有体积小,频带宽的特点;具有较好的性能指标:在32~36 GHz范围内,参数S21~S91在-9~-9.5 dB之间,S11小于-15 dB.     

4-硝基苯基-2''''-溴乙醚的合成

4-硝基苯基-2＇-演乙醚是甲烷磺酰胺苯乙胺类抗心率失常药多非利特（Dclfetilide）的中间体。该化合物以对硝基苯酚和1，2-二滇乙烷为原料经Williamson反应而成，本文对该反应的溶剂、温度、时间、配比等条件和抑制副反应的方法进行了探讨，得到了收率高、质量好、操作简单、三废较少的适合工业化的工艺条件。     

CRTM云模式的建立与敏感性试验

云污染会严重影响云区辐射的模拟,导致大量云区卫星资料被废弃。结 合快速辐射传输模式(Community Radiative Transfer Model, CRTM)的应用现状以及 红外遥感原理,对CRTM模式中的辐射传输模块进行了修改,并提出了能够模拟云 区红外辐射的CRTM云模式。利用CRTM云模式模拟了高光谱大气红外探测 器(Atmospheric Infrared Sounder, AIRS)的通道亮温,并针对云模式中新增的参数进行了 敏感性分析。结果表明,随着通道高度的下移,对卫星接收辐射贡献较大的大气层也在下移,偏 差大值区所处的高度也越来越低;在偏差大值区中,偏差值会随着云量的增加而增大,直到全云覆盖时,偏 差值最大;云量较大时,输入的温度廓线的垂直变化会引起云顶发射辐射产生相同的垂 直分布,这与用CRTM云模式模拟出的亮温随云顶高度抬升而出现的垂直变化一致;用CRTM云模 式模拟的亮温值对新增的云量和云顶高度参数的敏感性较强,符合大气红外辐射传输的规律。     

用PROG111做船舶全自动雾笛控制器

雾笛和雾灯是船舶在雾天航行或锚泊时,实现对外联络的重要装置。由于经济、技术等各方面的原因,目前在中、小型船舶上使用的全自动雾笛控制装置中,大多是采用数字电路作为核心器件的控制装置,甚至还有使用时间继电器为主的继电控制装置。这些装置都存在有安装调试不便、故障率高、维修困难等不足。采用PROG111为核心构成的全自动雾笛     

移动自组网基于动态簇的MAC协议与QoS路由

论文针对移动自组网提出了一种基于动态簇的MAC协议和QoS路由算法,使用全分布式动态簇生成算法实现了对网络拓扑的分簇与维护;利用正交编码原理和蜂窝小区技术实现了基于动态簇的MAC协议;融合资源预留、移动预测和后备路径技术实现了具有QoS保障的路由算法。仿真结果对比表明:在满足QoS条件下,它提高了路由效率。