教学课程资源库 更多>>

关键词： UMLStatechart   人机交互界面   图书租借系统  

摘要： 本文以图书租借系统为例讨论了采用传统的面向过程的系统建模方式存在的不足，提出采用UML Statechart的建模方法对图书租借系统的人机交互界面建立模型。并通过Poseidon for UML CE8．0软件工具构建了图书租借系统人机交互界面的状态模型，促进面向对象建模理论的应用。

关键词： 循证医学(Evidence-based   medicine,EBM)   电子病历(EMR)   数据挖掘(Data   Mining)   ETL工具  

摘要： 研究目的：随着医院改革的不断发展,如何提高医疗服务质量、服务效率,成为当下医院管理者和医护人员最关注的问题.在这种形势下,智能循证医学支持系统应运而生.方法：该系统以循证医学的理念为指引,结合自然语义处理技术和数据挖掘技术,对电子病历内容进行分析和整理后,从中发掘有用的知识和模型.结果：该系统将这些有用的知识和模型在诊疗过程中主动的传递给医护人员,并以此种形式实现循证医学在临床上的使用.结论：智能循证医学支持系统不但使患者在就医过程中获得最优的治疗方案、最少的治疗费用,又帮助医生在给患者治疗的过程中提供循证医学方面的知识提醒,进而提高医院的医疗质量和医疗效率,间接地增加医院收入.

关键词： 信号处理   并行   可视化建模   形式化方法  

摘要： 论文提出一种面向信号处理应用的并行软件可视化开发框架。首先采用SDF图对信号处理应用进行分析,建立并行信号处理计算软件元模型,使用EBNF范式描述元模型。其次使用Eclispe GMF建模技术构建基于元模型的信号处理并行计算软件可视化建模平台,并实现了图形模型到XML目标模型的解析转换。最后运用实例验证了该框架的有效性。

关键词： Image watermarking  

摘要： A visible watermark conveys ownership information, used to identify the originator of an image. The watermark image is preprocessed and visibly embedded with an original image, before posting on the web for free observation and download. Based on the request of the buyer, the watermark can be removed to restore the unmarked image. A user-key-dependent frequency domain removable visible watermark embedding system (RVWES) is proposed. The user key structure decides both the embedded subset of the watermark and the host information adopted for adaptive embedding. With the correct user key, watermark removal can be carried out for information detection, and the high quality unmarked image can be restored. The proposed approach is mainly designed for the watermarking of digital camera images of various sizes. Pipeline and parallelism mechanisms are used to improve the throughput in the RVWES. The hardware implementation algorithm is tested in a Xilinx Virtex V XC5VlX330 technology based field programmable gate array, with which the throughput achieved is 4.3 Gbit/s with a total area utilization of 17448 BELs. To improve the robustness, a chaotic map is used to shuffle the watermark. The experimental results show that the watermarked image quality is good. Furthermore, the proposed approach is able to resist against a variety of general image processing attacks. (C) 2014 Society for Imaging Science and Technology.

关键词： Formal methods   Railway control systems  

摘要： The term intelligent transportation systems (ITS) refers to information and communication technology (applied to transport infrastructure and vehicles) that improve transport outcomes such as transport safety, transport productivity, travel reliability, informed travel choices, social equity, environmental performance and network operation resilience. The importance of ITS is increasing as novel driverless/pilotless applications are emerging. This special issue addresses the application of formal methods to model and analyze complex systems in the context of ITS and in particular in the field of railway control systems. In fact, modelling and analysis activities are very important to optimize system life-cycle in the design, development, verification and operational stages, and they are essential whenever assessment and certification is required by international standards.

关键词： 网上拍卖   面向对象   UML建模  

摘要： 该文针对目前的拍卖系统进行了研究,结合拍卖的具体业务流程设计了本系统。系统设计采用典型的三层架构方式,把表现层、业务逻辑层和数据处理层分离设计,提高了系统的可扩展性、重要性、安全性和稳定性。系统开发采用面向对象方法,运用UML统一建模语言进行系统分析和设计建模。开发环境采用visual studio 2008,服务器端脚本语言采用C#语言,使用***技术设计动态交互式网页。后台数据库采用SQL Server 2005,使用***实现与数据库的连接和访问。本系统的实现解决了拍卖公司线下交易的不足,提高了拍卖效率和便利性。经测试,系统功能是可行的,具有一定的应用价值。

关键词： Biology and life sciences   Bionanotechnology   Biophysics   Biotechnology   Research Article   Synthetic biology   Synthetic biosensors   Synthetic biotechnology  

摘要： The development of large-scale molecular computational networks is a promising approach to implementing logical decision making at the nanoscale, analogous to cellular signaling and regulatory cascades. DNA strands with catalytic activity (DNAzymes) are one means of systematically constructing molecular computation networks with inherent signal amplification. Linking multiple DNAzymes into a computational circuit requires the design of substrate molecules that allow a signal to be passed from one DNAzyme to another through programmed biochemical interactions. In this paper, we chronicle an iterative design process guided by biophysical and kinetic constraints on the desired reaction pathways and use the resulting substrate design to implement heterogeneous DNAzyme signaling cascades. A key aspect of our design process is the use of secondary structure in the substrate molecule to sequester a downstream effector sequence prior to cleavage by an upstream DNAzyme. Our goal was to develop a concrete substrate molecule design to achieve efficient signal propagation with maximal activation and minimal leakage. We have previously employed the resulting design to develop high-performance DNAzyme-based signaling systems with applications in pathogen detection and autonomous theranostics.

关键词： mussel-inspired chemistry   hierarchically structured surface   superhydrophobicity   oil/water separation   polydopamine  

摘要： In the present study, a superhydrophobic polyurethane (PU) sponge with hierarchically structured surface, which exhibits excellent performance in absorbing oils/organic solvents, was fabricated for the first time through mussel-inspired one-step copolymerization approach. Specifically, dopamine (a small molecular bioadhesive) and n-dodecylthiol were copolymerized in an alkaline aqueous solution to generate polydopamine (PDA) nanoaggregates with n-dodecylthiol motifs on the surface of the PU sponge skeletons. Then, the superhydrophobic sponge that comprised a hierarchical structured surface similar to the chemical/topological structures of lotus leaf was fabricated. The topological structures, surface wettability, and mechanical property of the sponge were characterized by scanning electron microscopy, contact angle experiments, and compression test. Just as a result of the highly porous structure, superhydrophobic property and strong mechanical stability, this sponge exhibited desirable absorption capability of oils/organic solvents (weight gains ranging from 2494% to 8670%), suggesting a promising sorbents for the removal of oily pollutants from water. Furthermore, thanks to the nonutilization of the complicated processes or sophisticated equipment, the fabrication of the superhydrophobic sponge seemed to be quite easy to scale up. All these merits make the sponge a competitive candidate when compared to the conventional absorbents, for example, nonwoven polypropylene fabric.

关键词： 机密性   安全协议   形式化方法   Applied   pi演算  

摘要： 机密性是无线传感器网络众多安全需求中最为核心的一项,网络安全的重点通常首先就是要解决数据机密性问题,安全协议的机密性直接决定了网络中传输数据消息的安全性。文中基于Applied pi演算构建SNEP协议机密性论证模型,将协议分成协议进程和用户进程两部分来分析,将协议的机密性转换为协议的执行过程是否具备不可区分性,进而用等价理论证明了协议的机密性情况。