在UNIX环境下实现Ada的图形用户界面一直是一个比较困难的问题。X/Motif Ada Bindings是一个Ada与Motif工具箱的低级接口工具集,它可用于实现Ada的图形用户界面,本文从它的解决方案、体系结构及接口机制等几个方面对此软件包的实现进行...在UNIX环境下实现Ada的图形用户界面一直是一个比较困难的问题。X/Motif Ada Bindings是一个Ada与Motif工具箱的低级接口工具集,它可用于实现Ada的图形用户界面,本文从它的解决方案、体系结构及接口机制等几个方面对此软件包的实现进行了比较深入的研究分析,并基于此软件包和现有操作平台提供了一种高效的Ada GUI实现策略。展开更多
为实现组态软件实时数据库系统的设计思想和实现方法,分析了组态软件的核心,介绍了组态软件实时数据库的设计方法,并摒弃了传统的利用DDE(Dynamic Data Exchange-动态数据交换协议)建立实时数据库系统的方法,采用了DLL(Dynamic Link Lib...为实现组态软件实时数据库系统的设计思想和实现方法,分析了组态软件的核心,介绍了组态软件实时数据库的设计方法,并摒弃了传统的利用DDE(Dynamic Data Exchange-动态数据交换协议)建立实时数据库系统的方法,采用了DLL(Dynamic Link Library-动态链接库)来建立实时数据库系统的新方法,给出了数据模型和接口机制的实现方法。实践证明该组态软件实时数据库系统具有很强的通用性和开放性。展开更多
In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is us...In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.展开更多
The expert system is a high-level technology.It is a sub-field of artificial intelligence.We demonstrated the character and software evaluation,carrying out an initial study of expert system.A good development expert ...The expert system is a high-level technology.It is a sub-field of artificial intelligence.We demonstrated the character and software evaluation,carrying out an initial study of expert system.A good development expert system was developed.展开更多
A smart Human Interface （HCI） replacing conventional mouse interface is proposed. The interface is able to control and command action with only hand. Four finger motions （left click, right dick, hold, drag） are u...A smart Human Interface （HCI） replacing conventional mouse interface is proposed. The interface is able to control and command action with only hand. Four finger motions （left click, right dick, hold, drag） are used to command the interface. Also the authors materialiae cursor movement control using image processing The measure what they use for inference is entropy of Electromyogram （EMG） signal, Gaussian modeling and likelihood estimation. In image processing for cursor control, they use color recognition to get the center point of finger tip from marker, and map the point onto cursor. Accuracy of finger movement inference is over 95% and cursor control works naturally without delay. They materlalize whole system to check its performance and utility.展开更多
文摘在UNIX环境下实现Ada的图形用户界面一直是一个比较困难的问题。X/Motif Ada Bindings是一个Ada与Motif工具箱的低级接口工具集,它可用于实现Ada的图形用户界面,本文从它的解决方案、体系结构及接口机制等几个方面对此软件包的实现进行了比较深入的研究分析,并基于此软件包和现有操作平台提供了一种高效的Ada GUI实现策略。
文摘为实现组态软件实时数据库系统的设计思想和实现方法,分析了组态软件的核心,介绍了组态软件实时数据库的设计方法,并摒弃了传统的利用DDE(Dynamic Data Exchange-动态数据交换协议)建立实时数据库系统的方法,采用了DLL(Dynamic Link Library-动态链接库)来建立实时数据库系统的新方法,给出了数据模型和接口机制的实现方法。实践证明该组态软件实时数据库系统具有很强的通用性和开放性。
基金The National Key Technology R&D Program of Chinaduring the 11th Five-Year Plan Period(No.2006BAH02A12)the National High Technology Research and Development Program of China(863 Program)(No.2006AA010101)
文摘In order to improve the design and implementation quality of web service compositions,formal methods are used to model them and certain properties are verified.WCFA （web service interface control flow automata）is used to model web services,especially the control flow and possible interactions with other web services.A web service composition consists of a set of interacting WCFA.The global behavior of web service compositions is captured by NWA（nested word automata）.A variation of the depth-first search algorithm is used to transform a set of WCFA into an NWA.State formulae and call stacks at each node of NWA are computed by a path-sensitive reachability analysis.Safety properties,call stack inspection properties and pre/post-conditions of service invocations are described by assertions.Then verification of these assertions is carried out by an automated SAT tool.
文摘The expert system is a high-level technology.It is a sub-field of artificial intelligence.We demonstrated the character and software evaluation,carrying out an initial study of expert system.A good development expert system was developed.
基金supported by the MKE(The Ministry of Knowledge Economy),Koreathe ITRC(Information Technology Research Center)support program supervised by the NIPA(National IT Industry Promotion Agency)(NIPA-2010-C1090-1021-0010)
文摘A smart Human Interface （HCI） replacing conventional mouse interface is proposed. The interface is able to control and command action with only hand. Four finger motions （left click, right dick, hold, drag） are used to command the interface. Also the authors materialiae cursor movement control using image processing The measure what they use for inference is entropy of Electromyogram （EMG） signal, Gaussian modeling and likelihood estimation. In image processing for cursor control, they use color recognition to get the center point of finger tip from marker, and map the point onto cursor. Accuracy of finger movement inference is over 95% and cursor control works naturally without delay. They materlalize whole system to check its performance and utility.
