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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

4,791 篇 会议
352 册 图书
80 篇 期刊文献
1 篇 学位论文

馆藏范围

5,220 篇 电子文献
4 种 纸本馆藏

日期分布

学科分类号

3,591 篇 工学
- 3,090 篇 计算机科学与技术...
- 2,585 篇 软件工程
- 586 篇 信息与通信工程
- 435 篇 控制科学与工程
- 341 篇 电气工程
- 231 篇 机械工程
- 199 篇 电子科学与技术（可...
- 194 篇 生物工程
- 141 篇 安全科学与工程
- 137 篇 生物医学工程（可授...
- 107 篇 建筑学
- 99 篇 动力工程及工程热...
- 95 篇 土木工程
- 82 篇 材料科学与工程（可...
- 82 篇 交通运输工程
- 81 篇 仪器科学与技术
990 篇 理学
- 556 篇 数学
- 219 篇 生物学
- 172 篇 系统科学
- 169 篇 物理学
- 151 篇 统计学（可授理学、...
- 76 篇 化学
802 篇 管理学
- 569 篇 管理科学与工程(可...
- 302 篇 工商管理
- 289 篇 图书情报与档案管...
142 篇 医学
- 119 篇 临床医学
- 109 篇 基础医学(可授医学...
129 篇 教育学
- 126 篇 教育学
111 篇 经济学
- 111 篇 应用经济学
108 篇 法学
- 79 篇 社会学
41 篇 农学
11 篇 军事学
8 篇 文学
2 篇 艺术学

主题

374 篇 software enginee...
223 篇 software
173 篇 artificial intel...
154 篇 computer archite...
143 篇 information syst...
143 篇 application soft...
129 篇 computer communi...
114 篇 computer science
109 篇 hardware
109 篇 computer softwar...
107 篇 software enginee...
102 篇 real-time system...
94 篇 control systems
89 篇 computer aided s...
73 篇 software systems
72 篇 computational mo...
71 篇 software archite...
71 篇 software design
61 篇 software testing
61 篇 logics and meani...

机构

21 篇 college of compu...
10 篇 school of softwa...
9 篇 univ york dept c...
9 篇 dublin city univ...
8 篇 department of co...
8 篇 state key labora...
7 篇 school of comput...
7 篇 faculty of compu...
6 篇 school of comput...
6 篇 school of comput...
6 篇 shanghai key lab...
6 篇 college of compu...
6 篇 university of ne...
6 篇 faculty of compu...
6 篇 carleton univ de...
6 篇 univ haifa dept ...
6 篇 school of inform...
5 篇 univ chinese aca...
5 篇 hebrew universit...
5 篇 nanjing univ sta...

作者

14 篇 kupferman orna
14 篇 labiche yvan
12 篇 david lo
8 篇 mylopoulos john
8 篇 yilmaz murat
8 篇 reinhartz-berger...
8 篇 sturm arnon
8 篇 xin xia
8 篇 paige richard f.
7 篇 o'connor rory v.
7 篇 vardi moshe y.
7 篇 clarke paul m.
7 篇 biffl stefan
7 篇 briand lionel c.
7 篇 exman iaakov
6 篇 katz guy
6 篇 maoz shahar
6 篇 sulaiman shahida
6 篇 lakhmi c. jain
5 篇 bernady o. apduh...

语言

5,089 篇 英文
107 篇 其他
34 篇 中文
2 篇 德文
2 篇 俄文
1 篇 西班牙文

检索条件"任意字段=5th Israel Conference on Computer Systems and Software Engineering"

共 5224 条记录，以下是4981-4990 订阅

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

详细简洁

排序：

Evaluating access control of open source electronic health record systems

Evaluating access control of open source electronic health r...

引用

6th International Workshop on Automation of software Test, AST 2011, Co-located with ICSE 2011

作者： Helms, Eric Williams, Laurie North Carolina State University Department of Computer Science Campus Box 8206 890 Oval Drive Raleigh NC 27695-8206 United States

ISBN: (纸本)9781450305921

Incentives and penalties for healthcare providers as laid out in the American Recovery and Reinvestment Act of 2009 have caused tremendous growth in the development and installation of electronic health record (EHR) systems in the US. For the benefit of protecting patient privacy, regulations and certification criteria related to EHR systems stipulate the use of access control of protected health information. the goal of this research is to guide development teams, regulators, and certification bodies by assessing the state of the practice in EHR access control. In this paper, we present a compilation of 25 criteria relative to access control in EHR systems found in the Health Insurance Portability and Accountability Act (HIPAA) regulation, meaningful use certification criteria, best practices embodied in the National Institute for Standards and Technology (NIST) role-based access control standard, and other best practices found in the literature. We then examine the state of the practice in access control by evaluating four open source EHR systems using these 25 evaluation criteria. Our research indicates that the NIST Meaningful Use criteria provide HIPAA compliance, but none of the regulatory and certification criteria address the implementation standards, and best practices related to access control. Additionally, our results indicate that open source EHR system designers are not implementing robust access control mechanisms for the adequate protection of patient data. © 2011 ACM.

关键词： Access control

来源：评论

学校读者我要写书评

暂无评论

Analysis of the Short Circuit at the Outlet of Self-excited Synchronous Generator

Analysis of the Short Circuit at the Outlet of Self-excited ...

引用

IEEE International conference on Power and Power and Renewable Energy (ICPRE)

作者： Ren Hongtao Huadong Engineering Corporation Limited Hangzhou China

ISBN: (数字)9781728190266

ISBN: (纸本)9781728190273

the generator outlet short circuit is one of the serious faults of the generator, which will cause great electromagnetic impact on the rotor as well as the generator outlet equipment. therefore, the generator outlet short circuit current is an important basis for power plant design. Based on PSCAD(Power systems computer Aided Design) software, a three-phase short circuit simulation model of synchronous generator is established. Combined with the short-circuit characteristics of self-excited synchronous generator, the difference between self-excited synchronous generator and external-excited synchronous generator is analyzed, and the characteristics and influencing factors of short-circuit current at generator terminal of self-excited synchronous generator are summarized. the influence of dynamic and thermal stability calibration of relevant electrical equipment is studied, and compared with the classical curve method adopted in power plant design code, it is concluded that the short-circuit current of external-excited generator is close to that of external-excited generator, which is greater than the short-circuit current of self-excited generator. It is suggested that the classical curve method should not be used for self-excited generator, thus the simulation modeling analysis is more economical and reasonable, It provides reference for generator design, voltage circuit design and power plant equipment selection.

关键词： self-excited generator generator outlet short circuit current stability check short-circuit currents SELF-EXCITED GENERATORS Short circuits Power outlets dynamos Generator power plant design Synchronous generators EXITS Simulation models

来源：评论

学校读者我要写书评

暂无评论

An OCR based translation system between simplified and complex Chinese characters

An OCR based translation system between simplified and compl...

引用

International conference on Pattern Recognition

作者： Keh-Hwa Shyu Chun-Jen Lee Mu-King Tsay Institute of Computer Science and Electronic Engineering National Central University Chungli Taiwan Ministry of Transporation and Communications Chungli Taiwan

ISBN: (纸本)0818662700

A new automatic translation system between simplified and complex Chinese characters based on OCR approaches is proposed in this paper. this system can demonstrate an efficient feature extraction algorithm for recognizing either complex or simplified printed Chinese characters. In addition, a new post-processing model proposed in the authors' system not only translates texts between complex and simplified characters, but also corrects character recognition errors. Experimental results show that the average recognition rates are about 99.2% and 95.3% for single font and multi-font recognition respectively. In testing on real documents of simplified characters, it achieves a recognition rate of 96.2% without contextual post-processing. Using the proposed language model for post-processing, one can improve the final accuracy rate to 97.8% including the text translation process and the recognition error correction.

关键词： Optical character recognition software Lattices Character recognition Pixel Pattern matching Laser modes Tin Image converters Data mining Feature extraction

来源：评论

学校读者我要写书评

暂无评论

Empowering engineering Training: A Portable PyQT5-Based GUI for System Validation with Simulink DLLs

Empowering Engineering Training: A Portable PyQT5-Based GUI ...

引用

International conference on Computation System and Information Technology for Sustainable Solutions (CSITSS)

作者： Pranav M Kulkarni Mohit Venkatesh Hemalatha J.N. C. Sunanda Department of Electrical and Electronics Engineering RV College of Engineering Bengaluru India

Modelling and simulation is an integral part of systems engineering. Models represent the key characteristics or behaviour/functions of the selected physical or abstract systems. Simulation is the imitation of the operation of a real-world system. MATLAB/Simulink is often used for this purpose. Graphical User Interfaces (GUI) are created to understand the functionality of developed models using MATLAB's App Designer application. though these are robust, they pose several problems, particularly for large models, such as the requirement of an expensive MATLAB license by the end-user for running the application, reduction in execution speed, and usage of large amounts of device storage space. In this paper, a solution to this issue is proposed. A stand-alone GUI application can be developed using Python's PyQT5- a framework for developing GUIs. the usage of a foreign function library in Python called ‘ctypes', to call the functions of the DLL into the developed Python-based GUI, is also realized in this paper. the GUI can run on a computer without MATLAB software installed. the results of the GUI agree with that of the Simulink model. Consequently, this standalone GUI application holds promise for streamlining the verification and validation processes of complex models, offering a cost-effective, efficient, and easily accessible alternative that empowers engineering training initiatives.

关键词：

来源：评论

学校读者我要写书评

暂无评论

STELLaR - A case-study on SysTEmaticaLLy embedding a Traffic Light Recognition

STELLaR - A case-study on SysTEmaticaLLy embedding a Traffic...

引用

International conference on Intelligent Transportation

作者： Jan Micha Borrmann Frederik Haxel Dennis Nienhüser Alexander Viehl J. Marius Zöllner Oliver Bringmann Wolfgang Rosenstiel University of Tübingen Wilhelm-Schickard-Institute for Computer Science Tübingen Germany FZI Research Center for Information Technology Karlsruhe Germany FZI Research Center for Information Technology Haid-und-Neu-Str. 10-14 D-76131 Karlsruhe Germany

In this paper we present an embedded implementation of a Traffic Light Recognition (TLR) on a low-cost FPGA device with low memory *** follow a systematic approach where we thoroughly investigate computational hot-spots, and systematically partition the system into hardware and software components which we both optimize. Our implementation is evaluated using an actual FPGA board as Hardware-in-the-Loop (HIL). In contrast to other approaches, we are not restricted to filled lights but also detect other types such as arrows, pedestrians or bicycle ones when provided with training data. With an average performance of 45 fps and minimum 12 fps with ~ 5 Watts of power consumption, our system shows real-time behavior even on high-definition video data with high comparable recognition rates while still obeying automotive constraints such as low power. As far as we know, we are the first ones presenting an embedded TLR solution.

关键词： Image color analysis Automotive engineering Hardware software Cameras software algorithms Robustness

来源：评论

学校读者我要写书评

暂无评论

Diversity-Promoting Deep Reinforcement Learning for Interactive Recommendation 21

Diversity-Promoting Deep Reinforcement Learning for Interact...

引用

5th International conference on Crowd Science and engineering

作者： Yong Liu Zhiqi Shen Yinan Zhang Lizhen Cui Joint NTU-UBC Research Centre of Excellence in Active Living for the Elderly (LILY) Nanyang Technological University Singapore School of Computer Science and Engineering Nanyang Technological University Singapore Joint SDU-NTU Centre for Artificial Intelligence Research (C-FAIR) & School of Software Shandong University China

ISBN: (纸本)9781450395540

the interactive recommendation systems have recently attracted lots of research attentions, because they can model the interactions between the user and the recommender system. Most previous interactive recommendation methods only focus on optimizing recommendation accuracy. However, they usually overlook other important aspects of recommendation quality, e.g., the diversity of recommendation results. In this work, we propose a novel recommendation framework, called Diversity-promoting Deep Reinforcement Learning (D2RL), which aims to promote the diversity of interactive recommendation results. In D2RL, the Determinantal Point Process (DPP) is used to generate diverse, while relevant item recommendations. For each user, a personalized DPP kernel matrix is maintained, which is constructed from two parts: a fixed similarity matrix capturing item-item similarity, and the relevance of items dynamically learnt through an actor-critic reinforcement learning framework. To demonstrate the effectiveness of the proposed D2RL model, we have performed extensive offline experiments as well as simulated online experiments with real-world datasets.

关键词： Determinantal Point Process Diversity Reinforcement Learning Interactive Recommendation

来源：评论

学校读者我要写书评

暂无评论

Image Encryption Using Chaotic Logistic and DNA Encoding

Image Encryption Using Chaotic Logistic and DNA Encoding

引用

Data Intelligence and Cognitive Informatics (ICDICI), International conference on

作者： G Kiran Kumar Anila M C Chandrika M Priyanka D Jayaram A Mohan Department of Computer Science and Engineering Chaitanya Bharathi Institute of Technology Hyderabad Telangana India Department of Information Technology Chaitanya Bharathi Institute of Technology Hyderabad Telangana India

ISBN: (数字)9798350389609

ISBN: (纸本)9798350389616

With a rapid development in technology and digital communication, there is a need of high speed with strong secured systems. In every sector, data is communicated in various formats, among them, images are one. It is crucial to protect the image data from unauthorized access from various sources like email spoofing and spamming, malicious software, unknown access through network, cloud, storage and other related activities. therefore, securing our image from such unauthorized access is very important. Encryption is one method of achieving high security by shielding our data from unauthorized users. It is more difficult for attackers to decipher an image when Chaotic Logistic and DNA Encoding are used for image encryption. Using this encryption technique, each image that needs to be sent is split into parts, each of which is then encrypted and sent to the recipient. Consequently, an individual possessing only one or two portions of the image will be unable to utilize it. As a result, the goal of this strategy is to achieve high security and data confidentiality. In this research, Chaotic Logistic and DNA Encoding method is used to provide security for image data that outperformed when compared to other methods.

关键词： Image coding Chaotic communication Unsolicited e-mail DNA Digital communication Malware Encoding Encryption Security Logistics

来源：评论

学校读者我要写书评

暂无评论

Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs

Validating SMT Solvers via Skeleton Enumeration Empowered by...

引用

International conference on software engineering (ICSE)

作者： Maolin Sun Yibiao Yang Ming Wen Yongcong Wang Yuming Zhou Hai Jin School of Cyber Science and Engineering Huazhong University of Science and Technology China Hubei Key Laboratory of Distributed System Security Services Computing Technology and System Lab Cluster and Grid Computing Lab Hubei Engineering Research Center on Big Data Security National Engineering Research Center for Big Data Technology and System State Key Laboratory for Novel Software Technology Nanjing University China School of Computer Science and Technology Huazhong University of Science and Technology China

SMT solvers check the satisfiability of logic formulas over first-order theories, which have been utilized in a rich number of critical applications, such as software verification, test case generation, and program synthesis. Bugs hidden in SMT solvers would severely mislead those applications and further cause severe consequences. therefore, ensuring the reliability and robustness of SMT solvers is of critical importance. Although many approaches have been proposed to test SMT solvers, it is still a challenge to discover bugs effectively. To tackle such a challenge, we conduct an empirical study on the historical bug-triggering formulas in SMT solvers' bug tracking systems. We observe that the historical bug-triggering formulas contain valuable skeletons (i.e., core structures of formulas) as well as associated atomic formulas which can cast significant impacts on formulas' ability in triggering bugs. therefore, we propose a novel approach that utilizes the skeletons extracted from the historical bug-triggering formulas and enumerates atomic formulas under the guidance of association rules derived from historical formulas. In this study, we realized our approach as a practical fuzzing tool HistFuzz and conducted extensive testing on the well-known SMT solvers Z3 and cvc5. To date, HistFuzz has found 111 confirmed new bugs for Z3 and cvc5, of which 108 have been fixed by the developers. More notably, out of the confirmed bugs, 23 are soundness bugs and invalid model bugs found in the solvers' default mode, which are essential for SMT solvers. In addition, our experiments also demonstrate that HistFuzz outperforms the state-of-the-art SMT solver fuzzers in terms of achieved code coverage and effectiveness.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Air-isolated through-wafer interconnects for microsystem applications

Air-isolated through-wafer interconnects for microsystem app...

引用

International conference on Solid State Sensors and Actuators (TRANSDUCERS)

作者： D.F. Lemmerhirt K.D. Wise Engineering Research Center for Wireless Integrated Microsystems Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA

this paper reports a through-wafer interconnect structure using air-isolated p/sup ++/ silicon columns suspended by metal beams. the approach minimizes parasitic capacitance and does not require the lightly-doped wafers and DC bias associated with pn-junction isolation. the interconnects are therefore well suited for use in battery-operated microsystems. the through-wafer conductors have a calculated series resistance of approximately 5 /spl Omega/ and a capacitance to the substrate of 10 fF. Including the metal support frame, the area of each feedthrough is 0.01 mm/sup 2/, and using clustered columns, the per-feedthrough area is still smaller.

关键词： Silicon Integrated circuit interconnections Parasitic capacitance Conductors Immune system Transducers Biosensors Etching Application software Assembly systems

来源：评论

学校读者我要写书评

暂无评论

Overview of Autonomous Driving Simulation Environment

Overview of Autonomous Driving Simulation Environment

引用

International conference on Intelligent Informatics and Biomedical Sciences (ICIIBMS)

作者： Yunxiang Liu Yujie Pan Xinxin Yuan Yuntao Zhao School of Computer Information and Engineering Shanghai Institute Of Technology Shanghai China R&D Department Shanghai Waylancer Automotive Technology Co. Ltd Shanghai China

the goal of many companies is to provide auto drive system that meet SAE Level 5. Due to the much more complex software running on these systems than typical high-end cars today, a thorough testing strategy is required. Simulation test is an essential part of the development process of autonomous vehicle. At present, there are many automatic driving simulation platforms. this papper summarizes the development status and existing problems of autonomous driving simulation platforms by organizing them from aspects such as simulation hierarchy, simulation content, and usage, and proposes the development trend of autonomous driving simulation platforms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共500页 << < 491 492 493 494 495 496 497 498 499 500 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：