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

7th International Conference on Human System Interactions (HSI)

作者： Kopniak, Piotr Lublin Univ Technol Inst Comp Sci Lublin Poland

ISBN: (纸本)9781479947140

This article describes the process of developing java interface for Xsens motion capture Xbus Kit system. The system uses small and lightweight inertial motion trackers which are mounted on human body parts. The trackers transmit real time motion data into a PC wirelessly. Xbus Kit is distributed with C/C++ SDK, but many developers use java language. It resulted in the necessity to develop a java language wrapper for the SDK. The described wrapper uses java native interface technology to connect with the native code. JNI is presented in this article, too. The developed wrapper has got two different data acquisition methods based on the pull and push models. Both of them were compared and results of their comparison are included in the article.

关键词： motion capture java native interface java wrapper inertial sensors

来源：评论

学校读者我要写书评

暂无评论

Bringing java's Wild native World under Control

引用

ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY 2013年第3期16卷 9-9页

作者： Sun, Mengtao Tan, Gang Siefers, Joseph Zeng, Bin Morrisett, Greg Lehigh Univ Comp Sci & Engn Dept Bethlehem PA 18015 USA Harvard Univ Sch Engn & Appl Sci Cambridge MA 02138 USA

For performance and for incorporating legacy libraries, many java applications contain native-code components written in unsafe languages such as C and C++. native-code components interoperate with java components through the java native interface (JNI). As native code is not regulated by java's security model, it poses serious security threats to the managed java world. We introduce a security framework that extends java's security model and brings native code under control. Leveraging software-based fault isolation, the framework puts native code in a separate sandbox and allows the interaction between the native world and the java world only through a carefully designed pathway. Two different implementations were built. In one implementation, the security framework is integrated into a java Virtual Machine (JVM). In the second implementation, the framework is built outside of the JVM and takes advantage of JVM-independent interfaces. The second implementation provides JVM portability, at the expense of some performance degradation. Evaluation of our framework demonstrates that it incurs modest runtime overhead while significantly enhancing the security of java applications.

关键词： Security java native interface java virtual machine software-based fault isolation

来源：评论

学校读者我要写书评

暂无评论

结合Android平台之新型同步相量量测单元开发

结合Android平台之新型同步相量量测单元开发

引用

作者：陈俞帆国立台北科技大学

学位级别：硕士

相量量测单元(Phasor Measurement Unit，PMU)在电力系统上的应用在近几年相当热门，它主要可以即时监控电力系统状况和记录三相电压、电流给控制中心。由于时间同步对于PMU从各地取得的资料是相当重要的课题，本论文首先提出一新型同... 详细信息

相量量测单元(Phasor Measurement Unit，PMU)在电力系统上的应用在近几年相当热门，它主要可以即时监控电力系统状况和记录三相电压、电流给控制中心。由于时间同步对于PMU从各地取得的资料是相当重要的课题，本论文首先提出一新型同步时脉电路，其中利用新型的倍频电路透过现场可程式化逻辑阵列(Field Programmable Gate Array，FPGA)以实现数位化的锁相回路(Phase-Locked-Loop，PLL)电路，此电路的优点在于可以非常快速的产生同步时脉讯号以及修正振荡器飘移问题。之后，本论文使用Samsung S3C6410嵌入式开发平台为基础，在Android作业系统之下开发应用程式以接收同步量测值，并在Android平台上开发数位滤波演算法以计算基频相量。为了提升运算速度，本论文采用java native interface(JNI)介面以C/C++语言开发需要大量运算的计算过程，并在Android的Application层开发人机介面程式，以方便电力工程师之操作。最后，本论文将计算得到的基频相量透过Android平台的网路介面，将相量资料传送到本实验室使用Google提供的云端伺服器所建置的资料库中，以进行更进一步的故障定位计算。

关键词：相量量测单元现场可程式化逻辑阵列锁相回路座标轴数位旋转计算器 java native interface Android Google

来源：评论

学校读者我要写书评

暂无评论

Building Matlab Standalone Package from java for Differential Dependence Network Analysis Bioinformatics Toolkit

Building Matlab Standalone Package from Java for Differentia...

引用

作者： Lu Jin Virginia Polytechnic Institute and State University

学位级别：硕士

This thesis reports a software development effort to transplant Matlab algorithm into a Matlab license-free, platform dependent java based software. The result is almost equivalent to a direct translation of Matlab source codes into java or any other programming languages. Since compiled library is platform dependent, an MCR (Matlab Compiler Runtime environment) is required and has been developed to deploy the transplanted algorithm to end user. As the result, the implemented MCR is free to distribution and the streamline transplantation process is much simpler and more reliable than manually translation work. In addition, the implementation methodology reported here can be reused for other similar software engineering tasks. There are mainly 4 construction steps in our software package development. First, all Matlab *. m files or *. mex files associated with the algorithms of interest (to be transplanted) are gathered, and the corresponding shared library is created by the Matlab Compiler. Second, a java driver is created that will serve as the final user interface. This java based user interface will take care of all the input and output of the original Matlab algorithm, and prepare all native methods. Third, assisted by JNI, a C driver is implemented to manage the variable transfer between Matlab and java. Lastly, Matlab mbuild function is used to compile the C driver and aforementioned shared library into a dependent library, ready to be called from the standalone java interface. We use a caBIG TM (Cancer Biomedical Informatics Grid) data analytic toolkit, namely, the DDN (differential dependence network) algorithm as the testbed in the software development. The developed DDN standalone package can be used on any Matlab-supported platform with java GUI (Graphic User interface) or command line parameter. As a caBIG TM toolkit, the DDN package can be integrated into other information systems such as Taverna or G-DOC. The major benefits provided by the proposed met

关键词： Matlab Compiler java native interface Differential Dependence Network C shared library C driver java driver

来源：评论

学校读者我要写书评

暂无评论

Building Matlab Standalone Package from java for Differential Dependence Network Analysis Bioinformatics Toolkit

Building Matlab Standalone Package from Java for Differentia...

引用

作者： Jin, Lu Virginia Tech | University

This thesis reports a software development effort to transplant Matlab algorithm into a Matlab license-free, platform dependent java based software. The result is almost equivalent to a direct translation of Matlab source codes into java or any other programming languages. Since compiled library is platform dependent, an MCR (Matlab Compiler Runtime environment) is required and has been developed to deploy the transplanted algorithm to end user. As the result, the implemented MCR is free to distribution and the streamline transplantation process is much simpler and more reliable than manually translation work. In addition, the implementation methodology reported here can be reused for other similar software engineering tasks. There are mainly 4 construction steps in our software package development. First, all Matlab *.m files or *.mex files associated with the algorithms of interest (to be transplanted) are gathered, and the corresponding shared library is created by the Matlab Compiler. Second, a java driver is created that will serve as the final user interface. This java based user interface will take care of all the input and output of the original Matlab algorithm, and prepare all native methods. Third, assisted by JNI, a C driver is implemented to manage the variable transfer between Matlab and java. Lastly, Matlab mbuild function is used to compile the C driver and aforementioned shared library into a dependent library, ready to be called from the standalone java interface. We use a caBIGTM (Cancer Biomedical Informatics Grid) data analytic toolkit, namely, the DDN (differential dependence network) algorithm as the testbed in the software development. The developed DDN standalone package can be used on any Matlab-supported platform with java GUI (Graphic User interface) or command line parameter. As a caBIGTM toolkit, the DDN package can be integrated into other information systems such as Taverna or G-DOC. The major benefits provided by the proposed methodo

关键词： java driver C driver Differetial Dependence Network C shared library java native interface Matlab Compiler Thesis

来源：评论

学校读者我要写书评

暂无评论

Finding Bugs in Exceptional Situations of JNI Programs 09

Finding Bugs in Exceptional Situations of JNI Programs

引用

16th ACM Conference on Computer and Communications Security

作者： Li, Siliang Tan, Gang Lehigh Univ Dept Comp Sci & Engn Bethlehem PA 18015 USA

ISBN: (纸本)9781605583525

Software flaws in native methods may defeat java's guarantees of safety and security. One common kind of flaws in native methods results from the discrepancy on how exceptions are handled in java and in native methods Unlike exceptions in java, exceptions raised in the native code through the :java native interface (JNI) are not controlled by the java Virtual Machine (JVM). Only after the native code finishes execution will the JVM's mechanism for exceptions take over This discrepancy makes handling of JNI exceptions an error prone process and can cause serious security flaws in software written using the JNI We propose a novel static analysis framework to examine exceptions and report errors in JNI programs We have built a complete tool consisting of exception analysis, static taint analysis, and warning recovery Experimental results demonstrated this tool allows finding of mishandling of exceptions with high accuracy (15 4% false-positive rate on over 260k lines of code) Our framework can be easily applied to analyzing software written in other foreign function interfaces, including the Python/C interface and the OCam-l/C interface

关键词： java native interface taint analysis static analysis

来源：评论

学校读者我要写书评

暂无评论

Checking type safety of foreign function calls

引用

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 2008年第4期30卷 1-63页

作者： Furr, Michael Foster, Jeffrey S. Univ Maryland College Pk MD 20742 USA

Foreign function interfaces (FFIs) allow components in different languages to communicate directly with each other. While FFIs are useful, they often require writing tricky low-level code and include little or no static safety checking, thus providing a rich source of hard-to-find programming errors. In this article, we study the problem of enforcing type safety across the OCaml-to-C FFI and the java native interface (JNI). We present O-Saffire and J-Saffire, a pair of multilingual type inference systems that ensure C code that uses these FFIs accesses high-level data safely. Our inference systems use representational types to model C's low-level view of OCaml and java values, and singleton types to track integers, strings, memory offsets, and type tags through C. J-Saffire, our java system, uses a polymorphic flow-insensitive, unification-based analysis. Polymorphism is important because it allows us to precisely model user-defined wrapper functions and the more than 200 JNI functions. O-Saffire, our OCaml system, uses a monomorphic flow-sensitive analysis because, while polymorphism is much less important for the OCaml FFI flow-sensitivity is critical to track conditional branches, which are used when pattern matching OCaml data in C. O-Saffire also tracks garbage collection information to ensure that local C pointers to the OCaml heap are registered properly, which is not necessary for the JNI. We have applied O-Saffire and J-Saffire to a set of benchmarks and found many bugs and questionable coding practices. These results suggest that static checking of FFIs can be a valuable tool in writing correct multilingual software.

关键词： languages verification foreign function interface FFI foreign function calls representational type multilingual type system multilingual type inference flow-sensitive type system dataflow analysis OCaml java JNI java native interface

来源：评论

学校读者我要写书评

暂无评论

Cinfony - combining Open Source cheminformatics toolkits behind a common interface

引用

CHEMISTRY CENTRAL JOURNAL 2008年第1期2卷 24-24页

作者： O'Boyle, Noel M. Hutchison, Geoffrey R. Cambridge Crystallog Data Ctr Cambridge CB2 1EZ England Univ Pittsburgh Dept Chem Chevron Sci Ctr Pittsburgh PA 15260 USA

Background: Open Source cheminformatics toolkits such as OpenBabel, the CDK and the RDKit share the same core functionality but support different sets of file formats and forcefields, and calculate different fingerprints and descriptors. Despite their complementary features, using these toolkits in the same program is difficult as they are implemented in different languages (C++ versus java), have different underlying chemical models and have different application programming interfaces (APIs). Results: We describe Cinfony, a Python module that presents a common interface to all three of these toolkits, allowing the user to easily combine methods and results from any of the toolkits. In general, the run time of the Cinfony modules is almost as fast as accessing the underlying toolkits directly from C++ or java, but Cinfony makes it much easier to carry out common tasks in cheminformatics such as reading file formats and calculating descriptors. Conclusion: By providing a simplified interface and improving interoperability, Cinfony makes it easy to combine complementary features of OpenBabel, the CDK and the RDKit.

关键词： Python Script java Virtual Machine Smile String Molecule Class java native interface

来源：评论

学校读者我要写书评

暂无评论

ILEA: Inter-language analysis across java and C

引用

ACM SIGPLAN NOTICES 2007年第10期42卷 39-56页

作者： Tan, Gang Morrisett, Greg Boston Coll Chestnut Hill MA 02467 USA Harvard Univ Cambridge MA 02138 USA

java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures;java compilers perform static analysis for optimization. If java programs contain foreign function calls to C libraries, however, static analysis is forced to make either optimistic or pessimistic assumptions about the foreign function calls, since models of the C libraries are typically not available. We propose ILEA (stands for Inter-LanguagE Analysis), which is a framework that enables existing java analyses to understand the behavior of C code. Our framework includes: (1) a novel specification language, which extends the java Virtual Machine Language (JVML) with a few primitives that approximate the effects that the C code might have;(2) an automatic specification extractor, which builds models of the C code. Comparing to other possible specification languages, our language is expressive, yet facilitates construction of automatic specification extractors. Furthermore, because the specification language is based on the JVML, existing java analyses can be easily migrated to utilize specifications in the language. We also demonstrate the utility of the specifications generated, by modifying an existing non-null analysis to identify null-related bugs in java applications that contain C libraries. Our preliminary experiments identified dozens of null-related bugs.

关键词： languages reliability verification inter-language analysis java native interface JNI JVML specification extraction

来源：评论

学校读者我要写书评

暂无评论

ILEA: Inter-language analysis across java and C

ILEA: Inter-language analysis across Java and C

引用

22nd International Conference on Object-Oriented Programming, Systems, Languages and Applications

作者： Tan, Gang Morrisett, Greg Boston Coll Chestnut Hill MA 02467 USA Harvard Univ Cambridge MA 02138 USA

ISBN: (纸本)1595937862

关键词： languages reliability verification inter-language analysis java native interface JNI JVML specification extraction

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：