基于环境变迁的构件组合模型

Internet为分布构件的重用提供了平台，准确、高效的构件组合是新型软件生产的重要环节．针对新一代的软件模型．网构软件，本文首先建立了构件的环境本体，并提出将变迁图作为刻画环境本体的模型；其次提出了基于环境及其状态变迁的构件描述框架；然后针对网构软件的特征，提出了基于环境变迁的构件组合算法，最后用具体的案例展示了算法的可行性．     

基于概率主题模型的物联网服务发现

针对物联网中服务数量的大规模性、服务描述的异构性以及设备服务的资源高度受限性和移动性等特点,提出了一种基于概率主题模型的物联网服务发现方法.该方法的主要特点是：1） 利用英文Wikipedia 构建高质量的主题模型,并对类似短文本的服务文本描述进行语义扩充,使主题模型能够更有效地估计服务文本描述的隐含主题;2） 提出利用非参数主题模型学习服务文本的隐含主题,降低模型训练时间;3） 利用服务隐含主题对服务进行自动分类和文本相似度计算,快速减少服务匹配数量,加速服务文本相似度计算;4） 提出能够同时支持WSDL-based 和RESTful 两种物联网服务的signature 匹配算法.实验结果表明：与现有的物联网服务发现方法相比,该方法的准确率（precision）和归一化折损累积增益（NDCG）都有较大幅度的提高.     

混频相控阵聚焦特征的研究

混频相控阵作为超声相控阵中的一种新方法，在声场聚焦和偏转都有突出表现。文中对其在聚焦过程中的聚焦特征及相关因素与常规同频相控进行对比分析，得出混频相控阵有利于提高焦区的声能密度，信噪比和轴向分辨率；同时给出了如何优化选择阵列各阵元相应的激发频率。这对改善超声诊断的成像质量和提高聚焦治疗的能量密度等有重要意义。     

极大代数上线性系统的最小实现

研究极大代数上线性系统单输入单输出的最小实现问题. 给出了存在2维最小实现的充要条件,该条件是用无穷序列{gi}^∞0元素之间的关系描述的,因而容易判断;同时,用涂奉生提出的结构标准形和最小实现算法给出了2维最小实现的构造方法,从而完全解决了2维最小实现问题.作为以上结果的推论,指出了涂奉生猜想在维数小于等于2的情况下成立,并通过反例说明涂奉生猜想在大于2维的情况下不成立.     

非线性DEDS的周期时间配置与凝着色图

对于用极大极小函数描述的非线性离散事件动态系统(DEDS)，提出一种凝着色图方法。用该方法证明了不同周期时间的数日等于凝点的数日。在此基础上给出了能用状态反馈(独立)配置周期时间的充要条件，解决了与传统线性控制系统极点配置问题完全对应的问题。将该结果应用于线性DEDS，得到了配置域及缩短的周期时间。     

求索在控制理论与应用的创新路上

作为国内控制论最重要的杂志之一，《控制理论与应用》已经走过了它的20个春秋．20年来，它记载了中国控制理论科学家和控制设计工程师的拼搏精神和丰硕成果，见证着中国现代控制理论的成长壮大．回首20年的风雨征程，我们感慨万千，为刊物，也为中国的控制事业……“路漫漫其修远兮，吾方上下以求索”．     

基于因子分析与DEA模型的基金业绩综合评价

利用因子分析方法，通过SPSS统计软件对7个原始指标进行了因子分析，对反映基金风险和收益状况的一些指标进行处理，并将风险因子得分和费用作为输入指标，将收益因子得分和折价率作为输出指标，利用数据包络分析模型对我国封闭式基金进行了综合业绩评价并对基金内部和外部表现进行了DEA有效性排名．     

关于并行语言Gamma的结构化扩充

Gamma(general abstract model for multiset manipulation)语言是一个可以避免人为序化的高层次并行程序设计工具.P.Frade t等人提出结构化Gamma以利于结构化应用数据以及表达特殊的控制约束和程序的自动分析. 在摒弃了基于“地址”的定义方式的基础上,给出结构化Gamma的更一般形式的语法、语义描 述,在两个层次上讨论结构重集(structured multiset)的类型,并指出,这种新模型保持了有 关程序的静态类型检测等理论成果.     

政府补贴和成本共担如何影响平台和企业策略选择-----基于三方演化博弈

基于地方政府对工业互联网平台和加入平台的制造业企业的补贴,以及工业互联网平台与制造业企业间的成本共担,构建"政府-平台-企业"3个主体之间的非对称演化博弈模型,运用微分方程的稳定性定理分析各博弈主体的策略演化路径以及影响其策略演化的因素,并通过雅克比矩阵探讨系统的演化稳定策略.通过数值仿真分析政府补贴力度和平台成本分担比例对系统演化稳定策略的影响,界定可以促使制造业企业加入平台、工业互联网平台进行优化服务的政府补贴力度和成本分担比例的有效区间,为地方政府、工业互联网平台和制造业企业的行为决策提供理论参考.     

亚BCI-代数的新型软正关联理想

给出了亚BCI-代数正关联理想的概念,讨论了亚BCI-代数正关联理想与理想的关系。将软集的参数集赋予亚BCI-代数,提出了亚BCI-代数新型软正关联理想的概念,举例说明了它与通常的软正关联理想不同。研究了亚BCI-代数新型软正关联理想与新型软理想之间的关系,讨论了亚BCI-代数新型软正关联理想在软集运算下的运算性质,最后分别利用对偶软集和软集的水平集,给出了亚BCI-代数新型软正关联理想与正关联理想之间的等价刻画。