印桂生 作品数:120 被引量:463 H指数:10 供职机构: 哈尔滨工程大学计算机科学与技术学院 更多>> 发文基金: 国家自然科学基金 中央高校基本科研业务费专项资金 黑龙江省自然科学基金 更多>> 相关领域: 自动化与计算机技术 文化科学 理学 自然科学总论 更多>>
一种着色赋时的面向对象Petri网及在自动制造系统中的应用 2009年 着色赋时的面向对象Petri网(Colored Ti med Object-Oriented Petri Net,CTOPN)是在面向对象Petri网的基础上,添加了着色令牌和输入输出变迁函数的概念而形成的,是Petri网的扩展形式.给出了CTOPN的基本定义和建立CTOPN模型的方法,给出了CTOPN在自动制造系统(Automated Manufacturing Systems,AMS)中的应用实例,最后对模型进行了死锁分析.CTOPN可以准确地描述复杂系统的静态结构及动态特性,能够成为面向对象系统的一种形式化的建模工具. 刘心 印桂生关键词:着色 面向对象PETRI网 死锁 应用WEMLS的安全数据集成模型 被引量:1 2010年 针对现有的安全域存在许多异构安全数据需要集成的问题,引入多级安全策略(MLS)的思想,提出一种应用扩展权值MLS策略(WEMLS)的安全数据集成模型。定义可信权值的概念,建立进程授权机制和信任计算机制。应用结果表明,该模型能使可信进程更灵活地访问客体。 孟宇龙 印桂生 王慧强关键词:多级安全策略 安全数据 本体 基于角膜反射的非侵入式视线跟踪技术 被引量:2 2012年 针对现有的视线跟踪技术设备复杂、对姿势限制过多、要头部佩戴专用设备等方面的不足,提出一种实现视线跟踪技术的新方法,采用5个近红外光灯作为角膜反射的光源。该方法不需要带任何头戴设备,并且能适应头部的自然运动,设计的算法计算出来的视线位置精度较高。提出一种新的瞳孔边缘拟合方案,循环拟合剔除假点,最终得到精确的瞳孔中心,提高了映射的精度。利用图像的灰度进行人眼的初定位,快速而准确。利用交比不变原理进行坐标映射,精确计算出注视坐标。 高迪 印桂生 马春光关键词:视线跟踪 角膜反射 交比 移动对象连续查询位置匿名策略 2015年 用户位置隐私保护已经成为基于位置服务领域研究的热点问题之一,现有的方法多是只针对用户单独一次查询的隐私保护,没有考虑移动过程中由于连续查询而造成的位置隐私泄露问题。主要针对连续查询下的移动对象位置隐私保护提出一种基于历史用户的虚假用户生成的位置匿名方法,该方法结合用户历史数据,通过确定合理的假用户生成区域及假用户生成时刻其空间位置,使虚假用户能够实时对真实用户位置进行保护,通过实验验证其可行性和有效性。 赵洪斌 马志强 印桂生 韩启龙关键词:连续查询 四面体模型质量度量准则及其之间的关系 被引量:5 2012年 四面体模型质量度量准则是评价网格模型质量的标准,但长期以来,对四面体单元质量的度量和评价并没有公认的标准。因此,本文对常用的四面体网格模型质量度量准则进行总结,并从理论上证明了各质量度量准则之间的关系,同时通过实验分析各质量度量准则之间的这种关系是否成立。分析认为在优化四面体模型时,不能仅仅采用某一种度量标准来评价网格的质量,应根据不同的四面体类型,采用不同的准则或将几种准则联合起来对四面体模型质量进行度量。 印桂生 李艳波 张菁 朱长明 倪军关键词:网格优化 基于国产化操作系统的教学改革探索——以“操作系统”课程为例 我国软件产业发展较为薄弱。对于高校来说,大多数课程的讲授及实验都围绕着非国产化软件,学生虽能从中汲取非国产化软件的优越之处,但在如何能够开发一款类似的软件没有多少经验。本文认为,高校应将国产操作系统引入课堂,增加国产操作... 王红滨 何鸣 刘刚 初妍 曹雪 印桂生关键词:国产操作系统 操作系统课程 基于受限信任关系和概率分解矩阵的推荐 被引量:19 2014年 现有的推荐算法很难对没有任何记录的冷启动用户或者历史记录稀疏的用户给出准确的推荐,即用户的冷启动问题.本文提出一种基于受限信任关系和概率分解矩阵的推荐方法,由不信任关系约束信任关系的传播,得到准确且覆盖全面的用户信任关系矩阵,并通过对用户信任关系矩阵和用户商品矩阵的概率分解联合用户信任关系和用户商品矩阵信息,为用户给出推荐.实验表明该方法对冷启动用户和历史记录稀疏的用户的推荐效果有较大幅度的提升,有效地解决了用户的冷启动问题. 印桂生 张亚楠 董宇欣 韩启龙基于本体的需求模型到UML模型转换方法 被引量:13 2012年 基于本体的需求建模能够保证需求描述的正确性和完整性,但最终得到的应用模型描述是基于应用本体的,不易于普通软件设计人员理解,无法直接成为设计时所需的需求规格说明文档.而UML语言已成为面向对象建模的实际标准.因此,将本体概念引入UML模型中,通过定义UML模型中的元本体,构建基于本体的需求模型到UML元模型的映射规则,在此基础上,设计并实现一种基于规则的图元自动转换工具,实现基于本体的需求模型到UML元模型的转换,为后期软件设计提供需求基础. 王宇华 印桂生关键词:本体 元模型 UML 竞争型径向基过程神经网络时序分类器 被引量:3 2012年 针对时序分类问题,提出一种竞争型径向基过程神经网络时序分类器.给出了复合竞争过程神经元单元的定义,引入复合竞争过程神经元隐层,利用竞争型径向基过程神经网络输入为时变函数的特点,由复合竞争过程神经元单元完成对过程式输入信息的模式匹配和时空聚合运算,给出了具体学习算法,省去了输出层线性连接权的计算,简化了网络结构和训练过程,提高了网络泛化能力.最后以UCI数据集多变量时序分类问题验证了分类器的有效性. 葛利 印桂生关键词:径向基 过程神经网络 网构软件信任机制的形式化研究 被引量:2 2011年 Internet环境下构件群体间信任关系的形式化建模是实现其仿真的关键环节,给出了信念逻辑及信任关系的形式化定义,包括形式化描述、分析、逻辑推理及证明过程,以及信任链建立和传递过程中成立的语义解释和约束条件,并结合PKI模型实例对信任链的建立过程进行了形式化描述与推演.提出了一种可行的最优化信任链搜索算法(GSTC)和多路径信任聚合算法(MPTA).通过仿真实验对比了GSTC算法和RSTC算法、以及MPTA算法在受限和非受限条件下的性能.网构软件信任逻辑形式化方法的建立,揭示了构件间信任逻辑的建立和推理过程,不仅能够满足构件信任方面服务质量的需求,有效的提高整个网络的信任水平;而且有助于解决真实环境下构件实体间存在的安全问题,为构件集群环境下安全控制及信任系统形式化研究提供了有价值的新思路. 董宇欣 印桂生 谢新强 马志强关键词:网构软件