检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

38 篇 专利

馆藏范围

38 篇 电子文献
0 种 纸本馆藏

日期分布

机构

4 篇 昆明理工大学
3 篇 中兴通讯股份有限...
3 篇 复旦大学
2 篇 深圳众投互联信息...
2 篇 无锡控博科技有限...
2 篇 深圳市爱商在线科...
2 篇 重庆满集网络科技...
2 篇 西安电子科技大学
1 篇 沈阳云盛互联网服...
1 篇 联合汽车电子有限...
1 篇 合芯科技有限公司
1 篇 北京中科艺杺科技...
1 篇 深圳星际鑫航科技...
1 篇 上海金大师网络科...
1 篇 江西誉付宝互联网...
1 篇 中承信达技术股份...
1 篇 鸿富锦精密工业有...
1 篇 深圳市中科新业信...
1 篇 北京国联视讯信息...
1 篇 安徽孺牛科技有限...

作者

4 篇 李凌宇
4 篇 姜瑛
4 篇 丁家满
4 篇 汪海涛
4 篇 刘英莉
3 篇 王笛
3 篇 杨珉
2 篇 李朝阳
2 篇 张海涛
2 篇 张南
2 篇 蒋政
2 篇 祝继洪
2 篇 黄婕
2 篇 任晶姣
2 篇 田聪
2 篇 周红彪
2 篇 王小兵
2 篇 黄伯虎
2 篇 毛喜斌
2 篇 蔡章利

语言

38 篇 中文

检索条件"主题词=文件分析模块"

共 38 条记录，以下是21-30 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

一种基于Java并发程序错误的不变式检测系统

一种基于Java并发程序错误的不变式检测系统

引用

作者：杨珉王笛 200433 上海市杨浦区邯郸路220号

本发明属于程序错误检测技术领域，具体为一种基于Java并发程序错误的不变式检测系统。其包括预处理模块、不变式训练模块、不变式文件分析模块，不变式检测模块，错误排序删减模块及上下文收集传递模块六大模块；本发明在在动态运行时... 详细信息

标准号: CN102799527A

本发明属于程序错误检测技术领域，具体为一种基于Java并发程序错误的不变式检测系统。其包括预处理模块、不变式训练模块、不变式文件分析模块，不变式检测模块，错误排序删减模块及上下文收集传递模块六大模块；本发明在在动态运行时以PaCC及PCC模式对程序的上下文信息进行记录，解决了Java程序中的封装函数导致传统工具无法有效区分程序点的问题。

关键词：文件分析模块上下文信息预处理模块并发程序程序错误传递模块传统工具封装函数检测模块检测系统六大模块对程序排序区分检测训练

来源：评论

学校读者我要写书评

暂无评论

一种硬件语言VHDL到MSVL的自动转换系统

一种硬件语言VHDL到MSVL的自动转换系统

引用

作者：段振华张康田聪王小兵张南黄伯虎 710071 陕西省西安市太白南路2号西安电子科技大学

一种硬件语言VHDL到MSVL的自动转换系统，其能够将VHDL语言程序文件转换成MSVL语言程序文件，所述转换系统包括，文件分析模块、词法分析模块、语法分析模块、信息存储模块、翻译模块、翻译结果字符串连接模块。VHDL程序转换为MSVL程序... 详细信息

标准号: CN104503816A

一种硬件语言VHDL到MSVL的自动转换系统，其能够将VHDL语言程序文件转换成MSVL语言程序文件，所述转换系统包括，文件分析模块、词法分析模块、语法分析模块、信息存储模块、翻译模块、翻译结果字符串连接模块。VHDL程序转换为MSVL程序后，模型构造与性质描述使用同一种语言，使得验证在同一逻辑框架下进行，方便地实现对VHDL语言程序间接的模型检测。在转换的过程中，通过制定不同语法结构的转换规则，并通过一些额外的辅助手段将VHDL程序转换为了语义等价的MSVL程序，这样就可以通过对等价的MSVL程序进行仿真、建模和验证，来确保源VHDL程序的正确性。

关键词：语言程序程序转换验证程序的正确性词法分析模块文件分析模块信息存储模块语法分析模块自动转换系统翻译结果翻译模块辅助手段逻辑框架模型构造模型检测文件转换硬件语言语法结构语义等价转换规则转换系统串连建模等价仿真转换语言

来源：评论

学校读者我要写书评

暂无评论

一种联合办公用文件管理系统

一种联合办公用文件管理系统

引用

作者：葛琎仲昌燕陈云季婷婷刘利祥 243051 安徽省马鞍山市慈湖高新区霍里山大道北段1669号2栋

本发明公开了一种联合办公用文件管理系统，包括身份验证模块、文件分析模块和文件筛选模块，所述文件分析模块用于对上传的联合办公用文件进行分析，在文件上传至联合办公的数据库中时，能够对上传的文件加以特征标注，方便后续办公文... 详细信息

标准号: CN112600871A

本发明公开了一种联合办公用文件管理系统，包括身份验证模块、文件分析模块和文件筛选模块，所述文件分析模块用于对上传的联合办公用文件进行分析，在文件上传至联合办公的数据库中时，能够对上传的文件加以特征标注，方便后续办公文件的查找和检索，同时对携带有病毒的不良文件上传时间进行文件健康解析，杜绝不良文件上传至联合办公用文件管理系统中；所述身份验证模块用于对使用人员的身份进行验证，本发明方便对文件使用人员的身份进行安全有效地验证，避免导致公司文件资源外泄；所述文件筛选模块用于筛选联合办公用文件，本发明在使用人员检索某一类型的办公文件时，联合办公用文件管理系统能够优选出相对应的文件供使用人员查阅。

关键词：文件管理系统办公文件上传联合身份验证模块文件分析模块办公文件文件筛选上传检索验证公司文件文件使用有效地身份外泄优选标注解析数据库病毒筛选查找携带分析安全健康

来源：评论

学校读者我要写书评

暂无评论

对象粒度收集的Java不变式检测系统

对象粒度收集的Java不变式检测系统

引用

作者：杨珉王笛 200433 上海市杨浦区邯郸路220号

本发明属于程序错误检测技术领域，具体为一种对象粒度收集的Java不变式检测系统。本发明系统包括预处理模块、不变式训练模块、不变式文件分析模块、不变式检测模块以及错误排序删减模块；其中，预处理模块负责检测和过滤程序中不会引... 详细信息

标准号: CN102779093A

本发明属于程序错误检测技术领域，具体为一种对象粒度收集的Java不变式检测系统。本发明系统包括预处理模块、不变式训练模块、不变式文件分析模块、不变式检测模块以及错误排序删减模块；其中，预处理模块负责检测和过滤程序中不会引起并发错误的对象；不变式训练模块，基于对象粒度提取程序中的不变式信息，并产生一个不变式记录文件；文件分析模块对所有不变式记录文件中的信息按照不变式规则进行归并，最终合成一个文件；不变式检测模块利用合成的文件指导检测运行；错误排序删减模块，负责对不变式检测模块检测到的程序错误做可信性分析；本发明减少了程序中交叉存取出现的次数，降低了运行开销，并有效地进行多变量并发错误的检测。

关键词：检测模块检测文件分析模块预处理模块程序错误记录文件排序可信性分析过滤程序检测系统开销训练存取

来源：评论

学校读者我要写书评

暂无评论

服务器上传文件的敏感信息过滤系统及方法

服务器上传文件的敏感信息过滤系统及方法

引用

作者：申屠青春阮伟军林飞 518057 广东省深圳市南山区科技园北区科苑路清华信息港B栋9层

本发明涉及一种服务器上传文件的敏感信息过滤系统，包括一控制中心及若干敏感信息过滤组件，敏感信息过滤组件分别安装在每一文件上传服务器上，每一敏感信息过滤组件包括：主控模块；通讯模块；文件操作控制模块；文件分析模块；文件... 详细信息

标准号: CN100521679C

本发明涉及一种服务器上传文件的敏感信息过滤系统，包括一控制中心及若干敏感信息过滤组件，敏感信息过滤组件分别安装在每一文件上传服务器上，每一敏感信息过滤组件包括：主控模块；通讯模块；文件操作控制模块；文件分析模块；文件操作控制模块在系统内核的文件操作模块上以插入一块处理程序，通知文件分析模块进行文件分析，并根据文件分析模块的分析结果对文件进行处理并更新其URL黑名单数据库。本发明还提供一种服务器上传文件的敏感信息过滤方法。本发明可保证上传到文件上传服务器的所有文件都能被完整地分析，减小过滤误差，并提高过滤的成功率，防止漏掉带有敏感信息的文件。

关键词：敏感信息文件分析模块服务器过滤组件控制模块上传文件文件操作文件上传黑名单数据库文件操作模块处理程序过滤方法过滤误差过滤系统通讯模块文件分析系统内核主控模块成功率过滤分析

来源：评论

学校读者我要写书评

暂无评论

一种基于Vue代码优化的JavaScript插件

一种基于Vue代码优化的JavaScript插件

引用

作者：杨兴荣徐卓进杨兴海李建州杨伟帆 550081 贵州省贵阳市贵阳国家高新技术产业开发区中关村贵阳科技园核心区南园科教街188号

本发明公开了一种基于Vue代码优化的JavaScript插件，涉及互联网技术领域，针对前端人员开发前需要熟悉公司要求的前端开发规范，虽然目前主流的前端代码框架多为Vue，但是通读规范并执行需要耗费时间成本，对己开发完成的代码，需要手... 详细信息

标准号: CN114610380A

本发明公开了一种基于Vue代码优化的JavaScript插件，涉及互联网技术领域，针对前端人员开发前需要熟悉公司要求的前端开发规范，虽然目前主流的前端代码框架多为Vue，但是通读规范并执行需要耗费时间成本，对己开发完成的代码，需要手动一一修改，工程较大，耗费时间过长的问题，现提出如下方案，包括包括启动模块、文件导入模块、文件识别模块、文件分析模块、文件处理模块与结果输出模块。本发明基于JavaScript与canvas针对前端代码做规范化优化，提高前端代码质量，降低后期维护成本，标准化前端代码，基本命名模板可以使前端初学者熟悉页面命名规范，并对不规范的命名部分进行命名替换操作生成正确规范的命名，保证投入使用的代码规范。

关键词：结果输出模块文件处理模块文件分析模块文件识别模块互联网技术代码规范代码框架代码优化导入模块公司要求启动模块人员开发时间成本插件页面替换标准化开发规范化主流优化保证维护

来源：评论

学校读者我要写书评

暂无评论

一种硬件语言VHDL到MSVL的自动转换系统

一种硬件语言VHDL到MSVL的自动转换系统

引用

作者：段振华张康田聪王小兵张南黄伯虎 710071 陕西省西安市太白南路2号西安电子科技大学

标准号: CN104503816B

关键词：转换验证词法分析模块文件分析模块信息存储模块语法分析模块自动转换系统字符串连接程序文件翻译结果翻译模块辅助手段逻辑框架模型构造模型检测性质描述硬件语言语法结构语言程序语义等价转换规则转换系统建模等价语言制定

来源：评论

学校读者我要写书评

暂无评论

自动化dump分析系统及方法

自动化dump分析系统及方法

引用

作者：吕军亮胡潜何颖颇张泽武冯振 201702 上海市青浦区徐泾镇双联路158号2层G区295室

本发明提供了一种自动化dump分析系统及方法，包括dump文件生成模块，所述dump文件生成模块集成在应用程序中，用于捕获程序异常，并将生成dump文件上传至dump文件收集模块中；dump文件收集模块：用于搭建dump收集服务器，接收上传的dum... 详细信息

标准号: CN107247667A

本发明提供了一种自动化dump分析系统及方法，包括dump文件生成模块，所述dump文件生成模块集成在应用程序中，用于捕获程序异常，并将生成dump文件上传至dump文件收集模块中；dump文件收集模块：用于搭建dump收集服务器，接收上传的dump文件；dump文件分析模块：用于加载符号文件，提取dump文件中的信息，并记录到数据库模块中。本发明实现了自动化收集、分析dump的文件，制定了dump文件包含信息的特征提取，并以此为标准对dump文件进行分类、排重，并能通过次数、频度等统计数据帮助开发人员设置优先级，减少了人力和时间的开销，也避免了人工可能带来的各种误操作。

关键词：文件生成模块文件收集自动化文件分析模块收集服务器数据库模块程序异常分析系统符号文件特征提取统计数据文件上传应用程序频度误操作加载上传捕获分类记录分析帮助制定开发

来源：评论

学校读者我要写书评

暂无评论

对象粒度收集的Java不变式检测系统

对象粒度收集的Java不变式检测系统

引用

作者：杨珉王笛 200433 上海市杨浦区邯郸路220号

标准号: CN102779093B

关键词：不变式检测模块文件分析模块预处理模块检测并发错误程序错误记录文件训练模块删减排序合成可信性对象粒度过滤程序基于对象检测技术检测系统交叉存取提取程序运行开销多变量一种归并收集分析减少进行运行产生有效指导

来源：评论

学校读者我要写书评

暂无评论

电子装置及在嵌入式电子装置中播放音乐的方法

电子装置及在嵌入式电子装置中播放音乐的方法

引用

作者：蔡灯宇朱志国王嘉鹏王俊文 518109 广东省深圳市宝安区龙华镇油松第十工业区东环二路2号

一电子装置包括一显示屏、一音乐播放模块及一文件信息获取模块，该音乐播放模块包括一用户操作界面模块及一文件分析模块，该用户操作界面模块可受控播放一选定歌曲，该文件分析模块可从该选定歌曲的相关信息中分析出与该选定歌曲相关... 详细信息

标准号: CN101930446A

一电子装置包括一显示屏、一音乐播放模块及一文件信息获取模块，该音乐播放模块包括一用户操作界面模块及一文件分析模块，该用户操作界面模块可受控播放一选定歌曲，该文件分析模块可从该选定歌曲的相关信息中分析出与该选定歌曲相关的至少一关键词，该文件信息获取模块可通过该至少一关键词查找并取得与该选定歌曲相关的图片，该用户操作界面模块能够播放该选定歌曲的同时在该显示屏上显示该与该选定歌曲相关的图片。本发明还涉及一种在嵌入式电子装置中播放音乐的方法。本发明的电子装置及在嵌入式电子装置中播放音乐的方法可在播放歌曲的同时显示与该选定歌曲相关的图片以增加欣赏音乐时的视觉享受。

关键词：歌曲电子装置用户操作界面文件分析模块音乐播放模块播放音乐文件信息嵌入式显示屏播放歌曲受控视觉音乐分析

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共4页 << < 1 2 3 4 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：