Ontology-based model of network and computer attacks for security assessment

With increased cyber attacks over years,information system security assessment becomes more and more important.This paper provides an ontology-based attack model,and then utilizes it to assess the information system security from attack angle.We categorize attacks into a taxonomy suitable for security assessment.The proposed taxonomy consists of five dimensions,which include attack impact,attack vector,attack target,vulnerability and defense.Afterwards we build an ontology according to the taxonomy.In the ontology,attack related concepts included in the five dimensions and relationships between them are formalized and analyzed in detail.We also populate our attack ontology with information from national vulnerability database(NVD)about the vulnerabilities,such as common vulnerabilities and exposures(CVE),common weakness enumeration(CWE),common vulnerability scoring system(CVSS),and common platform enumeration(CPE).Finally we propose an ontology-based framework for security assessment of network and computer systems,and describe the utilization of ontology in the security assessment and the method for evaluating attack efect on the system when it is under attack.     

Automatic artist recognition of songs for advanced retrieval

Automatic recognition of artists is very important in acoustic music indexing, browsing, and contentbased acoustic music retrieving, but synchronously it is still a challenging errand to extract the most representative and salient attributes to depict diversiform artists. In this paper, we developed a novel system to complete the reorganization of artist automatically. The proposed system can efficiently identify the artist's voice of a raw song by analyzing substantive features extracted from both pure music and singing song mixed with accompanying music. The experiments on different genres of songs illustrate that the proposed system is possible.     

�ڳ��н�ͨ��Ϣ�����л��ڱ���������ں�ģ��

交通信息融合技术已成为智能交通系统中研究热点,它对于城市交通综合管理、交通预案应急联动以及数字城市建设有着十分重要的意义. 采用本体技术和语义逻辑代数方法,
对多源异构的城市交通信息的统一表示、融合等问题进行了深入探索. 通过城市交通本体建立静态和动态的城市交通信息的统一语义模型,并定义本体在语义层面上的融合规约和代数操作,以实现城市交通信息融合在语义上的完备性和一致性. 在城市交通信息集成中增加语义融合功能,对降低交通信息集成的数据量,提升集成后交通信息的查询和分析效率及准确性都有较大帮助,在实践应用中也体现了一定的效果.     

在城市交通信息集成中基于本体的语义融合模型

交通信息融合技术已成为智能交通系统中研究热点,它对于城市交通综合管理、交通预案应急联动以及数字城市建设有着十分重要的意义. 采用本体技术和语义逻辑代数方法,
对多源异构的城市交通信息的统一表示、融合等问题进行了深入探索. 通过城市交通本体建立静态和动态的城市交通信息的统一语义模型,并定义本体在语义层面上的融合规约和代数操作,以实现城市交通信息融合在语义上的完备性和一致性. 在城市交通信息集成中增加语义融合功能,对降低交通信息集成的数据量,提升集成后交通信息的查询和分析效率及准确性都有较大帮助,在实践应用中也体现了一定的效果.     

New weighted fuzzy case retrieval method for customer-driven product design

Case retrieval (CR) is critically an important part of case-based design. However few studies attempt to research CR for customer-driven design and analyze the effect of other production factors besides similarity computation. This paper proposes a new CR method for customer-driven design, and requirement-weighting analysis. Fuzzy set theory are integrated into CR process to deal with the fuzzy and imprecision customer requirements. So the proposed method is called weighted fuzzy case retrieval (WFCR). Furthermore, similar case evaluation is added into CR process to demonstrate that the best case is selected not only on the basis of satisifaction for the given requriements, but also on the degree of preference over other cases according to multiple evaluation criteria. Meanwhile, WFCR system is developed and applied to power transformer design to validate its scientificity and practicality. Finally, the paper statistically validated the supriority of WFCR by comparing it with traditional fuzzy case retrieval methods (FCRs), and the comparison indicates that WFCR is more accurate than other FCRs.     

公路建设项目法人激励模型与机制

运用博奕理论与方法，从行为和利益的角度构建和分析了项目法人制下公路建设项目经营者的几种激励模型，提出了通过综合激励方案的设计建立不对称信息条件下的项目法人利益实现机制的具体途径。     

粉煤灰填筑路质量保证措施

为保证粉煤灰填筑路堤的质量必须在原材料、施工过程检验与试验等几方面进行有效的控制。     

基于重选择流形排序的图像检索

在研究已有基于流形排序图像检索算法存在问题的基础上,提出一种基于重选择流形排序的图像检索算法,此算法可以在节约时间的同时,进一步提高检索结果的精度,并在实际图像数据库中的实验结果验证了此算法的有效性.     

论违约之诉中对精神损害的赔偿

本文结合国内外立法关于违约中精神损害赔偿的相关规定及其司法实践中的积极探索，论述了我国在违约之诉中对精神损害予以赔偿的必要性以及应采取的相应的具体合理措施。     

Graphic processing unit based phase retrieval and CT reconstruction for differential X-ray phase contrast imaging

Compared with the conventional X-ray absorption imaging, the X-ray phase-contrast imaging shows higher contrast on samples with low attenuation coefficient like blood vessels and soft tissues. Among the modalities of phase-contrast imaging, the grating-based phase contrast imaging has been widely accepted owing to the advantage of wide range of sample selections and exemption of coherent source. However, the downside is the substantially larger amount of data generated from the phase-stepping method which slows down the reconstruction process. Graphic processing unit （GPU） has the advantage of allowing parallel computing which is very useful for large quantity data processing. In this paper, a compute unified device architecture （CUDA） C program based on GPU is introduced to accelerate the phase retrieval and filtered back projection （FBP） algorithm for grating-based tomography. Depending on the size of the data, the CUDA C program shows different amount of speed-up over the standard C program on the same Visual Studio 2010 platform. Meanwhile, the speed-up ratio increases as the size of data increases.     

Research of legal affair simulation based on Petri net

Legal affair simulation is on the basis of information technology, and can simulate legal scene. College students do legal experiments with virtual reality scene. This helps to train college students. Petri net has not only strict math definition to analyze the dynamic behavior of models, but also intuitive graphic expression. Petri net is used to model for legal process. Reduction rules of Petri net are used to analyze the correctness of the system. At last Java Business Process Management (JBPM) technology is used to realize legal affair simulation models, models are transformed into flow charts. Simulation software deduces processes of legal affair. Many college students have improved their ability with the software, the fact proves that the method is effective.     

一种基于历史的密文检索排序方案

为了解决密文检索实际应用过程中,存在的安全性问题、检索效率低下及检索结果存在冗余,对用户的需求针对性不强等问题,通过对现有的密文检索进行分析与研究.提出改进的密文索引构建策略,提出基于历史的密文检索结果排序方案,设计并实现密文检索原型系统,在保证密文检索安全和检索效率的同时,使检索的结果更加符合用户的需求.     

Mathematical approach for fleet planning under complicated circumstances

In order to facilitate the scientific management of large-sized shipping companies, fleet planning under complicated circumstances has been studied. Based on multiple influencing factors such as the techno-economic status of ships, the investment capacity of company, the possible purchase of new ships, the buying/selling of second-hand vessels and the chartering/renting of ships, a mixed-integer programming model for fleet planning has been established. A large-sized shipping company is utilized to make an empirical study, and Benders decom- position algorithm is employed to test the applicability of the proposed model. The result shows that the model is capable for multi-route, multi-ship and large-scaled fleet planning and thus helpful to support the decision making of large-sized shipping companies.     

Dynamic response analysis of towed cable during deployment/retrieval

A numerical approach was developed to analyze the transient behavior of towed cable during ac- tively controlled deployment/retrieval (DR). The cable motion is described by the lumped parameter method, its corresponding boundary conditions are presented. In view of its varying length during DR, two auxiliary arguments are introduced to describe its continuous varying length and discrete number of nodes(equations), the length is determined by the pay out(or reel-in) rate, which is then used to determine the node number by a logic relation. For the discrete mathematical model of towed cable, an algorithm was developed to deal with the discrete governing equations. The simulation results indicate that the cable experiences more com- plex motions due to its varying length, and tension fluctuates seriously in the startup and ending stage of deployment/retrieval. The effect of towing ship's motion in waves on cable during deployment/retrieval is also considered via numerical simulation.     

道路交通事故中行人的法律责任判定分析

针对目前道路交通事故处理过程中采取无过错责任方式,认为驾驶员是道路交通事故的主要承担者,对行人法律责任的认识不足等问题,文中给出道路交通事故中行人法律责任的科学判定流程,对目前存在的行人任意横穿马路、闯红灯等违章造成的交通事故中行人法律责任判定的难题予以解决。     

核受体免疫组织化学染色时抗原修复方法的选择

目的 探讨不同抗原修复法对DA.1U大鼠肝组织内核受体检测结果的影响.方法 应用微波修复法、高压修复法、酶修复法和高压加酶修复法对DA.1U大鼠肝组织切片进行修复,然后进行免疫组化染色.结果 DA.1U大鼠肝组织内核受体LXR-α、LXR-β、PPAR-γ和FXR经高压抗原修复后,染色阳性强度较其他修复方法明显增强,而且定位较佳.结论 在核受体免疫组化染色中高压抗原修复法染色效果优于其他抗原修复法.     

Multilingual financial news retrieval and smart recommendation based on big data

In view of the study of finance and economics information, we research on the real-time financial news posted on the authority sites in the world’s major advanced economies. Analyzing the massive financial news of different information sources and language origins, we come up with a basic theory model and its algorithm on financial news, which is capable of intelligent collection, quick access, deduplication, correction and integration with financial news’ backgrounds. Furthermore, we can find out connections between financial news and readers’ interest. So we can achieve a real-time and on-demand financial news feed, as well as provide a theoretical basis and verification of the scientific problems on real-time processing of massive information. Finally, the simulation experiment shows that the multilingual financial news matching technology can give more help to distinguish the similar financial news in different languages than the traditional method.     

Efficient clustering and simulated annealing approach for circuit partitioning

Circuit net list bipartitioning using simulated annealing technique has been proposed in the paper. The method converges asymptotically and probabilistically to global optimization. The circuit net list is partitioned into two partitions such that the number of interconnections between the partitions is minimized. The proposed method begins with an innovative clustering technique to obtain a good initial solution. Results obtained show the versatility of the proposed method in solving non polynomial hard problems of circuit net list partitioning and show an improvement over those available in literature.     

面向用户的工作逻辑关系确定

在使用网络计划技术时,全面无误地确定工作逻辑关系,即本工作所有的紧前或紧后工作是十分困难的.笔者从用户满意度出发,提出一种基于两两工作间先后顺序提取工作逻辑关系的算法,并用一个具体算例对该算法进行了说明.     

A numerical approach to trajectory planning for yoyo movement

Based on nonlinear trajectory generation (NTG) software package, a general approach (i.e. numerical solution) to trajectory planning for yoyo motion is presented. For the real-time control of such periodical dynamic system, a critical problem is how to implement fast solving the optimal trajectory, so as to meet the real-time demand. However, traditional numerical solution methods are very time-consuming. In this paper, the optimization problem is solved by mapping the problem to a lower-dimension space. And combined with multithread programming technology, the computation time for solving the optimal trajectory is greatly reduced. Simulation results show that the numerical solution is identical to the analytic one, which demonstrates the correctness of the proposed method. The computation time of one cycle of yoyo simulation is about 10 ms, which shows that the proposed numerical method can be applied to the real-time control of yoyo playing.