法律不确定性之研究

法律的不确定性是法律固有的性质,从法律确定性和不确定性之间的关系、法律不确定性产生的原因以及法律的不确定性与法治之间关系三个方面来阐述法律的不确定性,并评价其对于社会主义法治建设的意义。     

我国边境法制建设中需要重点完善的方面

在国家法制建设不断推进的背景下,我国边境法制建设的某些方面还不够完善,需要加快立法进程,尽快制定全国统一的陆地国界法,为陆地边境管理提供法律依据;完善海上边防管理法规,为维护国家海洋权益提供法律保障;加紧出台统一的出入境法典,整合出入境法律体系;完善打击“三股势力”和跨境犯罪的法律制度,维护边境安全稳定。     

关公人物形象的多角度阐释

本文在运用辩证唯物主义和历史唯物主义研究关公人物形象的同时,也用“二律背反”的哲学观点观照他,历史并辩证地剖析了关公思想及行为中均可以论证但又相互背反的三对命题,从而对关公人物形象有了更加立体、丰富的审美剖析,并从哲学的角度提出了关公悲剧诞生的根本原因。     

航天器近距离交会斜滑制导算法

提出了满足测量视场、最小脉冲间隔、最大脉冲受限等约束的燃料最省的航天器近距离交会多脉冲斜滑制导算法.建立了近距离交会(接近和撤离)多脉冲斜滑制导算法的统一数学模型;提出了理想交会轨道距离和速率的指数函数变化关系,使得算法能够实现任意时间的近距离交会,同时满足接近操作减速和撤离过程加速的任务要求;设计了对数函数映射法进行脉冲寻优.最后通过接近段和撤离段的操作仿真算例进行验证,仿真结果表明,相比最优化方法,对数函数映射法以较小的计算量实现了较好的寻优效果;算法能够以较省的燃料消耗实现轨道面内任意方向、任意时间内满足约束的近距离交会.     

空对地导弹的变结构三维导引律(英文)

推导了空对地导弹的三维导引律模型,并设计了针对机动目标的变结构导引律,分析了其制导特性.设计的导引律由于需要的目标信息少,可以便利地应用于实际工程中,数字仿真结果证实了设计的导引律的可行性.     

A model to design recreational boat mooring fields

This article develops a mathematical model and heuristic algorithm to design recreational boating mooring fields. The boating industry is important to the Florida economy, and boat storage is becoming a concern among those in the industry. The mooring field design problem is formulated to maximize the total number of boat feet moored in the mooring field. In the model, we allow two adjacent moorings to overlap, which introduces a risk that under certain conditions the boats on these moorings could contact each other. We identify the conditions when contact is possible and quantify the probability of contact. The mooring field design problem is formulated as a nonlinear mixed‐integer programming problem. To solve the problem, we decompose it into two separate models, a mooring radii assignment model and a mooring layout model, which are solved sequentially. The first is solved via exhaustive enumeration and the second via a depth‐first search algorithm. Two actual mooring fields are evaluated, and in both cases our model leads to better layouts than ones experts developed manually. The mooring field design model rationalizes the mooring field design and shows that in one case by increasing the risk from 0 to 1%, the mooring efficiency increases from 74.8% to 96.2%. © 2009 Wiley Periodicals, Inc. Naval Research Logistics, 2009     

多管炮效能定律的发现及多管因子公式研究

针对目前多管武器毁伤效能计算中存在的问题进行深入细致的研究,发现了多管炮效能第一、第二定律,根据定律,猜想并推导出了多管因子的计算公式.并对公式计算数据和传统经验数据进行对比分析,发现在管数小于24时,两者误差不超过3%,公式计算取得了较好的效果.研究成果同时扩充了传统多管因子的经验数据,并对24管以上多管武器效能的研究提供了理论依据和参考.     

线性唯象传热规律下热机内可逆热经济学研究

对符合线性唯象传热规律(q∝Δ(T-1))的热机内可逆热经济学做了进一步研究,导出了在给定条件下Novikov热机的最优利润解析式,并得到了最优利润和相应的效率同其它参数间的关系.     

特殊半鞅的强大数定律

利用特殊半鞅的收敛定理和一般形式的Kronecker引理,给出了特殊半鞅和非负特殊半鞅强大数定律的一般形式,推广和完善了已有的结果.     

Verification and validation of detonation modeling

The mathematical model used to describe the detonation multi-physics phenomenon is usually given by highly coupled nonlinear partial differential equations. Numerical simulation and the computer aided engineering (CAE) technique has become the third pillar of detonation research, along with theory and experiment, due to the detonation phenomenon is difficult to explain by the theoretical analysis, and the cost required to accredit the reliability of detonation products is very high, even some physical experiments of detonation are impossible. The numerical simulation technique can solve these complex problems in the real situation repeatedly and reduce the design cost and time stunningly. But the reliability of numerical simulation software and the serviceability of the computational result seriously hinders the extension, application and the self-restoration of the simulation software, restricts its independently innovational ability. This article deals with the physical modeling, numerical simulation, and software development of detonation in a unified way. Verification and validation and uncertainty quantification (V&V&UQ) is an important approach in ensuring the credibility of the modeling and simulation of detonation. V&V of detonation is based on our independently developed detonation multi-physics software-LAD2D. We propose the verification method based on mathematical theory and program function as well as availability of its program execution. Validation is executed by comparing with the experiment data. At last, we propose the future prospect of numerical simulation software and the CAE technique, and we also pay attention to the research direction of V&V&UQ.