合成2－环戊基环戊酮香料单体的新方法

利用尼龙酸副产物２－亚环戊基环戊酮在连续管式反应器中以Ｎｉ、Ｃｕ／Ａｌ＿２Ｏ＿３催化氢化生成２－环戊基环戊醇。２－环戊基环戊醇与丁二酸酐反应生成丁二酸环戊基环戊醇单酯钠盐水溶液，用环己烷萃取出联苯、联苯醚等有害杂质，再使２－环戊基环戊醇经琼斯试剂氧化为合乎香料、香精要求的２－环戊基环戊酮香料单体。     

物联网软件体系结构中的感执模型的求精

物联网的基本功能是感知物理环境,并根据实时的感知信息和用户的执行需求实现对物理环境的控制.因此,感执模块是物联网软件的核心模块.为最终将软件体系结构应用于物联网软件的开发,在基于物理模型的物联网软件体系结构（physical-model driven software architecture,简称PMDA）研究的基础上,对PMDA 中的感执模型SEM进行求精,求精后的感执模型称为R-SEM.R-SEM 考虑了物联网的特有属性,将SEM的内部构件按照物理应用的感执工作流程分解为用通信顺序进程（communication sequential process,简称CSP）表达的子构件来说明构件端口的功能实现,并采用CSP 中的导管运算符来说明子构件的端口与构件的端口之间的同步,通过CSP 描述了子构件与子构件之间的交互.使用进程分析工具（process analysis toolkit,简称PAT）对R-SEM 进行了验证.验证结果表明：R-SEM 中子构件之间的交互、子构件的端口与构件的端口之间的同步保持了SEM 所具有的保证物理应用之间有效互联的性质——不死锁、不中止和不发散.由于R-SEM 精化了SEM 的内部组成,且保持了SEM 的有效互联性质,因此,R-SEM 对最终将PMDA 应用于物联网软件的开发具有实际的指导意义.     

基于Modbus总线的船舶电站实时监视系统通信软件设计

随着船舶电站自动化程度的不断提高,船舶电站电力系统对监控系统的依赖也越来越高。它不仅要显示船舶电站的基本运行参数,而且要对电力系统出现的不正常情况、故障情况和紧急情况有一个实时监视与预测,甚至可实现必要的控制。船舶电站监控系统的关键技术是通信技术的实现。目前,现场总线技术在船舶电站集控系统中占有重要的位置,本文探讨了分层网络分布结构的船舶电站系统,提出了基于Modbus现场总线的实时监控系统的实现方法。     

一个高质量汉字笔划字形到轮廓字形的转换系统

本文介绍一个基于三阶Ｂｅｚｉｅｒ曲线的字形转换系统ＳＯＣＳ（ｓｔｒｏｋｅｔｏｏｕｔｌｉｎｅｃｏｎｖｅｒｔｉｏｎｓｙｓｔｅｍ）．该系统作为汉字字形设计系统ＣＣＤＳ（Ｃｈｉｎｅｓｅｃｈａｒａｃｔｅｒｄｅｓｉｇｎｓｙｓｔｅｍ）的后端，把ＣＣＤＳ产生的多笔划曲线轮廓字形数据加工成整字曲线轮廓字形数据．其结果适于多种高精度输出，如Ｐｏｓｔｓｃｒｉｐｔ印字机．ＳＯＣＳ系统具有一定的通用性，它不只限于接受ＣＣＤＳ的加工结果，还可以作为独立的系统使用．     

上下文无关语言分析树的一种表示形式

介绍了上下文无关语言（ＣＦＬ）的句子的一种分析树表示,它适用用于一类与以往不同的ＣＦＬ的应用,即对分析树空间效率要求较高且不需标记分析树的应用,典型的就是把ＣＦＬ的句子用作算法加工对象,这种表示比传统分析树不仅空间较小,而且进行结构匹配的快速快,还介绍了这种分析树表示的实现技术。     

简单模式的一种匹配方法

模式匹配是包括LFC在内的大多数函数式语言都具有的特点。文章在LFC语言现有的模式匹配实现方法的基础上,结合常用的模式匹配树的构造思想,设计了一种模式匹配方法。这种模式匹配方法通过计算给定模式集合的扩展集合来构造模式匹配树。虽然在最坏情况下,该方法与LFC现有实现的空间复杂度一样,但当函数定义是部分构造式,而定义中的非项模式覆盖了较多项时,这种模式匹配方法可以避免LFC语言现有实现中较大的编码空间。这个方法略作修改即可用于复杂的嵌套模式,是一种通用的模式匹配方法。     

天文-惯性组合导航技术在高空飞行器中的应用

综述了天文-惯性组合导航在高空飞行器中的应用和发展概况,在分析了国内外装载天文导航系统(CNS)/惯性导航系统(INS)的航空飞行器基础上,从工作环境、组合模式、导航解算等方面分析了CNS/INS的技术性能,指出CNS-INS组合导航更适用于执行长航时、高空飞行的航空飞机,能够满足航空飞行器对高精度导航系统的需要.概括了CNS/INS导航的特有优点,提出了发展CNS-INS组合导航的必要性,讨论了今后机载CNS-INS组合导航技术的研究发展方向.     

采用了剪枝优化的子类型关系判定算法

静态类型化XML处理语言为处理XML数据提供了新的途径,但现有的此类语言大多数效率较低.研究此类语言的一个重要问题——子类型关系的判定,并使用剪枝优化策略对XDuce的子类型关系判定算法进行优化.实验数据显示,优化后算法的执行效率平均提高20%.该策略具有普遍性,对所有使用类似算法的静态类型化XML处理语言都有效.     

物联网关键技术与应用

物联网因其巨大的应用前景而受到各国政府、学术界和工业界的广泛重视.介绍了物联网的概念、基本属性和特征,描述了物联网的体系构成、发展阶段及趋势.以传感器网络为例详细论述了物联网的关键技术,最后以环境监测为例,说明了物联网的典型应用.     

一个支持规约获取的形式规约语言

该文介绍了形式规约语言LFC设计的一些主要方面，并通过例子说明了LFC的一些特色。形式规约语言LFC是为支持软件形式规约的获取工作而开发的。该语言以一种新的递归函数，即定义在上下文无关语言上的递归函数为基础，以上下文无关语言为数据类型，在语言级支持规约获取。LFC语言已被用作形式规约获取系统SAQ的一部分。使用表明，LFC是一个能力强、易使用的语言，适合软件形式规约获取之用，并且适合其它一些用途。