面向对象的需求可跟踪性支持工具的设计

保证需求可跟踪性是实时系统开发中的一个重要方面。本文提出了一个实时系统的需求可跟踪性的模型。在此基础上，任舸用数据管理系统开发了一个支持使用实例分析的面向对象的系统开发过程的需求可跟踪性的辅助工具（ＯＯＲＴＳＴ）。     

基于MAS的农业专家系统平台的研究

针对农业领域知识的分布性、易更新性、可重用性等特点，将MAS理论和技术应用到农业专家系统平台的开发中，提出了基于MAS的农业专家系统平台的结构，并讨论了实现该平台的一些关键技术。本系统平台的研究将加速Agent的实现与应用；同时会降低开发农业专家系统的成本，最终使农业专家系统更好地为农业、农村、农民服务。     

MIS基于模型的通用管理方法

本文针对当前管理信息系统（MIS）在开发、维护、扩充等方面存在的问题，提出了通用模型管理方法，M快系统开发速度，提高系统的一致性和通用性。     

支持复杂系统虚拟样机开发的体系结构研究

复杂系统的特点决定了开发过程的高风险性和有限逆转性，虚拟样机技术是解决这一问题的一个有效途径。同时，系统的复杂性、技术集成性和环境相关性决定了开发过程必然是一个协同工作的过程，因此，设计开发完善的体系结构对于为复杂系统的开发设计提供服务是至关重要的。该文在提出体系结构的开发标准和性能目标的基础上，研究了几种现有的支持复杂系统虚拟样机开发的体系结构的特点，讨论了实现的方法。     

面向对象的图书检索系统

面向对象的图书检索系统开发时间短，效率高，可靠性高，所开发的系统更强壮。由于面向对象编程的可重用性，可以在设计中大量采用成熟的类库，从而缩短了开发时间。     

关于Windows的新型线切割自动编程系统

本文提出了在Windows操作平台上开发线切割自动编程系统的思想，并介绍了所开发系统的数据结构以及工艺数据库、系统集成性、通讯方式方面的特点。     

基于J2EE和MVC的基金申报系统设计与实现

J2EE架构采用了基于组件的思想，将商务逻辑从客户端和服务器端分离出来，具有平台无关性、重用性和扩展性等优点。适合企业级分布式应用的开发和部署。在此架构之上结合MVC开发模式设计并开发了基于J2EE规范的基金申报系统，介绍了关键技术。     

基于ASP.NET的Web应用系统架构探讨

提出了一种基于ASP．NET开发方式的四层架构的Web应用系统构造思想。其基本内容是：将面向对象的UML建模与Web应用系统开发相结合，将整个系统分成适合ASP．NET开发方式的应用表示层、业务逻辑层、数据访问层和数据存储层四层结构。以此方式构造的Web应用不仅达到了代码组织结构清晰明朗、高重用性、适用性，易于维护和移植的目标，而且可以提高web应用系统的开发速度。解决了目前大型Web程序开发中，代码适用性、重用性差，及难于维护和移植的问题。     

基于平台的GPRS行业应用开发技术研究

本文提出了一种基于平台的GPRS行业应用开发技术，并实现了基于平台的GPRS行业应用开发系统建模与仿真工具。这种GPRS行业应用开发技术基于任务流图模型进行GPRS行业应用系统的建模与仿真，增强了GPRS行业应用开发的通用型和可复用性。基于平台的GPRS行业应用开发系统建模与仿真工具能够准确地对GPRS行业应用系统行为进行描述，对GPRS行业应用系统进行功能验证和初步性能分析，并很好地支持系统模型模版的复用。基于平台的农业环境无线远程监控系统开发实例表明：这种GPRS行业应用开发技术保证了开发正确性，增强了通用性，缩短了开发周期，取得了良好效果。     

面向方面的数字图书馆的开发研究

本文研究了如何把面向方面技术应用到数字图书馆系统开发中。引入面向方面的开发方法,解决了数字图书馆系统开发中代码分散和代码纠缠问题,提高了系统的开发效率、可重用性、可理解性、可维护性和可演进性。     

FDS中非矩形边界隧道的自动建模

FDS(Fire Dynamics Simulator)作为一种高效的火灾模拟软件,在对非长方体隧道进行火灾模拟时有很大局限性。文章提出了一种用矩形方块来拟合圆弧墙或斜线墙的算法;通过编制可视化软件来自动生成FDS输入数据,解决了在FDS中对非矩形边界隧道的建模问题;最后给出了一个在FDS中对非矩形边界隧道火灾的数值模拟实例,验证了算法的可行性。     

SRGM下失效数据集效用与验证分析

针对软件可靠性增长模型SRGM研究中的参数拟合与性能评测对失效数据集FDS的依赖,对FDS在SRGM中的效用以及其对SRGM的影响进行深入研究,并给出FDS的不足与发布建议。首先给出了基于FDS的SRGM性能评测流程,提出一般化的不完美排错框架模型,对收集到的FDS进行结构化描述与归类分析。对7个典型的不完美排错相关的SRGM在公开发表的9个真实计算机工程系统FDSs上进行实验,从拟合与预测角度分析FDS与SRGM的关系及影响。从发布方与科研人员视角对当前FDS的不足进行分析,并据此给出了FDS的发布建议。研究结果表明,科研人员尚需要充分挖掘、分析FDS中待发布的更多测试信息,用以建立更为准确的SRGM。最后指出,描述新型软件结构以及含有更多数据量的FDS的缺乏已成为制约SRGM发展的主要客观事实。     

可视化隧道火灾仿真系统开发

FDS(Fire Dynamics Simulator)作为一种高效的火灾模拟软件,前处理操作集中在一个data文本文件中,需要操作人员熟知各输入数据参数的格式,而且在对非规则边界隧道进行火灾模拟时有很大局限性.为了简化操作,实现非规则边界隧道的建模,通过应用一种由矩形方块拟合圆弧墙或斜线墙的算法来实现非规则边界隧道建模,并通过实现与DXF文件的接口来简化建模过程,大大改善了软件的可操作性能;最后给出了用该软件对非矩形边界隧道火灾的数值模拟应用.通过编制可视化软件并集成了非规则边界隧道建模算法,简化了隧道火灾仿真的建模操作,可以很好地解决隧道火灾仿真问题.     

故障诊断系统的综合收益评价模型

基于不同智能技术开发的故障诊断系统在不同的应用环境中表现迥异,如何根据应用评估并选择合适的算法是故障诊断系统设计的关键问题.提出了故障诊断系统中正负收益和综合收益的概念,分析了影响故障诊断系统实施效用的主要因素,设计了综合收益评价模型.该模型在汽车发动机、航空发动机两种典型设备的故障诊断系统设计过程中的应用结果显示综合收益评价模型有较高的评估选择能力.     

Effect of grip span on maximal grip force and fatigue of flexor digitorum superficialis.

The aim of this study was to investigate the effect of grip span on isometric grip force and fatigue of the flexor digitorum superficialis (FDS) muscle during sustained voluntary contractions at 60-65% of the maximal voluntary contraction (MVC). Eighteen subjects performed isometric, submaximal gripping contractions using a grip dynamometer at four different grip span settings while the pronated forearm rested on a horizontal surface. Maximal absolute grip force and median power frequency of FDS surface electromyography (EMG) during the submaximal trials were analyzed. Fatigue of FDS, as inferred from EMG frequency shifts, did not change as a function of grip size. However, middle grip sizes allowed for greater absolute forces than the small or large size. When contractions are at 60-65% MVC and the muscle is allowed to fatigue, however, grip size may be less influential than when maximal absolute force is required.     

A parallel, finite-volume algorithm for large-eddy simulation of turbulent flows

A parallel, finite-volume algorithm has been developed for large-eddy simulation (LES) of compressible turbulent flows. This algorithm includes piecewise linear least-square reconstruction, trilinear finite-element interpolation, Roe flux-difference splitting (FDS), and second-order MacCormack time marching. A systematic and consistent means of evaluating the surface and volume integrals of the control volume is described. Parallel implementation is done using the message-passing programming model. To validate the numerical method for turbulence simulation, LES of fully developed turbulent flow in a square duct is performed for a Reynolds number of 320 based on the average friction velocity and the hydraulic diameter of the duct. Direct numerical simulation (DNS) results are available for this test case, and the accuracy of this algorithm for turbulence simulations can be ascertained by comparing the LES solutions with the DNS results. For the first time, a finite volume method with Roe FDS was used for LES of turbulent flow in a square duct, and the effects of grid resolution, upwind numerical dissipation, and subgrid-scale dissipation on the accuracy of the LES are examined. Comparison with DNS results shows that the standard Roe FDS adversely affects the accuracy of the turbulence simulation. For accurate turbulence simulations, only 3–5% of the standard Roe FDS dissipation is needed.     

可编程模糊测试技术

模糊测试是一种有效的漏洞挖掘技术.为改善模糊测试因盲目变异而导致的效率低下的问题,需要围绕输入特征、变异策略、种子样本筛选、异常样本发现与分析等方面不断定制模糊测试器,从而花费了大量的定制成本.针对通用型模糊测试器（即支持多类输入格式及目标软件的模糊测试器）的低成本定制和高可扩展性需求,本文首次提出了一种可编程模糊测试框架,基于该框架漏洞挖掘人员仅需编写模糊测试制导程序即可完成定制化模糊测试,在不降低模糊测试效果的基础上可大幅提高模糊测试器开发效率.该框架包含一组涉及变异、监控、反馈等环节的模糊测试原语,作为制导程序的基本语句;还包含一套编程规范（FDS）及FDS解析器,支持制导程序的编写、解析和模糊测试器的生成.基于实现的可编程模糊测试框架原型Puzzer,在26个模糊测试原语的支持下,漏洞挖掘人员平均编写54行代码即可实现当前主流的5款万级代码模糊测试器的核心功能,并可覆盖总计87.8%的基本操作.基于Puzzer实现的AFL等价模糊测试器,仅用51行代码即可达到与AFL相当的模糊测试效果,具有良好的有效性.     

A Flexible Framework for Fault Tolerance in the Grid

This paper presents a failure detection service (FDS) and a flexible failure handling framework (Grid-WFS) as a fault tolerance mechanism on the Grid. The FDS enables the detection of both task crashes and user-defined exceptions. A major challenge in providing such a generic failure detection service on the Grid is to detect those failures without requiring any modification to both the Grid protocol and the local policy of each Grid node. This paper describes how to overcome the challenge by using a notification mechanism which is based on the interpretation of notification messages being delivered from the underlying Grid resources. The Grid-WFS built on top of FDS allows users to achieve failure recovery in a variety of ways depending on the requirements and constraints of their applications. Central to the framework is flexibility in handling failures. This paper describes how to achieve the flexibility by the use of workflow structure as a high-level recovery policy specification, which enables support for multiple failure recovery techniques, the separation of failure handling strategies from the application code, and user-defined exception handlings. Finally, this paper presents an experimental evaluation of the Grid-WFS using a simulation, demonstrating the value of supporting multiple failure recovery techniques in Grid applications to achieve high performance in the presence of failures.     

抵御SIP分布式洪泛攻击的入侵防御系统

针对SIP分布式洪泛攻击检测与防御的研究现状,结合基于IP的分布式洪泛攻击和SIP消息的特点,提出了一种面向SIP分布式洪泛攻击的两级防御分布式拒绝服务(DDoS)攻击体系结构(TDASDFA):一级防御子系统(FDS)和二级防御子系统(SDS)。FDS对SIP的信令流进行粗粒度检测与防御,旨在过滤非VoIP消息和丢弃超出指定速率的IP地址的SIP信令,保证服务的可用性;SDS利用一种基于安全级别设定的攻击减弱方法对SIP信令流进行细粒度检测,并过滤具有明显DoS攻击特征的恶意攻击和低流量攻击。FDS和SDS协同工作来实时检测网络状况,减弱SIP分布式洪泛攻击。实验结果表明,TDASDFA能实时地识别和防御SIP分布式洪泛攻击,并且在异常发生时有效地减弱SIP代理服务器/IMS服务器被攻击的可能性。     

Measurement System for Flexed Shape of Flexibly Articulated Mobile Track

This paper proposes and validates a system for measuring the flexed posture of the flexible mono-tread mobile track (FMT) using a flexible displacement sensor (FDS). The FMT proposed previously has a single track and vertebral structure. The flexed posture of the FMT determines its turning radius and direction; thus, knowing its posture is important. However, it is impossible to measure the shape of flexible mobile systems using sensors located internally, such as a rotary potentiometer, or located externally, such as a laser scanner. To solve the problem, we introduce the FDS to measure the flexed FMT shape. The sensor consists of two fixed electrodes, a sliding electrode, and a nylon string coated with carbon (NSCC). It works as a flexible potentiometer by moving the sliding electrode along the NSCC while maintaining electrical contact. The measurement system is implemented in a prototype of the FMT called RT02-WORMY and is validated in a series of experiments.