一种基于Proxy模式的通用身份认证机制

使用代理模式设计和实施了一种通用的用户身份认证框架.该框架解决了系统开发中用户请求页面时权限认证的问题,成功的应用于数字化校园中,而且可以复用到其他的应用系统.     

Developing Reflective Practice in Information Systems Development: Further Progress on the Gestation of an Evaluative Framework

It is argued in this paper that evaluative activities in relation to systems development have traditionally focussed on the financial worth of the product. This approach has excluded the appraisal of important issues such as the process for building the product, the performance of the systems development team, the methods used and the organisational impact of the implemented System. In response to the traditional approach, which is skewed towards quantification techniques, a three stage framework is proposed. The three stages are iterative. The first being concerned with establishing an appropriate focus and resolution level for the evaluation, the second uses a control model to identify relevant outputs, appropriate sensors and comparators and performance criteria. The third is about selecting more sophisticated paradigms for assessing processes and their outputs. It is contended that although the specific focus of this paper is systems development, the framework could be used in any organisational context where products and services are developed and produced.     

基于EDI交易的多模态销售网络的需求预测

利用数学建模思想,侧重所得结论的严密的教学推导，讨论了基于EDI交易的最优库存控制问题，推导出一系列的定性结论，给出求解公式和计算方法。从理论上论证了EDI交易的优越性；可以曼准确地预测下个周期产生定单的概率，从而使最优库存水平下降．总消耗费用减少，并举例说明定量结果。进一步探讨了由M个非EDI交易的分销商和N个EDI交易的分销商构成的多模态销售网络的需求预测问题。     

非线性系统计算机辅助分析与优化设计方法研究

以双闭环调速系统的分析和设计为例介绍了采用MATLAB/SIMULINK可视化仿真环境对非线性系统进行分析和优化设计的方法 ,并给出了设计结果对比波形 .该方法不但简单直观 ,方便快捷 ,而且非常准确有效 .仿真结果波形表明 ,用该方法优化设计的系统具有很好的动、静态特性 .电机起动时 ,转速、电压和电流波形非常接近理想状况 ,使电机起动时间最短且起动过程既快又准而平稳     

一个典型C~3I系统的微分方程作战模型的建立

本文针对目前C~3I系统建模研究遇到的难题:如何把C~3I系统的组成内容与它所处的战争环境结合起来,运用复杂系统的一些建模方法、基于问题导向的原则,提出了一套战争环境下C~3I系统建模的规范化建模方法,使C~3I系统与军方常用于描述作战的Lanchester型格斗方程有机地结合起来,形成C~3I系统的作战方程。文中以一个典型的防空作战的C~3I想定进行了具体的计算,建立了该想定的微分方程模型。结果表明,这种方法解决了C~3I系统与Lanchester方程的结合问题,从而使C~3I系统本身的各个组成部分能在模型中与作战环境有机地结合起来。     

分布式系统的新型框架—.NET Remoting

主要阐述.NET Remoting的基本系统结构和.NET Remoting在应用程序中的使用方法。讲述了Remoting的定义、在分布系统中边界问题;Remoting体系结构中通道、应用程序域和结构体系;Remoting的激活方式和生存服务,让我们了解到Remoting技术,并在何种情况下能在应用程序中实现Remoting以及如何实现。     

基于UML与三层架构的远程教育系统设计与实现

利用统一建模语言,并结合当前较为成熟的三层架构,设计并实现了远程教育系统。说明了如何利用UML来完成系统的分析与设计,并以此为指导,在三层架构的基础上完成系统各功能模块的代码实现。本系统三层架构的搭建是通过freemarker标签来构建视图层,采用Hibernate完成数据库的访问操作,使用SpringMVC来完成架构的整合。这种UML建模与架构结合的开发方式在Web系统开发中有较强的通用性。     

一种有新任务到达的多卫星动态调度模型与方法

基于动态约束满足问题,针对初始方案执行过程中任务动态到达的情况,以最大化完成任务的优先级之和,并使新任务到达后,对原方案的调整最小为目标,建立了多卫星动态调度模型,提出了模型求解方法,最后给出了仿真算例,对模型和算法进行了验证.     

ΛCDM and MOND: A debate about models or theory?

The debate between ΛCDM and MOND is often cast in terms of competing gravitational theories. However, recent philosophical discussion suggests that the ΛCDM–MOND debate demonstrates the challenges of multiscale modeling in the context of cosmological scales. I extend this discussion and explore what happens when the debate is thought to be about modeling rather than about theory, offering a model-focused interpretation of the ΛCDM–MOND debate. This analysis shows how a model-focused interpretation of the debate provides a better understanding of challenges associated with extension to a different scale or domain, which are tied to commitments about explanatory fit.     

Permissible idealizations for the purpose of prediction

Every model leaves out or distorts some factors that are causally connected to its target phenomenon—the phenomenon that it seeks to predict or explain. If we want to make predictions, and we want to base decisions on those predictions, what is it safe to omit or to simplify, and what ought a causal model to describe fully and correctly? A schematic answer: the factors that matter are those that make a difference to the target phenomenon. There are several ways to understand differencemaking. This paper advances a view as to which is the most relevant to the forecaster and the decision-maker. It turns out that the right notion of differencemaking for thinking about idealization in prediction is also the right notion for thinking about idealization in explanation; this suggests a carefully circumscribed version of Hempel’s famous thesis that there is a symmetry between explanation and prediction.