基于Web的种子植物分科检索系统的设计与实现*

结合Web和数据库技术,以种子植物（科级）的形态特征建库,使用二叉式检索原理实现在Internet/Intranet上进行种子植物分类信息的查询与未知种类的鉴定,这对综合开发和合理利用种子植物资源具有指导意义。重点介绍了系统的总体结构、特征库和二叉式检索的建造,并给出了系统的运行实例。     

基于Web的种子植物分科检索系统的设计与实现

结合Web和数据库技术,以种子植物(科级)的形态特征建库,使用二叉式检索原理实现在Internet/Intranet上进行种子植物分类信息的查询与未知种类的鉴定,这对综合开发和合理利用种子植物资源具有指导意义.重点介绍了系统的总体结构、特征库和二叉式检索的建造,并给出了系统的运行实例.     

C＋＋模板类型系统Concepts初探

介绍了C＋＋标准为了适应泛型编程的大规模运用，在语言核心方面对泛型编程能力将要作出的改进，概述了C＋＋模板类型系统Concepts的主要功能和语言要素以及标准库支持，并给出一些例子进行说明。最后，简单介绍了现有的Concepts实现。     

一种基于多智能体的企业供应链系统开发平台研究

将多主体技术应用于供应链系统的开发，提出了一种基于多智能体的供应链系统结构，设计实现了基于多智能主体的企业供应链系统开发平台MA-SCSP。在对供应链主体的结构进行模块化的基础上，就系统实现的核心问题——主体计划库的设计提出了一种实用的有限状态自动机模板结构，并给出了计划库的语法定义，支持平台用户对实际系统的快速开发。     

面向网络化协同模板技术的模板设计标记语言

提出了基于XML、面向协同设计的模板设计标记语言———TDML,提炼了TDML的定义及特征,阐述了TDML的语法及语义,并介绍了协同模板可视化设计环境及其包含的有关TDML实现与设计的运行框架;针对该框架下的模板解释器及模板分割与复合、模板结构和参数分离与合并等操作模块进行了描述,给出了模板与可视化造型库的接口.最后以冷冲模与沙发为实例,验证了TDML在协同模板可视化设计系统中的有效性.     

一种基于PC的虚拟演播室系统的实现

本文介绍了一个基于PC的虚拟演播室系统——PCVSS。对比国内外同类系统．提出了系统的实现结构，介绍了系统的各个模块的功能和实现，包括三维场景的实时渲染、色键处理以及图像合成，设计了三维场景数据结构，并实现了无限蓝箱功能。最后，给出了系统的实现效果。     

黄瓜生长可视化系统的设计与实现

利用计算机更好地模拟植物的生理过程、形态结构及生态变化的关键是确定虚拟植物模型。文中采用双尺度自动机模型模拟植物生长，对作物器官进行三维几何建模，以黄瓜为例设计并实现了作物生长可视化系统。该系统易于交互、真实感强、计算速度快并具有可扩展性，可以较好地模拟显示黄瓜整体植株与群体植株、群体漫游及黄瓜植株和黄瓜器官三维动态生长过程等。     

软件内建自测试中的模板库及测试路径分析

软件内建自测试是一种新型的软件测试方法，该文研究了其中的模板库设计和测试路径执行的问题。首先介绍系统的模板库定义及设计，以及它的主要特点，然后介绍了一种将模板库中程序块的执行路径二叉化的方法，使生成的测试用例具有高的路径覆盖率。     

基于描绘单幅图像的三维树木交互建模系统

为了提高树木建模的真实感与可交互性,提出了一种基于单幅树木图像或直接手绘的交互式植物建模系统。系统根据植物形态学规律构建了标准三维树木的模板。通过描绘图像中树的主要枝干,结合叶序周规律,基于三维模板树将其从二维图像变换到三维模型,并通过弯曲、增加和删除枝干以及添加树叶等交互式操作生成和修改三维树木模型。实验结果表明,该系统能便捷快速地生成真实感较强的三维树木。     

网络隐蔽扫描技术研究

介绍了多种网络隐蔽扫描技术，并分析了各技术实现原理和优缺点，讨论了隐蔽扫描技术的发展过程及其对网络安全防护技术发展的影响，指出了隐蔽扫描技术的发展趋势，给出了一个隐蔽扫描系统模型并对其进行了简要描述。该系统建立了扫描策略组件库和操作系统及入侵检测系统知识库，能够进行扫描效果评估，并实现与漏洞扫描及攻击系统链接。     

模拟流程图组态软件动态部件显示开发

模拟流程图功能是核电DCS控制系统的重要组成部分,而流程图的组态则是该功能实现的基础。模拟流程图组态由静态元素和动态元素图元组成,针对模拟流程图中动态元素的实现进行分析讨论,设计模板实现动态元素图元的动态显示,并采用C语言脚本设计实现动态元素图元的显示更新和事件操作响应。最后验证模拟流程图组态软件完成的流程图在核电DCS系统二层人机显示软件运行稳定。     

用于化学专利标引的族性结构模板的设计与实现

对药物专利中族性结构进行标引是将专利文本信息转换成结构信息用于族性结构的匹配检索。本文根据国家知识产权局知识产权出版社数据研发中心提出的新的图形化标引语言GFL对近千余篇药物专利进行了标引。结合GFL的特点,统计分析药物专利中出现频率很高的结构片断,将这些结构片断的标引结果利用面向对象编程技术设计成一系列的族性模板,便于标引人员直接调用,有利于实现标引工作的半自动化。     

一种结合动态链接库信息的崩溃输入分类方法

软件崩溃是一种严重的软件缺陷,可导致软件终止运行.因此,对软件崩溃的测试在软件迭代的过程中极为重要.近年来,模糊测试技术(如AFL)由于可以自动化生成大量的测试输入来触发软件崩溃,被广泛用于软件测试中.然而,通过该技术产生的导致软件崩溃的测试输入中,大部分崩溃的触发原因都是重复的,因此软件开发人员需要对测试输入进行分类,带来了许多冗余工作.目前,测试输入分类已经有很多自动化方法,主要包括基于程序修复的分类算法和基于软件崩溃信息的分类算法.前者通过对程序在语义上进行分析,在运行时通过在程序中替换修复模板后重新运行测试输入,进而对输入分类.因为此方法需要人为地对于软件崩溃编写修复模板,所以其分类的效率与修复模板的质量存在很大联系;且由于需要先修复崩溃、再对崩溃做分类,影响了软件崩溃的修复效率.采用后者的思想,提出了一种轻量而高效的利用软件崩溃信息的测试输入分类算法CICELY.其在软件崩溃点堆栈信息分类的算法基础上,在分析软件崩溃点堆栈时引入了动态链接库信息,通过区分系统动态链接库与用户动态链接库,结合用户代码位置信息,得到用户关注的函数集合,以在分类时以用户函数为基准对崩溃进行界定.最后...     

面向对象设计的嵌套表格模板设计技术

工程中经常使用一些复杂的嵌套表格,这种表格的本质是地工程对象的描述,通过对如何使用模板技术设计嵌套表格进行探讨,重点说明了表格变量参数的对象化设计,使用表张模板技术和对象化的表格参数设计技术设计的表格可以由用户自由定制,自动填写数据,具有一致而又良好的编辑功能。     

Automated Procedure Construction for Deductive Synthesis

Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constructing usable deductive synthesis systems has prevented their widespread use. Amphion is a real-world, domain-independent, completely automated program synthesis system. It is specialized to specific applications through the creation of an operational domain theory and a specialized deductive engine. This paper describes an experiment aimed at making the construction of usable Amphion applications easier.The software system Theory Operationalization for Program Synthesis (TOPS) has a library of decision procedure templates with a theory schema for each procedure. TOPS identifies sets of axioms in the domain theory that are instances of theory schema associated with library procedures. For each procedure instance, TOPS uses iterated partial deduction to augment the procedure with the capability to construct ground terms for deductive synthesis. Synthesized procedures are interfaced to a resolution theorem prover. Axioms in the original domain theory that are implied by the synthesized procedures are removed.The inference rules of the theorem prover have been extended so that during deductive synthesis, each procedure is invoked to test conjunctions of literals in the language of the theory of that procedure. When possible, the procedure generates ground terms and binds them to variables in a problem specification. These terms are program fragments. Experiments show that the procedures synthesized by TOPS can reduce theorem proving search at least as much as hand tuning of the deductive synthesis system.     

基于ICD配置的航电总线测试软件自动生成方法研究

为了提高航空电子总线数据采集软件的开发效率和可靠性,降低测试和仿真工作的复杂度,对当前主要的软件自动生成方法进行了分析比较和研究,并将其应用到航电总线数据采集软件中.设计了接口控制文档(ICD,interface control document)数据库、知识库、类型库和词法分析器,采用XML模板生成、XSD模板验证和...     

支持软件重用的程序设计语言

本文提出一种支持软件重用的程序语言并给出了重用描述语言翻译器的工作原理。该语言是在宿主语言Ｃ＋＋中加入“重用描述”成分和“装配语句”而形成的。该文件以软件重用库为依托,重用描述用于表达用户在程序中对部件的要求,重用描述语言翻译器则分析这些需求,自动在库中查找提出部件来适应用户。     

Safety verification of Ada programs using software fault trees

The software fault-tree analysis technique is explained. It is then extended to allow its use on a more complex language involving such features as concurrency and exception handling. Ada is used as the example language because many safety-critical projects are using or planning to use Ada. It also contains complex, real-time programming facilities found in other languages used in these types of projects. Software fault-tree analysis uses failure-mode templates to generate the fault tree. The templates provided can be used to define the procedures for applying the technique to programs written in most other declarative languages. To explain the use of the templates an example Ada program, for a traffic-light-control system, is analyzed. The cost and practicality of the method and its implications for software reuse are assessed. The application of the safety analysis procedures to requirements modeling and specification languages is considered     

An interactive approach to template generation in quantitative feedback theory methodology

The calculation of templates associated with plant uncertainty at some frequencies is one of the first steps in the design of robust controllers using the quantitative feedback theory (QFT) methodology. If the QFT designer does not calculate the templates correctly, the design will be unnecessarily conservative, or even erroneous. This paper describes the main features of Template Interactive Generator (TIG), a new, free software tool that calculates the templates of plants with special parameter dependences, such as interval plants and plants with affine parametric uncertainty. The paper also includes two examples that illustrate the ease of use and the high level of interactivity of TIG. Copyright © 2008 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society